Filter by
Computer aided verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and tec…
- Edition
- -
- ISBN/ISSN
- 9783319961453
- Collation
- pages cm
- Series Title
- -
- Call Number
- 004 CHO c
Specification languages for preserving consistency between models of differen…
When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching …
- Edition
- -
- ISBN/ISSN
- 9783731507840
- Collation
- XX, 440 p.
- Series Title
- The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
- Call Number
- 005.1 KRA s
Learning to understand remote sensing images
With the recent advances in remote sensing technologies for Earth observation, many different remote sensors are collecting data with distinctive properties. The obtained data are so large and complex that analyzing them manually becomes impractical or even impossible. Therefore, understanding remote sensing images effectively, in connection with physics, has been the primary concern of the rem…
- Edition
- -
- ISBN/ISSN
- 9783038976851
- Collation
- IX, 416 p.
- Series Title
- -
- Call Number
- 005.133 WAN l
Informatics in the future : proceedings of the 11th European Computer Science…
This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on the notion of an “abstract” machine, which ca…
- Edition
- -
- ISBN/ISSN
- 9783319557359
- Collation
- xi, 109p. : ill.
- Series Title
- -
- Call Number
- 004 INF i
Scaling a software business : the digitalization journey
Software has changed the rules of the game. The world talks about the digitalization in industry and society – how the focus has shifted from producing tangible things towards software and services. This trend started many years ago, but is now affecting every company, whether it’s a software company or not. There are many companies that have already made a digitalization journey – and ma…
- Edition
- -
- ISBN/ISSN
- 9783319531168
- Collation
- 265p. : ill.
- Series Title
- -
- Call Number
- 005.1068 SCA s
Tantalisingly close: an archaeology of communication desires in discourses of…
In this important new study, Imar de Vries take a historical and comparative approach in researching our intimate relationship with present-day mobile wireless technologies. By analyzing the full range of human expectations and behavior in regard to mobile devices, de Vries looks at how wireless gadgets have changed our ideas about communication, while at the same time he demonstrates how moder…
- Edition
- -
- ISBN/ISSN
- 9789048514915
- Collation
- 256 p.; 22 cm.
- Series Title
- MediaMatters; 7
- Call Number
- 303.4833 DEV t
Cloud-based benchmarking of medical image analysis
This book presents the VISCERAL project benchmarks for analysis and retrieval of 3D medical images (CT and MRI) on a large scale, which used an innovative cloud-based evaluation approach where the image data were stored centrally on a cloud infrastructure and participants placed their programs in virtual machines on the cloud. The book presents the points of view of both the organizers of the V…
- Edition
- -
- ISBN/ISSN
- 9783319496443
- Collation
- xviii, 254p. : ill.
- Series Title
- -
- Call Number
- 616.0754 CLO c
The evolution of case grammar
There are few linguistic phenomena that have seduced linguists so skillfully as grammatical case has done. Ever since Panini (4th Century BC), case has claimed a central role in linguistic theory and continues to do so today. However, despite centuries worth of research, case has yet to reveal its most important secrets. This book offers breakthrough explanations for the understanding of case t…
- Edition
- -
- ISBN/ISSN
- 9783946234333
- Collation
- 252 p.; 22 cm.
- Series Title
- Computational Models of LanguageEvolution 4
- Call Number
- 410 VAN e
AI based robot safe learning and control
This open access book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance cont…
- Edition
- -
- ISBN/ISSN
- 9789811555039
- Collation
- -
- Series Title
- -
- Call Number
- 629.8 ZHO a
Insight into theoretical and applied Informatics. Introduction to information…
The book is addressed to young people interested in computer technologies and computer science. The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science. The book is addressed not only to future software develop…
- Edition
- -
- ISBN/ISSN
- 9783110469882
- Collation
- 122 p.; 23 cm.
- Series Title
- -
- Call Number
- 004 YAT i
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography