ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (888)
  • Data
  • Maps
  • Physics  (561)
  • Computer Science  (227)
  • Biology  (106)
Collection
Source
Keywords
Publisher
Language
Years
Topic
  • 1
    Unknown
    Real-time Linked Dataspaces : Enabling Data Ecosystems for Intelligent Systems (2020)
    Cham : Springer
    Details
    Keywords: Linked Dataspaces ; Smart Environments ; Distributed Computing Methodologies ; Internet of Things ; Ubiquitous computing
    Description / Table of Contents: Real-time Linked Dataspaces: A Data Platform for Intelligent Systems Within Internet of Things-Based Smart Environments --- Enabling Knowledge Flows in an Intelligent Systems Data Ecosystem --- Dataspaces: Fundamentals, Principles, and Techniques --- Fundamentals of Real-time Linked Dataspaces --- Data Support Services for Real-time Linked Dataspaces --- Catalog and Entity Management Service for Internet of Things-Based Smart Environments --- Querying and Searching Heterogeneous Knowledge Graphs in Real-time Linked Dataspaces --- Enhancing the Discovery of Internet of Things-Based Data Services in Real-time Linked Dataspaces --- Human-in-the-Loop Tasks for Data Management, Citizen Sensing, and Actuation in Smart Environments --- Stream and Event Processing Services for Real-time Linked Dataspaces --- Quality of Service-Aware Complex Event Service Composition in Real-time Linked Dataspaces --- Dissemination of Internet of Things Streams in a Real-time Linked Dataspace --- Approximate Semantic Event Processing in Real-time Linked Dataspaces --- Enabling Intelligent Systems, Applications, and Analytics for Smart Environments Using Real-time Linked Dataspaces --- Autonomic Source Selection for Real-time Predictive Analytics Using the Internet of Things and Open Data --- Building Internet of Things-Enabled Digital Twins and Intelligent Applications Using a Real-time Linked Dataspace --- A Model for Internet of Things Enhanced User Experience in Smart Environments --- Future Research Directions for Dataspaces, Data Ecosystems, and Intelligent Systems
    Pages: Online-Ressource (XXIII, 325 pages) , illustrations, diagrams
    ISBN: 9783030296650
    URL: https://link.springer.com/book/10.1007/978-3-030-29665-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Ionospheric Multi-Spacecraft Analysis Tools : Approaches for Deriving Ionospheric Parameters (2020)
    Cham : Springer
    Details
    Keywords: ionosphere ; magnetospheric coupling ; geomagnetic field ; field-aligned currents ; spherical elementary current systems ; Swarm data ; Swarm constellation ; ionospheric plasma flow ; ionospheric electrodynamics ; satellite magnetic measurements ; geomagnetic field modeling
    Description / Table of Contents: Introduction / Malcolm Wray Dunlop, Hermann Lühr / Pages 1-4 --- Introduction to Spherical Elementary Current Systems / Heikki Vanhamäki, Liisa Juusola / Pages 5-33 --- Spherical Elementary Current Systems Applied to Swarm Data / Heikki Vanhamäki, Liisa Juusola, Kirsti Kauristie, Abiyot Workayehu, Sebastian Käki / Pages 35-53 --- Local Least Squares Analysis of Auroral Currents / Joachim Vogt, Adrian Blagau, Costel Bunescu, Maosheng He / Pages 55-81 --- Multi-spacecraft Current Estimates at Swarm / Malcolm Wray Dunlop, J.-Y. Yang, Y.-Y. Yang, Hermann Lühr, J.-B. Cao / Pages 83-116 --- Applying the Dual-Spacecraft Approach to the Swarm Constellation for Deriving Radial Current Density / Hermann Lühr, Patricia Ritter, Guram Kervalishvili, Jan Rauberg / Pages 117-140 --- Science Data Products for AMPERE / Colin L. Waters, B. J. Anderson, D. L. Green, H. Korth, R. J. Barnes, Heikki Vanhamäki / Pages 141-165 --- ESA Field-Aligned Currents—Methodology Inter-comparison Exercise / Lorenzo Trenchi, The FAC-MICE Team, K. Kauristie, S. Käki, Heikki Vanhamäki, L. Juusola et al. / Pages 167-188 --- Spherical Cap Harmonic Analysis Techniques for Mapping High-Latitude Ionospheric Plasma Flow—Application to the Swarm Satellite Mission / Robyn A. D. Fiori / Pages 189-218 --- Recent Progress on Inverse and Data Assimilation Procedure for High-Latitude Ionospheric Electrodynamics / Tomoko Matsuo / Pages 219-232 --- Estimating Currents and Electric Fields at Low Latitudes from Satellite Magnetic Measurements / Patrick Alken / Pages 233-254 --- Models of the Main Geomagnetic Field Based on Multi-satellite Magnetic Data and Gradients—Techniques and Latest Results from the Swarm Mission / Christopher C. Finlay / Pages 255-284
    Pages: Online-Ressource (X, 288 pages) , Illustrationen, Diagramme
    ISBN: 9783030267322
    URL: https://link.springer.com/book/10.1007/978-3-030-26732-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Automate the Boring Stuff with Python : Practical Programming for Total Beginners (2019)
    San Francisco, CA : No Starch Press
    Details
    Keywords: Python ; programming
    Description / Table of Contents: Chapter 0 – Introduction --- Chapter 1 – Python Basics --- Chapter 2 – Flow Control --- Chapter 3 – Functions --- Chapter 4 – Lists --- Chapter 5 – Dictionaries and Structuring Data --- Chapter 6 – Manipulating Strings --- Chapter 7 – Pattern Matching with Regular Expressions --- Chapter 8 – Input Validation --- Chapter 9 – Reading and Writing Files --- Chapter 10 – Organizing Files --- Chapter 11 – Debugging --- Chapter 12 – Web Scraping --- Chapter 13 – Working with Excel Spreadsheets --- Chapter 14 – Working with Google Spreadsheets --- Chapter 15 – Working with PDF and Word Documents --- Chapter 16 – Working with CSV Files and JSON Data --- Chapter 17 – Keeping Time, Scheduling Tasks, and Launching Programs --- Chapter 18 – Sending Email and Text Messages --- Chapter 19 – Manipulating Images --- Chapter 20 – Controlling the Keyboard and Mouse with GUI Automation --- Appendix A – Installing Third-Party Modules --- Appendix B – Running Programs --- Appendix C – Answers to the Practice Questions
    Pages: Online-Ressource (592 Seiten) , Illustrationen, Diagramme
    Edition: 2nd edition
    ISBN: 9781593279929
    URL: https://automatetheboringstuff.com/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Surface Waves : New Trends and Developments (2018)
    Rijeka : InTech
    Details
    Keywords: seismic waves ; gravity waves
    Description / Table of Contents: 1. Novel Waveguide Technologies and Its Future System Applications / By Shotaro Ishino --- 2. Properties and Applications of Love Surface Waves in Seismology and Biosensors / By Piotr Kiełczyński --- 3. Dyakonov Surface Waves: Anisotropy-Enabling Confinement on the Edge / By Carlos J. Zapata-Rodríguez, Slobodan Vuković, Juan J. Miret, Mahin Naserpour and Milivoj R. Belić --- 4. Measurement of Sea Wave Spatial Spectra from High- Resolution Optical Aerospace Imagery / By Valery G. Bondur and Alexander B. Murynin --- 5. Electromagnetic Polarization: A New Approach on the Linear Component Method / By Jobson de Araújo Nascimento, Regina Maria De Lima Neta, José Moraes Gurgel Neto, Adi Neves Rocha and Alexsandro Aleixo Pereira Da Silva --- 6. Modal Phenomena of Surface and Bulk Polaritons in Magnetic- Semiconductor Superlattices / By Vladimir R. Tuz, Illia V. Fedorin and Volodymyr I. Fesenko --- 7. Video Measurements and Analysis of Surface Gravity Waves in Shallow Water / By Charles R. Bostater Jr, Bingyu Yang and Tyler Rotkiske
    ISBN: 9781789230635
    URL: https://www.intechopen.com/books/surface-waves-new-trends-and-developments
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Kinetic Theory (2018)
    Rijeka : InTech
    Details
    Keywords: kinetics
    Description / Table of Contents: Chapter 1: Introductory Chapter: Kinetics from Past to Future by George Z. Kyzas and Athanasios C. Mitropoulos --- Chapter 2: Discrete Boltzmann Modeling of Compressible Flows by Aiguo Xu, Guangcai Zhang and Yudong Zhang --- Chapter 3: Collective Mode Interactions in Lorentzian Space Plasma by Nazish Rubab and Sadia Zaheer --- Chapter 4: Kinetic Theory of Creep and Long-Term Strength of Metals by Alexander Lokoshchenko and Leonid Fomin --- Chapter 5: Kinetic Equations of Active Soft Matter by Viktor Gerasimenko --- Chapter 6: Non-Linear Kinetic Analysis of Protein Assembly Based on Center Manifold Theory by Tatsuaki Tsuruyama --- Chapter 7: Plasma Kinetic Theory by Kashif Chaudhary, Auwal Mustapha Imam, Syed Zuhaib Haider Rizvi and Jalil Ali
    Pages: Online-Ressource (138 Seiten)
    ISBN: 9789535138013
    URL: https://www.intechopen.com/books/kinetic-theory
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Machine Learning for Data Streams : with Practical Examples in MOA (2018)
    Cambridge, MA : MIT Press
    Details
    Keywords: machine learning; KI; ML
    Description / Table of Contents: A hands-on approach to tasks and techniques in data stream mining and real-time analytics, with examples in MOA, a popular freely available open-source software framework. Today many information sources—including sensor networks, financial markets, social networks, and healthcare monitoring—are so-called data streams, arriving sequentially and at high speed. Analysis must take place in real time, with partial data and without the capacity to store the entire data set. This book presents algorithms and techniques used in data stream mining and real-time analytics. Taking a hands-on approach, the book demonstrates the techniques using MOA (Massive Online Analysis), a popular, freely available open-source software framework, allowing readers to try out the techniques after reading the explanations. The book first offers a brief introduction to the topic, covering big data mining, basic methodologies for mining data streams, and a simple example of MOA. More detailed discussions follow, with chapters on sketching techniques, change, classification, ensemble methods, regression, clustering, and frequent pattern mining. Most of these chapters include exercises, an MOA-based lab session, or both. Finally, the book discusses the MOA software, covering the MOA graphical user interface, the command line, use of its API, and the development of new methods within MOA. The book will be an essential reference for readers who want to use data stream mining as a tool, researchers in innovation or data stream mining, and programmers who want to create new algorithms for MOA.
    Pages: Online-Ressource (XXI, 262 Seiten) , Illustrationen, Diagramme
    ISBN: 9780262346047
    URL: https://direct.mit.edu/books/book/4475/Machine-Learning-for-Data-Streamswith-Practical
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Solar Particle Radiation Storms Forecasting and Analysis : The HESPERIA HORIZON 2020 Project and Beyond (2018)
    Cham : Springer
    Details
    Keywords: Solar system ; Geology ; Astrophysics ; Solar and Heliospheric Physics ; Natural Hazards ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics) ; Atmospheric Sciences
    Description / Table of Contents: Solar energetic particles (SEPs) emitted from the Sun are a major space weather hazard motivating the development of predictive capabilities. This book presents the results and findings of the HESPERIA (High Energy Solar Particle Events forecasting and Analysis) project of the EU HORIZON 2020 programme. It discusses the forecasting operational tools developed within the project, and presents progress to SEP research contributed by HESPERIA both from the observational as well as the SEP modelling perspective. Using multi-frequency observational data and simulations HESPERIA investigated the chain of processes from particle acceleration in the corona, particle transport in the magnetically complex corona and interplanetary space, to the detection near 1 AU. The book also elaborates on the unique software that has been constructed for inverting observations of relativistic SEPs to physical parameters that can be compared with spac e-borne measurements at lower energies. Introductory and pedagogical material included in the book make it accessible to students at graduate level and will be useful as background material for Space Physics and Space Weather courses with emphasis on Solar Energetic Particle Event Forecasting and Analysis. This book is published with open access under a CC BY 4.0 license
    Pages: Online-Ressource (XIII, 203 pages) , 73 illustrations, 54 illustrations in color
    ISBN: 9783319600512
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-60051-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Computational Fluid Dynamics : Basic Instruments and Applications in Science (2018)
    Rijeka : InTech
    Details
    Keywords: computational fluid dynamics
    Description / Table of Contents: Chapter 1: High-Performance Computing: Dos and Don’ts by Guillaume Houzeaux, Ricard Borrell, Yvan Fournier, Marta Garcia- Gasulla, Jens Henrik Göbbert, Elie Hachem, Vishal Mehta, Youssef Mesri, Herbert Owen and Mariano Vázquez --- Chapter 2: Multilevel Variable-Block Schur-Complement-Based Preconditioning for the Implicit Solution of the Reynolds- Averaged Navier-Stokes Equations Using Unstructured Grids by Bruno Carpentieri and Aldo Bonfiglioli --- Chapter 3: Free-Surface Flow Simulations with Smoothed Particle Hydrodynamics Method using High-Performance Computing by Corrado Altomare, Giacomo Viccione, Bonaventura Tagliafierro, Vittorio Bovolin, José Manuel Domínguez and Alejandro Jacobo Cabrera Crespo --- Chapter 4: Highly Deforming Computational Meshes for CFD Analysis of Twin-Screw Positive Displacement Machines by Sham Rane, Ahmed Kovačević, Nikola Stošić and Ian Smith --- Chapter 5: Optimization Design by Coupling Computational Fluid Dynamics and Genetic Algorithm by Jong-Taek Oh and Nguyen Ba Chien --- Chapter 6: Applications of CFD for Process Safety by Luis G. Zárate, Sebastián Uribe and Mario E. Cordero --- Chapter 7: Adaptation to Climate Change at Local Scale: A CFD Study in Porto Urban Area by Vera Rodrigues, Sandra Rafael, Sandra Sorte, Sílvia Coelho, Hélder Relvas, Bruno Vicente, Joana Leitão, Myriam Lopes, Ana Isabel Miranda and Carlos Borrego --- Chapter 8: Computational Fluid Dynamics (CFD) Applied to a Glass Vaporization Chamber for Introduction of Micro- or Nano-Size Samples into Lab-Based ICPs and to a CFD-Derived (and Rapidly Prototyped Via 3D Printing) Smaller-Size Chamber for Portable Microplasmas by Hamid R. Badiei, Gordon Stubley, Ryan Fitzgerald, Melanie Saddler and Vassili Karanassios --- Chapter 9: Analysis of Biomass Waste Cofiring into Existing Coal-Fired Power Plant Using Computational Fluid Dynamics by Arif Darmawan, Dwika Budianto, Koji Tokimatsu and Muhammad Aziz --- Chapter 10: CFD Modelling of Coupled Multiphysics-Multiscale Engineering Cases by Mario E. Cordero, Sebastián Uribe, Luis G. Zárate, Reyna Natividad Rangel, Alejandro Regalado-Méndez and Ever Peralta Reyes --- Chapter 11: CFD Analysis of Turbulence Models to Achieve the Digester Mixing Process by Jorge Flores-Velazquez, Abraham Jesus Arzeta-Rios, Waldo Ojeda Bustamante and Teodoro Espinosa-Solares --- Chapter 12: CFD for the Design and Optimization of Slurry Bubble Column Reactors by Omar M. Basha and Badie I. Morsi --- Chapter 13: Two Different Formulations for Solving the Navier-Stokes Equations with Moderate and High Reynolds Numbers by Blanca Bermúdez, Alejandro Rangel-Huerta, Wuiyevaldo Fermín Guerrero-Sánchez and José David Alanís --- Chapter 14: Vibration Characteristics of Fluid-Filled Functionally Graded Cylindrical Material with Ring Supports by Muzamal Hussain, Aamir Shahzad, Muhammad Nawaz Naeem and Maogang He --- Chapter 15: CFD Simulations of Crude Oil Fouling on Heat Transfer Surfaces by Ramasamy Marappa Gounder and Sampath Emani --- Chapter 16: Surrogate Model Applied for Analysis of Uncertain Parameters in Turbulent Mixing Flows by Boštjan Končar, Andrej Prošek and Matjaž Leskovar
    Pages: Online-Ressource (410 Seiten)
    ISBN: 9789535137917
    URL: https://www.intechopen.com/books/computational-fluid-dynamics-basic-instruments-and-applications-in-science
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    Extreme Weather (2018)
    Rijeka : InTech
    Details
    Keywords: meteorology ; extreme weather events ; El Nino ; climate change
    Description / Table of Contents: 1. Comparison of the Temporal Variability of Maximum Daily Temperatures for Summer Months in Relation to El Nino Events in Southern Québec / by Ali Assani --- 2. Influence of Climate Regime Shift on the Abrupt Change of Tropical Cyclone Activity in Various Genesis Regions / by Chi-Cherng Hong and Yi-Kai Wu --- 3. The Highest Geomagnetic Storms of the Solar Cycle Observed at Ground Level / by Carlos E. Navia, Marcel N. de Oliveira and Carlos R. A. Augusto --- 4. Rainfall Distribution in Landfalling Tropical Cyclones / by Zifeng Yu and Yuqing Wang --- 5. Extreme Weather Events in Ukraine: Occurrence and Changes / by Vira Balabukh, Olena Lavrynenko, Volodymyr Bilaniuk, Andriy Mykhnovych and Olha Pylypovych --- 6. Heat Waves: Health Effects, Observed Trends and Climate Change / by Martínez-Austria Polioptro F and Bandala Erick R. --- 7. Malawi’s Experience with Weather Index Insurance as Agricultural Risk Mitigation Strategy Against Extreme Drought Events 1 / by Ephias M. Makaudze
    ISBN: 9781789236132
    URL: https://www.intechopen.com/books/extreme-weather
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Selected Studies in Biodiversity (2018)
    Rijeka : InTech
    Details
    Keywords: biological diversity ; biodiversity ; plant species ; animal species
    Description / Table of Contents: 1. Impacts of Climate Change and Climate Variability on Wildlife Resources in Southern Africa: Experience from Selected Protected Areas in Zimbabwe / By Olga L. Kupika, Edson Gandiwa, Shakkie Kativu and Godwell Nhamo --- 2. Biological Conservation and Nature Protection Strategies in Spanish Atlantic Region / By Javier Ferreiro da Costa and Pablo Ramil-Rego --- 3. Methods for Biodiversity Assessment: Case Study in an Area of Atlantic Forest in Southern Brazil / By Maria Raquel Kanieski, Solon Jonas Longhi and Philipe Ricardo Casemiro Soares --- 4. Seabed Biodiversity Shifts Identify Climate Regimes: The 2011 Climate Regime Shift and Associated Cascades / By Jeffrey B. Marliave, Donna M. Gibbs, Laura A. Borden and Charles J. Gibbs --- 5. Safeguarding Marine Biodiversity in a Changing World: Maltese Small-Scale Fisheries and Alien Species / By Adriana Vella and Noel Vella --- 6. Biodiversity of Amphipoda Talitridae in Tunisian Wetlands / By Jelassi Raja, Khemaissia Hajer and Nasri-Ammar Karima --- 7. Biodiversity Restoration and Renewable Energy from Hydropower: Conflict or Synergy? / By Wondmagegn Tafesse Tirkaso, Ing‐Marie Gren, Leonard Sandin, Joel Segersten, David Spjut and Erik Degerman --- 8. Determinants of Orchid Occurrence: A Czech Example / By Zuzana Štípková, Kristina Kosánová, Dušan Romportl and Pavel Kindlmann --- 9. Dark-Colored Forest Bee Apis mellifera in Siberia, Russia: Current State and Conservation of Populations / By Nadezhda V. Ostroverkhova, Aksana N. Kucher, Olga L. Konusova, Ekaterina S. Gushchina, Vadim V. Yartsev and Yury L. Pogorelov --- 10. Integration of Ecological and Socioeconomic Factors in Securing Wildlife Dispersal Corridors in the Kavango-Zambezi Transfrontier Conservation Area, Southern Africa / By Simon M. Munthali, Nicholas Smart, Victor Siamudaala, Morris Mtsambiwa and Eleanor Harvie --- 11. Usefulness of Plant Biodiversity in the Cities of Togo / By Radji Raoufou and Kokou Kouami --- 12. Towards an Integrative Taxonomy of the Genus Alstroemeria (Alstroemeriaceae) in Chile: A Comprehensive Review / By Victor L. Finot, Carlos M. Baeza, Eduardo Ruiz, Oscar Toro and Pedro Carrasco --- 13. Ecosystem Services Provided by the Little Things That Run the World / By Olga Maria Correia Chitas Ameixa, António Onofre Soares, Amadeu M.V.M. Soares and Ana I. Lillebø --- 14. Commercial Harvesting of Marula (Sclerocarya Birrea) in Swaziland: A Quest for Sustainability / By Alfred Francis Murye and André J. Pelser --- 15. Synopsis of Mangle Species in Mexico / By Basáñez Muñoz Agustín de Jesús, Serrano Solis Arturo, Martínez Cortés Esmeralda, Cuervo López Liliana, Capistrán Barradas Ascención and Naval Ávila Celina --- 16. Positive Rules Can Lead to Positive Behaviours: Students’ Perceptions of Messages on Information Boards in Protected Areas / By Gregor Torkar, Saša Mezek and Janez Jerman --- 17. Prey Selection of Pseudorasbora parva (Temminck and Schlegel, 1846) in a Freshwater Ecosystem (Lake Eğirdir/Turkey) / By Meral Apaydin Yağci, Ahmet Alp, Abdulkadir Yağci, Vedat Yeğen and Mehmet Ali Turan Koçer --- 18. Importance of Underutilized Field Crops for Increasing Functional Biodiversity / By Franc Bavec, Urška Lisec and Martina Bavec
    ISBN: 9781789232332
    URL: https://www.intechopen.com/books/selected-studies-in-biodiversity
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    Cosmic Ray Neutron Sensing: Estimation of Agricultural Crop Biomass Water Equivalent : Estimation of Agricultural Crop Biomass Water Equivalent (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Hydrology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Hydrology/Water Resources ; Environmental Science and Engineering
    Description / Table of Contents: Foreword --- Summary --- 2. In-Situ Destructive Sampling --- 2.1 The Concept of Representivity --- 2.2 Plant Sampling Pattern and Design --- 2.3 Biomass Water Equivalent --- 2.4 Conclusions --- 3. Remote Sensing via Satellite Imagery Analysis --- 3.1 Photo-Reflective Properties of Plants --- 3.2 Satellite Image Analysis --- 3.3 Conclusions --- 4. Estimate of Biomass Water Equivalent via the Cosmic Ray Neutron Sensor --- 4.1 The role of Biomass in the CRNS Calibration --- 4.2 Relationship between Neutrons and Crop Biomass --- 4.3 Dire4ct Relationship between Neutrons and Biomass --- 4.4 Conclusions
    Pages: Online-Ressource (X, 33 pages) , 18 illustrations, 14 illustrations in color
    ISBN: 9783319695396
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69539-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    Musical Haptics (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Music ; Consciousness ; User Interfaces and Human Computer Interaction ; Music ; Cognitive Psychology
    Description / Table of Contents: Introduction --- Part 1- Haptics in Musical Interaction: Psychophysics and User Experience --- A Brief Overview of the Somatosensory System --- Once More with Feeling: The Dynamics of Performer-Instrument Interaction --- Perception of Vibrotactile Cues in Musical Performance --- The Role of Haptic Cues in Musical Instrument Quality Perception --- A Functional Analysis of Haptic Feedback in Digital Musical Instrument Interactions --- Auditory-Tactile Experience of Music --- Part II - Haptic Musical Interfaces: Design and Applications --- The MSCI Platform: A Framework for the Design and Simulation of Multisensory Virtual Musical Instruments --- Implementation and Characterization of Vibrotactile Interfaces --- Touchscreens and Musical Interaction --- Design of Vibrotactile Feedback --- Haptic Force-Feedback Instruments for the Laptop Orchestra of Louisiana --- Haptics for the Development of Fundamental Rhythm Skills Including Multi-Limb Coordination
    Pages: Online-Ressource (XV, 285 pages) , 107 illustrations, 58 illustrations in color
    ISBN: 9783319583167
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-58316-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    Unknown
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Programming Languages, Compilers, Interpreters ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Computing Methodologies ; Computing Milieux
    Description / Table of Contents: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory
    Pages: Online-Ressource (XVI, 1058 pages) , 276 illustrations
    ISBN: 9783319898841
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89884-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    Unknown
    The Essence of Software Engineering (2018)
    Cham : Springer
    Details
    Keywords: Software engineering ; Management information systems ; Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: 1 The Leading Role of Software and Systems Architecture in the Age of Digitization --- 2 Formal Methods and Agile Development: Towards a Happy Marriage --- 3 Escaping Method Prison – On the Road to Real Software Engineering --- 4 What is software?: The Role of Empirical Methods in Answering the Question --- 5 Only the Architecture You Need --- 6 Variability in standard software products Introducing software product line engineering to the insurance industry --- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report --- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge --- 9 Data-driven decisions and actions in today’s software development --- 10 Software Architecture: Past, Present, Future --- 11 Software Product Lines --- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise --- 13 Achievements, Failures, and the Future of Model-based Software Engineering
    Pages: Online-Ressource (XV, 236 pages) , 98 illustrations, 51 illustrations in color
    ISBN: 9783319738970
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73897-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: 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 techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XIX, 703 pages) , 146 illustrations
    ISBN: 9783319961453
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96145-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    Unknown
    Security in Computer and Information Sciences : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Data encryption (Computer science) ; Computer Science ; Security ; Information Systems Applications (incl. Internet) ; Data Encryption ; Special Purpose and Application-Based Systems ; Computer Communication Networks
    Description / Table of Contents: Security of distributed interconnected systems --- Security of software systems --- Security of the Internet of Things
    Pages: Online-Ressource (XII, 159 pages) , 33 illustrations
    ISBN: 9783319951898
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-95189-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: 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 techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XX, 545 pages) , 106 illustrations
    ISBN: 9783319961422
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96142-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    Unknown
    Medical Imaging Systems : An Introductory Guide (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer graphics ; Computer Science ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Introduction --- System Theory --- Image Processing --- Endoscopy --- Microscopy --- Magnetic Resonance Imaging --- X-ray Imaging --- Computed Tomography --- X-ray Phase Contrast: Research on a Future Imaging Modality --- Emission Tomography --- Ultrasound --- Optical Coherence Tomography --- Acronyms.
    Pages: Online-Ressource (X, 259 pages) , 167 illustrations
    ISBN: 9783319965208
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96520-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    Unknown
    Zukunft der Arbeit – Eine praxisnahe Betrachtung (2018)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Robotics ; Automation ; Industrial engineering ; Production engineering ; Economic sociology ; Engineering ; Industrial and Production Engineering ; Organizational Studies, Economic Sociology ; Robotics and Automation
    Description / Table of Contents: Einleitung --- Prognostizierte Veränderungen der gestaltbaren Arbeitssystemdimensionen --- Systeme zur Assistenz und Effizienzsteigerung in manuellen Produktionsprozessen der Industrie auf Basis von Projektion und Tiefendatenerkennung --- Betriebliche Auswirkungen industrieller Servicerobotik am Beispiel der Kleinteilemontage --- Erweiterte Horizonte – Ein technischer Blick in die Zukunft der Arbeit --- Soziotechnische Assistenzsysteme für die Produktionsarbeit in der Textilbranche --- Lernförderliche Arbeitssysteme für die Arbeitswelt von morgen --- Assistenz und Wissensvermittlung am Beispiel von Montage- und Instandhaltungstätigkeiten --- Der Mensch in Interaktion mit autonomen Planungs- und Steuerungssystemen für Cyber-Physische Produktionssysteme --- ReApp – Wiederverwendbare Roboterapplikationen für flexible Roboteranlagen - Auswirkungen der Ergebnisse aus ReApp auf betriebliche Funktionen am Beispiel eines Anwendungsfalls in der Elektroindustrie --- Modellierungsansatz für ein arbeitsplatznahes Beschreibungsmodell der »Arbeitswelt Industrie 4.0 --- Die Zukunft der Arbeit im demografischen Wandel --- “Social Manufacturing and Logistics“ – Arbeit in der digitalisierten Produktion --- Lernförderliche Arbeitsorganisation in der Industrie 4.0 --- Decision Support Pipelines – Durchgängige Datenverarbeitungsinfrastrukturen für die Entscheidungen von morgen --- Gerechtigkeit in flexiblen Arbeits- und Managementprozessen --- Technologie, Organisation, Qualifikation
    Pages: Online-Ressource (XI, 246 Seiten) , 62 Abbildungen, 56 Abbildungen in Farbe
    ISBN: 9783662492666
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-49266-6
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    Unknown
    Ganzheitliche Digitalisierung von Prozessen : Perspektivenwechsel – Design Thinking – Wertegeleitete Interaktion (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Management ; Industrial management ; Information technology ; Business ; Data processing ; Computers ; Computer Science ; Information Systems and Communication Service ; Innovation/Technology Management ; IT in Business
    Description / Table of Contents: Modelle --- Modellierungssprachen --- Vorgehensweise von der Modellbildung zur Digitalisierung --- Vorbereitung der Prozessimplementierung --- Umsetzung --- Praxisbeispiel
    Pages: Online-Ressource (X, 254 Seiten) , 143 Abbildungen, 69 Abbildungen in Farbe
    ISBN: 9783658226480
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-22648-0
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    Unknown
    Marine Ecology : Biotic and Abiotic Interactions (2018)
    Rijeka : InTech
    Details
    Keywords: aquatic resources ; exploitation ; pollution ; physicochemistry ; ocean
    Description / Table of Contents: 1. Introductory Chapter: Marine Ecology—Biotic and Abiotic Interactions / by Muhammet Turkoglu, Umur Onal and Ali Ismen --- 2. Geo-Biological Coupling of Authigenic Carbonate Formation and Autotrophic Faunal Colonization at Deep-Sea Methane Seeps I: Geo-Biological Settings / by Takeshi Naganuma --- 3. Geo-Biological Coupling of Authigenic Carbonate Formation and Autotrophic Faunal Colonization at Deep-Sea Methane Seeps II. Geo-Biological Landscapes / by Takeshi Naganuma --- 4. Plankton Ecology and Productivity in Jamaican Waters with New and Unique Applications / by Mona K. Webber, Dale F. Webber and Gale Persad Ford --- 5. Ecology of Planktonic Atlantic Cod (Gadus morhua) / by Stig Skreslet --- 6. Encounters in the Zooplankton: Implications for Pelagic Ecosystem Dynamics / by Laura Sanvicente-Añorve and Miguel Alatorre-Mendieta --- 7. Marine Fisheries in Nigeria: A Review / by Olalekan Jacob Olaoye and Wahab Gbenga Ojebiyi --- 8. Marine Stock Enhancement in India: Current Status and Future Prospects / by Mohammad Serajuddin, Farah Bano, Madhu Awasthi, Pragya Gupta and Graish Kumar --- 9. The Natural Ecology and Stock Enhancement of the Edible Jellyfish (Rhopilema esculentum Kishinouye, 1891) in the Liaodong Bay, Bohai Sea, China / by Jing Dong, Bin Wang, Yan Duan, Aiyong Wang, Yulong Li, Ming Sun, Yu Chai, Xiuze Liu, Xuguang Yu, Dong Guo and Xiaolin Wang --- 10. Overview on Mediterranean Shark’s Fisheries: Impact on the Biodiversity / by Mohamed Nejmeddine Bradai, Bechir Saidi and Samira Enajjar --- 11. An Update on Reproduction in Ghost Shrimps (Decapoda: Axiidea) and Mud Lobsters (Decapoda: Gebiidea) / by Patricio Hernáez --- 12. The Role of Microalgae in Renewable Energy Production: Challenges and Opportunities / by Abd Ellatif Mohamed Hussian
    ISBN: 9781789234497
    URL: https://www.intechopen.com/books/marine-ecology-biotic-and-abiotic-interactions
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    Self-Assembled Molecules – New Kind of Protein Ligands : Supramolecular Ligands (2018)
    Cham : Springer
    Details
    Keywords: Medicine ; Proteins ; Biology ; Technique ; Biomedicine ; Biomedicine general ; Protein Science ; Protein-Ligand Interactions ; Biological Techniques
    Description / Table of Contents: Supramolecular Protein Ligands – Unexplored Teritory Of Potential Pharmacological Activity --- Supramolecular Congo Red As Specific Ligand Of Antibodies Engaged In Immune Complex --- Protein Conditioning For Binding Congo Red And Other Supramolecular Ligands --- Metal Ions Introduced To Proteins By Supramolecular Ligands --- Possible Mechanism Of Amyloidogenesis Of V Domains --- Supramolecular Structures As Carrier Systems Enabling The Use Of Metal Ions In Antibacterial Therapy --- Congo Red Interactions With Single-Walled Carbon Nanotubes
    Pages: Online-Ressource (XII, 136 pages) , 98 illustrations, 44 illustrations in color
    ISBN: 9783319656397
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65639-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    Unknown
    Bioeconomy : Shaping the Transition to a Sustainable, Biobased Economy (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Sustainable development ; Natural resources ; Agricultural economics ; Life Sciences ; Ecosystems ; Sustainable Development ; Agricultural Economics ; Natural Resource and Energy Economics ; Natural Resources
    Description / Table of Contents: 1. Introduction --- Part I: Bioeconomy Concepts and Research Methods --- Chapter 2: Context --- Chapter 3: Bioeconomy concepts --- Chapter 4: Core principles --- Chapter 4: Inter- and Transdisciplinarity in the Bioeconomy --- Part II: Knowledge Base for Biobased Value Chains --- Chapter 5:Biobased Resources and Value Chains --- Chapter 6: Primary Production --- Chapter 7: Processing of Biobased Resources --- Chapter 8: Markets, Sustainability management and Entrepreneurship.- Part III: Transition to a Sustainable Bioeconomy --- Chapter9:  Modelling and Tools Supporting the Transition to a Bioeconomy --- Chapter 10: Environmental Economics, the Bioeconomy and the Role of Government --- Chapter 11: Economic Growth, Development, and Innovation – The Transformation towards a Knowledge-based Bioeconomy --- Chapter 12: The Bioeconomist
    Pages: Online-Ressource (VI, 354 pages) , 165 illustrations, 139 illustrations in color
    ISBN: 9783319681528
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-68152-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    Unknown
    Cosmic Ray Neutron Sensing: Estimation of Agricultural Crop Biomass Water Equivalent (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Hydrology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Hydrology/Water Resources ; Environmental Science and Engineering
    Description / Table of Contents: Foreword --- Summary --- 2. In-Situ Destructive Sampling --- 2.1 The Concept of Representivity --- 2.2 Plant Sampling Pattern and Design --- 2.3 Biomass Water Equivalent --- 2.4 Conclusions --- 3. Remote Sensing via Satellite Imagery Analysis --- 3.1 Photo-Reflective Properties of Plants --- 3.2 Satellite Image Analysis --- 3.3 Conclusions --- 4. Estimate of Biomass Water Equivalent via the Cosmic Ray Neutron Sensor --- 4.1 The role of Biomass in the CRNS Calibration --- 4.2 Relationship between Neutrons and Crop Biomass --- 4.3 Dire4ct Relationship between Neutrons and Biomass --- 4.4 Conclusions
    Pages: Online-Ressource (X, 33 pages) , 18 illustrations, 14 illustrations in color
    ISBN: 9783319695396
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69539-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    Unknown
    Nicotinic Acetylcholine Receptor Signaling in Neuroprotection (2018)
    Singapore : Springer
    Details
    Keywords: Medicine ; Neurosciences ; Pharmacology ; Neurology ; Biomedicine ; Neurosciences ; Neurology ; Pharmacology/Toxicology
    Description / Table of Contents: 1.Overview --- 2.In vivo imaging of nicotinic acetylcholine receptors in the central nervous system --- 3.A new aspect of cholinergic transmission in the central nervous system --- 4.Nicotinic acetylcholine receptor signaling: roles in neuroprotection --- 5.Regulation by nicotinic acetylcholine receptors of microglial glutamate transporters: role of microglia in neuroprotection --- 6.Shati/Nat8l and N-acetylaspartate (NAA) have important roles in regulating nicotinic acetylcholine receptors in neuronal and psychiatric diseases in animal models and humans --- 7.Nicotinic acetylcholine receptors in regulation of pathology of cerebrovascular disorders --- 8.Roles of nicotinic acetylcholine receptors in the pathology and treatment of Alzheimer’s and Parkinson’s diseases --- 9.SAK3-induced neuroprotection is mediated by nicotinic acetylcholine receptors --- 10.Removal of blood amyloid as a therapeutic strategy for Alzheimer’s disease: the influence of smoking and nicotine
    Pages: Online-Ressource (X, 191 pages) , 62 illustrations, 20 illustrations in color
    ISBN: 9789811084881
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-8488-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    Unknown
    Sago Palm : Multiple Contributions to Food Security and Sustainable Livelihoods (2018)
    Singapore : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Plant science ; Botany ; Sustainable development ; Life Sciences ; Agriculture ; Plant Sciences ; Sustainable Development
    Description / Table of Contents: Part 1. Introduction of Sago Resources- Chapter 1: Status and Outlook of Global Food Security and the Role of Under-Utilized Food Resource: Sago Palm (Hiroyuki Konuma) --- Chapter 2: Growing Area of Sago Palm and Its Environment (M. H. Bintoro) --- Chapter 3: Life and Livelihood in Sago Growing Area (Yukio Toyoda) --- Part 2. Diversity of Sago Resource in Asia and Pacific --- Chapter 4: Genetic Variation, Agronomic Features of Sago Palm in Asia and Pacific (Hiroshi Ehara) --- Chapter 5: Genetic Diversity of Sago Palm Resources in Indonesia (Barahima Abbas) --- Part 3. Sago Industry Contributes for Food Security and Rural Development in Core Producing Countries --- Chapter 6: An Overview of Sago Industry Development from 20th c. to 21st c. (Jong Foh Shoon) --- Chapter 7: Suitability of Peat Swamp Areas for Commercial Production of Sago Crop - Sarawak Experience (Roland Yong Chiew Ming) --- Chapter 8: Feasibility of Small Scale Sago Industries on Small Island in East Indonesia (Wardis Girsang) --- Chapter 9: Addressing Food Insecurity through Food Safety and Cropping of Sago in Papua New Guinea (Aisak G Pue) --- Chapter 10: Conservation and Sustainable Utilization of the Fiji Sago Palm (Dick Watling) --- Part 4. Agricultural Botany of Sago Palm --- Chapter 11: Matter Production as A Basis of Starch Production in Sago Palm (Yoshinori Yamamoto) --- Chapter 12: Morphogenesis of Sago Palm (Satoshi Nakamura) --- Chapter 13: Morphological and Anatomical Characteristics of Sago Palm Starch (Yoji Nitta) --- Part 5. Growth Environment --- Chapter 14: Soil Environment in Sago Palm Forest (Masanori Okazaki) --- Chapter 15: Interaction between Microbes Activities and Sago Palm Growth (Koki Toyoda) --- Part 6. Starch Production and Utilization --- Chapter 16: Study on the Transformation in Extraction and Consumption Processes of Sago Starch in a Traditional Society of Indonesia (Yoshihiko Nishimura) --- Chapter 17: Improvement of Sago Processing Machine (Darma) --- Chapter 18: The Structure and Characteristics of Sago Starch (Masanori Okazaki) --- Chapter 19: Recovery of Starch from Sago Pith Waste and Waste Water Treatment (Budi Santoso) --- Chapter 20: Acid modification of sago starch and its fiber for industrial application (Titi Candra Sunarti) --- Part 6. New Carbohydrate Resources --- Chapter 21: Starch Properties and Uses as food for Human Health and Welfare (Kazuko Hirao) --- Chapter 21: Production, Purification and Health Benefits of Sago Sugar (Kazuko Hirao) --- Chapter 22: Production, Purification and Health Benefits of Sago Sugar (Kopli Bujang) --- Chapter 23: New Sago Starch Resources and Its Properties from Starch Pith Waste and Pacific Sago Palms (Takashi Mishima) --- Part 8. Conclusion --- Chapter 24: Outcomes and Recommendations from the 12th International Sago Symposium (Yoshinori Yamamoto)
    Pages: Online-Ressource (XIII, 330 pages) , 106 illustrations, 71 illustrations in color
    ISBN: 9789811052699
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-5269-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    Unknown
    The Plant Stem : A Microscopic Aspect (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Forest products ; Plant anatomy ; Plant development ; Plant physiology ; Life Sciences ; Plant Anatomy/Development ; Plant Physiology ; Plant Systematics/Taxonomy/Biogeography ; Wood Science & Technology
    Description / Table of Contents: Introduction --- Preparation techniques - Making anatomical structures visible --- Morphology of the plant body --- Cellular composition of the plant bodies --- Structure of cell walls and cell contents --- Primary, secondary and tertiary meristem --- Stem anatomical structures of major taxonomic units --- Evolution of stems --- Anatomical adaptions to permanent changed environmental conditions --- Anatomical adaptions to temporarily changed environmental conditions --- Coexistence of algae, fungi and vascular plants --- Wood decay --- Fossilization, permineralization, coalification, carbonization and wetwood conservation --- Technically altered wood products
    Pages: Online-Ressource (VII, 207 pages)
    ISBN: 9783319735245
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73524-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    Unknown
    Riverine Ecosystem Management : Science for Governing Towards a Sustainable Future (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Aquatic ecology ; Conservation biology ; Ecology ; Nature conservation ; Marine sciences ; Freshwater ; Life Sciences ; Freshwater & Marine Ecology ; Ecosystems ; Conservation Biology/Ecology ; Nature Conservation ; Marine & Freshwater Sciences
    Description / Table of Contents: Chapter 1. Challenges in Riverine Ecosystem Management --- Part I Human Impacts, Mitigation and Restoration --- Chapter 2. Historic Milestones of Human River Uses and Ecological Impacts --- Chapter 3. River Morphology, Channelization, and Habitat Restoration --- Chapter 4. River Hydrology, Flow Alteration, and Environmental Flow --- Chapter 5. Hydropeaking Impacts and Mitigation --- Chapter 6. Dams: Ecological Impacts and Management --- Chapter 7. Aquatic Habitat Modeling in Running Waters --- Chapter 8. The Role of Sediment and Sediment Dynamics in the Aquatic Environment --- Chapter 9. River Connectivity, Habitat Fragmentation and Related Restoration Meas --- Chapter 10. Phosphorus and Nitrogen Dynamics in Riverine Systems: Human Impacts and Management Options --- Chapter 11. Climate Change Impacts in Riverine Ecosystems --- Chapter 12. Ecotoxicology --- Chapter 13. Land Use --- Chapter 14. Recreational Fisheries – The Need for Sustainability in Fisheries Management of Alpine Rivers --- Part II Management, Methodologies, Governance --- Chapter 15. Restoration in Integrated River Basin Management --- Chapter 16.Adaptive Management of Riverine Socio-ecological Systems --- Chapter 17. Legislative Framework for River Ecosystem Management on International and European Level --- Chapter 18. Ensuring Long-Term Cooperation Over Transboundary Water Resources Through Joint River Basin Management --- Chapter 19. Biomonitoring and Bioassessment --- Chapter 20. Biodiversity and Freshwater Information Systems --- Chapter 21. Ecosystem Services in River Landscapes --- Chapter 22. Public Participation and Environmental Education --- Chapter 23. NGOs in Freshwater Resource Management --- Part III Case Studies --- Chapter 24. Danube Under Pressure: Hydropower Rules the Fish --- Chapter 25. Danube Floodplain Lobau --- Chapter 26. Danube Sturgeons: Past and Future --- Chapter 27. Healthy Fisheries Sustain Society and Ecology in Burkina Faso --- Chapter 28. The Tisza River: Managing a Lowland River in the Carpathian Basin --- Part IV Summary --- Chapter 29. Landmarks, Advances and Future Challenges in Riverine Ecosystem Management
    Pages: Online-Ressource (VII, 571 pages) , 123 illustrations, 82 illustrations in color
    ISBN: 9783319732503
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73250-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    Unknown
    Pre-Field Screening Protocols for Heat-Tolerant Mutants in Rice (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Plant breeding ; Life Sciences ; Plant Breeding/Biotechnology ; Agriculture
    Description / Table of Contents: General Introduction --- Screening Protocols for Heat Tolerance in Rice at the Seedling and Reproductive Stages --- Validation of Screening Protocols for Heat Tolerance in Rice --- Conclusion --- References
    Pages: Online-Ressource (XII, 39 pages) , 16 illustrations, 10 illustrations in color
    ISBN: 9783319773384
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-77338-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    Unknown
    The Economy as a Complex Spatial System : Macro, Meso and Micro Perspectives (2018)
    Cham : Springer
    Details
    Keywords: Regional economics ; Macroeconomics ; Industrial organization ; European Economic Community lite ; Economic theory ; Data-driven Science, Modeling and Theory Building ; Regional/Spatial Science ; Macroeconomics/Monetary Economics//Financial Economics ; Industrial Organization ; European Integration ; Economic Theory/Quantitative Economics/Mathematical Methods
    Description / Table of Contents: This book is open access under a CC BY-NC 4.0 license. This collected volume represents the final outcome of the COST Action IS1104 "The EU in the new complex geography of economic systems: models, tools and policy evaluation". Visualizing the EU as a complex and multi-layered network, the book is organized in three parts, each of them dealing with a different level of analysis: At the macro-level, Part I considers the interactions within large economic systems (regions or countries) involving trade, workers migration, and other factor movements. At the meso-level, Part II discusses interactions within specific but wide-ranging markets, with a focus on financial markets and banking systems. Lastly, at the micro-level, Part III explores the decision-making of single firms, especially in the context of location decisions
    Pages: Online-Ressource (XII, 220 pages) , 35 illustrations
    ISBN: 9783319656274
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65627-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    Unknown
    Solar Particle Radiation Storms Forecasting and Analysis : The HESPERIA HORIZON 2020 Project and Beyond (2018)
    Cham : Springer
    Details
    Keywords: Solar system ; Geology ; Astrophysics ; Solar and Heliospheric Physics ; Natural Hazards ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics) ; Atmospheric Sciences
    Description / Table of Contents: Solar energetic particles (SEPs) emitted from the Sun are a major space weather hazard motivating the development of predictive capabilities. This book presents the results and findings of the HESPERIA (High Energy Solar Particle Events forecasting and Analysis) project of the EU HORIZON 2020 programme. It discusses the forecasting operational tools developed within the project, and presents progress to SEP research contributed by HESPERIA both from the observational as well as the SEP modelling perspective. Using multi-frequency observational data and simulations HESPERIA investigated the chain of processes from particle acceleration in the corona, particle transport in the magnetically complex corona and interplanetary space, to the detection near 1 AU. The book also elaborates on the unique software that has been constructed for inverting observations of relativistic SEPs to physical parameters that can be compared with spac e-borne measurements at lower energies. Introductory and pedagogical material included in the book make it accessible to students at graduate level and will be useful as background material for Space Physics and Space Weather courses with emphasis on Solar Energetic Particle Event Forecasting and Analysis. This book is published with open access under a CC BY 4.0 license
    Pages: Online-Ressource (XIII, 203 pages) , 73 illustrations, 54 illustrations in color
    ISBN: 9783319600512
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-60051-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    Unknown
    International Cooperation for Enhancing Nuclear Safety, Security, Safeguards and Non-proliferation–60 Years of IAEA and EURATOM : Proceedings of the XX Edoardo Amaldi Conference, Accademia Nazionale dei Lincei, Rome, Italy, October 9-10, 2017 (2018)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Physics ; Nuclear energy ; International relations ; Physics ; Applied and Technical Physics ; Societal Aspects of Physics, Outreach and Education ; Nuclear Energy ; International Relations
    Description / Table of Contents: This open access book examines key aspects of international cooperation to enhance nuclear safety, security, safeguards, and non-proliferation, thereby assisting in development and maintenance of the verification regime and fostering progress toward a nuclear weapon-free world. The book opens by addressing important political, institutional, and legal dimensions. Current challenges are discussed and attempts made to identify possible solutions and future improvements. Subsequent sections consider scientific developments that have the potential to increase the effectiveness of implementation of international regimes, particularly in critical areas, technology foresight, and the ongoing evaluation of current capabilities. The closing sections examine scientific and technical challenges and discuss the role of international cooperation and actions of the scientific community in leading the world toward peace and security. The book – which celebrates 60 years of IAEA Atoms for Peace and Development and the EURATOM Treaty – comprises contributions presented at the XX Edoardo Amaldi Conference, where eminent scientists, diplomats, and policymakers were able to compare national perspectives and update international collaborations
    Pages: Online-Ressource (XXXVI, 220 pages) , 16 illustrations in color
    ISBN: 9783662573662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-57366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    Unknown
    Physical (A)Causality : Determinism, Randomness and Uncaused Events (2018)
    Cham : Springer
    Details
    Keywords: Physics ; Epistemology ; Philosophy and science ; Probabilities ; Physics ; History and Philosophical Foundations of Physics ; Theoretical, Mathematical and Computational Physics ; Epistemology ; Probability Theory and Stochastic Processes ; Philosophy of Science
    Description / Table of Contents: Part I Embedded observers, reflexive perception and representation: Intrinsic and extrinsic observation mode --- Embedded observers and self-expression --- Reflexive measurement --- Intrinsic self-representation --- Part II Provable unknowns: On what is entirely hopeless --- Forecasting and unpredictability --- Induction by rule inference --- Other types of recursion theoretic unknowables --- What if there are no laws? Emergence of laws --- Part III Quantum unknowns: "Shut up and calculate" --- Evolution by permutation --- Quantum mechanics in a nutshell --- Quantum oracles --- Vacuum fluctuations --- Radioactive decay --- Part IV Exotic unknowns: Classical continua and infinities --- Classical (in)determinism --- Deterministic chaos --- Partition logics, finite automata and generalized urn models --- Part V Transcendence: Miracles --- Dualistic interfaces --- Part VI Executive summary: Executive summary --- Appendix A: Formal (in)computability and randomness --- B: Two particle correlations and expectations
    Pages: Online-Ressource (XIV, 219 pages) , 32 illustrations, 24 illustrations in color
    ISBN: 9783319708157
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-70815-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    Unknown
    Colorimetry and Image Processing (2018)
    Rijeka : InTech
    Details
    Keywords: image processing
    Description / Table of Contents: Chapter 1: Colorimetry and Dichromatic Vision by Humberto Moreira, Leticia Álvaro, Anna Melnikova and Julio Lillo --- Chapter 2: Image Segmentation Based on Mathematical Morphological Operator by Jianjun Chen, Haijian Shao and Chunlong Hu --- Chapter 3: Color Reconstruction and Resolution Enhancement Using Super-Resolution by Eduardo Quevedo Gutiérrez and Gustavo Marrero Callicó --- Chapter 4: Color Analysis and Image Processing Applied in Agriculture by Jesús Raúl Martínez Sandoval, Miguel Enrique Martínez Rosas, Ernesto Martínez Sandoval, Manuel Moisés Miranda Velasco and Humberto Cervantes De Ávila --- Chapter 5: A Proposal of Color Image Processing Applications for Education by Hiroshi Kamada, Tomohisa Ishikawa and Keitaro Yoshikawa --- Chapter 6: Real-Time Video Analysis in Agriculture by Using LabVIEW Software by Abdullah Beyaz --- Chapter 7: Diffusion-Steered Super-Resolution Image Reconstruction by Baraka J. Maiseli --- Chapter 8: A New Pansharpening Approach for Hyperspectral Images by Chiman Kwan, Jin Zhou and Bence Budavari --- Chapter 9: Thresholding Algorithm Optimization for Change Detection to Satellite Imagery by René Vázquez-Jiménez, Rocío N. Ramos-Bernal, Raúl Romero- Calcerrada, Patricia Arrogante-Funes, Sulpicio Sanchez Tizapa and Carlos J. Novillo --- Chapter 10: Clouds Motion Estimation from Ground-Based Sky Camera and Satellite Images by Ali Youssef Zaher and Afraa Ghanem
    Pages: Online-Ressource (206 Seiten)
    ISBN: 9789535137450
    URL: https://www.intechopen.com/books/colorimetry-and-image-processing
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    Pure and Applied Biogeography (2018)
    Rijeka : InTech
    Details
    Keywords: biogeography ; biodiversity crisis ; climate change ; water issues ; sustainable agriculture
    Description / Table of Contents: Chapter 1: Introductory Chapter: The Main Directions and Tasks of Pure and Applied Biogeography in Solving the Global Problems of Our Time by Levente Hufnagel --- Chapter 2: Are Historical Biogeographical Events Able to Promote Biological Diversification? by Julián A. Velasco --- Chapter 3: Ecological Responses to Climate Change at Biogeographical Boundaries by Melinda Pálinkás --- Chapter 4: A Synopsis of Global Mapping of Freshwater Habitats and Biodiversity: Implications for Conservation by Ryan A. McManamay, Natalie A. Griffiths, Christoper R. DeRolph and Brenda M. Pracheil --- Chapter 5: Plant Antiherbivore Defense in Diverse Environments by Alina Morquecho-Contreras, Carmen Zepeda-Gómez and Hermilo Sánchez-Sánchez --- Chapter 6: Vachellia (Acacia) karroo Communities in South Africa: An Overview by Mamokete Dingaan and Pieter J. du Preez --- Chapter 7: Ecological Biogeography of West Usambara Mountains: A Study on the Influence of Abiotic Factors to Spatial Distribution of Plant and Animal Species by Joel Loitu Meliyo, Kenneth F.G. Masuki, Balthazar M. Msanya, Didas N. Kimaro and Loth S. Mulungu
    Pages: Online-Ressource (176 Seiten)
    ISBN: 9789535137559
    URL: https://www.intechopen.com/books/pure-and-applied-biogeography
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    Unknown
    Time Series Analysis and Applications (2018)
    Rijeka : InTech
    Details
    Keywords: time series analysis ; TSA ; data science ; forecasting
    Description / Table of Contents: Chapter 1: Introductory Chapter: Time Series Analysis (TSA) for Anomaly Detection in IoT by Nawaz Mohamudally --- Chapter 2: Anxiety, Worry and Fear: Quantifying the Mind Using EKG Time Series Analysis by Toru Yazawa --- Chapter 3: Agricultural Monitoring in Regional Scale Using Clustering on Satellite Image Time Series by Renata Ribeiro do Valle Gonçalves, Jurandir Zullo Junior, Bruno Ferraz do Amaral, Elaine Parros Machado Sousa and Luciana Alvim Santos Romani --- Chapter 4: Volatility Parameters Estimation and Forecasting of GARCH(1,1) Models with Johnson’s SU Distributed Errors by Mohammed Elamin Hassan, Henry Mwambi and Ali Babikir --- Chapter 5: Generation of Earth’s Surface Three-Dimensional (3-D) Displacement Time-Series by Multiple-Platform SAR Data by Antonio Pepe --- Chapter 6: Time Series and Renewable Energy Forecasting by Mahmoud Ghofrani and Musaad Alolayan --- Chapter 7: Modeling Nonlinear Vector Time Series Data by Jiancheng Jiang and Sha Yu --- Chapter 8: Symbolic Time Series Analysis and Its Application in Social Sciences by Wiston Adrián Risso --- Chapter 9: State-Space Models for Binomial Time Series with Excess Zeros by Fan Tang and Joseph E. Cavanaugh --- Chapter 10: Ensemble Prediction of Stream Flows Enhanced by Harmony Search Optimization by Milan Cisty and Veronika Soldanova
    Pages: Online-Ressource (178 Seiten)
    ISBN: 9789535137436
    URL: https://www.intechopen.com/books/time-series-analysis-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    Unknown
    Very-Large-Scale Integration (2018)
    Rijeka : InTech
    Details
    Keywords: VLSI ; Very-Large-Scale Integration
    Description / Table of Contents: Chapter 1: Introductory Chapter: VLSI by Kim Ho Yeap and Humaira Nisar --- Chapter 2: Transistor Degradations in Very Large-Scale-Integrated CMOS Technologies by Chang Yeol Lee --- Chapter 3: Low Power Design Methodology by Vithyalakshmi Natarajan, Ashok Kumar Nagarajan, Nagarajan Pandian and Vinoth Gopi Savithri --- Chapter 4: High-purity Refractory Metals for Thin Film Metallization of VLSI by Vadim Glebovsky --- Chapter 5: Operational Amplifier Design in CMOS at Low-Voltage for Sensor Input Front-End Circuits in VLSI Devices by Muhaned Zaidi, Ian Grout and Abu Khari A’ain --- Chapter 6: Design of High-Order CMOS Analog Notch Filter with 0.18 μm CMOS Technology by Kittipong Tripetch
    Pages: Online-Ressource (160 Seiten)
    ISBN: 9789535138648
    URL: https://www.intechopen.com/books/very-large-scale-integration
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    Unknown
    Computational and Experimental Studies of Acoustic Waves (2018)
    Rijeka : InTech
    Details
    Keywords: acoustic waves ; sound waves ; seismology ; earthquake ; atmosphere
    Description / Table of Contents: Chapter 1: Optimized Finite Difference Methods for Seismic Acoustic Wave Modeling by Yanfei Wang and Wenquan Liang --- Chapter 2: Acoustic Analysis of Enclosed Sound Space as well as Its Coupling with Flexible Boundary Structure by Jingtao Du, Yang Liu and Long Liu --- Chapter 3: Sound Waves in Complex (Dusty) Plasmas by Aamir Shahzad, Muhammad Asif Shakoori, Maogang He and Sajid Bashir --- Chapter 4: Acoustic Wave Monitoring of Fluid Dynamics in the Rock Massif with Anomaly Density, Stressed and Plastic Hierarchic Inclusions by Olga Hachay and Andrey Khachay --- Chapter 5: In-Fiber Acousto-Optic Interaction Based on Flexural Acoustic Waves and Its Application to Fiber Modulators by Miguel Ángel Bello Jiménez, Gustavo Ramírez-Meléndez, Erika Hernández-Escobar, Andrés Camarillo-Avilés, Rosa López-Estopier, Olivier Pottiez, Cristian Cuadrado-Laborde, Antonio Díez, José L. Cruz and Miguel V. Andrés --- Chapter 6: Wave Propagation in Porous Materials by Zine El Abiddine Fellah, Mohamed Fellah, Claude Depollier, Erick Ogam and Farid G. Mitri --- Chapter 7: A Novel Idea of Coherent Acoustic Wave-Induced Atmospheric Refractivity Fluctuation and Its Applications by Shuhong Gong, Yu Liu, Muyu Hou and Lixin Guo
    Pages: Online-Ressource (152 Seiten)
    ISBN: 9789535137160
    URL: https://www.intechopen.com/books/computational-and-experimental-studies-of-acoustic-waves
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    Earthworms : The Ecological Engineers of Soil (2018)
    Rijeka : InTech
    Details
    Keywords: ecology ; biology ; earthworms
    Description / Table of Contents: 1. Introductory Chapter: Earthworms - The Ecological Engineers of Soil / by Sajal Ray --- 2. Abundance and Diversity of Earthworms in Managed and Non- Managed Fallow Lands of Calakmul Reserve of Campeche, Mexico / by Esperanza Huerta Lwanga, Lucero Sánchez-del Cid, Ligia Esparza- Olguín, Eduardo Martinez-Romero, Ben de Jong and Susana Ochoa-Gaona --- 3. Earthworms and Nematodes: The Ecological and Functional Interactions / by Jair Alves Dionísio, Wilian Carlo Demetrio and Arlei Maceda --- 4. Exploration of Earthworms of India through Online Digital Library / by Samrendra Singh Thakur and Shweta Yadav --- 5. Earthworms and Vermicomposting / by Jorge Domínguez --- 6. Environmental Influence of Soil toward Effective Vermicomposting / by Jaswinder Singh, Sharanpreet Singh, Adarsh Pal Vig and Arvinder Kaur
    ISBN: 9781789233971
    URL: https://www.intechopen.com/books/earthworms-the-ecological-engineers-of-soil
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    Unknown
    Data Mining (2018)
    Rijeka : InTech
    Details
    Keywords: environmental data mining ; big data
    Description / Table of Contents: 1. Ensemble Methods in Environmental Data Mining / by Goksu Tuysuzoglu, Derya Birant and Aysegul Pala --- 2. Estimating Customer Lifetime Value Using Machine Learning Techniques / by Sien Chen --- 3. Determination and Classification of Crew Productivity with Data Mining Methods / by Abdullah Emre Keleş and Mümine Kaya Keleş --- 4. Mining HCI Data for Theory of Mind Induction / by Oksana Arnold and Klaus P. Jantke --- 5. Performance-Aware High-Performance Computing for Remote Sensing Big Data Analytics / by Mustafa Kemal Pektürk and Muhammet Ünal --- 6. Early Prediction of Patient Mortality Based on Routine Laboratory Tests and Predictive Models in Critically Ill Patients / by Sven Van Poucke, Ana Kovacevic and Milan Vukicevic --- 7. Semantic Infrastructure for Service Environment Supporting Successful Aging / by Vesa Salminen, Päivi Sanerma, Seppo Niittymäki and Patrick Eklund --- 8. Adaptive Neural Network Classifier-Based Analysis of Big Data in Health Care / by Manaswini Pradhan --- 9. Identification of Research Thematic Approaches Based on Keywords Network Analysis in Colombian Social Sciences / by José Hernando Ávila-Toscano, Ivón Catherine Romero-Pérez, Ailed Marenco-Escuderos and Eugenio Saavedra Guajardo --- 10. Data Privacy for Big Data Publishing Using Newly Enhanced PASS Data Mining Mechanism / by Priyank Jain, Manasi Gyanchandani and Nilay Khare
    ISBN: 9781789235975
    URL: https://www.intechopen.com/books/data-mining
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    Unknown
    Semiconductors : Growth and Characterization (2018)
    Rijeka : InTech
    Details
    Keywords: semiconductors ; Halbleiter
    Description / Table of Contents: Chapter 1: Investigation of the Nanostructured Semiconductor Metamaterials by Aleksej Trofimov, Tatjana Gric and Ortwin Hess --- Chapter 2: Understanding the Mechanisms that Affect the Quality of Electrochemically Grown Semiconducting Nanowires by Abhay Singh and Usha Philipose --- Chapter 3: Semiconductor Quantum Wells with BenDaniel-Duke Boundary Conditions and Janus Nanorods by Victor Barsan --- Chapter 4: Nanostructured ZnO, Cu2ZnSnS4, Cd1−xZnxTe Thin Films Obtained by Spray Pyrolysis Method by Oleksandr Dobrozhan, Denys Kurbatov, Petro Danilchenko and Anatoliy Opanasyuk --- Chapter 5: E-ALD: Tailoring the Optoeletronic Properties of Metal Chalcogenides on Ag Single Crystals by Emanuele Salvietti, Andrea Giaccherini, Filippo Gambinossi, Maria Luisa Foresti, Maurizio Passaponti, Francesco Di Benedetto and Massimo Innocenti --- Chapter 6: Pulsed Electrochemical Deposition of CuInSe2 and Cu(In,Ga)Se2 Semiconductor Thin Films by Sreekanth Mandati, Bulusu V. Sarada, Suhash R. Dey and Shrikant V. Joshi --- Chapter 7: The Electrochemical Performance of Deposited Manganese Oxide-Based Film as Electrode Material for Electrochemical Capacitor Application by Chan Pei Yi and Siti Rohana Majid --- Chapter 8: Semiconducting Electrospun Nanofibers for Energy Conversion by Giulia Massaglia and Marzia Quaglio
    Pages: Online-Ressource (186 Seiten)
    ISBN: 9789535138846
    URL: https://www.intechopen.com/books/semiconductors-growth-and-characterization
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    Unknown
    Finite Element Method : Simulation, Numerical Analysis and Solution Techniques (2018)
    Rijeka : InTech
    Details
    Keywords: FEM ; Finite Element Method ; simulation
    Description / Table of Contents: Chapter 1: FEM Analysis of Mechanical and Structural Properties of Long Fiber-Reinforced Composites by Michal Petrů and Ondřej Novák --- Chapter 2: Finite Element Dynamic Analysis on Residual Stress Distribution of Titanium Alloy and Titanium Matrix Composite after Shot Peening Treatment by Lechun Xie, Zhou Wang, Chengxi Wang, Yan Wen, Liqiang Wang, Chuanhai Jiang, Weijie Lu, Lai-Chang Zhang and Lin Hua --- Chapter 3: Multiscale Wavelet Finite Element Analysis in Structural Dynamics by Mutinda Musuva and Cristinel Mares --- Chapter 4: Numerical Analysis of Hot Polymer-Coated Steel Pipeline Joints in Bending by Finian McCann, Guido Ridolfi, Erwan Karjadi, Harm Demmink and Helen Boyd --- Chapter 5: Application of Finite Element Analysis in Multiscale Metal Forming Process by Zhengyi Jiang and Haibo Xie --- Chapter 6: Finite Element Thermal Analysis of Metal Parts Additively Manufactured via Selective Laser Melting by Dario Pitassi, Enrico Savoia, Vigilio Fontanari, Alberto Molinari, Valerio Luchin, Gianluca Zappini and Matteo Benedetti --- Chapter 7: Adaptive Modeling and Simulation of Elastic, Dielectric and Piezoelectric Problems by Grzegorz Zboiński --- Chapter 8: Vibration Simulation of Electric Machines by Marcel Janda and Kristyna Jandova --- Chapter 9: Numerically and Analytically Forecasting the Coal Burst Using Energy Based Approach Methods by Faham Tahmasebinia, Chengguo Zhang, Ismet Canbulat, Onur Vardar and Serkan Saydam --- Chapter 10: Linear Thermo-Poroelasticity and Geomechanics by Horacio Florez --- Chapter 11: Numerical Analysis of the Incompressible Fluid Flow and Heat Transfer by Toshio Tagawa --- Chapter 12: Numerical Simulation of Wave (Shock Profile) Propagation of the Kuramoto-Sivashinsky Equation Using an Adaptive Mesh Method by Denson Muzadziwa, Stephen T. Sikwila and Stanford Shateyi --- Chapter 13: Numerical Analysis on the Simulated Heavy Rainfall Event of Tropical Cyclone Fung-Wong by Lei-Ming Ma and Xu-Wei Bao --- Chapter 14: Weighted Finite-Element Method for Elasticity Problems with Singularity by Viktor Anatolievich Rukavishnikov and Elena Ivanovna Rukavishnikova
    Pages: Online-Ressource (322 Seiten)
    ISBN: 9789535138501
    URL: https://www.intechopen.com/books/finite-element-method-simulation-numerical-analysis-and-solution-techniques
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    Unknown
    Bitcoin and Beyond : Cryptocurrencies, Blockchains, and Global Governance (2018)
    London, New York : Routledge
    Details
    Keywords: Bitcoin ; Blockchain ; cryptocurrency ; governance
    Description / Table of Contents: Chapter 1: Introduction: What are blockchains and how are they relevant to governance in the contemporary global political economy? / Malcolm Campbell-Verduyn --- Chapter 2: Moneys at the Margins – From Political Experiment to Cashless Societies / Moritz Hütten and Matthias Thiemann --- Chapter 3: The Internal and External Governance of Blockchain-Based Organisations: Evidence from Cryptocurrencies / Ying-Ying Hsieh, JP Vergne, and Sha Wang --- Chapter 4: The Mutual Constitution of Technology and Global Governance: Bitcoin, Blockchains, and the International Anti-Money Laundering Regime / Malcolm Campbell-Verduyn and Marcel Goguen --- Chapter 5: Between Liberalization and Prohibition: Prudent Enthusiasm and the Governance of Bitcoin/Blockchain Technology / Kai Jia and Falin Zhang --- Chapter 6: Cryptocurrencies and Digital Payment Rails in Networked Global Governance: Perspectives on Inclusion and Innovation / Daivi Rodima-Taylor and William W. Grimes --- Chapter 7: Governing What Wasn’t Meant To Be Governed:　A Controversy-Based Approach to the Study of Bitcoin Governance / Francesca Musiani, Alexandre Mallard and Cécile Méadel --- Chapter 8: Experiments in Algorithmic Governance: A History and Ethnography of "The DAO," a Failed Decentralized Autonomous Organization / Quinn DuPont --- Chapter 9: Conclusion: Towards A Block Age or Blockages of Global Governance? / Malcolm Campbell-Verduyn
    Pages: Online-Ressource (XIII, 207 Seiten) , Diagramme
    ISBN: 9781315211909
    URL: https://www.taylorfrancis.com/books/9780415792141
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    Bioeconomy : Shaping the Transition to a Sustainable, Biobased Economy (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Sustainable development ; Natural resources ; Agricultural economics ; Life Sciences ; Ecosystems ; Sustainable Development ; Agricultural Economics ; Natural Resource and Energy Economics ; Natural Resources
    Description / Table of Contents: 1. Introduction --- Part I: Bioeconomy Concepts and Research Methods --- Chapter 2: Context --- Chapter 3: Bioeconomy concepts --- Chapter 4: Core principles --- Chapter 4: Inter- and Transdisciplinarity in the Bioeconomy --- Part II: Knowledge Base for Biobased Value Chains --- Chapter 5:Biobased Resources and Value Chains --- Chapter 6: Primary Production --- Chapter 7: Processing of Biobased Resources --- Chapter 8: Markets, Sustainability management and Entrepreneurship.- Part III: Transition to a Sustainable Bioeconomy --- Chapter9:  Modelling and Tools Supporting the Transition to a Bioeconomy --- Chapter 10: Environmental Economics, the Bioeconomy and the Role of Government --- Chapter 11: Economic Growth, Development, and Innovation – The Transformation towards a Knowledge-based Bioeconomy --- Chapter 12: The Bioeconomist
    Pages: Online-Ressource (VI, 354 pages) , 165 illustrations, 139 illustrations in color
    ISBN: 9783319681528
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-68152-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    Unknown
    Accelerator Physics : Radiation Safety and Applications (2018)
    Rijeka : InTech
    Details
    Keywords: synchrotron radiation ; acceleration ; high energy accelerator ; high energy physics
    Description / Table of Contents: Chapter 1: Phase Space Dynamics of Relativistic Particles by Hai Lin --- Chapter 2: Motion of Electrons in Planar Ideal Undulator by Nikolay Smolyakov --- Chapter 3: Concept and Numerical Simulations of Multi-Beam Linear Accelerators EVT with Depressed Collector for Drive Beam by Vladimir E. Teryaev --- Chapter 4: Optically Controlled Laser-Plasma Electron Acceleration for Compact γ-Ray Sources by Serge Y. Kalmykov, Xavier Davoine, Isaac Ghebregziabher and Bradley A. Shadwick --- Chapter 5: Nuclear Safety Study of High Energy Heavy-ion Medical Accelerator Facility by Oyeon Kum --- Chapter 6: Radiation Safety Aspects of Linac Operation with Bremsstrahlung Converters by Matthew Hodges and Alexander Barzilov --- Chapter 7: X-Ray Diffraction Detects D-Periodic Location of Native Collagen Crosslinks In Situ and Those Resulting from Non- Enzymatic Glycation by Rama Sashank Madhurapantula and Joseph P.R.O. Orgel --- Chapter 8: Ion Beam, Synchrotron Radiation, and Related Techniques in Biomedicine: Elemental Profiling of Hair by Karen J. Cloete
    Pages: Online-Ressource (208 Seiten)
    ISBN: 9789535138365
    URL: https://www.intechopen.com/books/accelerator-physics-radiation-safety-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    Unknown
    Language Technologies for the Challenges of the Digital Age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Data mining ; Artificial intelligence ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Document Preparation and Text Processing ; Artificial Intelligence (incl. Robotics) ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Reconstruction of Separable Particle Verbs in a Corpus of Spoken German --- Detecting Vocal Irony --- The Devil is in the Details: Parsing Unknown German Words --- Exploring Ensemble Dependency Parsing to Reduce Manual Annotation Workload --- Different German and English Co-reference Resolution Models for Multi-Domain Content Curation Scenarios --- Word and Sentence Segmentation in German: Overcoming Idiosyncrasies in the Use of Punctuation in Private Communication --- Fine-Grained POS Tagging of German Social Media and Web Texts --- Developing a Stemmer for German Based on a Comparative Analysis of Publicly Available Stemmers --- Negation Modeling for German Polarity Classification --- NECKAr: A Named Entity Classifier for Wikidata --- Investigating the Morphological Complexity of German Named Entities: The Case of the GermEval NER Challenge --- Detecting Named Entities and Relations in German Clinical Reports --- In-Memory Distributed Training of Linear-Chain Conditional Random Fields with an Application to Fine-Grained Named Entity Recognition --- What does this imply? Examining the Impact of Implicitness on the Perception of Hate Speech --- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication --- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource --- How Social Media Text Analysis Can Inform Disaster Management --- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks --- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena --- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors --- Twitter Geolocation Prediction Using Neural Networks --- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy --- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems --- Supporting Sustainable Process Documentation --- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information --- Using Argumentative Structure to Grade Persuasive Essays
    Pages: Online-Ressource (XIII, 310 pages) , 54 illustrations
    ISBN: 9783319737065
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73706-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Agile requirements --- COSMIC User Story Standard --- Improving Mockup-based Requirement Specification with End-User Annotations --- Agile testing --- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment --- Software tester, we want to hire you! An analysis of the demand for soft skills --- Developers' initial perceptions on TDD practice: A thematic analysis with distinct domains and languages --- Myths and Facts about Static Application Security Testing Tools: An Action Research at Telenor Digital --- Automated Acceptance Tests as Software Requirements: An Experiment to Compare the Applicability of Fit tables and Gherkin Language --- Agile transformation --- Interface Problems of Agile in a Non-Agile Environment --- Enterprise agility: Why is transformation so hard? --- Technical and Organizational Agile Practices: A Latin-American Survey --- Agile Software Development { Adoption & Maturity: An Activity Theory Perspective --- Scaling agile --- Do Agile Methods Work for Large Software Projects? --- Learning in the Large - An Exploratory Study of Retrospectives in Large-Scale Agile Development --- Reporting in Agile Portfolio Management: Routines, Metrics and Artefacts to Maintain an Effective Oversight --- Inter-team Coordination in Large-Scale Agile Development: A Case Study of Three Enabling Mechanisms --- Supporting Large-Scale Agile Development with Domain-driven Design --- Towards Agile Scalability Engineering --- Human-centric agile --- Stress in Agile Software Development: Practices and Outcomes --- Teamwork quality and team performance: Exploring differences between small and large agile projects --- Continuous experimentation --- Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives --- ICOs overview: should investors choose an ICO developed with the Lean Startup methodology?
    Pages: Online-Ressource (XV, 309 pages) , 50 illustrations
    ISBN: 9783319916026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-91602-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    Unknown
    Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Computer system failures ; Coding theory ; E-commerce ; Computer Science ; Computer Communication Networks ; System Performance and Evaluation ; Special Purpose and Application-Based Systems ; Information Systems Applications (incl. Internet) ; Coding and Information Theory ; e-Commerce/e-business
    Description / Table of Contents: State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services --- Context Monitoring for Improved System Performance and QoE --- QoE Management for Future Networks --- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management --- Lag Compensation for First Person Shooter Games in Cloud Gaming --- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios --- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems --- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments --- Integrating SDN and NFV with QoS-aware Service Composition --- Energy vs. QoX Network- and Cloud Services Management --- Traffic Management for Cloud Federation --- Efficient Simulation of IoT Cloud Use Cases --- Security of Internet of Things for Reliable Internet of Services --- TCP performance over current cellular access: A comprehensive analysis
    Pages: Online-Ressource (XVI, 401 pages) , 120 illustrations
    ISBN: 9783319904153
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-90415-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    Unknown
    Metrology (2018)
    Rijeka : InTech
    Details
    Keywords: metrology ; measurement
    Description / Table of Contents: 1. Introductory Chapter: Metrology / by Anil Akdogan --- 2. Methods for Evaluation of Measurement Uncertainty / by Jailton Carreteiro Damasceno and Paulo R.G. Couto --- 3. Variational Calibration / by Michael Surdu --- 4. Measuring ‘Big G’, the Newtonian Constant, with a Frequency Metrology Approach / by Andrea De Marchi --- 5. Optical Radiation Metrology and Uncertainty / by Manal A. Haridy and Affia Aslam --- 6. A New Statistical Tool Focused on Metrological Tasks / by Eugene Charnukha
    ISBN: 9781789235944
    URL: https://www.intechopen.com/books/metrology
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    Unknown
    Air Quality Monitoring and Forecasting (2018)
    Basel, Beijing, Wuhan : MDPI
    Details
    Keywords: Air Quality and atmospheric composition modeling ; Atmospheric chemical observation and monitoring ; Air quality forecasting ; Air pollutant related epidemiology and exposure studies ; Climate impact on air quality forecasting
    Description / Table of Contents: Forecasting is a vital tool for local health and air quality managers to make informed short-term decisions on remedial and mitigation measures to reduce exposure risks for their residents. Forecasting tools enable them to issue air quality advisories to curb pollution by limiting vehicular traffic by encouraging car-pooling and offering free public transportation. Air quality monitoring from the perspective of air managers serves a dual purpose of evaluating the skill of their forecasting tools and deriving long-term trends of major air pollutants that impact their constituents. Epidemiologists also use long term monitored data to understand air pollution related diseases and mortality rates to support public health policy decisions. This Special Issue reinforces the importance of these tools by leveraging their collective strengths. Public health is under a constant threat by air pollution across the world in various degrees and manifestations. In some countries with rapid economic growth the abrupt increased occurrences of poor air quality over cities and their downwind regions are attracting worldwide attention. The adverse health effects suffered by the public are reflected in billions of dollars in lost productivity, hospital admissions due to contraction and exacerbation of respiratory, asthmatic and cardiovascular diseases, and increases in mortality rates. This is especially true in rapidly developing countries. On the other hand, many cities in developed countries are seeing changes in their atmospheric chemical regimes from nitrogen oxide (NOx) saturated regimes towards NOx limiting regimes. Furthermore, ozone and ozone precursors transported from areas upwind become important source of “background ozone” as local generation of ozone plays a lesser role due to reduced NOx emissions in the developed countries. It is now clear that air pollution is a global problem and that air quality monitoring, forecasting and mitigation should be a local effort conducted in concert with global partners.
    Pages: Online-Ressource (VI, 204 Seiten) , Illustrationen, Diagramme
    Edition: Printed Edition of the Special Issue Published in Atmosphere
    ISBN: 9783038428404
    URL: http://www.mdpi.com/books/pdfview/book/602
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    Unknown
    Into Space : A Journey of How Humans Adapt and Live in Microgravity (2018)
    Rijeka : InTech
    Details
    Keywords: aerospace ; microgravity ; space ethics ; aviation medicine
    Description / Table of Contents: 1. Reimagining Icarus: Ethics, Law and Policy Considerations for Commercial Human Spaceflight / By Sara M. Langston --- 2. Basic Methodology for Space Ethics / By Tony Milligan --- 3. From the Individual to the Cultural Space Group / By Carole Tafforin --- 4. Acute and Chronic Effects of Hypobaric Exposure upon the Brain / By Paul Sherman and John Sladky --- 5. Spaceflight Induced Changes in the Central Nervous System / By Alex P. Michael --- 6. The Effect of Gravity on the Nervous System / By Florian P.M. Kohn, Claudia Koch and Ramona Ritzmann --- 7. Spaceflight: Immune Effects and Nutritional Countermeasure / By Anil D Kulkarni, Marie-Francoise Doursout, Asmita Kulkarni, Alamelu Sundaresan, Takehito Miura, Koji Wakame and Hajime Fujii --- 8. Countermeasure Development for Lumbopelvic Deconditioning in Space / By Andrew Winnard, Dorothee Debuse and Nick Caplan --- 9. Tumor Cells in Microgravity / By Jun Chen --- 10. Plants in Space / By Bratislav Stankovic --- 11. Approaches to Assess the Suitability of Zooplankton for Bioregenerative Life Support Systems / By Miriam Knie, Bernard Wolfschoon Ribeiro, Jessica Fischer, Burkhard Schmitz, Kay Van Damme, Ruth Hemmersbach, Donat-P. Häder and Christian Laforsch --- 12. Are We Alone? The Search for Life on Mars and Other Planetary Bodies / By Stephanie A. Smith, Andrzej Paszczynski and Susan E. Childers --- 13. Exploring the Stratosphere: What We Missed by Shooting for the Moon / By Laura Galdamez --- 14. The Mortality of Space Explorers / By Robert J. Reynolds and Steven M. Day
    ISBN: 9781789232219
    URL: https://www.intechopen.com/books/into-space-a-journey-of-how-humans-adapt-and-live-in-microgravity
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    Unknown
    The Huawei and Snowden Questions : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Computer engineering ; Economic policy ; Computer Science ; Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy
    Description / Table of Contents: 1 Introduction --- 2 Trust --- 3 What is an ICT-System? --- 4 Development of ICT Systems --- 5 Theoretical Foundation --- 6 Reverse Engineering of Code --- 7 Static Detection of Malware --- 8 Dynamic Detection Methods --- 9 Formal Methods --- 10 Software Quality and Quality Management --- 11 Containment of Untrusted Modules --- 12 Summary and Way Forward
    Pages: Online-Ressource (XIV, 116 pages) , 6 illustrations, 5 illustrations in color
    ISBN: 9783319749501
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74950-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    Unknown
    Elements of Robotics (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Artificial intelligence ; Algorithms ; Robotics ; Automation ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Algorithms ; Robotics and Automation
    Description / Table of Contents: Robots and their Applications --- Sensors --- Reactive Behavior --- Finite State Machines --- Robotic Motion and Odometry --- Control --- Local Navigation: Obstacle Avoidance --- Localization --- Mapping --- Mapping-based Navigation --- Fuzzy Logic Control --- Image Processing --- Neural Networks --- Machine Learning --- Swarm Robotics --- Kinematics of a Robotic Manipulator --- Appenix A:Units of Measurement --- Appendix B:Mathematical Derivations and Tutorials --- Index
    Pages: Online-Ressource (XVI, 308 pages) , 198 illustrations, 76 illustrations in color
    ISBN: 9783319625331
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-62533-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    Unknown
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Logic design ; Computer organization ; Operating systems (Computers) ; Computers ; Computer Science ; Computing Methodologies ; Computer Systems Organization and Communication Networks ; Operating Systems ; Logic Design ; Information Systems and Communication Service
    Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU
    Pages: Online-Ressource (X, 293 pages) , 121 illustrations
    ISBN: 9783319699530
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69953-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Data structures (Computer science) ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
    Pages: Online-Ressource (XX, 429 pages) , 93 illustrations
    ISBN: 9783319899602
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89960-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    Unknown
    Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers ; Computer Science ; Systems and Data Security ; Theory of Computation ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Information Flow and Non-Intereference --- What's the Over/Under? Probabilistic Bounds on Information Leakage --- Secure Information Release in Timed Automata --- Compositional Non-Interference for Concurrent Programs via Separation and Framing --- The Meaning of Memory Safety --- Leakage, Information Flow, and Protocols --- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage --- Leakage and Protocol Composition in a Game-theoretic Perspective --- Equivalence Properties by Typing in Cryptographic Branching Protocols --- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience --- Smart Contracts and Privacy --- SoK: Unraveling Bitcoin Smart Contracts --- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts --- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts --- UniTraX: Protecting Data Privacy with Discoverable Biases --- Firewalls and Attack-Defense Trees --- Transcompiling Firewalls --- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels
    Pages: Online-Ressource (XIV, 347 pages) , 85 illustrations
    ISBN: 9783319897226
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89722-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Software engineering ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computer Systems Organization and Communication Networks ; Computing Methodologies ; Computing Milieux ; Computer Hardware
    Description / Table of Contents: Concurrent and Distributed Systems --- Computing the concurrency threshold of sound free-choice workflow nets --- Fine-Grained Complexity of Safety Verification --- Parameterized verification of synchronization in constrained reconfigurable broadcast networks --- EMME: a formal tool for the ECMAScript Memory Model Evaluation --- SAT and SMT II --- What a Difference a Variable Makes --- Abstraction Refinement for Emptiness Checking of Alternating Data Automata --- Revisiting Enumerative Instantiation --- An Non-linear Arithmetic Procedure for Control-Command Software Verification --- Security and Reactive Systems --- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection --- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts --- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties --- The Refinement Calculus of Reactive Systems Toolset --- Static and Dynamic Program Analysis --- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation --- Optimal Dynamic Partial Order Reduction with Observers --- Structurally Defined Conditional Data-flow Static Analysis --- Geometric Nontermination Arguments --- Hybrid and Stochastic Systems --- Efficient dynamic error reduction for hybrid systems reachability analysis --- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic --- Multi-Cost Bounded Reachability in MDPs --- A Statistical Model Checker for Nondeterminism and Rare Events --- Temporal logic and mu-calculus --- Permutation Games for the Weakly Aconjunctive mu-Calculus --- Symmetry Reduction for the Local Mu-Calculus --- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models --- 7th Competition on Software Verification (SV-COMP) --- 2LS: Memory Safety and Non-Termination (Competition contribution) --- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) --- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) --- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) --- Map2Check using LLVM and KLEE (Competition Contribution) --- Symbiotic 5: Boosted Instrumentation (Competition Contribution) --- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) --- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) --- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
    Pages: Online-Ressource (XX, 465 pages) , 92 illustrations
    ISBN: 9783319899633
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89963-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    Unknown
    Cracking Codes with Python : An Introduction to Building and Breaking Ciphers (2018)
    San Francisco, CA : No Starch Press
    Details
    Keywords: Python ; programming
    Description / Table of Contents: Introduction --- Chapter 1 - Making Paper Cryptography Tools --- Chapter 2 -Programming in the Interactive Shell --- Chapter 3 - Strings and Writing Programs --- Chapter 4 - The Reverse Cipher --- Chapter 5 - The Caesar Cipher --- Chapter 6 - Hacking the Caesar Cipher with Brute-Force --- Chapter 7 - Encrypting with the Transposition Cipher --- Chapter 8 - Decrypting with the Transposition Cipher --- Chapter 9 - Programming a Program to Test Your Program --- Chapter 10 - Encrypting and Decrypting Files --- Chapter 11 - Detecting English Programmatically --- Chapter 12 - Hacking the Transposition Cipher --- Chapter 13 - A Modular Arithmetic Module for the Affine Cipher --- Chapter 14 - Programming the Affine Cipher --- Chapter 15 - Hacking the Affine Cipher --- Chapter 16 - Programming the Simple Substitution Cipher --- Chapter 17 - Hacking the Simple Substitution Cipher --- Chapter 18 - Programming the Vigenere Cipher --- Chapter 19 - Frequency Analysis --- Chapter 20 - Hacking the Vigenere Cipher --- Chapter 21 - The One-Time Pad Cipher --- Chapter 22 - Finding and Generating Prime Numbers --- Chapter 23 - Generating Keys for the Public Key Cipher --- Chapter 24 - Programming the Public Key Cipher
    Pages: Online-Ressource (416 Seiten) , Illustrationen, Diagramme
    Edition: 2nd edition
    ISBN: 9781593278229
    URL: https://inventwithpython.com/cracking/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    Unknown
    Vortex Dynamics and Optical Vortices (2017)
    Rijeka : InTech
    Details
    Keywords: observational measurement ; flow problems ; vortex dynamics
    Description / Table of Contents: Chapter 1 Vortex Structures in Ultra-Cold Atomic Gases by Nick Verhelst and Jacques Tempere --- Chapter 2 Direct Generation of Vortex Laser Beams and Their Non-Linear Wavelength Conversion by Andrew James Lee and Takashige Omatsu --- Chapter 3 Superconducting Vortex‐Antivortex Pairs: Nucleation and Confinement in Magnetically Coupled Superconductor‐Ferromagnet Hybrids by Cinzia Di Giorgio, Domenico D'Agostino, Anna Maria Cucolo, Maria Iavarone, Alessandro Scarfato, Goran Karapetrov, Steven Alan Moore, Massimiliano Polichetti, Davide Mancusi, Sandro Pace, Valentyn Novosad, Volodymir Yefremenko and Fabrizio Bobba --- Chapter 4 Optical Vortices Illumination Enables the Creation of Chiral Nanostructures by Takashige Omatsu, Katsuhiko Miyamoto and Ryuji Morita --- Chapter 5 Dynamical Particle Motions in Vortex Flows by Steven Wang and Naoto Ohmura --- Chapter 6 Numerical Simulation of Vortex-Dominated Flows Using the Penalized VIC Method by Seung-Jae Lee --- Chapter 7 Vortex Structures in Saturable Media by İlkay Bakırtaş --- Chapter 8 Holographic Optical Elements to Generate Achromatic Vortices with Ultra-Short and Ultra-Intense Laser Pulses by María-Victoria Collados, Íñigo J. Sola, Julia Marín-Sáez, Warein Holgado and Jesús Atencia --- Chapter 9 Ultrashort Extreme Ultraviolet Vortices by Laura Rego, Julio San Román, Luis Plaja, Antonio Picón and Carlos Hernández-García --- Chapter 10 Fractal Light Vortices by Federico J. Machado, Juan A. Monsoriu and Walter D. Furlan --- Chapter 11 Partially Coherent Vortex Beam: From Theory to Experiment by Xianlong Liu, Lin Liu, Yahong Chen and Yangjian Cai --- Chapter 12 Vortices and Singularities in Electric Dipole Radiation near an Interface by Xin Li, Henk F. Arnoldus and Zhangjin Xu --- Chapter 13 Spin-Wave Dynamics in the Presence of Magnetic Vortices by Sławomir Mamica
    Pages: Online-Ressource (342 Seiten)
    ISBN: 9789535129301
    URL: http://www.intechopen.com/books/vortex-dynamics-and-optical-vortices
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    Unknown
    Holographic Materials and Optical Systems (2017)
    Rijeka : InTech
    Details
    Keywords: holography
    Description / Table of Contents: Chapter 1: Volume Holography: Novel Materials, Methods and Applications by Tina Sabel and Marga C. Lensen --- Chapter 2: Volume Holographic Optical Elements as Solar Concentrators by Maria Antonietta Ferrara, Gaetano Bianco, Fabio Borbone, Roberto Centore, Valerio Striano and Giuseppe Coppola --- Chapter 3: Volume Bragg Gratings: Fundamentals and Applications in Laser Beam Combining and Beam Phase Transformations by Ivan Divliansky --- Chapter 4: Holographically Recorded Low Spatial Frequency Volume Bragg Gratings and Holographic Optical Elements by Suzanne Martin, Hoda Akbari, Sanjay Keshri, Dennis Bade, Izabela Naydenova, Kevin Murphy and Vincent Toal --- Chapter 5: Holographic Optical Elements and Application by Nam Kim, Yan-Ling Piao and Hui-Ying Wu --- Chapter 6: Holographic Data Storage Using Parallel-Aligned Liquid Crystal on Silicon Displays by Francisco J. Martínez Guardiola, Andrés Márquez Ruiz, Sergi Gallego Rico, Roberto Fernández Fernández, Jorge Francés Monllor, Manuel Ortuño Sánchez, Inmaculada Pascual Villalobos and Augusto Beléndez Vázquez --- Chapter 7: Microtopography and Thickness Measurement with Digital Holographic Microscopy Highlighting and Its Tomographic Capacity by Miguel León-Rodríguez, Juan A. Rayas-Alvarez, Amalia Martínez- García and Raúl R. Cordero --- Chapter 8: 3D Capture and 3D Contents Generation for Holographic Imaging by Elena Stoykova, Hoonjong Kang, Youngmin Kim, Joosup Park, Sunghee Hong and Jisoo Hong --- Chapter 9: Multiwavelength Digital Holography and Phase-Shifting Interferometry Selectively Extracting Wavelength Information: Phase-Division Multiplexing (PDM) of Wavelengths by Tatsuki Tahara, Reo Otani, Yasuhiko Arai and Yasuhiro Takaki --- Chapter 10: Dynamic Imaging with X-ray Holography by Büttner Felix --- Chapter 11: Indirect Off-Axis Holography for Antenna Metrology by Ana Arboleya, Jaime Laviada, Juha Ala-Laurinaho, Yuri Álvarez, Fernando Las-Heras and Antti V. Räisänen --- Chapter 12: Surface Characterization by the Use of Digital Holography by Dahi Ghareab Abdelsalam, Takeshi Yasui, Takayuki Ogawa and Baoli Yao --- Chapter 13: Digital Holographic Interferometry for Analysing High-Density Gradients in Fluid Mechanics by Jean-Michel Desse and François Olchewsky --- Chapter 14: Holography: The Usefulness of Digital Holographic Microscopy for Clinical Diagnostics by Zahra El-Schich, Sofia Kamlund, Birgit Janicke, Kersti Alm and Anette Gjörloff Wingren --- Chapter 15: Unlabeled Semen Analysis by Means of the Holographic Imaging by Giuseppe Coppola, Maria Antonietta Ferrara, Giuseppe Di Caprio, Gianfranco Coppola and Brian Dale --- Chapter 16: One-Step Holographic Photoalignment for Twisted Nematic Liquid Crystal Gratings by Kotaro Kawai, Moritsugu Sakamoto, Kohei Noda, Tomoyuki Sasaki, Nobuhiro Kawatsuki and Hiroshi Ono --- Chapter 17: Application of High Performance Photoinitiating Systems for Holographic Grating Recording by C. Ley, C. Carré, A. Ibrahim and X. Allonas --- Chapter 18: Fluorite Crystals with Color Centers: A Medium for Recording Extremely Stable but Broadly Transformable Holograms by Aleksandr I. Ryskin, Aleksandr E. Angervaks and Andrei V. Veniaminov --- Chapter 19: New Photo-Thermo-Refractive Glasses for Holographic Optical Elements: Properties and Applications by Nikonorov Nikolay, Ivanov Sergey, Dubrovin Victor and Ignatiev Alexander --- Chapter 20: Active Holography by Zurab V. Wardosanidze --- Chapter 21: Two-Wave Mixing in Organic-Inorganic Hybrid Structures for Dynamic Holography by Vera Marinova, Shiuan Huei Lin and Ken Yuh Hsu
    Pages: Online-Ressource (516 Seiten)
    ISBN: 9789535130383
    URL: http://www.intechopen.com/books/holographic-materials-and-optical-systems
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    Unknown
    Granular Materials (2017)
    Rijeka : InTech
    Details
    Keywords: granular materials ; granular flow
    Description / Table of Contents: Chapter 1: Introductory Chapter: A Short Survey of Landmarks by Michael G. Sakellariou --- Chapter 2: Dissipative Dynamics of Granular Materials by Albert S. Kim and Hyeon-Ju Kim --- Chapter 3: Granular Flow: From Dilute to Jammed States by Hao Shi, Dalila Vescovi, Abhinendra Singh, Sudeshna Roy, Vanessa Magnanimo and Stefan Luding --- Chapter 4: Dynamics of a 2D Vibrated Model Granular Gas in Microgravity by Yan Grasselli, Georges Bossis, Alain Meunier and Olga Volkova --- Chapter 5: Particle Jetting Induced by the Impulsive Loadings by Kun Xue, Xiaoliang Shi, Kaiyuan Du and Haoran Cui --- Chapter 6: Particle Migration Phenomena Related to Hydromechanical Effects at Contact between Different Materials in Embankment Dams by Francesco Federico --- Chapter 7: The Grading Entropy-Based Criteria for Structural Stability of Granular Materials and Filters by János Lőrincz, Emöke Maria Imre and Vijay Pal Singh
    Pages: Online-Ressource (190 Seiten)
    ISBN: 9789535135067
    URL: https://www.intechopen.com/books/granular-materials
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    Unknown
    Plant Ecology : Traditional Approaches to Recent Trends (2017)
    Rijeka : InTech
    Details
    Keywords: biogeography
    Description / Table of Contents: Chapter 1: Introductory Chapter: Plant Ecology by Zubaida Yousaf and Habiba Ramazan --- Chapter 2: Detection of Environmental Mutagens Through Plant Bioassays by Özlem Aksoy --- Chapter 3: Ecology of Woody Plants in African Savanna Ecosystems by Allan Sebata --- Chapter 4: Modification in Grassland Ecology under the Influence of Changing Climatic and Land Use Conditions by Jimin Cheng, Chengcheng Gang, Liang Guo, Wei Li, Jingwei Jin, Jishuai Su and Lin Wei --- Chapter 5: Leaf Ecology and Radiocesium Contamination in Trees/Forests by Toshihiro Yoshihara --- Chapter 6: Plant-Microbe Ecology: Interactions of Plants and Symbiotic Microbial Communities by Ying-Ning Ho, Dony Chacko Mathew and Chieh-Chen Huang --- Chapter 7: Phytosociological Surveys in Weed Science: Old Concept, New Approach by Germani Concenço, Patrícia Menegaz de Farias, Néstor Fabio Alzate Quintero, Fábio Schreiber, Leandro Galon, Michely Tomazi, Ivana Santos Moisinho, Mariane Camponogara Coradini, William Christofari Ceolin and André Andres --- Chapter 8: Ecological Response to Global Change: Changes in C:N:P Stoichiometry in Environmental Adaptations of Plants by Renato de Mello Prado and Gilmara Pereira da Silva --- Chapter 9: Biogeographical Areas of Hispaniola (Dominican Republic, Republic of Haiti) by Ana Cano Ortiz, Carmelo María Musarella and Eusebio Cano Carmona
    Pages: Online-Ressource (198 Seiten)
    ISBN: 9789535133407
    URL: https://www.intechopen.com/books/plant-ecology-traditional-approaches-to-recent-trends
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    Unknown
    Multi-agent Systems (2017)
    Rijeka : InTech
    Details
    Keywords: software agents
    Description / Table of Contents: Chapter 1: Introductory Chapter: Multi-Agent Systems by Jorge Rocha, Inês Boavida-Portugal and Eduardo Gomes --- Chapter 2: Motion Coordination Problems with Collision Avoidance for Multi-Agent Systems by Jesús Santiaguillo-Salinas and Eduardo Aranda-Bricaire --- Chapter 3: Multiagent Systems in Automotive Applications by Raul Campos-Rodriguez, Luis Gonzalez-Jimenez, Francisco Cervantes-Alvarez, Francisco Amezcua-Garcia and Miguel Fernandez-Garcia --- Chapter 4: Time Critical Mass Evacuation Simulation Combining A Multi- Agent System and High-Performance Computing by Leonel Aguilar, Maddegedara Lalith and Muneo Hori --- Chapter 5: Robust Adaptive Cooperative Control for Formation-Tracking Problem in a Network of Non-Affine Nonlinear Agents by Muhammad Nasiruddin bin Mahyuddin and Ali Safaei --- Chapter 6: Management of a Single-User Multi-Robot Teleoperated System for Maintenance in Offshore Plants by Seungyeol Lee and Jeon-Il Moon --- Chapter 7: Multiagent System for Image Mining by Nicksson Ckayo Arrais de Freitas and Marcelino Pereira dos Santos Silva --- Chapter 8: A Toolbox to Analyze Emergence in Multiagent Simulations by Danilo Saft and Volker Nissen --- Chapter 9: Hybrid Architecture to Support Context-Aware Systems by Maricela Bravo, José A. Reyes-Ortiz, Leonardo Sánchez-Martínez and Roberto A. Alcántara-Ramírez --- Chapter 10: Resilience Enhancement in Cyber-Physical Systems: A Multiagent-Based Framework by Fábio Emanuel Pais Januário, Joaquim Leitão, Alberto Cardoso and Paulo Gil
    Pages: Online-Ressource (212 Seiten)
    ISBN: 9789535135364
    URL: https://www.intechopen.com/books/multi-agent-systems
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    Unknown
    100 Years of Chronogeometrodynamics: The Status of the Einstein’s Theory of Gravitation in Its Centennial Year (2017)
    Basel, Beijing, Wuhan : MDPI
    Details
    Keywords: General Theory of Relativity
    Description / Table of Contents: In 1692, Newton wrote: "That gravity should be innate inherent and essential to matter so that one body may act upon another at a distance through a vacuum without the mediation of anything else by and through which their action or force may be conveyed from one to another is to me so great an absurdity that I believe no man who has in philosophical matters any competent faculty of thinking can ever fall into it. Gravity must be caused by an agent acting constantly according to certain laws, but whether this agent be material or immaterial is a question I have left to the consideration of my readers". One of them who, just over 200 years later, picked up the baton of Newton was Albert Einstein. His General Theory of Relativity, which marks the centenary this year, opened up new windows on our comprehension of Nature, disclosed new, previously unpredictable, phenomena occurring when relative velocities dramatically change in intense gravitational fields reaching values close to the speed of light and, for the first time after millennia of speculations, put Cosmology on the firm grounds of empirically testable science. This Special Issue is dedicated to such a grandest achievement of the human thought.
    Pages: Online-Ressource (VII, 463 Seiten)
    Edition: Printed Edition of the Special Issue Published in Universe
    ISBN: 9783038424833
    URL: http://www.mdpi.com/books/pdfview/book/352
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 76
    Unknown
    New Insights on Gamma Rays (2017)
    Rijeka : InTech
    Details
    Keywords: gamma rays ; gamma radiation
    Description / Table of Contents: Chapter 1: Gamma-Ray Spectrometry and the Investigation of Environmental and Food Samples by Markus R. Zehringer --- Chapter 2: Dead Time in the Gamma-Ray Spectrometry by Salih Mustafa Karabıdak --- Chapter 3: Pseudo-gamma Spectrometry in Plastic Scintillators by Matthieu Hamel and Frédérick Carrel --- Chapter 4: Gamma Rays from Space by Carlos Navia and Marcel Nogueira de Oliveira --- Chapter 5: Extragalactic Gamma-Ray Background by Houdun Zeng and Li Zhang --- Chapter 6: Applications of Ionizing Radiation in Mutation Breeding by Özge Çelik and Çimen Atak --- Chapter 7: Neutron-Stimulated Gamma Ray Analysis of Soil by Aleksandr Kavetskiy, Galina Yakubova, Stephen A. Prior and Henry Allen Torbert --- Chapter 8: Effects of Gamma Radiation on Essential Oils: A Review by Clináscia Rodrigues Rocha Araújo, Geone Maia Corrêa, Viviane Gomes da Costa Abreu, Thiago de Melo Silva, Aura María Blandón Osorio, Patrícia Machado de Oliveira and Antônio Flávio de Carvalho Alcântara --- Chapter 9: Gamma Rays’ Effect on Food Allergen Protein by Marcia Nalesso Costa Harder and Valter Arthur
    Pages: Online-Ressource (222 Seiten)
    ISBN: 9789535131625
    URL: https://www.intechopen.com/books/new-insights-on-gamma-rays
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 77
    Unknown
    Nanomaterials Based Gas Sensors for SF6 Decomposition Components Detection (2017)
    Rijeka : InTech
    Details
    Keywords: nanomaterials ; nanotubes
    Description / Table of Contents: Chapter 1: The SF6 Decomposition Mechanism: Background and Significance by Xiaoxing Zhang, Ju Tang, Song Xiao and Fuping Zeng --- Chapter 2: Application of CNTs Gas Sensor in Online Monitoring of SF6 Insulated Equipment by Xiaoxing Zhang, Song Xiao, Ju Tang and Cheng Pan --- Chapter 3: Application of TiO2 Nanotubes Gas Sensors in Online Monitoring of SF6 Insulated Equipment by Ju Tang, Xiaoxing Zhang, Song Xiao and Fuping Zeng --- Chapter 4: Application of Graphene Gas Sensors in Online Monitoring of SF6 Insulated Equipment by Xiaoxing Zhang, Ju Tang, Song Xiao and Cheng Pan --- Chapter 5: Comparative Study of Materials to SF6 Decomposition Components by Xiaoxing Zhang, Ju Tang, Song Xiao, Fuping Zeng, Cheng Pan and Yingang Gui
    Pages: Online-Ressource (158 Seiten)
    ISBN: 9789535132585
    URL: https://www.intechopen.com/books/nanomaterials-based-gas-sensors-for-sf6-decomposition-components-detection
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 78
    Unknown
    Nanoplasmonics : Fundamentals and Applications (2017)
    Rijeka : InTech
    Details
    Keywords: nanotechnology ; nanomaterials
    Description / Table of Contents: Chapter 1: Graphene and Active Metamaterials: Theoretical Methods and Physical Properties by Marios Mattheakis, Giorgos P. Tsironis and Efthimios Kaxiras --- Chapter 2: Magneto-Plasmonics and Optical Activity in Graphene-Based Nanowires by Dmitry A. Kuzmin, Igor V. Bychkov, Vladimir G. Shavrov and Vasily V. Temnov --- Chapter 3: Nanoplasmonics in Metallic Nanostructures and Dirac Systems by Hari P. Paudel, Alireza Safaei and Michael N. Leuenberger --- Chapter 4: Ultrafast Nonlinear Optical Effects of Metal Nanoparticles Composites by Kwang-Hyon Kim, Anton Husakou and Joachim Herrmann --- Chapter 5: Understanding the Physical Behavior of Plasmonic Antennas Through Computational Electromagnetics by Xuezhi Zheng, Guy A.E. Vandenbosch and Victor V. Moshchalkov --- Chapter 6: Plasmonic Field Distribution of Homo- and Hetero Dimeric Ag and Au Nanoparticles by Nasrin Hooshmand --- Chapter 7: Optical Absorption and Thermal Effects of Plasmonic Nanostructures by Jingzhi Wu and Yanhong Wang --- Chapter 8: Infrared Solar Thermal-Shielding Applications Based on Oxide Semiconductor Plasmonics by Hiroaki Matsui and Hitoshi Tabata --- Chapter 9: Surface Plasmonics and Its Applications in Infrared Sensing by Guiru Gu, Xuejun Lu, Thitikorn Kemsri and Yingjie Zhang --- Chapter 10: Equivalent Nanocircuit Theory and Its Applications by Qing Zhang, Jun You and Chengpu Liu --- Chapter 11: Nanoplasmonic Waveguides Filled with Electro-Optical Materials by Montasir Qasymeh --- Chapter 12: Impedance Matching Analysis of Cylindrical Plasmonic Nanoantennas Fed by Optical Transmission Lines by Karlo Queiroz da Costa, Janilson Leão Souza and Victor Dmitriev --- Chapter 13: Tapered Plasmonic Nanoantennas for Energy Harvesting Applications by Youssef Mamdouh El-Toukhy, Mohamed Farhat Othman Hameed, Mohamed Hussein and Salah Sabry Ahmed Obayya --- Chapter 14: Plasmonics Devoted to Photocatalytic Applications in Liquid, Gas, and Biological Environments by Carlos J. Bueno-Alejo, Adriana Arca-Ramos and Jose L. Hueso --- Chapter 15: Plasmonic Nanostructures as Surface-Enhanced Raman Scattering (SERS) Substrate for Protein Biomarker Sensing by Dan Li and Yuling Wang --- Chapter 16: SERS Application for Analysis of Live Single Cell by Waleed Ahmed El-Said, Hyeon-Yeol Cho and Jeong-Woo Choi --- Chapter 17: Localized Surface Plasmon Resonance for Optical Fiber-Sensing Applications by Pedro J. Rivero, Javier Goicoechea and Francisco J. Arregui --- Chapter 18: Laser Annealing as a Platform for Plasmonic Nanostructuring by Nikolaos Kalfagiannis, Demosthenes C. Koutsogeorgis, Elefterios Lidorikis and Panos Patsalas --- Chapter 19: Fabrication of Plasmonic Crystalline Thin Film of Titanium Nitride (TiN) by Pulsed Laser Deposition with Third Harmonic of Nd:YAG Laser and Its Spectroscopic Analyses by Yasushi Oshikane
    Pages: Online-Ressource (492 Seiten)
    ISBN: 9789535132783
    URL: https://www.intechopen.com/books/nanoplasmonics-fundamentals-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    Unknown
    Biological Wastewater Treatment and Resource Recovery (2017)
    Rijeka : InTech
    Details
    Keywords: wastewater ; resource recovery ; pollution
    Description / Table of Contents: Chapter 1: Treatment of Organic Recalcitrant Contaminants in Wastewater by Asmita Gupta and Indu Shekhar Thakur --- Chapter 2: Application of Macrobiological Methods in the Settlement Wastewater Treatment by Dragan Milićević, Slaviša Trajković and Milan Gocić --- Chapter 3: Microbe-Based Strategy for Plant Nutrient Management by Shaon Ray Chaudhuri, Madhusmita Mishra, Sonakshi De, Biswajit Samal, Amrita Saha, Srimoyee Banerjee, Abhinandan Chakraborty, Antara Chakraborty, Sonali Pardhiya, Deepak Gola, Joyeeta Chakraborty, Sourav Ghosh, Kamlesh Jangid, Indranil Mukherjee, Mathummal Sudarshan, Rajib Nath and Ashoke Ranjan Thakur --- Chapter 4: Mitigating Environmental Risks of Wastewater Reuse for Agriculture by Ahmed Al-Busaidi and Mushtaque Ahmed --- Chapter 5: Spreading of Antibiotic Resistance with Wastewater by Sadik Dincer and Esra Sunduz Yigittekin --- Chapter 6: Comparative Assessment of Pharmaceutical Removal from Wastewater by the Microalgae Chlorella sorokiniana, Chlorella vulgaris and Scenedesmus obliquus by Carla Escapa Santos, Ricardo Nuno de Coimbra, Sergio Paniagua Bermejo, Ana Isabel García Pérez and Marta Otero Cabero --- Chapter 7: Pulp Mill Wastewater: Characteristics and Treatment by María Noel Cabrera --- Chapter 8: Molecular Biomonitoring of Microbial Communities in Tannery Wastewater Treatment Plant for the Removal of Retanning Chemicals by Adey Feleke Desta, Joyce Nzioki, Solomon Maina and Francesca Stomeo --- Chapter 9: Application of Mixed Microbial Culture Biofilms for Manganese (II), Cobalt (II), and Chromium (VI) Biosorption by Horizontal Rotating Tubular Bioreactor by Tonči Rezić, Iva Rezić, Michaela Zeiner and Božidar Šantek --- Chapter 10: Electrocoagulative and Biological Treatment of Laundry Wastewater by Terelle Ramcharan and Ajay Bissessur --- Chapter 11: Biohydrogen Production from Wastewaters by Periyasamy Sivagurunathan, Gopalakrishnan Kumar, Arivalagan Pugazhendhi, Guangyin Zhen, Takuro Kobayashi and Kaiqin Xu --- Chapter 12: Valorization of Glucose-Based Wastewater Through Production of Hydrogen, Volatile Fatty Acids and Alcohols by Eduardo Lucena Cavalcante de Amorim, Leandro Takano Sader, Lucas Rodrigues Ramos and Edson Luiz Silva --- Chapter 13: Production of Biogas and Performance Evaluation of Ultrasonic Membrane Anaerobic System (UMAS) for Palm Oil Mill Effluent Treatment (POME) by Abdurahman Hamid Nour and Azhari Hamid Nour
    Pages: Online-Ressource (254 Seiten)
    ISBN: 9789535130468
    URL: http://www.intechopen.com/books/biological-wastewater-treatment-and-resource-recovery
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    Unknown
    Recent Progress in Parallel and Distributed Computing (2017)
    Rijeka : InTech
    Details
    Keywords: parallel computing ; distributed computing
    Description / Table of Contents: Chapter 1: Introductory Chapter: The Newest Research in Parallel and Distributed Computing by Wen-Jyi Hwang --- Chapter 2: Social Trust: Evaluating Node Influential Capability in Social Networks by Yap Hock Yeow and Lim Tong-Ming --- Chapter 3: A Distributed Computing Architecture for the Large-Scale Integration of Renewable Energy and Distributed Resources in Smart Grids by Ignacio Aravena, Anthony Papavasiliou and Alex Papalexopoulos --- Chapter 4: GPU Computing Taxonomy by Abdelrahman Ahmed Mohamed Osman --- Chapter 5: Distributed Software Development Tools for Distributed Scientific Applications by Vaidas Giedrimas, Leonidas Sakalauskas and Anatoly Petrenko --- Chapter 6: DANP-Evaluation of AHP-DSS by Wolfgang Ossadnik, Ralf H. Kaspar and Benjamin Föcke
    Pages: Online-Ressource (122 Seiten)
    ISBN: 9789535133162
    URL: https://www.intechopen.com/books/recent-progress-in-parallel-and-distributed-computing
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    Unknown
    Sea Urchin : From Environment to Aquaculture and Biomedicine (2017)
    Rijeka : InTech
    Details
    Keywords: ocean biology ; marine invertebrates ; sea urchin ; sea hedgehog ; Echinoidea ; echinoids ; Echinoderm ; echinoderms
    Description / Table of Contents: Chapter 1: Introductory Chapter: Sea Urchin - Knowledge and Perspectives by Maria Agnello --- Chapter 2: Sea Urchin Covering Behavior: A Comparative Review by Morgan A. Ziegenhorn --- Chapter 3: Effects of Environmental Factors on Reproduction of the Sea Urchin Strongylocentrotus Intermedius by Peter M. Zhadan, Marina A. Vaschenko and Tatyana N. Almyashova --- Chapter 4: Morphological and Biochemical Profiles of the Gonadal Cycle in the Sea Urchin Paracentrotus lividus: Wild Type vs. Bred by Bernardetta Anna Tenuzzo, Elisabetta Carata, Stefania Mariano and Luciana Dini --- Chapter 5: Importance of Gamete Quality in Ecotoxicological Application: Natural versus Bred Population in Paracentrotus lividus by Sartori Davide, Lera Samantha, Silvia Giuliani, Simona Macchia, Lorenzo Morroni, David Pellegrini and Andrea Gaion --- Chapter 6: The Sea Urchin Embryo: A Model for Studying Molecular Mechanisms Involved in Human Diseases and for Testing Bioactive Compounds by Maria Di Bernardo and Marta Di Carlo
    Pages: Online-Ressource (136 Seiten)
    ISBN: 9789535135265
    URL: https://www.intechopen.com/books/sea-urchin-from-environment-to-aquaculture-and-biomedicine
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    Unknown
    Wireless Sensor Networks : Insights and Innovations (2017)
    Rijeka : InTech
    Details
    Keywords: wireless ; sensor networks ; mobile wireless ; connectivity
    Description / Table of Contents: Chapter 1: Mobile Wireless Sensor Networks: An Overview by Velmani Ramasamy --- Chapter 2: Routing Protocols for Wireless Sensor Networks (WSNs) by Noman Shabbir and Syed Rizwan Hassan --- Chapter 3: Gradient Descent Localization in Wireless Sensor Networks by Nuha A.S. Alwan and Zahir M. Hussain --- Chapter 4: A Novel Hybrid Methodology Applied Optimization Energy Consumption in Homogeneous Wireless Sensor Networks by Plácido Rogerio Pinheiro, Álvaro Meneses Sobreira Neto, Alexei Barbosa Aguiar and Pedro Gabriel Calíope Dantas Pinheiro --- Chapter 5: WSN in Conservation Management by Akbar Ghobakhlou and Shane Inder --- Chapter 6: Recent Advances on Implantable Wireless Sensor Networks by Hugo Dinis and Paulo M. Mendes --- Chapter 7: Low-Cost Energy-Efficient Air Quality Monitoring System Using Wireless Sensor Network by Kavi Kumar Khedo and Vishwakarma Chikhooreeah --- Chapter 8: Modern Clustering Techniques in Wireless Sensor Networks by I.S. Akila, S.V. Manisekaran and R. Venkatesan --- Chapter 9: Fuzzy Adaptive Setpoint Weighting Controller for WirelessHART Networked Control Systems by Sabo Miya Hassan, Rosdiazli Ibrahim, Nordin Saad, Vijanth Sagayan Asirvadam, Kishore Bingi and Tran Duc Chung --- Chapter 10: A Hybrid Sink Repositioning Technique for Data Gathering in Wireless Sensor Networks by Prerana Shrivastava
    Pages: Online-Ressource (206 Seiten)
    ISBN: 9789535135623
    URL: https://www.intechopen.com/books/wireless-sensor-networks-insights-and-innovations
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    Unknown
    Security of Networks and Services in an All-Connected World : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers and civilization ; Computer Science ; Computer Communication Networks ; Systems and Data Security ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation ; Computers and Society ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Making Flow-Based Security Detection Parallel --- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts --- Achieving Reproducible Network Environments with INSALATA --- Towards a Software-Defined Security Framework for Supporting Distributed Cloud --- Optimal Service Function Chain Composition in Network Functions Virtualization --- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services --- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications --- Towards Internet Scale Quality-of-Experience Measurement with Twitter --- Hunting SIP Authentication Attacks Efficiently --- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks --- Flow-Based Detection of IPv6-specific Network Layer Attacks --- Towards a Hybrid Cloud Platform Using Apache Mesos --- Visual Analytics for Network Security and Critical Infrastructures --- Preserving Relations in Parallel Flow Data Processing --- SmartDEMAP: A Smart Contract Deployment and Management Platform --- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads --- Situational Awareness: Detecting Critical Dependencies and Devices in a Network --- A Framework for SFC Integrity in NFV Environments --- Multi-domain DDoS Mitigation based on Blockchains
    Pages: Online-Ressource (XX, 192 pages) , 55 illustrations
    ISBN: 9783319607740
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-60774-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    Unknown
    Non-Equilibrium Social Science and Policy : Introduction and Essays on New and Changing Paradigms in Socio-Economic Thinking (2017)
    Cham : Springer
    Details
    Keywords: Physics ; Complexity, Computational ; Economic theory ; Social sciences ; Physics ; Data-driven Science, Modeling and Theory Building ; Methodology of the Social Sciences ; Economic Theory/Quantitative Economics/Mathematical Methods ; Operations Research/Decision Theory ; Complexity ; Computational Social Sciences
    Description / Table of Contents: Non-Equilibrium Social Science & Policy --- Economics --- Social Psychology and Narrative Economy --- Sociology and Non-Equilibrium Social Science --- Geography far from Equilibrium --- Cities in Disequilibrium --- The Evolutionary Theory of Globalization --- Systems, Networks, and Policy --- Towards a Complexity-Friendly Policy: breaking the vicious circle of equilibrium thinking in economic and public policy --- The Information Economy --- Complexity Science & the Art of Policy Making --- The Complexity of Government --- The Room Around the Elephant: Tackling Context-Dependency in the Social Sciences --- Global Systems Science and Policy --- Index.
    Pages: Online-Ressource (VIII, 232 pages)
    ISBN: 9783319424248
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-42424-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 85
    Unknown
    X-ray Scattering (2017)
    Rijeka : InTech
    Details
    Keywords: x-ray ; scattering ; diffraction ; spectroscopy
    Description / Table of Contents: X-ray scattering techniques are a family of nondestructive analytical techniques. Using these techniques, scientists obtain information about the crystal structure and chemical and physical properties of materials. Nowadays, different techniques are based on observing the scattered intensity of an X-ray beam hitting a sample as a function of incident and scattered angle, polarization, and wavelength. This book is intended to give overviews of the relevant X-ray scattering techniques, particularly about inelastic X-ray scattering, elastic scattering, grazing-incidence small-angle X-ray scattering, small-angle X-ray scattering, and high-resolution X-ray diffraction, and, finally, applications of X-ray spectroscopy to study different biological systems.
    Pages: Online-Ressource (226 Seiten)
    ISBN: 9789535128885
    URL: http://www.intechopen.com/books/x-ray-scattering
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    Unknown
    Optical Interferometry (2017)
    Rijeka : InTech
    Details
    Keywords: optics ; lasers ; interferometry
    Description / Table of Contents: Optical methods of measurements are the most sensitive techniques of noncontact investigations, and at the same time, they are fast as well as accurate which increases reproducibility of observed results. In recent years, the importance of optical interferometry methods for research has dramatically increased, and applications range from precise surface testing to finding extrasolar planets. This book covers various aspects of optical interferometry including descriptions of novel apparatuses and methods, application interferometry for studying biological objects, surface qualities, materials characterization, and optical testing. The book includes a series of chapters in which experts share recent progress in interferometry through original research and literature reviews.
    Pages: Online-Ressource (258 Seiten)
    ISBN: 9789535129561
    URL: http://www.intechopen.com/books/optical-interferometry
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 87
    Unknown
    Ad Hoc Networks (2017)
    Rijeka : InTech
    Details
    Keywords: mobile devices ; wireless devices ; MANET
    Description / Table of Contents: Chapter 1: Data-Gathering and Aggregation Protocol for Networked Carrier Ad Hoc Networks: The Optimal and Heuristic Approach by Chao Gao, Guorong Zhao and Jianhua Lu --- Chapter 2: A Composite Trust Model for Secure Routing in Mobile Ad-Hoc Networks by Rutvij H. Jhaveri, Narendra M. Patel and Devesh C. Jinwala --- Chapter 3: Performance Analysis of Three Routing Protocols in MANET Using the NS-2 and ANOVA Test with Varying Speed of Nodes by Subhrananda Goswami, Subhankar Joardar, Chandan Bikash Das, Samarajit Kar and Dibyendu Kumar Pal --- Chapter 4: Cooperative Routing in Multi-Radio Multi-Hop Wireless Network by Kun Xie, Shiming He, Xin Wang, Dafang Zhang and Keqin Li --- Chapter 5: MANET Network in Internet of Things System by Rasa Bruzgiene, Lina Narbutaite and Tomas Adomkus --- Chapter 6: Radio Frequency-Based Indoor Localization in Ad-Hoc Networks by Mehdi Golestanian, Joshua Siva and Christian Poellabauer
    Pages: Online-Ressource (146 Seiten)
    ISBN: 9789535131106
    URL: https://www.intechopen.com/books/ad-hoc-networks
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 88
    Unknown
    Cloud Computing : Architecture and Applications (2017)
    Rijeka : InTech
    Details
    Keywords: Cloud computing ; Internet of Things
    Description / Table of Contents: Chapter 1: State-of-the-Art Antenna Technology for Cloud Radio Access Networks (C-RANs) by Waleed Tariq Sethi, Abdullah Alfakhri, Muhammad Ahmad Ashraf, Amr G. Alasaad and Saleh Alshebeili --- Chapter 2: Cloud Computing for Next-Generation Sequencing Data Analysis by Shanrong Zhao, Kirk Watrous, Chi Zhang and Baohong Zhang --- Chapter 3: Green-Aware Virtual Machine Migration Strategy in Sustainable Cloud Computing Environments by Xiaoying Wang, Guojing Zhang, Mengqin Yang and Lei Zhang --- Chapter 4: M-ary Optical Computing by Jian Wang and Yun Long --- Chapter 5: Networking Solutions for Integrated Heterogeneous Wireless Ecosystem by Roman Florea, Aleksandr Ometov, Adam Surak, Sergey Andreev and Yevgeni Koucheryavy
    Pages: Online-Ressource (138 Seiten)
    ISBN: 9789535132448
    URL: https://www.intechopen.com/books/cloud-computing-architecture-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 89
    Unknown
    Lagrangian Mechanics (2017)
    Rijeka : InTech
    Details
    Keywords: mechanical engineering
    Description / Table of Contents: Chapter 1: Singular Lagrangians and Its Corresponding Hamiltonian Structures by Alvaro Restuccia and Adrián Sotomayor --- Chapter 2: Lagrangian Subspaces of Manifolds by Yang Liu --- Chapter 3: Topology and Integrability in Lagrangian Mechanics by Leo T. Butler --- Chapter 4: Closure Models for Lagrangian Gas Dynamics and Elastoplasticity Equations in Multimaterial Cells by Yury Yanilkin --- Chapter 5: Mechanics of Electric Rope Shovel Performance and Reliability in Formation Excavation by Muhammad Azeem Raza and Samuel Frimpong --- Chapter 6: Lagrangian Model-Based Fault Diagnosis in a PVTOL by César Martínez Torres, Luis Humberto Rodríguez Alfaro, Efrain Alcorta Garcia, Gerardo Romero Galvan and David Lara --- Chapter 7: Fuzzy Logic and S-Lagrangian Dynamics of Living Systems: Theory of Homeostasis by Uziel Sandler and Lev Tsitolovsky
    Pages: Online-Ressource (174 Seiten)
    ISBN: 9789535131328
    URL: https://www.intechopen.com/books/lagrangian-mechanics
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 90
    Unknown
    Biodiversity in Locally Managed Lands (2017)
    Basel, Beijing, Wuhan : MDPI
    Details
    Keywords: biodiversity ; community forest management ; landscape approaches ; biodiversity conservation
    Description / Table of Contents: The “landscape Approach” is widely promoted as a way to reconcile biodiversity conservation with both commercial agriculture and local peoples’ demands for land. Landscape approaches imply a strong role for local communities in decision making and, therefore, local citizen science plays a role in determining landscape outcomes (Sayer et al., under review). Many claims and counter claims are made about the success and failure of local management in achieving good forest outcomes. There is significant uncertainty about the incentives for local people to manage forests for their global carbon storage and biodiversity values. Local people may be more concerned about immediate economic returns and less about the long term global environmental values of their forests. This Special Issue seeks to assemble papers that provide empirical evidence for the success of landscape and community managed initiatives to conserve biodiversity. We are seeking papers that report upon successful biodiversity conservation projects that have operated at a landscape scale and those that have been led by local communities. We are also interested in cases where these approaches were attempted but were less successful. Our ultimate goals is to identify the conditions under which these approaches have succeeded and those where they have been less successful.
    Pages: Online-Ressource (VII, 159 Seiten)
    Edition: Printed Edition of the Special Issue Published in Land
    ISBN: 9783038424550
    URL: http://www.mdpi.com/books/pdfview/book/336
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    Unknown
    Digitale Souveränität : Bürger / Unternehmen / Staat (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick
    Pages: Online-Ressource (IX, 187 Seiten) , 40 Abbildungen in Farbe
    ISBN: 9783662557969
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55796-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 92
    Unknown
    Snow Sports Trauma and Safety : Conference Proceedings of the International Society for Skiing Safety: 21st Volume (2017)
    Cham : Springer
    Details
    Keywords: Biomedical engineering ; Sports medicine ; Biomedical Engineering/Biotechnology ; Sports Medicine ; Biomedical Engineering
    Description / Table of Contents: Retention Requirements for Alpine Ski Bindings --- Helmet Use and Self-Reported Risk Taking in Skiing and Snowboarding --- Evaluating the Performance of Helmet Linings Incorporating Fluid Channels --- Polarizing Filters in Ski Sports --- Emergency Release for Winter Sports Equipment --- Analyzing the Riding Behavior of Recreational Skiers and Snowboarders --- Reaction Times of Skiers and Snowboarders --- Gender-Specific Effects of Smoking and Alcohol Consumption on the Risk of Falling in Downhill Skiers --- Hydration Packs Modify Professional Skiers Hydration Levels in All Day Skiing: A Randomized Controlled Trial --- Are ACL Injuries Related to Perceived Fatigue in Female Skiers? --- Aging Trends in Alpine Skiing --- Skiing and Boarding Injuries on Norwegian Slopes during Two Winter Seasons --- Skiing and Snowboarding Injuries in the Czech Republic in Winter Seasons 2003–2008 --- Relative Motion of ACL Insertion Points In Vivo: A Case Study, Including Skiing Maneuvers --- Jumper Kinematics on Terrain Park Jumps: Relationship between Takeoff Speed and Distance Traveled --- Reaction Forces and Moments in Carved Turns
    Pages: Online-Ressource (X, 206 pages) , 61 illustrations, 39 illustrations in color
    ISBN: 9783319527550
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-52755-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 93
    Unknown
    Biotechnologies for Plant Mutation Breeding : Protocols (2017)
    Cham : Springer
    Details
    Keywords: Life sciences ; Genetic engineering ; Agriculture ; Plant genetics ; Plant breeding ; Life Sciences ; Plant Breeding/Biotechnology ; Agriculture ; Genetic Engineering ; Plant Genetics & Genomics
    Description / Table of Contents: Mutagenesis for Crop Breeding and Functional Genomics --- Chemical and Physical Mutagenesis in Jatropha curcas --- Chemical Mutagenesis and Chimera Dissolution in Vegetatively Propagated Banana --- Mutation Induction Using Gamma Irradiation and Embryogenic Cell Suspensions in Plantain (Musa spp.) --- Optimization of Somatic Embryogenesis in Cassava --- Creation of a TILLING Population in Barley after Chemical Mutagenesis with Sodium Azide and MNU --- Site-Directed Mutagenesis in Barley by Expression of TALE Nuclease in Embryogenic Pollen --- Doubled Haploidy as a Tool for Chimera Dissolution of TALEN-Induced Mutations in Barley --- Field Evaluation of Mutagenized Rice Material --- Root Phenotyping Pipeline for Cereal Plants --- Breeding New Aromatic Rice with High Iron using Gamma Radiation and Hybridization --- Utilizing NIRS for Qualitative and Non-Destructive Identification of Seed Mutants in Large Populations --- Protocols for Proteome Analyses of Jatropha curcas --- Low-Cost Methods for DNA Extraction and Quantification --- A Protocol for Benchtop Extraction of Single-Strand-Specific Nucleases for Mutation Discovery --- A Protocol for Validation of Doubled Haploid Plants by Enzymatic Mismatch Cleavage --- Bioinformatics-Based Assessment of the Relevance of Candidate Genes for Mutation Discovery --- Mutation Detection by Analysis of DNA Heteroduplexes in TILLING Populations of Diploid Species --- Determining Mutation Density using Restriction Enzyme Sequence Comparative Analysis (RESCAN) --- Next-Generation Sequencing for Targeted Discovery of Rare Mutations in Rice
    Pages: Online-Ressource (XX, 340 pages) , 76 illustrations, 69 illustrations in color
    ISBN: 9783319450216
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-45021-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 94
    Unknown
    Digitalisierung : Bildung / Technik / Innovation (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Computers ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Information Systems and Communication Service ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden
    Pages: Online-Ressource (IX, 199 Seiten)
    ISBN: 9783662528549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-52854-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 95
    Unknown
    Digitale Souveränität : Bürger / Unternehmen / Staat (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick
    Pages: Online-Ressource (IX, 187 Seiten) , 40 Abbildungen in Farbe
    ISBN: 9783662557969
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55796-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 96
    Unknown
    Diversity and Evolution of Butterfly Wing Patterns : An Integrative Approach (2017)
    Singapore : Springer
    Details
    Keywords: Life sciences ; Developmental biology ; Evolutionary biology ; Animal genetics ; Entomology ; Biomathematics ; Life Sciences ; Animal Genetics and Genomics ; Evolutionary Biology ; Mathematical and Computational Biology ; Developmental Biology ; Entomology
    Description / Table of Contents: Foreword --- Preface --- Contributors --- Part I. The Nympalid Groundplan (NGP) and Diversification --- Chapter1:The common developmental origin of eyespots and parafocal elements;And a new model-mechanism for color pattern formation --- Chapter2:Exploring color pattern diversification in early lineages of Satyrinae (Nymphalidae) --- Chapter3:Camouflage variation on a theme of the Nymphalid Ground Plan --- Chapter4:Morphological evolution repeatedly caused by mutations in signaling ligand genes --- Part II. Eyespots and Evolution --- Chapter5:Physiology and evolution of wing pattern plasticity in Bicyclus butterflies: a critical review ofthe literature --- Chapter6:Spatial variation in boundary conditions can govern selection and location of eyespots inbutterfly wings --- Chapter7:Self-Similarity, Distortion Waves, and the Essence of Morphogenesis: A Generalized View ofColor Pattern Formation in Butterfly Wings --- Part III. Developmental Genetics --- Chapter8:A practical guide to CRISPR/Cas9 genome editing in Lepidoptera --- Chapter9:What can we learn about adaptation from the wing pattern genetics of Heliconiusbutterflies? --- Chapter10:Molecular mechanism and evolutionary process underlying female-limited Batesian mimicry in Papilio polytes --- Part IV. Ecological Aspects and Adaptation --- Chapter11:Chemical Ecology of Poisonous Butterflies: Model or Mimic?— A Paradox of Sexual Dimorphisms in Müllerian Mimicry --- Chapter12:A model for population dynamics of the mimetic butterfly Papilio polytesin Sakishima Islands, Japan (II) --- Chapter13:Evolutionary trends in phenotypic elements of seasonal forms of the tribe Junoniini(Lepidoptera: Nymphalidae) --- Chapter14:Estimating the mating success of male butterflies in the field.-Part V. Color Patterns of Larva and Other Insects --- Chapter15:Molecular Mechanisms of Larval Color Pattern Switch in the Swallowtail Butterfly --- Chapter16:Drosophila guttifera as a model system for elucidating color pattern formation --- Chapter17:Molecular mechanisms underlying color vision and color formation in dragonflies
    Pages: Online-Ressource (XII, 321 pages) , 103 illustrations, 89 illustrations in color
    ISBN: 9789811049569
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-4956-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 97
    Unknown
    The GEO Handbook on Biodiversity Observation Networks (2017)
    Cham : Springer
    Details
    Keywords: Life sciences ; Applied ecology ; Biodiversity ; Ecosystems ; Conservation biology ; Ecology ; Community psychology ; Environmental psychology ; Life Sciences ; Applied Ecology ; Biodiversity ; Conservation Biology/Ecology ; Ecosystems ; Community and Environmental Psychology
    Description / Table of Contents: 1. The Biodiversity Data Impediment to a Sustainable World (Working in a Networked World) --- 2. Essential Biodiversity Variables --- 3. Stratification and Terrestrial Ecosystem Observations --- 4. Ecosystem Services --- 5. Species Observations --- 6. Monitoring Changes in Genetic Diversity --- 7. Marine and Coastal Systems --- 8. Biodiversity Observations for Freshwater Ecosystems --- 9. Remote Sensing for Biodiversity --- 10. Involving Citizen Scientists in Biodiversity Observation --- 11. Biodiversity Modelling --- 12. Cyber-Architecture --- 13. Using Data for Decision-Making: From Observations To Indicators and Other Policy Tools --- 14. Capacity Building in Biodiversity Monitoring – Case Studies
    Pages: Online-Ressource (XII, 326 pages) , 34 illustrations, 27 illustrations in color
    ISBN: 9783319272887
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27288-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 98
    Unknown
    Hormones, Metabolism and the Benefits of Exercise (2017)
    Cham : Springer
    Details
    Keywords: Medicine ; Molecular biology ; Health promotion ; Cardiology ; Diabetes ; Endocrinology ; Metabolic diseases ; Biomedicine ; Molecular Medicine ; Health Promotion and Disease Prevention ; Endocrinology ; Cardiology ; Diabetes ; Metabolic Diseases
    Description / Table of Contents: Introduction --- Human brown adipose tissue plasticity: hormonal and environmental manipulation --- The energy sensor AMPK: Adaptations to exercise, nutritional and hormonal signals --- Plasma steroids and cardiorespiratory fitness response to regular exercise --- Sending the signal: Muscle glycogen availability as a regulator of training adaptation --- Optimized engagement of macrophages and satellite cells in the repair and regeneration of exercised muscle --- Skeletal muscle microRNAs: Roles in differentiation, disease and exercise --- Tryptophan-kynurenine metabolites in exercise and mental health --- FNDC5/irisin - their role in the nervous system and as a mediator for beneficial effects of exercise on the brain
    Pages: Online-Ressource (X, 102 pages)
    ISBN: 9783319727905
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-72790-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 99
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Improving Agile Processes --- Reflection in Agile Retrospectives --- What influences the speed of prototyping? An empirical investigation of twenty software startups --- Key Challenges in Agile Requirements Engineering --- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting --- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes --- Effects of Technical Debt Awareness: A classroom study --- Agile in Organizations --- Don’t Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams --- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls --- Knowledge Sharing in a Large Agile Organisation: A Survey Study --- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans --- Are Software Startups Applying Agile? the State of the Practice from a Large Survey --- Adopting Test Automation on Agile Development Projects: A Grounded Theory Study of Indian Software Organizations --- Safety Critical Software --- How is security testing done in agile teams? A cross-case analysis of four software teams --- An assessment of avionics software development practice: justifications for an agile development process --- Short Research Papers --- Inoculating an Agile Company with User-Centred Design: an Empirical Study --- On the Usage and Benefits of Agile Methods & Practices --- Checklists to Support Test Charter Design in Exploratory Testing --- Discovering Software Process Deviations Using Visualizations --- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams --- Are daily stand-up meetings valuable? A survey of developers in software teams --- Doctoral Symposium Papers --- Knowledge Management and Reflective Practice in Daily Stand-up and Retrospective Meetings --- Self-Assignment: Task Allocation Practice in Agile Software Development --- Software Development Practices Patterns.
    Pages: Online-Ressource (XIII, 306 pages) , 55 illustrations
    ISBN: 9783319576336
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57633-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 100
    Unknown
    Think Big, Start Small : StreetScooter die e-mobile erfolgsstory: Innovationsprozesse radikal effizienter (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Project management ; Engineering design ; Automotive Engineering ; Project Management ; Engineering Design
    Description / Table of Contents: A - Die Entwicklung: Drei Erfolgsstories --- Die StreetScooter-Gründer-Story --- Die StreetScooter-Meilensteine 2008-2017 --- Die StreetScooter-Entwicklungsstory --- Die StreetScooter-Protagonisten-Story --- B - Die Lösung: Return on Engineering: Die StreetScooter-Lösungsbausteine. C - Die Perspektive: Die StreetScooter-Netzwerk-Story --- Die StreetScooter-Produktions-Story --- Die StreetScooter-Post-Story --- Die StreetScooter-Mobilitätslösung --- Die StreetScooter-Vision. A - The Development: Three Stories of Success --- The StreetScooter Founder Story --- The StreetScooter Milestones 2008-2017 --- The StreetScooter Development Story --- The StreetScooter Protagonists Story --- B - The Solution: Return on Engineering: The StreetScooter Building Blocks --- C - The Perspective: The StreetScooter Network Story --- The StreetScooter Production Story --- The StreetScooter Post Story --- The StreetScooter Mobility Solution --- The StreetScooter Vision
    Pages: Online-Ressource (VII, 213 Seiten)
    ISBN: 9783662549971
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-54997-1
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...