Filter by
Formalizing Data-Centric Web Services
The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24678-9
- Collation
- XIII, 131 pages
- Series Title
- Web-Scale Workflow and Analytics
- Call Number
- -
A Description of the Country from Thirty to Forty Miles round Manchester
The late eighteenth century saw Manchester and its surrounding areas undergo significant change as industrialisation fuelled urbanisation and population growth. In this classic 1795 account, the physician and prolific writer John Aikin (1747–1822) gathers together information on the settlements at the heart of manufacturing and trade in north-west England, covering the vital network of waterw…
- Edition
- -
- ISBN/ISSN
- 9781107706101
- Collation
- -
- Series Title
- Cambridge Library Collection - British & Irish History, 17th & 18th Centuries
- Call Number
- -
Formality Theory
This book is a survey of the theory of formal deformation quantization of Poisson manifolds, in the formalism developed by Kontsevich. It is intended as an educational introduction for mathematical physicists who are dealing with the subject for the first time. The main topics covered are the theory of Poisson manifolds, star products and their classification, deformations of associative algebr…
- Edition
- -
- ISBN/ISSN
- 978-3-319-09290-4
- Collation
- XII, 90 pages
- Series Title
- SpringerBriefs in Mathematical Physics
- Call Number
- -
Formalisms for Reuse and Systems Integration
Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16577-6
- Collation
- X, 295 pages
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- -
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17581-2
- Collation
- X, 257 pages
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19195-9
- Collation
- XII, 245 pages
- Series Title
- -
- Call Number
- -
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Tools for High Performance Computing 2014 Proceedings of the 8th Internation…
Numerical simulation and modelling using High Performance Computing has evolved into an established technique in academic and industrial research. At the same time, the High Performance Computing infrastructure is becoming ever more complex. For instance, most of the current top systems around the world use thousands of nodes in which classical CPUs are combined with accelerator cards in order …
- Edition
- -
- ISBN/ISSN
- 978-3-319-16012-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Ontologies Meet Industry
This book constitutes the proceedings of the 7th International Formal Ontologies Meet Industries Workshop held in Berlin, Germany, in August 2015. The 11 full research papers accepted for FOMI 2015 were selected from 18 submissions. The papers focus on theoretical studies of formal ontologies committed to provide a sound basis for industrial applications and to allow formal representation of co…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21545-7
- Collation
- IX, 139 page
- Series Title
- -
- Call Number
- -
Self-Assembled Molecules – New Kind of Protein Ligands
The standard substrate complexation mechanism engages natural binding sites. In contrast, supramolecular structures may form complexes with proteins by penetrating in regions which are either naturally unstable or become temporarily accessible due to structural rearrangements related to the protein’s function. This may result in enhancement of irreversible processes (e.g. immune complexat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-65639-7
- Collation
- -
- Series Title
- -
- Call Number
- 540 SEL
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography