Filter by
Regulated Open Multi-Agent Systems (ROMAS)
Addressing the open problem of engineering normative open systems using the multi-agent paradigm, normative open systems are explained as systems in which heterogeneous and autonomous entities and institutions coexist in a complex social and legal framework that can evolve to address the different and often conflicting objectives of the many stakeholders involved. Presenting a software engi…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Practical and Laboratory Diagnosis of Tuberculosis: From Sputum Smear to Mole…
The present work focuses on the diagnosis of TB, covering all its possible ways. Content ranges from clinical diagnosis, which is the first instance in approaching tuberculosis, until the gold standard microbiological and molecular diagnostic tools, which are useful due to its speed and high sensitivity. Additionally, diagnosis of latent TB infection, which is key feature to controlling TB unde…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-20478-9
- Collation
- XIII, 75
- Series Title
- SpringerBriefs in Microbiology
- Call Number
- 616.995 ELO p
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using…
This book constitutes the refereed proceedings of the 9th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2015, held in Puerto Varas, Chile, in December 2015. The 36 full papers presented together with 11 short papers were carefully reviewed and selected from 62 submissions. The papers are grouped in topical sections on adding intelligence for environment adapt…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26401-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Quantitative Techniques in Participatory Forest Management
Forest management has evolved from a mercantilist view to a multi-functional one that integrates economic, social, and ecological aspects. However, the issue of sustainability is not yet resolved. Quantitative Techniques in Participatory Forest Management brings together global research in three areas of application: inventory of the forest variables that determine the main environmental indice…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Future Access Enablers for Ubiquitous and Intelligent Infrastructures
This book constitutes the proceedings of the First International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2015, held in Ohrid, Republic of Macedonia, in September 2015. The 39 revised papers cover the broad areas of future wireless networks, ambient and assisted living, smart infrastructures and security and reflect the fast developing and v…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27072-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Functional Genomics and Biotechnology in Solanaceae and Cucurbitaceae Crops
This volume summarizes recent technological advances in the design and engineering of Solanaceae and Cucurbitaceae crops. It begins with contributions on the tomato and melon genome sequence, databases for Solanaceae and Cucurbitaceae research, DNA markers in the breeding of the two families, and mutant resources and TILLING platforms in tomato research. Subsequent chapters address the use of m…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48535-4
- Collation
- -
- Series Title
- Biotechnology in Agriculture and Forestry
- Call Number
- -
Foundations and Practice of Security
This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on Foundations and Practice of Security, FPS 2014, held in Montreal, QC, Canada, in November 2014. The 18 revised full papers presented together with 5 short papers and 2 position papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on privacy; software se…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17040-4
- Collation
- XIII, 375 pages
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Data privacy management, autonomous spontaneous security, and security assurance
This book constitutes the revised selected papers of the 9th International Workshop on Data Privacy Management, DPM 2014, the 7th International Workshop on Autonomous and Spontaneous Security, SETOP 2014, and the 3rd International Workshop on Quantitative Aspects in Security Assurance, held in Wroclaw, Poland, in September 2014, co-located with the 19th European Symposium on Research in Compute…
- Edition
- -
- ISBN/ISSN
- 9783319170169
- Collation
- xviii, 343 pages
- Series Title
- -
- Call Number
- 005.8
On the Move to Meaningful Internet Systems: OTM 2015 Workshops
This volume constitutes the refereed proceedings of the following 8 International Workshops: OTM Academy; OTM Industry Case Studies Program; Enterprise Integration, Interoperability, and Networking, EI2N; International Workshop on Fact Based Modeling 2015, FBM; Industrial and Business Applications of Semantic Web Technologies, INBAST; Information Systems, om Distributed Environment, ISDE; Metho…
- Edition
- 1
- ISBN/ISSN
- 0302-9743
- Collation
- XXIX, 578
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Numerical Semigroups and Applications
This work presents applications of numerical semigroups in Algebraic Geometry, Number Theory, and Coding Theory. Background on numerical semigroups is presented in the first two chapters, which introduce basic notation and fundamental concepts and irreducible numerical semigroups. The focus is in particular on free semigroups, which are irreducible; semigroups associated with planar curves are …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-82325-6
- Collation
- XIV, 106
- Series Title
- RSME Springer Series
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography