ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Books  (311)
  • Computer Science  (227)
  • Medicine  (61)
  • Sociology  (24)
Collection
Source
Language
  • 1
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Unknown
    Washington, D. C. : The World Bank
    Keywords: world development
    Description / Table of Contents: Global value chains (GVCs) powered the surge of international trade after 1990 and now account for almost half of all trade. This shift enabled an unprecedented economic convergence: poor countries grew rapidly and began to catch up with richer countries. Since the 2008 global financial crisis, however, the growth of trade has been sluggish and the expansion of GVCs has stalled. Meanwhile, serious threats have emerged to the model of trade-led growth. New technologies could draw production closer to the consumer and reduce the demand for labor. And conflicts among large countries could lead to a retrenchment or a segmentation of GVCs. This book examines whether there is still a path to development through GVCs and trade. It concludes that technological change is, at this stage, more a boon than a curse. GVCs can continue to boost growth, create better jobs, and reduce poverty provided that developing countries implement deeper reforms to promote GVC participation; industrial countries pursue open, predictable policies; and all countries revive multilateral cooperation.
    Pages: Online-Ressource (XIX, 266 Seiten) , Illustrationen, Diagramme
    ISBN: 9781464814952
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Unknown
    San Francisco, CA : No Starch Press
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Unknown
    London : Open Humanities Press
    Keywords: anthropology ; anthropocene ; neganthropology ; neganthropocene
    Description / Table of Contents: 1 The Anthropocene and Neganthropology --- 2 Escaping the Anthropocene --- 3 Symptomatology of the Month of January 2015 in France --- 4 Elements of Neganthropology --- 5 Passages to the Act, Dialogical Interactions and Short-Circuits in Interactivity --- 6 Welcome to the Anthropocene: Text for an Encounter between Bernard Stiegler and Peter Sloterdijk --- 7 Governing Towards the Neganthropocene --- 8 Five Theses after Schmitt and Bratton --- 9 Capitalism as Epistēmē and Entropocene --- 10 The Organology of Dreams and Arche-Cinema --- 11 The Writing Screen --- 12 Power, Powerlessness, Thinking and Future --- 13 What is Called Caring? Thinking Beyond the Anthropocene
    Pages: Online-Ressource (345 Seiten)
    ISBN: 9781785420498
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Unknown
    Manchester : Manchester University Press
    Keywords: Arctic ; governance ; power ; environmental cooperation ; indigenous diplomacy ; expert knowledge ; international relations ; political geography ; Russia ; Arctic Council
    Description / Table of Contents: This book seeks to pose and explore a question that sheds light on the contested but largely cooperative nature of Arctic governance in the post-Cold War period: how does power matter – and how has it mattered – in shaping cross-border cooperation and diplomacy in the Arctic? Each chapter functions as a window through which power relations in the Arctic are explored. Issues include how representing the Arctic region matters for securing preferred outcomes, how circumpolar cooperation is marked by regional hierarchies and how Arctic governance has become a global social site in its own right, replete with disciplining norms for steering diplomatic behaviour. This book draws upon Russia’s role in the Arctic Council as an extended case study and examines how Arctic cross-border governance can be understood as a site of competition over the exercise of authority.
    Pages: Online-Ressource (XI, 164 Seiten) , Illustrationen, Diagramme
    ISBN: 9781526131645
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Unknown
    Basel, Beijing, Wuhan : MDPI
    Keywords: aerosol optical depth ; climate variability and health ; earth observation ; environmental health ; environmental remote sensing ; exposure to air pollutant ; geospatial technology ; health GIS ; landscape epidemiology ; public health ; public health tracking ; remote sensing ; spatial surveillance ; spatial epidemiology ; tele-epidemiology
    Description / Table of Contents: Editorial - Remote Sensing and Geospatial Technologies in Public Health / ISPRS Int. J. Geo-Inf. 2018, 7(8), 303; https://doi.org/10.3390/ijgi7080303 --- CALPUFF and CAFOs: Air Pollution Modeling and Environmental Justice Analysis in the North Carolina Hog Industry / ISPRS Int. J. Geo-Inf. 2015, 4(1), 150-171; https://doi.org/10.3390/ijgi4010150 --- Analyzing the Correlation between Deer Habitat and the Component of the Risk for Lyme Disease in Eastern Ontario, Canada: A GIS-Based Approach / ISPRS Int. J. Geo-Inf. 2015, 4(1), 105-123; https://doi.org/10.3390/ijgi4010105 --- Geospatial Technology: A Tool to Aid in the Elimination of Malaria in Bangladesh / ISPRS Int. J. Geo-Inf. 2015, 4(1), 47-58; https://doi.org/10.3390/ijgi4010047 --- Examining Personal Air Pollution Exposure, Intake, and Health Danger Zone Using Time Geography and 3D Geovisualization / ISPRS Int. J. Geo-Inf. 2015, 4(1), 32-46; https://doi.org/10.3390/ijgi4010032 --- Use of the NASA Giovanni Data System for Geospatial Public Health Research: Example of Weather-Influenza Connection / ISPRS Int. J. Geo-Inf. 2014, 3(4), 1372-1386; https://doi.org/10.3390/ijgi3041372 --- Mapping Entomological Dengue Risk Levels in Martinique Using High-Resolution Remote-Sensing Environmental Data / ISPRS Int. J. Geo-Inf. 2014, 3(4), 1352-1371; https://doi.org/10.3390/ijgi3041352 --- Improving Inland Water Quality Monitoring through Remote Sensing Techniques / ISPRS Int. J. Geo-Inf. 2014, 3(4), 1234-1255; https://doi.org/10.3390/ijgi3041234 --- Impacts of Scale on Geographic Analysis of Health Data: An Example of Obesity Prevalence / ISPRS Int. J. Geo-Inf. 2014, 3(4), 1198-1210; https://doi.org/10.3390/ijgi3041198 --- Geographical Variation of Incidence of Chronic Obstructive Pulmonary Disease in Manitoba, Canada / ISPRS Int. J. Geo-Inf. 2014, 3(3), 1039-1057; https://doi.org/10.3390/ijgi3031039 --- Holistics 3.0 for Health / ISPRS Int. J. Geo-Inf. 2014, 3(3), 1023-1038; https://doi.org/10.3390/ijgi3031023 --- Dasymetric Mapping and Spatial Modeling of Mosquito Vector Exposure, Chesapeake, Virginia, USA / ISPRS Int. J. Geo-Inf. 2014, 3(3), 891-913; https://doi.org/10.3390/ijgi3030891 --- Modeling Properties of Influenza-Like Illness Peak Events with Crossing Theory / ISPRS Int. J. Geo-Inf. 2014, 3(2), 764-780; https://doi.org/10.3390/ijgi3020764 --- Correlating Remote Sensing Data with the Abundance of Pupae of the Dengue Virus Mosquito Vector, Aedes aegypti, in Central Mexico / ISPRS Int. J. Geo-Inf. 2014, 3(2), 732-749; https://doi.org/10.3390/ijgi3020732 --- Canadian Forest Fires and the Effects of Long-Range Transboundary Air Pollution on Hospitalizations among the Elderly / ISPRS Int. J. Geo-Inf. 2014, 3(2), 713-731; https://doi.org/10.3390/ijgi3020713 --- Nexus of Health and Development: Modelling Crude Birth Rate and Maternal Mortality Ratio Using Nighttime Satellite Images / ISPRS Int. J. Geo-Inf. 2014, 3(2), 693-712; https://doi.org/10.3390/ijgi3020693
    Pages: Online-Ressource (244 Seiten) , Illustrationen, Diagramme
    Edition: Printed Edition of the Special Issue Published in ISPRS International Journal of Geo-Information
    ISBN: 9783038971733
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Unknown
    San Francisco, CA : No Starch Press
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    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
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Unknown
    Berlin, Heidelberg : Springer Vieweg
    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
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Unknown
    Rijeka : InTech
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Unknown
    Rijeka : InTech
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Unknown
    Rijeka : InTech
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Unknown
    Berlin, Heidelberg : Springer Vieweg
    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
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Unknown
    Berlin, Heidelberg : Springer Vieweg
    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
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Keywords: Computer science ; Special purpose computers ; Database management ; User interfaces (Computer systems) ; Artificial intelligence ; Computer Science ; Artificial Intelligence (incl. Robotics) ; User Interfaces and Human Computer Interaction ; Database Management ; Special Purpose and Application-Based Systems
    Description / Table of Contents: Can Machines Design? Optimizing User Interfaces for Human Performance --- Geometrical Shapes Rendering on a Dot-Matrix Display --- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM --- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques --- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach --- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment --- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) --- List Navigation Using Edge Menu --- Simplexity and Vicariance. On Human Cognition Principles for Man-Machine Interaction --- Design Considerations for Self-paced Interactive Notes on Video Lectures - A Learner's Perspective and Enhancements of Learning Outcome --- Using Psycholinguistic Features for the Classification of Comprehenders from Summary Speech Transcripts --- Lector: Towards Reengaging Students in the Educational Process Inside Smart Classrooms --- Predicting Driver's Work Performance in Driving Simulator Based on Physiological Indices --- Interpersonal Human-Human and Human-Robot Interactions --- Exploring the Dynamics of Relationships Between Expressed and Experienced Emotions --- Standard Co-training in Multiword Expression Detection --- Comparative Study on Normalization in Emotion Recognition from Speech --- Detecting Vigilance in People Performing Continual Monitoring Task
    Pages: Online-Ressource (XVIII, 216 pages) , 78 illustrations
    ISBN: 9783319720388
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Unknown
    Cham : Springer
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Unknown
    Berlin, Heidelberg : Springer Vieweg
    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
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Unknown
    Rijeka : InTech
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Unknown
    Rijeka : InTech
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Keywords: Stereotypes ; Stereotypes on scientists ; Stereotypes' removal ; Gender stereotypes in science ; Interaction-based science communication ; Young people and STEM
    Description / Table of Contents: Scientists deserve public recognition. The ways that they are depicted, however, are severely limited in physical and personal traits, helping to establish and enhance stereotypes under the general title of ‘scientist’. These stereotypes range from the arrogant researcher who wants to rule the world, to the lab coat wearing ‘nerdy’ genius, but all generally fall to an extreme view of an existing perception of what a scientist should look and be like. For example, the popular image of ‘a scientist’ overlooks the presence of women almost entirely unless attributed to specific subjects and/or with narrow character depictions. The implications can be far-reaching. Young people, being heavily swayed by what they see and hear in the media, may avoid scientific careers because of these limited or unflattering portrayals of the scientific community, regardless of whether they reflect real life.Based on findings from the Light’13 project, this book examines such stereotypes and questions whether it is possible to adjust people’s perception of scientists and to increase interest in science and scientific careers through a series of specific actions and events.
    Pages: Online-Ressource (XVI, 103 ppages)
    ISBN: 9781911529057
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Unknown
    Rijeka : InTech
    Keywords: computer modelling ; computer simulation
    Description / Table of Contents: Chapter 1: Modelling and Simulation of Complex Adaptive System: The Diffusion of Socio-Environmental Innovation in the RENDRUS Network by Aida Huerta Barrientos and Yazmin Dillarza Andrade --- Chapter 2: Rendering Techniques in 3D Computer Graphics Based on Changes in the Brightness of the Object Background by Nika Bratuž, Helena Gabrijelčič Tomc and Dejana Javoršek --- Chapter 3: Modelling and Visualisation of the Optical Properties of Cloth by Tanja Nuša Kočevar and Helena Gabrijelčič Tomc --- Chapter 4: Textile Forms’ Computer Simulation Techniques by Andreja Rudolf, Slavica Bogović, Beti Rogina Car, Andrej Cupar, Zoran Stjepanovič and Simona Jevšnik --- Chapter 5: Computer Simulation of Bioprocess by Jianqun Lin, Ling Gao, Huibin Lin, Yilin Ren, Yutian Lin and Jianqiang Lin --- Chapter 6: Developing a Hybrid Model and a Multi-Scale 3D Concept of Integrated Modelling High-Temperature Processes by Marcin Hojny --- Chapter 7: Computer-Aided Physical Simulation of the Soft-Reduction and Rolling Process by Marcin Hojny --- Chapter 8: Surrogate Modelling with Sequential Design for Expensive Simulation Applications by Joachim van der Herten, Tom Van Steenkiste, Ivo Couckuyt and Tom Dhaene --- Chapter 9: Computer Simulation of High-Frequency Electromagnetic Fields by Andrey D. Grigoriev --- Chapter 10: Modeling and Simulation of Task Allocation with Colored Petri Nets by Mildreth Alcaraz-Mejia, Raul Campos-Rodriguez and Marco Caballero-Gutierrez --- Chapter 11: Multi-Criteria Decision-Making in the Implementation of Renewable Energy Sources by Dejan Jovanovic and Ivan Pribicevic
    Pages: Online-Ressource (264 Seiten)
    ISBN: 9789535132066
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Unknown
    Rijeka : InTech
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Unknown
    Rijeka : InTech
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Keywords: heuristics
    Description / Table of Contents: Chapter 1: Hyper-Heuristics and Metaheuristics for Selected Bio-Inspired Combinatorial Optimization Problems by Aleksandra Swiercz --- Chapter 2: Multi-Objective Hyper-Heuristics by Mashael Suliaman Maashi --- Chapter 3: Heuristics Techniques for Scheduling Problems with Reducing Waiting Time Variance by Satyasundara Mahapatra, Rati Ranjan Dash and Sateesh K. Pradhan --- Chapter 4: Efficient Heuristics for Scheduling with Release and Delivery Times by Nodari Vakhania --- Chapter 5: Advanced Particle Filter Methods by Roi Yozevitch and Boaz Ben-Moshe --- Chapter 6: On the Use of Hybrid Heuristics for Providing Service to Select the Return Channel in an Interactive Digital TV Environment by Marcos César da Rocha Seruffo, Ádamo Lima de Santana, Carlos Renato Lisboa Francês and Nandamudi Lankalapalli Vijaykumar
    Pages: Online-Ressource (134 Seiten)
    ISBN: 9789535133841
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Keywords: fractal geometry ; fractal analysis ; fractals ; application ; medicine ; social sciences
    Description / Table of Contents: Chapter 1: Fractal Analysis of Cardiovascular Signals Empowering the Bioengineering Knowledge by Ricardo L. Armentano, Walter Legnani and Leandro J. Cymberknop --- Chapter 2: Complex Systems with Self-Elimination of Dissipation with Implication in Bio-Structural Behavior Via Nondifferentiability by Maricel Agop, Decebal Vasincu, Daniel Timofte, Elena Simona Bacaita, Andrei Agop and Stefan Andrei Irimiciuc --- Chapter 3: The Fractal Analysis of the Images and Signals in Medical Diagnostics by Tayurskii Dmitrii Albertovich and Rusanova Inna Aleksandrovna --- Chapter 4: Polyadic Cantor Fractals: Characterization, Generation, and Application as Ultrasonic Lenses by Sergio Castiñeira-Ibañez, Daniel Tarrazó-Serrano, José Miguel Fuster, Pilar Candelas and Constanza Rubio --- Chapter 5: Fractal to Non-Fractal Morphological Transitions in Stochastic Growth Processes by José Roberto Nicolás-Carlock, Víctor Dossetti and José Luis Carrillo- Estrada --- Chapter 6: The Altepetl: Fractal Modeling of a Pre-Hispanic Human Agency by Fernando López Aguilar --- Chapter 7: Fractal Analysis Based on Hierarchical Scaling in Complex Systems by Yanguang Chen --- Chapter 8: Characterization of Cultural Traits by Means of Fractal Analysis by Sabrina Farías-Pelayo --- Chapter 9: On Self-Affine and Self-Similar Graphs of Fractal Interpolation Functions Generated from Iterated Function Systems by Sean Dillon and Vasileios Drakopoulos --- Chapter 10: Pair-Pair Angular Correlation Function by Filipe Leoncio Braga and Alexandre Barbosa de Souza
    Pages: Online-Ressource (224 Seiten)
    ISBN: 9789535132141
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Unknown
    Cham : Springer
    Keywords: Medicine ; Human genetics ; Neurosciences ; Biomedical engineering ; Biomedicine ; Human Genetics ; Neurosciences ; Biomedical Engineering/Biotechnology
    Description / Table of Contents: Introduction --- In vitro modeling of complex neurological diseases --- Aquatic model organisms in neurosciences : the genome editing revolution --- Genome-wide genetic screening in the mammalian CNS --- CRISPR/Cas9-mediated Knockin and Knockout in Zebrafish --- Dissecting the role of synaptic proteins with CRISPR --- Recurrently Breaking Genes in Neural Progenitors: Potential Roles of DNA Breaks in Neuronal Function, Degeneration and Cancer --- Neuroscience research using non-human primate models and genome editing --- Multiscale genome engineering: Genome-wide screens and targeted approaches --- Using Genome Engineering to Understand Huntington’s Disease --- Therapeutic gene editing in muscles and muscle stem cells
    Pages: Online-Ressource (XI, 123 pages) , 16 illustrations in color
    ISBN: 9783319601922
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Unknown
    Berlin, Heidelberg : Springer Vieweg
    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
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    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
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Unknown
    Rijeka : InTech
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Unknown
    Rijeka : InTech
    Keywords: urbanizing ; local development ; urban planning
    Description / Table of Contents: Chapter 1: Collaboration: Long-Term Partnerships for Local Development by Elisabeth Schauppenlehner-Kloyber --- Chapter 2: Evolution of Marketing in Smart Cities through the Collaboration Design by Urška Starc-Peceny, Anita Maček and Rasto Ovin --- Chapter 3: Social Media Use and Citizen Engagement in Local Government of Thailand by Sataporn Roengtam --- Chapter 4: Urban Planning in Decentralization and Local Autonomy Era: A Case Study on the Relationship Between Local Government and Civic Group in Development and Budget Planning in Malang City (Indonesia) by Salahudin, Achmad Nurmandi and Jainuri --- Chapter 5: The Key Role of Integral Extension in Socio-Environmental Innovation towards Sustainable Rural Development by Aida Huerta-Barrientos --- Chapter 6: Export, Import, Economic Growth, and Carbon Emissions in Bangladesh: A Granger Causality Test under VAR (Restricted) Environment by Farhana Ferdousi and Md. Qamruzzaman --- Chapter 7: Water Challenges of an Urbanizing World by Sheetal Sharma --- Chapter 8: The Spatial Structure of Ecuador: Analysis Using Market Potentials by Jorge Guido Sotomayor-Pereira, Jesús López-Rodríguez and Laura Varela-Candamio --- Chapter 9: The Economic Geography of Most North-Western Region of Spain: Galicia and the Effect of Market Access on Regional Development Levels by Jesús López-Rodríguez and Guillermo Manso-Fernández --- Chapter 10: Some Perpetually Old and New Development Issues in the EU Regions: Competitiveness, Resilience, and Convergence: Where Do the New Member States Stand? by Marioara Iordan and Mihaela-Nona Chilian --- Chapter 11: Regional Analysis for European Structural and Investment Funds on the Case of Slovenia-Austria Cross-Border Cooperation 2014–2020 by Vito Bobek and Anita Maček
    Pages: Online-Ressource (226 Seiten)
    ISBN: 9789535136040
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Keywords: Computer science ; Software engineering ; Computers ; Law and legislation ; Management information systems ; Computer Science ; Management of Computing and Information Systems ; Software Engineering ; Legal Aspects of Computing ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: This book is open access under a CC BY license. This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), including: licensing, strategies, and practices; case studies; projects, communication, and participation; tools; and project management, development and evaluation
    Pages: Online-Ressource (XIV, 220 pages) , 37 illustrations
    ISBN: 9783319577357
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Keywords: Computer science ; Management information systems ; Industrial management ; Software engineering ; Application software ; Computer Science ; Computer Appl. in Administrative Data Processing ; Business Process Management ; Information Systems Applications (incl. Internet) ; Software Engineering ; Software Management
    Description / Table of Contents: Introduction --- Industrial Challenges. S-BPM's Industrial Capabilities --- Lot-Size One Production. People-Centred Production Design --- Human-Controlled Production --- Learnings --- The Future: Obstacles and Opportunities
    Pages: Online-Ressource (XIV, 232 pages) , 78 illustrations
    ISBN: 9783319484662
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Keywords: Computer science ; Research ; Moral and ethical aspects ; Computers ; Computers and civilization ; Computer Science ; Computers and Society ; History of Computing ; Diversity Management/Women in Business ; Research Ethics
    Description / Table of Contents: Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science --- On the Big Impact of “Big Computer Science” --- On Informatics, Diamonds and T --- Leadership and Balance in Research --- Rational ethics --- Ethics for the digital age: where are the moral specs? --- Digital Sovereignty and IT-Security for a Prosperous Society --- Women in Computing and the contingency of informatics cultures --- Ada - poet of computing
    Pages: Online-Ressource (XI, 109 pages) , 22 illustrations in color
    ISBN: 9783319557359
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Common challenges with software --- The map --- A holistic view to change --- The compass --- The journeys --- Co-develop in a community --- Charing is caring --- A thriving Open Source culture behind the wall --- Keeping the doors open.- Building ecosystems --- Pushing the boundaries --- Add supplementary services --- Adding Internet to things --- Boosting product sales by services --- Deliver 24/7 --- Pruning a bush --- Ensuring prima deliveries --- Pump up the volume --- Global R&D goes agile with SAFe --- Multi-site development --- Agile and disciplined --- Scaling Agile in Automotive --- Scaling Agile in Life sciences --- Outside the box --- Efficient communication --- Outsourcing Strategy at Sony Mobile --- Not so shore anymore --- Play it again, Sam, backwards --- First things first --- Robotic growing pains --- Softhouse reflects on architecture changes --- From mobile to Platform --- Your journey
    Pages: Online-Ressource (XXIII, 242 pages)
    ISBN: 9783319531168
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Keywords: Computer science ; Health informatics ; Computer system failures ; Image processing ; Computer Science ; Health Informatics ; Health Informatics ; Image Processing and Computer Vision ; System Performance and Evaluation
    Description / Table of Contents: VISCERAL: Evaluation-as-a-Service for Medical Imaging --- Using the Cloud as a Platform for Evaluation and Data Preparation --- Ethical and Privacy Aspects of Using Medical Image Data --- Annotating Medical Image Data --- Datasets created in VISCERAL --- Evaluation Metrics for Medical Organ Segmentation and Lesion Detection --- VISCERAL Anatomy Benchmarks for Organ Segmentation and Landmark Localisation: Tasks and Results --- Retrieval of Medical Cases for Diagnostic Decisions: VISCERAL Retrieval Benchmark --- Automatic Atlas-Free Multi-Organ Segmentation of Contrast-Enhanced CT Scans --- Multi-organ Segmentation Using Coherent Propagating Level Set Method Guided by Hierarchical Shape Priors and Local Phase Information --- Automatic Multi-organ Segmentation using Hierarchically-Registered Probabilistic Atlases --- Multi-Atlas Segmentation Using Robust Feature-Based Registration --- Combining Radiology Images and Clinical Meta-data for Multimodal Medical Case-based Retrieval --- Text and Content-based Medical Image Retrieval in the VISCERAL Retrieval Benchmark
    Pages: Online-Ressource (XVIII, 254 pages) , 93 illustrations, 39 illustrations in color
    ISBN: 9783319496443
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Keywords: open science
    Description / Table of Contents: Introduction 1 --- Introduction to Open (Robert Biswas-Diener and Rajiv S. Jhangiani) 3 --- A Brief History of Open Educational Resources (T. J. Bliss and M. Smith) 9 --- Open Licensing and Open Education Licensing Policy (Cable Green) 29 --- Openness and the Transformation of Education and Schooling (William G. Huitt and David M. Monetti) 43 --- What Can OER Do for Me? Evaluating the Claims for OER (Martin Weller, Beatriz de los Arcos, Rob Farrow, Rebecca Pitt and Patrick McAndrew) 67 --- Are OE Resources High Quality? (Regan A. R. Gurung) 79 --- Open Practices 87 --- Opening Science (Brian A. Nosek) 89 --- Open Course Development at the OERu (Wayne Mackintosh) 101 --- From OER to Open Pedagogy: Harnessing the Power of Open (Robin DeRosa and Scott Robison) 115 --- Opening Up Higher Education with Screencasts (David B. Miller and Addison Zhao) 125 --- Librarians in the Pursuit of Open Practices (Quill West) 139 --- A Library Viewpoint: Exploring Open Educational Practices (Anita Walz) 147 --- How to Open an Academic Department (Farhad Dastur) 163 --- Case Studies 179 --- The International Journal of Wellbeing: An Open Access Success Story (Dan Weijers and Aaron Jarden) 181 --- Iterating Toward Openness: Lessons Learned on a Personal Journey (David Wiley) 195 --- Open-Source for Educational Materials Making Textbooks Cheaper and Better (Ed Diener, Carol Diener and Robert Biswas-Diener) 209 --- Free is Not Enough (Richard Baraniuk, Nicole Finkbeiner, David Harris, Dani Nicholson and Daniel Williamson) 219 --- The BC Open Textbook Project (Mary Burgess) 227 --- TeachPsychScience.org: Sharing to Improve the Teaching of Research Methods (David B. Strohmetz, Natalie J. Ciarocco and Gary W. Lewandowski, Jr.) 237 --- DIY Open Pedagogy: Freely Sharing Teaching Resources in Psychology (Jessica Hartnett) 245 --- Conclusion 255 --- You Can’t Sell Free, and Other OER Problems (Robert Biswas-Diener) 257 --- Open as Default: The Future of Education and Scholarship (Rajiv S. Jhangiani) 267 --- Index 281
    Pages: Online-Ressource (VIII, 294 pages) , Diagramme
    ISBN: 9781911529019
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    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
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Keywords: Computer science ; Special purpose computers ; Computer security ; User interfaces (Computer systems) ; Artificial intelligence ; Image processing ; Computer Science ; Information Systems Applications (incl. Internet) ; User Interfaces and Human Computer Interaction ; Artificial Intelligence (incl. Robotics) ; Systems and Data Security ; Image Processing and Computer Vision ; Special Purpose and Application-Based Systems
    Description / Table of Contents: This book is published open access under a CC BY license. This book constitutes the proceedings of the 5th International Workshop on Symbiotic Interaction, Symbiotic 2016, held in Padua, Italy, in October 2016. The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The idea of symbiotic systems put forward in this workshop capitalizes on the computers’ ability to implicitly detect the users goals, preferences or/and psycho-physiological states and thereby enhancing human-computer interaction (HCI). The papers present an overview of the symbiotic relationships between humans and computers with emphasis on user-driven research on symbiotic systems, adaptive systems, implicit input data, physiological computing and BCI, but also on understanding the nature of the interdependence and agency between computers and humans more broadly
    Pages: Online-Ressource (XIV, 182 pages) , 51 illustrations
    ISBN: 9783319577531
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Keywords: Life sciences ; Biodiversity ; Nature conservation ; Life Sciences ; Biodiversity ; Nature Conservation ; Plant Systematics/Taxonomy/Biogeography ; Animal Systematics/Taxonomy/Biogeography
    Description / Table of Contents: Phylogenetics and conservation biology: drawing a path into the diversity of life --- The value of phylogenetic diversity --- The PD phylogenetic diversity framework: linking evolutionary history to feature diversity for biodiversity conservation --- Reconsidering the loss of evolutionary history: how does non-random extinction prune the tree-of-life?- Phylogenetics and conservation in New Zealand: the long and the short of it --- What is the meaning of extreme phylogenetic diversity? The case of phylogenetic relict species --- Using phylogenetic dissimilarities among sites for biodiversity assessments and conservation --- Phylogenetic diversity measures and their decomposition: a framework based on hill numbers --- Split diversity: measuring and optimizing biodiversity using phylogenetic split networks --- The rarefaction of phylogenetic diversity: formulation, extension and application --- Support in area prioritization using phylogenetic information --- Assessing hotspots of evolutionary history with data from multiple phylogenies: an analysis of endemic clades from New Caledonia --- Representing hotspots of evolutionary history in systematic conservation planning for European mammals --- Priorities for conservation of the evolutionary history of amphibians in the cerrado --- Global spatial analyses of phylogenetic conservation priorities for aquatic mammals --- Metapopulation capacity meets evolutionary distinctness: spatial fragmentation complements phylogenetic rarity in prioritization. - Patterns of species, phylogenetic and mimicry diversity of clearwing butterflies in the Neotropics --- Conservation of phylogenetic diversity in Madagascar’s largest endemic plant family, Sarcolaenaceae --- The future of phylogenetic systematics in conservation biology: linking biodiversity and society
    Pages: Online-Ressource (XVII, 390 pages) , 79 illustrations
    ISBN: 9783319224619
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Keywords: Medicine ; Neurosciences ; Otorhinolaryngology ; Biomedicine ; Neurosciences ; Otorhinolaryngology
    Description / Table of Contents: The International Symposium on Hearing is a prestigious,triennial gathering where world-class scientists present and discuss the most recent advances in the field of human and animal hearing research. The 2015 edition will particularly focus on integrative approaches linking physiological, psychophysical and cognitive aspects of normal and impaired hearing. Like previous editions, the proceedings will contain about 50 chapters ranging from basic to applied research, and of interest to neuroscientists, psychologists, audiologists, engineers, otolaryngologists, and artificial intelligent researchers
    Pages: Online-Ressource (XXIX, 484 pages) , 138 illustrations, 92 illustrations in color
    ISBN: 9783319254746
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Keywords: Medicine ; Neurosciences ; Neurology ; Psychiatry ; Biomedicine ; Neurosciences ; Neurology ; Psychiatry
    Description / Table of Contents: Hippocampal mechanisms for the segmentation of space by goals and boundaries --- Cortical Evolution: Introduction to the Reptilian Cortex --- Flow of information underlying a tactile decision in mice --- The Visual Brain: Computing through Multiscale Complexity --- Grid cells and spatial maps in entorhinal cortex and hippocampus --- The striatum and decision-making based on value --- Decoding the dynamics of conscious perception: The temporal generalization method --- Sleep and synaptic down-selection --- Federating and integrating what we know about the brain at all scales - a challenge for the future. Computer science meets the clinical neurosciences
    Pages: Online-Ressource (XIII, 172 pages) , 33 illustrations, 30 illustrations in color
    ISBN: 9783319288024
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Keywords: Life sciences ; Agriculture ; Plant biochemistry ; Plant genetics ; Life Sciences ; Plant Genetics & Genomics ; Agriculture ; Plant Biochemistry
    Description / Table of Contents: Part I Wheat Genetics: Past, Present, and Future --- 1 Prof. H. Kihara’s genome concept and advancements in wheat cytogenetics in his school --- 2 How a gene from Japan revolutionized the world of wheat: CIMMYT’s quest for combining genes to mitigate threats to global food security --- Part II Germplasm and Genetic Diversity --- 3 Genetic resources of Triticum --- 4 Development of core set of wheat (Triticum spp.) germplasm conserved in the National Genebank in India --- 5 Transfer to wheat of potentially new stem rust resistance genes from Aegilops speltoides --- 6 Genetic variation and its geographical distribution in Aegilops caudata L.: morphology, hybrid sterility and gametocidal genes --- Part III Cytogenetics and Allopolyploid Evolution --- 7 Wheat chromosome analysis --- 8 New aneuploids of common wheat --- 9 Chromosomal changes over the course of polyploid wheat evolution and domestication --- Part IV Toward Whole Genome Sequencing --- 10 Comprehensive functional analyses of expressed sequence tags in common wheat --- 11 Development of the BAC physical maps of wheat chromosome 6B for its genomic sequencing --- Part V Structural and Functional Genomics --- 12 Sequencing of wheat chromosome 6B: toward functional genomics --- 13 Genetic mechanisms of vernalization requirement duration in winter wheat cultivars --- 14 Building ultra-dense genetic maps in the presence of genotyping errors and missing data --- Part VI Functional Gene Analysis and Molecular Tools --- 15 Exploiting comparative biology and genomics to understand a trait in wheat, Ph1 --- 16 The specific features of anthocyanin biosynthesis regulation in wheat --- 17 Association of wheat miRNAs with hybrid incompatibility in interspecific crosses of Triticum and Aegilops --- 18 High efficiency wheat transformation mediated by Agrobacterium tumefaciens --- 19 extra early-flowering (exe) mutants in einkorn wheat generated by heavy-ion beam irradiation --- Part VII Biotic Stress Response --- 20 Stem rust resistance - two approaches --- 21 Germplasm enhancement for resistance to Pyrenophora tritici-repentis in wheat --- 22 Next Generation Sequencing enabled genetics in hexaploid wheat --- Part VIII Abiotic Stress Response --- 23 Genomics approaches to dissect the genetic basis of drought resistance in durum wheat --- 24 Hybrid breeding in wheat --- 25 Broadening the genetic diversity of common and durum wheat for abiotic stress tolerance breeding --- 26 Early maturity in wheat for adaptation to high temperature stress --- 27 Gene expression profiles involved in development of freezing tolerance in common wheat --- Part IX Improvement of Grain Quality --- 28 Coping with wheat quality in a changing environment - Proteomics evidence for stress caused by environmental changes --- 29 Starch modification: a model for wheat MAS breeding --- 30 Quality characteristics of soft kernel durum - a new cereal crop --- 31 Proposal of international gluten research group --- 32 Enlargement of the genetic diversity for grain quality in bread wheat through alien introgression --- 33 Complex G x E interactions and QTL clusters govern end-use quality traits in hexaploid wheat --- 34 A consistent QTL for flour yield on chromosome 3B in the soft winter wheat variety, Kitahonami --- Part X Marker-Assisted Breeding --- 35 Recent improvements in Japanese wheat varieties --- 36 Determining the order of resistance genes Qsng-3BS, Fhb1 and Sr2 and combining them in coupling on wheat chromosome 3BS --- 37 Meta-analysis of resistance to Fusarium head blight in tetraploid wheat – implications for durum wheat breeding --- 38 Interest of a multiparental and outcrossing wheat population for fine mapping --- 39 The effect of Earliness per se (Eps) genes on flowering time in bread wheat --- Part XI Toward Sustainable Wheat Production --- 40 Recapitulating the OECD-CRP session (sponsored by the OECD’s Co-operative Research Program on Biological Resource Management for Sustainable Agricultural Systems --- 41 Exploring genetic resources to increase adaptation of wheat to climate change --- 42 Genomic approaches towards durable fungal disease resistance in wheat --- 43 Review and new progress in wheat wide hybridization for improving the resistance to biotic and abiotic stresses --- 44 Global crop improvement networks to bridge technology gaps --- 45 Genomic selection in plants: empirical results and implications for wheat breeding --- 46 Dietary fibre: wheat genes for enhanced human health --- BM Appendix I: Program --- Appendix II: Poster Presentation List --- Appendix III: Committees
    Pages: Online-Ressource (XVI, 445 pages)
    ISBN: 9784431556756
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Keywords: social transformations ; global environmental change ; Pacific Islands Countries ; social transformations ; global environmental change ; Pacific Islands Countries
    Description / Table of Contents: Pazifikstaaten wie die Fidschi-Inseln sind wie kaum eine andere Region der Welt gekennzeichnet von gesellschaftlichen Veränderungen und dem globalen Umweltwandel. Auf Basis eines partizipativen Forschungsdesigns, durchgeführt in ausgewählten Küstendörfern, untersucht dieser Band die Auswirkungen der Globalisierung und des Klimawandels auf die Lebensqualität ihrer Bewohner. Dabei wird aufgezeigt, dass die Dorfbewohner keine passiven Opfer externer Prozesse sind, sondern aktiv ihr Leben gestalten. Mittels neo-traditioneller Bewegungen gelingt es den Bewohnern weitestgehend, ein festes Wertefundament als Grundlage ihrer kulturellen Identität zu bewahren. Eine intakte Gemeinschaft steht dabei im Zentrum spiritueller, ökonomischer und sozialer Werte. Im Zuge der gesellschaftlichen Transformation agieren die Gemeinschaften nicht mehr ortsgebunden, sondern bilden mithilfe moderner Transport- und Kommunikationstechnologien globalisierte Netzwerke – ohne dabei die Bezüge zu ihrer kulturellen Herkunft zu verlieren. Auswärts lebende Familienangehörige tragen so Wissen und materiellen Wohlstand in die Dorfgemeinschaften und erweitern die Handlungspotentiale und Lebensstandards der Küstendorfbewohner. Im Zuge der Wissensvermittlung erfolgt jedoch insbesondere die Darstellung des Klimawandels und seiner Gefahren verkürzt und nicht auf lokale Werte zurechtgeschnitten, sodass es auch zu Wahrnehmungsverzerrungen und Fehlanpassungen kommt. Im Kontext von Entwicklungszusammenarbeit rät diese Untersuchung daher zu kultureller Sensibilität und einer kritischen Reflektion ethnozentrischer Weltanschauungen, um die Lebensqualität in fidschianischen Dorfgemeinschaften nicht zu gefährden. In diesem Band werden ethnographische Ideale für eine kultur- und sozialgeographische Forschung im globalen Süden aufbereitet. Konzeptionell ist die Untersuchung in die kritische geographische Verwundbarkeits- und Transformationsforschung eingerahmt. In einem kulturräumlichen Überblick wird zunächst aus historisch-politischer Perspektive die Bedeutung postkolonialer Belastungen auf gegenwärtige Transformationsprozesse aufgezeigt. Das Herzstück bildet anschließend die ausführliche Analyse gesellschaftlicher Transformationsprozesse auf die Lebensqualität in drei Küstendörfern der Fidschi-Inseln. | As other Pacific Islands Countries, Fiji is shaped by processes of social transformations and global environmental change. This study utilises ethnographic ideals for enhancing cultural and social geographic research in the global south. A participatory in-depth analysis of rural life in three Fijian coastal villages is at the core of this study. This is framed by a historic-political overview of the burden of Fiji's colonial past. Fijian coastal villagers are not passive victims of global social transformation and climate change. Through neo-traditional movements they actively form processes of social and cultural change. Rural Fijian norms, values and cultural identity crystallize in robust communities. Via modern forms of communication and transportation Fijians established globalised networks securing individuals' quality of life. Family members living far from their home villages remain in contact with their relatives. This way they keep their Fijian Identities as source of wellbeing and as well support the villagers' material wealth and knowledge to enhance capabilities. Merely regarding hazardous climate change impacts the passed on knowledge is spread abridged and poorly fitting into local value systems. Therefore, misperceptions and maladaptations are prevalent. In consequence this study pleads for development agencies to act culturally sensitive and to critically reflect ethnocentric worldviews in order not to harm Fijian values and wellbeing.
    Pages: Online-Ressource (XVIII, 232 Seiten)
    ISBN: 9783863952617
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Keywords: social transformations ; global environmental change ; Pacific Islands Countries
    Description / Table of Contents: Pazifikstaaten wie die Fidschi-Inseln sind wie kaum eine andere Region der Welt gekennzeichnet von gesellschaftlichen Veränderungen und dem globalen Umweltwandel. Auf Basis eines partizipativen Forschungsdesigns, durchgeführt in ausgewählten Küstendörfern, untersucht dieser Band die Auswirkungen der Globalisierung und des Klimawandels auf die Lebensqualität ihrer Bewohner. Dabei wird aufgezeigt, dass die Dorfbewohner keine passiven Opfer externer Prozesse sind, sondern aktiv ihr Leben gestalten. Mittels neo-traditioneller Bewegungen gelingt es den Bewohnern weitestgehend, ein festes Wertefundament als Grundlage ihrer kulturellen Identität zu bewahren. Eine intakte Gemeinschaft steht dabei im Zentrum spiritueller, ökonomischer und sozialer Werte. Im Zuge der gesellschaftlichen Transformation agieren die Gemeinschaften nicht mehr ortsgebunden, sondern bilden mithilfe moderner Transport- und Kommunikationstechnologien globalisierte Netzwerke – ohne dabei die Bezüge zu ihrer kulturellen Herkunft zu verlieren. Auswärts lebende Familienangehörige tragen so Wissen und materiellen Wohlstand in die Dorfgemeinschaften und erweitern die Handlungspotentiale und Lebensstandards der Küstendorfbewohner. Im Zuge der Wissensvermittlung erfolgt jedoch insbesondere die Darstellung des Klimawandels und seiner Gefahren verkürzt und nicht auf lokale Werte zurechtgeschnitten, sodass es auch zu Wahrnehmungsverzerrungen und Fehlanpassungen kommt. Im Kontext von Entwicklungszusammenarbeit rät diese Untersuchung daher zu kultureller Sensibilität und einer kritischen Reflektion ethnozentrischer Weltanschauungen, um die Lebensqualität in fidschianischen Dorfgemeinschaften nicht zu gefährden. In diesem Band werden ethnographische Ideale für eine kultur- und sozialgeographische Forschung im globalen Süden aufbereitet. Konzeptionell ist die Untersuchung in die kritische geographische Verwundbarkeits- und Transformationsforschung eingerahmt. In einem kulturräumlichen Überblick wird zunächst aus historisch-politischer Perspektive die Bedeutung postkolonialer Belastungen auf gegenwärtige Transformationsprozesse aufgezeigt. Das Herzstück bildet anschließend die ausführliche Analyse gesellschaftlicher Transformationsprozesse auf die Lebensqualität in drei Küstendörfern der Fidschi-Inseln. | As other Pacific Islands Countries, Fiji is shaped by processes of social transformations and global environmental change. This study utilises ethnographic ideals for enhancing cultural and social geographic research in the global south. A participatory in-depth analysis of rural life in three Fijian coastal villages is at the core of this study. This is framed by a historic-political overview of the burden of Fiji's colonial past. Fijian coastal villagers are not passive victims of global social transformation and climate change. Through neo-traditional movements they actively form processes of social and cultural change. Rural Fijian norms, values and cultural identity crystallize in robust communities. Via modern forms of communication and transportation Fijians established globalised networks securing individuals' quality of life. Family members living far from their home villages remain in contact with their relatives. This way they keep their Fijian Identities as source of wellbeing and as well support the villagers' material wealth and knowledge to enhance capabilities. Merely regarding hazardous climate change impacts the passed on knowledge is spread abridged and poorly fitting into local value systems. Therefore, misperceptions and maladaptations are prevalent. In consequence this study pleads for development agencies to act culturally sensitive and to critically reflect ethnocentric worldviews in order not to harm Fijian values and wellbeing.
    Pages: Online-Ressource (XVIII, 232 Seiten)
    ISBN: 9783863952617
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Unknown
    London : Bloomsbury Academic
    Keywords: Ecocriticism ; Literature and the Environment ; Literary Studies ; Literary Theory ; Comparative Literature
    Description / Table of Contents: Drawing on the latest debates in ecocritical theory and sustainability studies, Literature as Cultural Ecology: Sustainable Texts outlines a new approach to the reading of literary texts. Hubert Zapf considers the ways in which literature operates as a form of cultural ecology, using language, imagination and critique to challenge and transform cultural narratives of humanity’s relationship to nature. In this way, the book demonstrates the important role that literature plays in creating a more sustainable way of life. Applying this approach to works by writers such as Emily Dickinson, Edgar Allen Poe, Herman Melville, William Faulkner, Toni Morrison, Zakes Mda, and Amitav Ghosh, Literature as Cultural Ecology is an essential contribution to the contemporary environmental humanities.
    Pages: Online-Ressource (X, 302 Seiten)
    ISBN: 9781474274685
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Unknown
    Bonn : Rheinwerk Verlag
    Keywords: Java ; Java Version 8 ; JSE 8
    Description / Table of Contents: Unser Handbuch ist die erste Wahl, wenn es um aktuelles und praktisches Java-Wissen geht. Java-Einsteiger, Studenten und Umsteiger profitieren seit mehr als einem Jahrzehnt von diesem Lehrwerk. Neben der Behandlung der Sprachgrundlagen von Java (Neu in Java 8: Lambda-Ausdrücke) gibt es kompakte Einführungen in Spezialthemen. So erfahren Sie einiges über Threads, Swing, Netzwerkprogrammierung, NetBeans, RMI, XML und Java, Servlets und Java Server Pages. Dieses Buch gehört in das Regal eines jeden Java-Programmierers.
    Pages: Online-Ressource (1312 Seiten) , Illustrationen, Diagramme
    Edition: 12., akt. Aufl.
    ISBN: 9783836241199
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Unknown
    London : Bloomsbury Academic
    Keywords: Ecocriticism ; Earthquake ; Italy ; Literary Studies ; Literary Theory ; Comparative Literature ; European Literature
    Description / Table of Contents: Naples and the porous landscapes of ecomafia and volcanic eruptions; death in Venice as a literary trope and a petrochemical curse; earthquakes and political moves that shake territories, people, and ideas cross-country; the slow pace of wine, food and environmental violence in Piedmont: these are some of the texts that this book narrates and analyses. Here stories of justice, cultural visions, society and politics interlace with stories of land and life, ecosystems and body cells, pollution and redemption. Ecocriticism and Italy reads Italy as a text - a compound text made of matter and imagination - always keeping in mind the link between the horizon of this country and the world’s larger ecology of ideas and matter. Challenging stereotypes and ambivalent clichés, this book uses ecocriticism as a way to give voice to the forces, wounds, and messages of creativity dispersed on Italy’s body, arguing that a literature, an art, and a criticism that are able to transform these unexpressed voices into stories - into our stories - are not only ways to resist. They are a practice of liberation. | Table of Contents: Introduction, pp. 1–12 --- Chapter 1. Bodies of Naples : A Journey in the Landscapes of Porosity, pp. 13–46 --- Chapter 2. Cognitive Justice and the Truth of Biology : Death (and Life) in Venice, pp. 47–82 --- Chapter 3. Three Earthquakes : Wounds, Signs, and Resisting Arts in Belice, Irpinia, and L’Aquila, pp. 83–124 --- Chapter 4. Slow : Stories of Landscapes, Resistance, and Liberation, pp. 125–156
    Pages: Online-Ressource (VI, 184 Seiten)
    ISBN: 9781474219488
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Keywords: Life sciences ; Management ; Industrial management ; Geography ; Agriculture ; Agricultural economics ; Life Sciences ; Agriculture ; Agricultural Economics ; Geography, general ; Innovation/Technology Management
    Description / Table of Contents: Foreword --- 1. Innovation for Marginalized Smallholder Farmers and Development: an Overview and Implications for Policy and Research --- Part 1 Innovation for the Rural Poor: Theory, Trends and Impacts --- 2. Institutional and technological innovations in polycentric systems –pathways for escaping marginality --- 3. Innovations for Food and Nutrition Security: Impacts and Trends --- 4. Psychology of Innovation: Innovating human psychology? --- 5. An optimization model for technology adoption of marginalized smallholders --- Part 2 Diversification of Agricultural Production and Income --- 6. The BRAC Approach to Small Farmers' Innovations --- 7. Agricultural Research and Extension Linkages in Amhara Region, Ethiopia --- 8. Transaction costs on the Ethiopian formal seed market and innovations for encouraging private sector investments --- 9. Agricultural Service Delivery Through Mobile Phone: Local innovations and Technological Opportunities in Kenya --- 10. Identification and Acceleration of Farmer Innovativeness in Upper East Ghana --- 11. Gender, social equity and innovations in smallholder farming systems: pitfalls and pathways --- 12. Assessing the Sustainability of Agricultural Technology Options for Poor Rural Farmers --- 13. Land Degradation and Sustainable Land Management Innovations in Central Asia --- 14. Biomass-based value web. A Novel Perspective for Emergng Bioeconomies in Sub-Saharan Africa --- Part 3 Sustainable Intensification of Agriculture --- 15. Adoption of Stress-tolerant Rice Varieties in Bangladesh --- 16. More than cereal based cropping innovations for improving food and livelihood security of poor small holders in marginal areas of Bangladesh --- 17. Integrated Rice-fish Farming System in Bangladesh: An Ex-Ante Value Chain Evaluation Framework --- 18. Technologies for Maize, Wheat, Rice and Pulses in Marginal Districts of Odisha and Bihar --- 19. Technological Innovations for Smallholder Farmers in Ghana --- 20. Potential impacts of yield increasing crop technologies on poverty reduction in two districts of Ethiopia
    Pages: Online-Ressource (XV, 435 pages) , 80 illustrations, 50 illustrations in color
    ISBN: 9783319257181
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Keywords: Life sciences ; Agriculture ; Climate change ; Environmental management ; Soil science ; Soil conservation ; Air pollution ; Life Sciences ; Agriculture ; Climate Change ; Atmospheric Protection/Air Quality Control/Air Pollution ; Soil Science & Conservation ; Environmental Management
    Description / Table of Contents: Chapter 1 Introduction to the SAMPLES Approach --- Chapter 2 Targeting Landscapes to Identify Mitigation Options --- Chapter 3 Determining Greenhouse Gas Emissions and Removals Associated with Land Use and Land Cover Change --- Chapter 4 Quantifying Greenhouse Gas Emissions from Managed and Natural Soils --- Chapter 5 A Comparison of Methodologies for Measuring Methane Emissions from Ruminants --- Chapter 6 Quantifying Tree Biomass Carbon Stocks and Fluxes in Agricultural Landscapes --- Chapter 7 Methods for Smallholder Quantification of Soil Carbon Stocks and Stock Changes --- Chapter 8 Yield Estimation of Food and Non-Food Crops in Smallholder Production Systems --- Chapter 9 Scaling Point and Plot Measurements of Greenhouse Gas Fluxes, Balances and Intensities to Whole Farms and Landscapes --- Chapter 10 Methods for Environment-Productivity Trade-off Analysis in Agricultural Systems
    Pages: Online-Ressource (XV, 203 pages) , 33 illustrations, 27 illustrations in color
    ISBN: 9783319297941
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Keywords: Life sciences ; Biodiversity ; Nature conservation ; Life Sciences ; Biodiversity ; Nature Conservation ; Plant Systematics/Taxonomy/Biogeography ; Animal Systematics/Taxonomy/Biogeography
    Description / Table of Contents: Phylogenetics and conservation biology: drawing a path into the diversity of life --- The value of phylogenetic diversity --- The PD phylogenetic diversity framework: linking evolutionary history to feature diversity for biodiversity conservation --- Reconsidering the loss of evolutionary history: how does non-random extinction prune the tree-of-life?- Phylogenetics and conservation in New Zealand: the long and the short of it --- What is the meaning of extreme phylogenetic diversity? The case of phylogenetic relict species --- Using phylogenetic dissimilarities among sites for biodiversity assessments and conservation --- Phylogenetic diversity measures and their decomposition: a framework based on hill numbers --- Split diversity: measuring and optimizing biodiversity using phylogenetic split networks --- The rarefaction of phylogenetic diversity: formulation, extension and application --- Support in area prioritization using phylogenetic information --- Assessing hotspots of evolutionary history with data from multiple phylogenies: an analysis of endemic clades from New Caledonia --- Representing hotspots of evolutionary history in systematic conservation planning for European mammals --- Priorities for conservation of the evolutionary history of amphibians in the cerrado --- Global spatial analyses of phylogenetic conservation priorities for aquatic mammals --- Metapopulation capacity meets evolutionary distinctness: spatial fragmentation complements phylogenetic rarity in prioritization. - Patterns of species, phylogenetic and mimicry diversity of clearwing butterflies in the Neotropics --- Conservation of phylogenetic diversity in Madagascar’s largest endemic plant family, Sarcolaenaceae --- The future of phylogenetic systematics in conservation biology: linking biodiversity and society
    Pages: Online-Ressource (XVII, 390 pages) , 79 illustrations
    ISBN: 9783319224619
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Keywords: Tsunami ; natural disasters ; earthquake ; Sri Lanka ; Indian Ocean Tsunami
    Description / Table of Contents: Part I --- The Tsunami: What happened and why? --- Chapter 1: Introduction / Arne Olav Øyhus / p. 18 --- Chapter 2: The Indian Ocean Tsunami and its direct aftermath / Arne Olav Øyhus / p. 21 --- Chapter 3: Interpreting the natural disasters and their impacts: Some theoretical considerations / Arne Olav Øyhus / p. 31 --- Part II --- Hambantota Case Studies --- Chapter 4: Introducing the case studies / Arne Olav Øyhus / p. 54 --- Chapter 5: The Disaster – an Act of God? / Kerenina Dansholm Kezarides, Susann Midling, Kitty Monostory, and Wopara Goodness Ruhuoma, in association with Thuwan Zulfikar Ali (HDCC co-ordinator) / p. 58 --- Chapter 6: The Golden Wave? / Sanaa Talha, Schola Busingye, Sehrish Noor, and Anne Lie Nordberg, in association with Rimzana Shazin (HDCC coordinator) / p. 72 --- Chapter 7: Bonds or Bridges? / Sandra Baldvinsson Sotkajærvi, Maria Sjuve, Pia Cecilie Wedø, Rebecca Plath, Edwin Wuadom WardenWoode and Hilary A. Enyiekere in association with Damith Priyantha (HDCC coordinator) / p. 92 --- Chapter 8: Back to business? / Brennan Purtzer, Didier Nduwayo, Harald Bang-Braaten Thoresen, Suman Nepal, and Thorbjørn Waal Lundsgaard in association with Kumara Kaldera (HDCC coordinator) / p. 112 --- Part III --- Lessons learnt and what’s next --- Chapter 9: Comparing Findings / Arne Olav Øyhus / p. 130 --- Chapter 10: The next chapter / Arne Olav Øyhus and Kim Øvland / p. 147
    Pages: Online-Ressource (166 Seiten) , Illustrationen, Karten
    ISBN: 9788202568351
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Keywords: medical geology
    Description / Table of Contents: All living organisms are composed of major, minor, and trace elements, given by nature and supplied by geology. Medical geology is a rapidly growing discipline dealing with the influence of natural geological and environmental risk factors on the distribution of health problems in humans and animals. As a multi-disciplinary scientific field, medical geology has the potential of helping medical and public health communities all over the world in the pursuit of solutions to a wide range of environmental and naturally induced health issues. The natural environment can impact health in a variety of ways. The composition of rocks and minerals are imprinted on the air that we breathe, the water that we drink, and the food that we eat. For many people this transference of minerals and the trace elements they contain is beneficial as it is the primary source of nutrients (such as calcium, iron, magnesium, potassium, and about a dozen other elements) that are essential for a healthy life. However, sometimes the local geology can cause significant health problems because there is an insufficient amount of an essential element or an excess of a potentially toxic element (such as arsenic, mercury, lead, fluorine, etc.), or a harmful substance such as methane gas, dust-sized particles of asbestos, quartz or pyrite, or certain naturally occurring organic compounds. Current and future medical geology concerns include: dangerous levels of arsenic in drinking water in dozens of countries including the USA; mercury emissions from coal combustion and its bioaccumulation in the environment; the impacts of mercury and lead mobilizations in regions were artisanal gold mining is conducted; the residual health impacts of geologic processes such as volcanic emissions, earthquakes, tsunamis, hurricanes, and geogenic dust; exposure to fibrous minerals such as asbestos and erionite; and the health impacts of global climate change. Billions of people, most in developing countries, are afflicted by these and other environmental health issues that can be avoided, prevented, mitigated or minimized through research and educational outreach. This Special Issue of Geosciences discusses recent advances in medical geology, providing examples from research conducted all over the world. Among the topics to be discussed are: - Health effects from trace elements, metals and metalloids - Regional and global impacts of natural dust (including the study of nanoparticles) - Chemical and environmental pathology of diseases associated with natural environment - Novel analytical approaches to the study of natural geochemical and environmental agents - Research on beneficial health aspects of natural geological materials - Risk management, risk communication and risk mitigation on medical geology - Remote sensing and GIS applications on medical geology - Epidemiology and public health studies on medical geology - Climate change and medical geology - Clinical and toxicological research on biomarkers of exposure - Veterinary medical geology - Biosurveillance and biomonitoring studies on medical geology
    Pages: Online-Ressource (XIV, 238 Seiten)
    Edition: Printed Edition of the Special Issue Published in Geosciences
    ISBN: 9783038421986
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Unknown
    Rijeka : InTech
    Keywords: artificial intelligence ; pattern recognition
    Description / Table of Contents: Pattern recognition continued to be one of the important research fields in computer science and electrical engineering. Lots of new applications are emerging, and hence pattern analysis and synthesis become significant subfields in pattern recognition. This book is an edited volume and has six chapters arranged into two sections, namely, pattern recognition analysis and pattern recognition applications. This book will be useful for graduate students, researchers, and practicing engineers working in the field of machine vision and computer science and engineering.
    Pages: Online-Ressource (134 Seiten)
    ISBN: 9789535128045
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Keywords: Life sciences ; Management ; Industrial management ; Geography ; Agriculture ; Agricultural economics ; Life Sciences ; Agriculture ; Agricultural Economics ; Geography, general ; Innovation/Technology Management
    Description / Table of Contents: Foreword --- 1. Innovation for Marginalized Smallholder Farmers and Development: an Overview and Implications for Policy and Research --- Part 1 Innovation for the Rural Poor: Theory, Trends and Impacts --- 2. Institutional and technological innovations in polycentric systems –pathways for escaping marginality --- 3. Innovations for Food and Nutrition Security: Impacts and Trends --- 4. Psychology of Innovation: Innovating human psychology? --- 5. An optimization model for technology adoption of marginalized smallholders --- Part 2 Diversification of Agricultural Production and Income --- 6. The BRAC Approach to Small Farmers' Innovations --- 7. Agricultural Research and Extension Linkages in Amhara Region, Ethiopia --- 8. Transaction costs on the Ethiopian formal seed market and innovations for encouraging private sector investments --- 9. Agricultural Service Delivery Through Mobile Phone: Local innovations and Technological Opportunities in Kenya --- 10. Identification and Acceleration of Farmer Innovativeness in Upper East Ghana --- 11. Gender, social equity and innovations in smallholder farming systems: pitfalls and pathways --- 12. Assessing the Sustainability of Agricultural Technology Options for Poor Rural Farmers --- 13. Land Degradation and Sustainable Land Management Innovations in Central Asia --- 14. Biomass-based value web. A Novel Perspective for Emergng Bioeconomies in Sub-Saharan Africa --- Part 3 Sustainable Intensification of Agriculture --- 15. Adoption of Stress-tolerant Rice Varieties in Bangladesh --- 16. More than cereal based cropping innovations for improving food and livelihood security of poor small holders in marginal areas of Bangladesh --- 17. Integrated Rice-fish Farming System in Bangladesh: An Ex-Ante Value Chain Evaluation Framework --- 18. Technologies for Maize, Wheat, Rice and Pulses in Marginal Districts of Odisha and Bihar --- 19. Technological Innovations for Smallholder Farmers in Ghana --- 20. Potential impacts of yield increasing crop technologies on poverty reduction in two districts of Ethiopia
    Pages: Online-Ressource (XV, 435 pages) , 80 illustrations, 50 illustrations in color
    ISBN: 9783319257181
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...