Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Modelling and implementation of a microscopic traffic simulation system
This thesis presents the foundations, the initial state, and the progress made in modelling and implementing a real-world and real-time online microscopic traffic simulation system for highway traffic. To successfully model and implement such a simulation system, this thesis recommends the use of a number of formal methods applied at the right places. As part of the recommendation, this thesis proposes a microscopic traffic simulation system. To explore the feasibility and the potential of the recommended methods, it observes and examines the proposed system from multiple views and under various different aspects. As part of the examination, this thesis provides a (semi-)formal specification...
The Fruits of Empirical Linguistics: Process
The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, broadly known as Generative Grammar, is concerned with the formulation of explanatory formal accounts of linguistic phenomena with the ulterior goal of gaining insight into the properties of the 'language organ'. The series comprises high quality monographs and collected volumes that address such issues. The topics in this series range from phonology to semantics, from syntax to information structure, from mathematical linguistics to studies of the lexicon.
HCI International 2013 - Posters' Extended Abstracts
This is the first of a two-volume set (CCIS 373 and CCIS 374) that constitutes the extended abstracts of the posters presented during the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA, in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major a...
Collaboration and Technology
This book constitutes the proceedings of the 20th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Santiago, Chile, in September 2014. The 16 revised papers presented together with 18 progress papers and 3 invited talks were carefully reviewed and selected from 49 submissions. The papers published in proceedings of this year's and past CRIWG conferences reflect the trends in collaborative computing research and its evolution. There was a growing interest in social networks analysis, crowdsourcing and computer support for large communities in general. A special research topic which has been traditionally present in the CRIWG proceedings has been collaborative learning.
Collaboration Technologies and Social Computing
This book constitutes the refereed proceedings of the 9th International Conference on Collaboration Technologies, CollabTech 2017, held in Saskatoon, SK, Canada, in August 2017. The 10 revised full papers presented in this book together with 6 short papers were carefully reviewed and selected from 37 submissions. The papers focus on topics such as: CSCW system architectures and applications; social computing; crowdsourcing; inter-cultural collaboration; collaborative communication systems; embodied collaboration systems; shared virtual/augmented environments; smart devices for collaboration; computer supported collaborative learning (CSCL); collaborative entertainment systems; computer supported cooperative design (CSCD); and social science studies on collaboration.
Numerical Software with Result Verification
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003. The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
Perspectives on Enclosure Methods
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization.
Collaboration Technologies and Social Computing
This book constitutes the refereed proceedings of the 25th International Conference, CRIWG+CollabTech 2019, held in Kyoto, Japan in September 2019. The 12 full papers presented in this book together with 8 work-in-progress papers were carefully reviewed and selected from 28 submissions, and the program also included an invited talk. This year presented a merger of the CRIWG and CollabTech conferences after having been jointly held since 2014. The papers published in this proceedings focus on innovative collaboration technologies and social computing.
