ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Economics  (20)
  • Software engineering  (20)
  • Mathematics  (15)
  • Cham : Springer  (51)
  • Wuppertal : Wuppertal Institut für Klima, Umwelt, Energie
  • English  (51)
  • Chinese
  • Portuguese
  • 2015-2019  (51)
  • 2005-2009
  • 1995-1999
Collection
Keywords
Publisher
Language
  • English  (51)
  • Chinese
  • Portuguese
Years
Year
  • 1
    Unknown
    Innovations in Quantitative Risk Management : TU München, September 2013 (2015)
    Cham : Springer
    Details
    Keywords: Finance ; Mathematics ; Quantitative Finance ; Game Theory, Economics, Social and Behav. Sciences ; Finance, general ; Actuarial Sciences
    Description / Table of Contents: Part I Markets, Regulation, and Model Risk --- A Random Holding Period Approach for Liquidity-Inclusive Risk Management --- Regulatory Developments in Risk Management: Restoring Confidence in Internal Models --- Model Risk in Incomplete Markets with Jumps --- Part II Financial Engineering --- Bid-Ask Spread for Exotic Options Under Conic Finance --- Derivative Pricing Under the Possibility of Long Memory in the supOU Stochastic Volatility Model --- A Two-Sided BNS Model for Multicurrency FX Markets --- Modeling the Price of Natural Gas with Temperature and Oil Price as Exogenous Factors --- Copula-Specific Credit Portfolio Modeling --- Implied Recovery Rates—Auctions and Models --- Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence --- Part III Insurance Risk and Asset Management --- Participating Life Insurance Contracts Under Risk Based Solvency Frameworks: How to Increase Capital Efficiency by Product Design --- Reducing Surrender Incentives Through Fee Structure in Variable Annuities --- A Variational Approach for Mean-Variance-Optimal Deterministic Consumption and Investment --- Risk Control in Asset Management: Motives and Concepts --- Worst-Case Scenario Portfolio Optimization Given the Probability of a Crash --- Improving Optimal Terminal Value Replicating Portfolios --- Part IV Computational Methods for Risk Management --- Risk and Computation --- Extreme Value Importance Sampling for Rare Event Risk Measurement --- A Note on the Numerical Evaluation of the Hartman–Watson Density and Distribution Function --- Computation of Copulas by Fourier Methods --- Part V Dependence Modelling --- Goodness-of-fit Tests for Archimedean Copulas in High Dimensions --- Duality in Risk Aggregation --- Some Consequences of the Markov Kernel Perspective of Copulas --- Copula Representations for Invariant Dependence Functions --- Nonparametric Copula Density Estimation Using a Petrov–Galerkin Projection
    Pages: Online-Ressource (XI, 438 pages) , 84 illustrations
    ISBN: 9783319091143
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-09114-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Science and Technology Governance and Ethics : A Global Perspective from Europe, India and China (2015)
    Cham : Springer
    Details
    Keywords: Biotechnology ; Food ; Biotechnology ; Ethics ; Economic policy ; Nanotechnology ; Economics ; R & D/Technology Policy ; Ethics ; Food Science ; Nanotechnology ; Biotechnology
    Description / Table of Contents: Chapter 1 Introduction: Embedding Ethics in Science and Technology Policy – A Global Perspective --- Chapter 2 Institutionalizing Ethical Debates in Science, Technology and Innovation Policy: A Comparison of Europe, India and China.-Chapter 3 Public Perceptions of Science and Technology in Europe, China and India --- Chapter 4 Public Engagement in the Governance of Science and Technology --- Chapter 5 Science and Technology Governance and European Values --- Chapter 6 The Values Demonstrated in the Constitution of the People’s Republic of China --- Chapter 7 Science and Technology for Socio-Economic Development and Quest for Inclusive Growth: Emerging Evidence from India --- Chapter 8 A Comparative Framework for Studying Global Ethics in Science and Technology --- Chapter 9 New Food Technologies in Europe, India and China --- Chapter 10 Discourses on Nanotechnology in Europe, China and India --- Chapter 11 Discourses on Synthetic Biology in Europe, India and China --- Chapter 12 Conclusions: Incorporating Ethics into Science and Technology Policy
    Pages: Online-Ressource (VIII, 173 pages) , 15 illustrations in color
    ISBN: 9783319146935
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-14693-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Improving Agile Processes --- Reflection in Agile Retrospectives --- What influences the speed of prototyping? An empirical investigation of twenty software startups --- Key Challenges in Agile Requirements Engineering --- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting --- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes --- Effects of Technical Debt Awareness: A classroom study --- Agile in Organizations --- Don’t Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams --- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls --- Knowledge Sharing in a Large Agile Organisation: A Survey Study --- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans --- Are Software Startups Applying Agile? the State of the Practice from a Large Survey --- Adopting Test Automation on Agile Development Projects: A Grounded Theory Study of Indian Software Organizations --- Safety Critical Software --- How is security testing done in agile teams? A cross-case analysis of four software teams --- An assessment of avionics software development practice: justifications for an agile development process --- Short Research Papers --- Inoculating an Agile Company with User-Centred Design: an Empirical Study --- On the Usage and Benefits of Agile Methods & Practices --- Checklists to Support Test Charter Design in Exploratory Testing --- Discovering Software Process Deviations Using Visualizations --- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams --- Are daily stand-up meetings valuable? A survey of developers in software teams --- Doctoral Symposium Papers --- Knowledge Management and Reflective Practice in Daily Stand-up and Retrospective Meetings --- Self-Assignment: Task Allocation Practice in Agile Software Development --- Software Development Practices Patterns.
    Pages: Online-Ressource (XIII, 306 pages) , 55 illustrations
    ISBN: 9783319576336
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57633-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Data structures (Computer science) ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
    Pages: Online-Ressource (XX, 429 pages) , 93 illustrations
    ISBN: 9783319899602
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89960-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    The Essence of Software Engineering (2018)
    Cham : Springer
    Details
    Keywords: Software engineering ; Management information systems ; Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: 1 The Leading Role of Software and Systems Architecture in the Age of Digitization --- 2 Formal Methods and Agile Development: Towards a Happy Marriage --- 3 Escaping Method Prison – On the Road to Real Software Engineering --- 4 What is software?: The Role of Empirical Methods in Answering the Question --- 5 Only the Architecture You Need --- 6 Variability in standard software products Introducing software product line engineering to the insurance industry --- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report --- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge --- 9 Data-driven decisions and actions in today’s software development --- 10 Software Architecture: Past, Present, Future --- 11 Software Product Lines --- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise --- 13 Achievements, Failures, and the Future of Model-based Software Engineering
    Pages: Online-Ressource (XV, 236 pages) , 98 illustrations, 51 illustrations in color
    ISBN: 9783319738970
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73897-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XIX, 703 pages) , 146 illustrations
    ISBN: 9783319961453
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96145-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Institutional Reform for Innovation and Entrepreneurship : An Agenda for Europe (2017)
    Cham : Springer
    Details
    Keywords: Entrepreneurship ; Management ; Industrial management ; Evolutionary economics ; Industrial organization ; European Economic Community literature ; Economic policy ; Economics ; Industrial Organization ; Entrepreneurship ; Institutional/Evolutionary Economics ; R & D/Technology Policy ; Innovation/Technology Management ; European Integration
    Description / Table of Contents: Introduction: Europe's Innovation Emergency --- Innovation and Entrepreneurship in the European Union - a Reform Agenda --- Summary and Conclusions
    Pages: Online-Ressource (X, 102 pages) , 18 illustrations
    ISBN: 9783319550923
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-55092-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XX, 545 pages) , 106 illustrations
    ISBN: 9783319961422
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96142-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Food Price Volatility and Its Implications for Food Security and Policy (2016)
    Cham : Springer
    Details
    Keywords: Food ; Biotechnology ; International law ; Trade ; Industrial organization ; International economics ; Development economics ; Agricultural economics ; Economics ; Agricultural Economics ; Development Economics ; Food Science ; Industrial Organization ; International Economic Law, Trade Law ; International Economics
    Description / Table of Contents: Foreword --- Introduction --- Part I: Food Price Volatility at International Food Commodity markets --- Part II: Commodity and Financial Market Linkages --- Part 3: National and Regional Response to Food Price volatility --- Part IV: the Micro-Economics of Price risk, volatility and Price shocks: Household, Firms and Communities
    Pages: Online-Ressource (XI, 626 pages) , 134 illustrations, 56 illustrations in color
    ISBN: 9783319282015
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-28201-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    Climate Smart Agriculture : Building Resilience to Climate Change (2018)
    Cham : Springer
    Details
    Keywords: Economic policy ; Agricultural economics ; Economics ; Agricultural Economics ; R & D/Technology Policy ; Political Economy/Economic Policy
    Description / Table of Contents: Chapter 1: Introduction --- Chapter 2: A Short History of the Evolution of the Climate Smart Agriculture Approach and its Links to Climate Change and Sustainable Agriculture Debates --- Chapter 3:Economics of Climate-Smart Agriculture --- Chapter 4:  Innovation in Response to Climate Change --- Chapter 5:  Use of Satellite Information on Wetness and Temperature for Decision of Crop Yield Prediction, River Discharge and Planning --- Chapter 6:  Early Warning Techniques for Local Climate Resilience: Smallholder Rice in Lao PDE --- Chapter 7 :  Farmers' Perceptions of and Adaptations to Climate Change in Southeast Asia:  The Case Study from Thailand and Vietnam --- Chapter 8:  U.S. Maize Yield Growth and Countervailing Climate Change Impacts --- Chapter 9:  Understanding Tradeoffs in the Context of Farm-Scale Impacts:  An Application of Decision-Support Tools for Assessing Climate Smart Argiculture --- Chapter 10:  Can Insurance Help Manage Climate Risk and Food Insecurity?: Evidence from the Pastoral Regions of East Africa --- Chapter 11:  Can Cash Transfer Programs Promote Household Resilience?: Cross-Country Evidence from Sub-Saharan Africa --- Chapter 12:  Input Subsidy Programs and Climate Smart Agriculture --- Chapter 13:  Robust Decision Making for a Climate-Resilient Development of the Agricultural Sector in Nigeria --- Chapter 14:  Using AgMIP Regional Integrated Assessment Methods to Evaluate Vulnerability, Resilience and Adaptive Capacity for Climate Smart Agricultural Systems --- Chapter 15:  Climate Smart Food Supply Chains in Developing Countries in an Era of Rapid Dual Change in Agrifood Systems and the Climate --- Chapter 16:  The Adoption of Climate Smart Agriculture: The Role of Information and Insurance under Climate Change --- Chapter 17:  A Qualitative Evaluation of CSA Options in Mixed Crop-Livestock Systems in Developing Countries --- Chapter 18: Identifying Strategies to Enhance the Resilience of Smallholder Farming Systems: Evidence of Zambia --- Chapter 19:  Climate Risk Management Through Sustainable Land and Water Management in Sub-Saharan Africa --- Chapter 20:  Improving the Resilience of Central Asian Agriculture to Weather Viability and Climate Change --- Chapter 21:  Managing Environmental Risk in the Presence of Climate Change: The Role of Adaption in the Mile Basin of Ethiopia --- Chapter 22: Diversification as Part of a CSA Strategy: The Cases of Zambia and Malawi --- Chapter 23:  Economic Analysis of Improved Smallholder Paddy and Maize Production in Northern Vietnam and Implications for Climate-Smart Agriculture --- Chapter 24:  Synthesis:  Devising Effective Strategies and Policies for CSA --- Chapter 25:  Conclusions and Policy Implications
    Pages: Online-Ressource (XVIII, 630 pages) , 107 illustrations, 97 illustrations in color
    ISBN: 9783319611945
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-61194-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Finite Difference Computing with Exponential Decay Models (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer programming ; Software engineering ; Computer mathematics ; Mathematics ; Computational Science and Engineering ; Programming Techniques ; Software Engineering ; Numerical and Computational Physics, Simulation ; Mathematical and Computational Engineering
    Description / Table of Contents: Preface --- Algorithms and implementations --- Analysis --- Generalizations --- Models --- Scientific Software Engineering --- References --- Index.
    Pages: Online-Ressource (XIV, 200 pages) , 29 illustrations
    ISBN: 9783319294391
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29439-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Numerical analysis ; Computer mathematics ; Computer software ; Mathematics ; Computational Science and Engineering ; Numeric Computing ; Mathematical Software ; Numerical Analysis
    Description / Table of Contents: Preface --- The first few steps --- Basic constructions --- Computing integrals --- Solving ordinary differential equations --- Solving partial differential equations --- Solving nonlinear algebraic equations --- Getting access to Python --- References --- Index
    Pages: Online-Ressource (XVI, 232 pages) , 45 illustrations
    ISBN: 9783319324289
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-32428-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    Scaling of Differential Equations (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer simulation ; Differential equations ; Partial differential equations ; Computer mathematics ; Mathematical models ; Mathematics ; Ordinary Differential Equations ; Partial Differential Equations ; Mathematical Modeling and Industrial Mathematics ; Computational Science and Engineering ; Simulation and Modeling
    Description / Table of Contents: Preface --- 1 Dimensions and Units --- 2 Ordinary Differential Equations Models --- 3 Basic Partial Differential Equations Models --- Advanced Partial Differential Equations Models --- References --- Index
    Pages: Online-Ressource (XIII, 138 pages) , 22 illustrations
    ISBN: 9783319327266
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-32726-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer graphics ; Computer mathematics ; Mathematics ; Computational Science and Engineering ; Biomedicine general ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Preface --- Background: Contents and Method --- One-dimensional calcium release --- Models of open and state blockers --- Two-dimensional calcium release --- Computing theoretical drugs in the two-dimensional case --- Generalized systems --- Calcium-induced calcium release --- Numerical release for CICR --- A prototypical model of an ion channel --- Inactivated ion channels --- A simple model of the sodium channel --- Mutations affecting the mean open time --- The burst mode --- Whole sale action potentials ---
    Pages: Online-Ressource (XVI, 261 pages) , 129 illustrations, 30 illustrations in color
    ISBN: 9783319300306
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30030-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    Innovations in Quantitative Risk Management : TU München, September 2013 (2015)
    Cham : Springer
    Details
    Keywords: Finance ; Mathematics ; Quantitative Finance ; Game Theory, Economics, Social and Behav. Sciences ; Finance, general ; Actuarial Sciences
    Description / Table of Contents: Part I Markets, Regulation, and Model Risk --- A Random Holding Period Approach for Liquidity-Inclusive Risk Management --- Regulatory Developments in Risk Management: Restoring Confidence in Internal Models --- Model Risk in Incomplete Markets with Jumps --- Part II Financial Engineering --- Bid-Ask Spread for Exotic Options Under Conic Finance --- Derivative Pricing Under the Possibility of Long Memory in the supOU Stochastic Volatility Model --- A Two-Sided BNS Model for Multicurrency FX Markets --- Modeling the Price of Natural Gas with Temperature and Oil Price as Exogenous Factors --- Copula-Specific Credit Portfolio Modeling --- Implied Recovery Rates—Auctions and Models --- Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence --- Part III Insurance Risk and Asset Management --- Participating Life Insurance Contracts Under Risk Based Solvency Frameworks: How to Increase Capital Efficiency by Product Design --- Reducing Surrender Incentives Through Fee Structure in Variable Annuities --- A Variational Approach for Mean-Variance-Optimal Deterministic Consumption and Investment --- Risk Control in Asset Management: Motives and Concepts --- Worst-Case Scenario Portfolio Optimization Given the Probability of a Crash --- Improving Optimal Terminal Value Replicating Portfolios --- Part IV Computational Methods for Risk Management --- Risk and Computation --- Extreme Value Importance Sampling for Rare Event Risk Measurement --- A Note on the Numerical Evaluation of the Hartman–Watson Density and Distribution Function --- Computation of Copulas by Fourier Methods --- Part V Dependence Modelling --- Goodness-of-fit Tests for Archimedean Copulas in High Dimensions --- Duality in Risk Aggregation --- Some Consequences of the Markov Kernel Perspective of Copulas --- Copula Representations for Invariant Dependence Functions --- Nonparametric Copula Density Estimation Using a Petrov–Galerkin Projection
    Pages: Online-Ressource (XI, 438 pages) , 84 illustrations
    ISBN: 9783319091143
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-09114-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    Unknown
    Innovations in Quantitative Risk Management : TU München, September 2013 (2015)
    Cham : Springer
    Details
    Keywords: Finance ; Mathematics ; Quantitative Finance ; Game Theory, Economics, Social and Behav. Sciences ; Finance, general ; Actuarial Sciences
    Description / Table of Contents: Part I Markets, Regulation, and Model Risk --- A Random Holding Period Approach for Liquidity-Inclusive Risk Management --- Regulatory Developments in Risk Management: Restoring Confidence in Internal Models --- Model Risk in Incomplete Markets with Jumps --- Part II Financial Engineering --- Bid-Ask Spread for Exotic Options Under Conic Finance --- Derivative Pricing Under the Possibility of Long Memory in the supOU Stochastic Volatility Model --- A Two-Sided BNS Model for Multicurrency FX Markets --- Modeling the Price of Natural Gas with Temperature and Oil Price as Exogenous Factors --- Copula-Specific Credit Portfolio Modeling --- Implied Recovery Rates—Auctions and Models --- Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence --- Part III Insurance Risk and Asset Management --- Participating Life Insurance Contracts Under Risk Based Solvency Frameworks: How to Increase Capital Efficiency by Product Design --- Reducing Surrender Incentives Through Fee Structure in Variable Annuities --- A Variational Approach for Mean-Variance-Optimal Deterministic Consumption and Investment --- Risk Control in Asset Management: Motives and Concepts --- Worst-Case Scenario Portfolio Optimization Given the Probability of a Crash --- Improving Optimal Terminal Value Replicating Portfolios --- Part IV Computational Methods for Risk Management --- Risk and Computation --- Extreme Value Importance Sampling for Rare Event Risk Measurement --- A Note on the Numerical Evaluation of the Hartman–Watson Density and Distribution Function --- Computation of Copulas by Fourier Methods --- Part V Dependence Modelling --- Goodness-of-fit Tests for Archimedean Copulas in High Dimensions --- Duality in Risk Aggregation --- Some Consequences of the Markov Kernel Perspective of Copulas --- Copula Representations for Invariant Dependence Functions --- Nonparametric Copula Density Estimation Using a Petrov–Galerkin Projection
    Pages: Online-Ressource (XI, 438 pages) , 84 illustrations
    ISBN: 9783319091143
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-09114-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    Unknown
    AiREAS: Sustainocracy for a Healthy City : The Invisible made Visible Phase 1 (2016)
    Cham : Springer
    Details
    Keywords: Medicine ; Environmental monitoring ; Development economics ; Emigration and immigration ; Economics ; Development Economics ; Migration ; Medicine/Public Health, general ; Monitoring/Environmental Analysis
    Description / Table of Contents: Introduction --- Part I Potted Review of Economic Theory: The Complex Evolving System --- 1. A Potted Review --- Part II Early Days: From Personal Awareness to Group Commitment --- 2. A personal story of awareness and perception --- 2.1 My first awareness breakthrough --- 2.2 Layers of awareness --- 2.3 My second burst of awareness --- 2.4 Defining a new society for myself --- 2.5 Key human values --- 2.6 Inside = outside --- 2.7 To be and to do --- 2.7 Welfare or wellbeing? --- 2.8 Business transformation --- 2.9 Leadership versus management --- 2.10 STIR Foundation - City of Tomorrow --- 2.11 Sustainocracy --- 2.12 City of Tomorrow --- 2.13 The Amsterdam internet congress --- 2.14 Key elements that define “sustainocratic” AiREAS --- 2.15 AiREAS --- 2.16 Commitment first --- 2.17 Territorial focus --- 2.18 Local AiREAS Eindhoven --- 2.19 First things first --- 2.20 Making visible the invisible --- 2.21 From idea to project --- 2.22 Conclusion about the coming about of AiREAS --- 2.23 Link with ethics and economies --- Part III “The Invisible made Visible”: science and technology --- An introduction by Marco van Lochem --- 3.1 The ILM --- 3.2. Variables measured --- 3.3.3. Instrumentation --- 3.3.1 The Airbox --- 3.3.2 PM (PM10, PM2.5, PM1) sensor --- 3.3.3 UFP sensor --- 3.3.4 Ozone sensor --- 3.3.5 NO2 sensor --- 3.3.6 Temperature sensor and relative humidity sensor --- 3.3.7 Electromagnetic compatibility (EMC) --- 3.3.8 Experiences and recommendations --- 4 Data quality --- 4.1 Regular calibration and preventative maintenance --- 4.2 Experiences and recommendations --- 5 Locations and spatial sampling --- 5.1 Experiences and recommendations --- 6 Data management --- 6.1 The Airbox --- 6.2 Axians (1) --- 6.3 ECN --- 6.4 Axians (2) --- 6.5 Experiences and recommendations --- 7 Results --- 7.1 Initial tests of sensors --- 7.2 Evaluation of sensor precision --- 8 Scientific projects based on the ILM --- Part IV Experiences after 5 years of AiREAS and 1 year of ILM --- 9. The way things work at AiREAS --- 9.1 The workflow in AiREAS --- 9.2 Financial routine in AiREAS --- 9.3 Confidence based interaction --- 9.4 October 2013 general AiREAS participants meeting --- 9.5 Interpreting the ILM data --- 9.6 The transition --- 9.7 Communication --- 9.8 Benchmarking and referencing our practical ideologies --- 9.9 The royalty system --- 9.10 Some of the transformative issues --- 9.11 Conclusion. Index.
    Pages: Online-Ressource (XIII, 113 pages) , 47 illustrations in color
    ISBN: 9783319269405
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-26940-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    Stochastics of Environmental and Financial Economics : Centre of Advanced Study, Oslo, Norway, 2014-2015 (2016)
    Cham : Springer
    Details
    Keywords: Systems theory ; Distribution (Probability theory ; Environmental economics ; Mathematics ; Differential equations, partial ; Mathematical optimization ; Systems Theory, Control ; Probability Theory and Stochastic Processes ; Environmental Economics ; Game Theory, Economics, Social and Behav. Sciences ; Partial Differential Equations ; Calculus of Variations and Optimal Control; Optimization
    Description / Table of Contents: Some recent developments in ambit stochastics --- Functional and Banach space stochastic calculi. Path-dependent Kolmogorov equations associated with the frame of a Brownian motion --- Nonlinear Young integrals via fractional calculus --- A weak limit theorem for numerical approximation of Brownian semi-stationary processes --- Non-elliptic SPDEs and ambit fields: existence of densities --- Dynamic risk measures and path-dependent second order PDEs --- Pricing CoCos with a market trigger --- Quantification of model risk in quadratic hedging in finance --- Risk-sensitive mean-field type control under partial observation --- Risk aversion in modeling of cap-and-trade mechanism and optimal design of emission markets --- Exponential ergodicity of the jump-diffusion CIR process --- Optimal control of predictive mean-field equations and applications to finance --- Modelling the impact of wind power production on electricity prices by regime-switching Levy semistationary processes --- Pricing options on EU ETS certificates with a time-varying market price of risk model
    Pages: Online-Ressource (VIII, 360 pages)
    ISBN: 9783319234250
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-23425-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    Formalizing the Shadow Economy in Serbia : Policy Measures and Growth Effects (2015)
    Cham : Springer
    Details
    Keywords: Econometrics ; Macroeconomics ; Public finance ; Economic policy ; Development economics ; Economic growth ; Economics ; Economic Policy ; Public Economics ; Economic Growth ; Econometrics ; Development Economics ; Macroeconomics/Monetary Economics//Financial Economics
    Description / Table of Contents: Introduction --- Shadow Economy: Challenges to Economic and Social Policy --- Concept of the Survey of Enterprises and Entrepreneurs Operating Informally --- Causes of the Shadow Economy --- What Is the Extent of the Shadow Economy in Serbia? --- Shadow Economy in the Enterprise and Entrepreneur Sector --- Effects of Formalization of Shadow Economy --- Analysis of the Administrative Capacity of Oversight Bodies --- Main Findings and Recommendations for Formalising the Shadow Economy
    Pages: Online-Ressource (IX, 179 pages) , 71 illustrations
    ISBN: 9783319134376
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-13437-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    Unknown
    S-BPM in the Wild : Practical Value Creation (2015)
    Cham : Springer
    Details
    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: 1 Introduction --- Part I Business Operation Support --- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry --- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology --- 4 Introducing S-BPM at an IT Service Providers --- 5 A Service Hardware Application Case Fiducia --- 6 Designing an Agile Process Layer for Competitive Differentiation --- Part II Consultancy and Education Support --- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds --- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management --- 9 A Reference Model for Maintenance Processes --- 10 Role and Rights Management --- 11 Embodying Business Rules in S-BPM --- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario --- Part III Technical Execution Support --- 13 An Abstract State Machine Interpreter for S-BPM --- 14 Structured Communication—Approaching S-BPM with Microsoft Technologies --- 15 ERP Integration in S-BPM Processes
    Pages: Online-Ressource (XIV, 283 pages) , 134 illustrations
    ISBN: 9783319175423
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-17542-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    Unknown
    Scaling of Differential Equations (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer simulation ; Differential equations ; Partial differential equations ; Computer mathematics ; Mathematical models ; Mathematics ; Ordinary Differential Equations ; Partial Differential Equations ; Mathematical Modeling and Industrial Mathematics ; Computational Science and Engineering ; Simulation and Modeling
    Description / Table of Contents: Preface --- 1 Dimensions and Units --- 2 Ordinary Differential Equations Models --- 3 Basic Partial Differential Equations Models --- Advanced Partial Differential Equations Models --- References --- Index
    Pages: Online-Ressource (XIII, 138 pages) , 22 illustrations
    ISBN: 9783319327266
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-32726-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    Unknown
    Sustainable Development in the Jordan Valley : Final Report of the Regional NGO Master Plan (2016)
    Cham : Springer
    Details
    Keywords: Environmental management ; Cultural heritage ; Tourism ; Management ; Nature conservation ; Sustainable development ; Development economics ; Economics ; Development Economics ; Water Policy/Water Governance/Water Management ; Sustainable Development ; Nature Conservation ; Cultural Heritage ; Tourism Management
    Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.
    Pages: Online-Ressource (XLII, 239 pages) , 181 illustrations, 179 illustrations in color
    ISBN: 9783319300368
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30036-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    Unknown
    Sustainable Development in the Jordan Valley : Final Report of the Regional NGO Master Plan (2016)
    Cham : Springer
    Details
    Keywords: Environmental management ; Cultural heritage ; Tourism ; Management ; Nature conservation ; Sustainable development ; Development economics ; Economics ; Development Economics ; Water Policy/Water Governance/Water Management ; Sustainable Development ; Nature Conservation ; Cultural Heritage ; Tourism Management
    Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.
    Pages: Online-Ressource (XLII, 239 pages) , 181 illustrations, 179 illustrations in color
    ISBN: 9783319300368
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30036-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    Unknown
    Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Software engineering ; Mathematical statistics ; Computers ; Artificial intelligence ; Computer graphics ; Computer Science ; Information Systems and Communication Service ; Artificial Intelligence (incl. Robotics) ; Computer Communication Networks ; Software Engineering/Programming and Operating Systems ; Probability and Statistics in Computer Science ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Smart algorithms --- Data classification and processing --- Stochastic modelling --- Performance evaluation --- Queuing systems --- Wireless networks and security --- Image processing and computer vision
    Pages: Online-Ressource (XIII, 278 pages) , 75 illustrations
    ISBN: 9783319472171
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-47217-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    Unknown
    S-BPM in the Production Industry : A Stakeholder Approach (2017)
    Cham : Springer
    Details
    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
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-48466-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    Unknown
    The Interconnected Arctic — UArctic Congress 2016 (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Medical research ; Environmental management ; Economics ; Quality of life ; Environment ; Environmental Management ; Climate Change/Climate Change Impacts ; Quality of Life Research ; Environment Studies ; Economic Systems
    Description / Table of Contents: Part I Vulnerability of the Arctic environments. Chapter 1 Mysteries of the geological history of the Cenozoic Arctic Ocean sea ice cover --- Chapter 2 Response of Arctic alpine biota to climate change -evidence from Polar Urals GLORIA summits --- Chapter 3 The features of natural and artificial recovery in quarries of the forest-tundra zone of Western Siberia --- Chapter 4 The concept of hierarchical structure of large marine ecosystems in the zoning of Russian Arctic shelf seas --- Chapter 5 Changing climate and outbreaks of forest pest insects in a cold northern country, Finland --- Chapter 6 Wood-based energy as a strategy for climate change mitigation in the Arctic –Perspectives on assessment of climate impacts and resource efficiency with Life Cycle Assessment --- Chapter 7. Geospatial analysis of persistent organic pollutant deposits in the Arctic ecosystems and environment --- Chapter 8 Hydrological probabilistic model MARCS and its application to simulate the probability density functions of multi-year maximal runoff: the Russian Arctic as a case of study --- Chapter 9 Student contribution: Assessment of Atmospheric Circulation in the Atlantic-Eurasian Region and Arctic Using Climate Indices. The Possible Applications of these Indices in Long-term Weather Forecasts --- Chapter 10 Student contribution: Difficulties of Geological Engineering in Arctic Seas --- Part II Vulnerability of the Arctic societies. Chapter 11 The Health Transition: A challenge to indigenous peoples in the Arctic --- Chapter 12 Uncertainties in Arctic socio-economic scenarios --- Chapter 13 Importance of consideration of climate change at managing fish stocks: A case of northern Russian fisheries --- Chapter 14 Preservation of territories and traditional activities of the northern indigenous peoples in the period of the Arctic industrial development --- Chapter 15 The Arctic journey – design experiments in the north --- Chapter 16 The Bicycle and the Arctic. Resilient and sustainable transport in times of climate change --- Part III Building the long-term human capacity. Chapter 17 Human capital development in the Russian Arctic --- Chapter 18 Impact of wages on employment and migration in the High North of Russia --- chapter 19 Well-being in an Arctic city. Designing a longitudinal study on student relationships and perceived quality of life --- Chapter 20 Researching Links between Teacher Wellbeing and Educational Change: Case Studies from Kazakhstan and Sakha Republic --- chapter 21 Student contribution: Well-being at the Polish polar station, Svalbard: Adaptation to extreme environments --- Part IV Arcitc tourism. Chapter 22 Tourism futures in the Arctic --- chapter 23 Uniqueness as a draw for riding under the midnight sun --- Chapter 24 Arctic tourism: the design approach with reference to the Russian North --- Part V Arctic safety. Chapter 25 Maritime operations and emergency preparedness in the Arctic –competence standards for search and rescue operations contingencies in polar waters --- Chapter 26 Risk reduction as a result of implementation of the functional based IMO Polar Code in the Arctic cruise industry --- Chapter 27 Safety of industrial development and transportation routes in the Arctic (SITRA) -collaboration project for research and education of future High North experts --- Chapter 28 Safe Snow and Ice Construction to Arctic Conditions --- Chapter 29 The components of psychological safety of oil and gas shift workers in the Arctic --- Part VI Circumpolar, inclusive and reciprocal Arctic. Chapter 30 Where is gender? Cracking the Arctic box and its persistent “gender neutral” research agendas --- Chapter 31 Towards an Arctic awakening: Neocolonialism, sustainable development, emancipatory research, collective action, and Arctic regional policymaking
    Pages: Online-Ressource (XIV, 311 pages) , 78 illustrations, 69 illustrations in color
    ISBN: 9783319575322
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57532-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    Unknown
    AiREAS: Sustainocracy for a Healthy City : The Invisible made Visible Phase 1 (2016)
    Cham : Springer
    Details
    Keywords: Medicine ; Environmental monitoring ; Development economics ; Emigration and immigration ; Economics ; Development Economics ; Migration ; Medicine/Public Health, general ; Monitoring/Environmental Analysis
    Description / Table of Contents: Introduction --- Part I Potted Review of Economic Theory: The Complex Evolving System --- 1. A Potted Review --- Part II Early Days: From Personal Awareness to Group Commitment --- 2. A personal story of awareness and perception --- 2.1 My first awareness breakthrough --- 2.2 Layers of awareness --- 2.3 My second burst of awareness --- 2.4 Defining a new society for myself --- 2.5 Key human values --- 2.6 Inside = outside --- 2.7 To be and to do --- 2.7 Welfare or wellbeing? --- 2.8 Business transformation --- 2.9 Leadership versus management --- 2.10 STIR Foundation - City of Tomorrow --- 2.11 Sustainocracy --- 2.12 City of Tomorrow --- 2.13 The Amsterdam internet congress --- 2.14 Key elements that define “sustainocratic” AiREAS --- 2.15 AiREAS --- 2.16 Commitment first --- 2.17 Territorial focus --- 2.18 Local AiREAS Eindhoven --- 2.19 First things first --- 2.20 Making visible the invisible --- 2.21 From idea to project --- 2.22 Conclusion about the coming about of AiREAS --- 2.23 Link with ethics and economies --- Part III “The Invisible made Visible”: science and technology --- An introduction by Marco van Lochem --- 3.1 The ILM --- 3.2. Variables measured --- 3.3.3. Instrumentation --- 3.3.1 The Airbox --- 3.3.2 PM (PM10, PM2.5, PM1) sensor --- 3.3.3 UFP sensor --- 3.3.4 Ozone sensor --- 3.3.5 NO2 sensor --- 3.3.6 Temperature sensor and relative humidity sensor --- 3.3.7 Electromagnetic compatibility (EMC) --- 3.3.8 Experiences and recommendations --- 4 Data quality --- 4.1 Regular calibration and preventative maintenance --- 4.2 Experiences and recommendations --- 5 Locations and spatial sampling --- 5.1 Experiences and recommendations --- 6 Data management --- 6.1 The Airbox --- 6.2 Axians (1) --- 6.3 ECN --- 6.4 Axians (2) --- 6.5 Experiences and recommendations --- 7 Results --- 7.1 Initial tests of sensors --- 7.2 Evaluation of sensor precision --- 8 Scientific projects based on the ILM --- Part IV Experiences after 5 years of AiREAS and 1 year of ILM --- 9. The way things work at AiREAS --- 9.1 The workflow in AiREAS --- 9.2 Financial routine in AiREAS --- 9.3 Confidence based interaction --- 9.4 October 2013 general AiREAS participants meeting --- 9.5 Interpreting the ILM data --- 9.6 The transition --- 9.7 Communication --- 9.8 Benchmarking and referencing our practical ideologies --- 9.9 The royalty system --- 9.10 Some of the transformative issues --- 9.11 Conclusion. Index.
    Pages: Online-Ressource (XIII, 113 pages) , 47 illustrations in color
    ISBN: 9783319269405
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-26940-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    AiREAS: Sustainocracy for a Healthy City : Phase 3: Civilian Participation – Including the Global Health Deal Proposition (2016)
    Cham : Springer
    Details
    Keywords: Data mining ; Group theory ; Air pollution ; Welfare economics ; Development economics ; Sociology, Urban ; Economics ; Development Economics ; Atmospheric Protection/Air Quality Control/Air Pollution ; Urban Studies/Sociology ; Social Choice/Welfare Economics/Public Choice ; Group Theory and Generalizations ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- Foreword --- Chapter 1: Persuasive communication, by Jean-Paul Close, Jaap Ham --- Chapter 2: the AiREAS Proof of Principle - POP Relating air quality to health and lifestyle, by Jean-Paul Close, Nicolette Meeder, John Schmeitz --- Chapter 3: The backpack project, by Jean-Paul Close, Nicolette Meeder --- Chapter 4: New entrepreneurship, by John Schmeitz, Jean-Paul Close --- Chapter 5: Event linked communication, by Jean-Paul Close, Eric de Groot, Pierre Cluitmans --- Chapter 6: Multicultural context, by Jean-Paul Close, Rüstem Demir --- Chapter 7: Level 4 Sustainocratic regional development, by Jean-Paul Close
    Pages: Online-Ressource (XXI, 158 pages) , 74 illustrations
    ISBN: 9783319456201
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-45620-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    Unknown
    Development Policies and Policy Processes in Africa : Modeling and Evaluation (2018)
    Cham : Springer
    Details
    Keywords: Development economics ; Agricultural economics ; Economic policy ; Economics ; Development Economics ; Development Policy ; African Economics ; Development Aid ; Agricultural Economics
    Description / Table of Contents: Introduction --- Part I: Modeling Economic Policies --- Macro-Economic Models --- Micro-Economic and Micro-Macro Linked Models --- Part II: Modeling Policy Processes --- Concluding Remarks
    Pages: Online-Ressource (XV, 351 pages) , 52 illustrations, 8 illustrations in color
    ISBN: 9783319607146
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-60714-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    Unknown
    Socioeconomics of Agriculture (2018)
    Cham : Springer
    Details
    Keywords: Agriculture ; Agricultural economics ; Economic sociology ; Economics ; Agricultural Economics ; Organizational Studies, Economic Sociology ; Agriculture
    Description / Table of Contents: This open access book applies for the first time emerging concepts of socioeconomics to analyse an economic sector, namely agriculture. It considers the rational choices of all actors in the system (just as agricultural economists do) and their cultural preferences and constraints (just as rural sociologists do). Socioeconomic concepts are subsequently used to structure agricultural issues with regard to the three governance mechanisms (hierarchy, markets, and cooperation), and different agricultural systems are presented and compared. The book will be of interest to social scientists with various backgrounds, and seeks to break down the barriers of single-disciplinary thinking
    Pages: Online-Ressource (VII, 106 pages) , 12 illustrations, 8 illustrations in color
    ISBN: 9783319741413
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74141-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    Unknown
    Competition Authorities in South Eastern Europe : Building Institutions in Emerging Markets (2018)
    Cham : Springer
    Details
    Keywords: Commercial law ; International law ; Industrial organization ; Law and economics ; Economics ; Industrial Organization ; Law and Economics ; Commercial Law ; European Law
    Description / Table of Contents: Foreword --- Introduction --- Western Balkans and the Design of Effective Competition Law: The Role of Economic, Institutional and Cultural Characteristics --- Middle Income Convergence Trap and the Role of Competition Policy in SEE countries --- Institutional Design of State Aid Authorities in South East Europe: The Unfit Legal Transplant and its Ramifications --- Antitrust, Mergers, State Aid and Consumer Protection Under the Same Roof: Does Political Compromise Prevail Over the Expert Approach? --- Realigning Competition Advocacy Priorities in the Context of Economic Adjustment Programmes: the Greek Case --- The role of competition advocacy: the Serbian experience --- Considerations Determining the Extent of Economic Analysis and the Choice of Legal Standards in Competition Law Enforcement --- Three Economist’s Tools for Antitrust Analysis: A Non-Technical Introduction --- Pricing Benchmark in Market Definition: Theoretical Background and Practical Application --- The Rationale for Using the Classic Cournot Mechanism in Merger Control --- Difference-in-Differences as a Tool for Ex-Post Analysis of Mergers: The Case of a Merger in the Romanian Retail Market
    Pages: Online-Ressource (IX, 217 pages) , 27 illustrations, 24 illustrations in color
    ISBN: 9783319766447
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-76644-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    Unknown
    Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Numerical analysis ; Computer mathematics ; Computer software ; Mathematics ; Computational Science and Engineering ; Numeric Computing ; Mathematical Software ; Numerical Analysis
    Description / Table of Contents: Preface --- The first few steps --- Basic constructions --- Computing integrals --- Solving ordinary differential equations --- Solving partial differential equations --- Solving nonlinear algebraic equations --- References --- Index
    Pages: Online-Ressource (XVI, 216 pages) , 43 illustrations
    ISBN: 9783319324524
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-32452-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    Unknown
    Finite Difference Computing with PDEs : A Modern Software Approach (2017)
    Cham : Springer
    Details
    Keywords: Mathematics ; Numerical analysis ; Computer mathematics ; Computer software ; Mathematics ; Computational Science and Engineering ; Numeric Computing ; Mathematical Software ; Finite difference methods ; Programming ; Python ; Verification ; Numerical methods ; Differential equations
    Description / Table of Contents: 1. Vibration ODEs --- 1.1 Finite Difference Discretization --- 1.2 Implementation --- 1.3 Visualization of Long Time Simulations --- 1.4 Analysis of the Numerical Scheme --- 1.5 Alternative Schemes Based on 1st-Order Equations --- 1.6 Energy Considerations --- 1.7 The Euler-Cromer Method --- 1.8 Staggered Mesh --- 1.9 Exercises and Problems --- 1.10 Generalization: Damping, Nonlinearities, and Excitation --- 1.11 Exercises and Problems --- 1.12 Applications of Vibration Models --- 1.13 Exercises --- 2. Wave Equations --- 2.1 Simulation of Waves on a String --- 2.2 Verification --- 2.3 Implementation --- 2.4 Vectorization --- 2.5 Exercises --- 2.6 Generalization: Reflecting Boundaries --- 2.7 Generalization: Variable Wave Velocity --- 2.8 Building a General 1D Wave Equation Solver --- 2.9 Exercises --- 2.10 Analysis of the Difference Equations --- 2.11 Finite Difference Methods for 2D and 3D Wave Equations --- 2.12 Implementation --- 2.13 Exercises --- 2.14 Applications of Wave Equations --- 2.15 Exercises --- 3. Diffusion Equations --- 3.1 An Explicit Method for the 1D Diffusion Equation --- 3.2 Implicit Methods for the 1D Diffusion Equation --- 3.3 Analysis of Schemes for the Diffusion Equation --- 3.4 Exercises --- 3.5 Diffusion in Heterogeneous Media --- 3.6 Diffusion in 2D --- 3.7 Random Walk --- 3.8 Applications --- 3.9 Exercises --- 4. Advection-Dominated Equations --- 4.1 One-Dimensional Time-Dependent Advection Equations --- 4.2 One-Dimensional Stationary Advection-Diffusion Equation --- 4.3 Time-dependent Convection-Diffusion Equations --- 4.4 Applications of Advection Equations --- 4.5 Exercises --- 5. Nonlinear Problems --- 5.1 Introduction of Basic Concepts --- 5.2 Systems of Nonlinear Algebraic Equations --- 5.3 Linearization at the Differential Equation Level --- 5.4 1D Stationary Nonlinear Differential Equations --- 5.5 Multi-Dimensional Nonlinear PDE Problems --- 5.6 Operator Splitting Methods --- 5.7 Exercises
    Pages: Online-Ressource (XXIII, 507 pages) , 150 illustrations
    ISBN: 9783319554563
    URL: https://link.springer.com/book/10.1007/978-3-319-55456-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    Unknown
    Economics of Land Degradation and Improvement – A Global Assessment for Sustainable Development (2016)
    Cham : Springer
    Details
    Keywords: Environmental economics ; Economics ; Environmental Economics
    Description / Table of Contents: Introduction --- Part I: Concepts and Methods --- Methods --- Institutional Framework of Taking Action Against Land Degradation --- Part II: Global --- Global Extent Of Land Degradation --- Ground-Truthing of Land Degradation Mapping --- The Global Cost of Land Degradation --- Global Drivers of Land Degradation --- ELD in Global Rangelands --- Part III: Regional --- ELD in Sub-Saharan Africa --- ELD in Central Asia --- Part IV: Country Case Studies: Cost, Drivers and Action Against of Land Degradation --- Argentina --- Bhutan --- China --- Ethiopia --- India --- Kenya --- Niger --- Russia --- Senegal --- Tanzania and Malawi.-Uzbekistan --- Part V: Lessons Learnt and Implications --- What Can We Learn from the Cost of Inaction Against Land Degradation? --- What Can We Learn from the Success Stories of Addressing or Preventing Land Degradation? --- What are the Low-hanging Fruits for Addressing Land Degradation?.-What the World Needs to do to Build Momentum of Addressing Land Degradation?
    Pages: Online-Ressource (XVIII, 686 pages)
    ISBN: 9783319191683
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-19168-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    Unknown
    Climate Smart Agriculture : Building Resilience to Climate Change (2018)
    Cham : Springer
    Details
    Keywords: Economic policy ; Agricultural economics ; Economics ; Agricultural Economics ; R & D/Technology Policy ; Political Economy/Economic Policy
    Description / Table of Contents: Chapter 1: Introduction --- Chapter 2: A Short History of the Evolution of the Climate Smart Agriculture Approach and its Links to Climate Change and Sustainable Agriculture Debates --- Chapter 3:Economics of Climate-Smart Agriculture --- Chapter 4:  Innovation in Response to Climate Change --- Chapter 5:  Use of Satellite Information on Wetness and Temperature for Decision of Crop Yield Prediction, River Discharge and Planning --- Chapter 6:  Early Warning Techniques for Local Climate Resilience: Smallholder Rice in Lao PDE --- Chapter 7 :  Farmers' Perceptions of and Adaptations to Climate Change in Southeast Asia:  The Case Study from Thailand and Vietnam --- Chapter 8:  U.S. Maize Yield Growth and Countervailing Climate Change Impacts --- Chapter 9:  Understanding Tradeoffs in the Context of Farm-Scale Impacts:  An Application of Decision-Support Tools for Assessing Climate Smart Argiculture --- Chapter 10:  Can Insurance Help Manage Climate Risk and Food Insecurity?: Evidence from the Pastoral Regions of East Africa --- Chapter 11:  Can Cash Transfer Programs Promote Household Resilience?: Cross-Country Evidence from Sub-Saharan Africa --- Chapter 12:  Input Subsidy Programs and Climate Smart Agriculture --- Chapter 13:  Robust Decision Making for a Climate-Resilient Development of the Agricultural Sector in Nigeria --- Chapter 14:  Using AgMIP Regional Integrated Assessment Methods to Evaluate Vulnerability, Resilience and Adaptive Capacity for Climate Smart Agricultural Systems --- Chapter 15:  Climate Smart Food Supply Chains in Developing Countries in an Era of Rapid Dual Change in Agrifood Systems and the Climate --- Chapter 16:  The Adoption of Climate Smart Agriculture: The Role of Information and Insurance under Climate Change --- Chapter 17:  A Qualitative Evaluation of CSA Options in Mixed Crop-Livestock Systems in Developing Countries --- Chapter 18: Identifying Strategies to Enhance the Resilience of Smallholder Farming Systems: Evidence of Zambia --- Chapter 19:  Climate Risk Management Through Sustainable Land and Water Management in Sub-Saharan Africa --- Chapter 20:  Improving the Resilience of Central Asian Agriculture to Weather Viability and Climate Change --- Chapter 21:  Managing Environmental Risk in the Presence of Climate Change: The Role of Adaption in the Mile Basin of Ethiopia --- Chapter 22: Diversification as Part of a CSA Strategy: The Cases of Zambia and Malawi --- Chapter 23:  Economic Analysis of Improved Smallholder Paddy and Maize Production in Northern Vietnam and Implications for Climate-Smart Agriculture --- Chapter 24:  Synthesis:  Devising Effective Strategies and Policies for CSA --- Chapter 25:  Conclusions and Policy Implications
    Pages: Online-Ressource (XVIII, 630 pages) , 107 illustrations, 97 illustrations in color
    ISBN: 9783319611945
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-61194-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    Unknown
    Science and Technology Governance and Ethics : A Global Perspective from Europe, India and China (2015)
    Cham : Springer
    Details
    Keywords: Biotechnology ; Food ; Biotechnology ; Ethics ; Economic policy ; Nanotechnology ; Economics ; R & D/Technology Policy ; Ethics ; Food Science ; Nanotechnology ; Biotechnology
    Description / Table of Contents: Chapter 1 Introduction: Embedding Ethics in Science and Technology Policy – A Global Perspective --- Chapter 2 Institutionalizing Ethical Debates in Science, Technology and Innovation Policy: A Comparison of Europe, India and China.-Chapter 3 Public Perceptions of Science and Technology in Europe, China and India --- Chapter 4 Public Engagement in the Governance of Science and Technology --- Chapter 5 Science and Technology Governance and European Values --- Chapter 6 The Values Demonstrated in the Constitution of the People’s Republic of China --- Chapter 7 Science and Technology for Socio-Economic Development and Quest for Inclusive Growth: Emerging Evidence from India --- Chapter 8 A Comparative Framework for Studying Global Ethics in Science and Technology --- Chapter 9 New Food Technologies in Europe, India and China --- Chapter 10 Discourses on Nanotechnology in Europe, China and India --- Chapter 11 Discourses on Synthetic Biology in Europe, India and China --- Chapter 12 Conclusions: Incorporating Ethics into Science and Technology Policy
    Pages: Online-Ressource (VIII, 173 pages) , 15 illustrations in color
    ISBN: 9783319146935
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-14693-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    Unknown
    Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (2017)
    Cham : Springer
    Details
    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
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57735-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    Unknown
    Cyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Application software ; System theory ; Computer Science ; Computer Systems Organization and Communication Networks ; Software Engineering ; Complex Systems ; Information Systems Applications (incl. Internet) ; Computer Applications
    Description / Table of Contents: Basic concepts on systems of systems --- interfaces in evolving cyber-physical systems-of-systems --- emergence in cyber-physical systems-of-systems (CPSOSS) --- AMADEOS sysml profile for SoS conceptual modeling --- AMADEOS framework and supporting tools --- time and resilient master clocks in cyber-physical systems --- managing dynamicity in SoS --- case study definition and implementation
    Pages: Online-Ressource (XV, 257 pages) , 124 illustrations
    ISBN: 9783319475905
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-47590-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    Unknown
    Scaling a Software Business : The Digitalization Journey (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: 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
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-53116-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    Unknown
    Agile Processes, in Software Engineering, and Extreme Programming : 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings (2016)
    Cham : Springer
    Details
    Keywords: Business ; Management information systems ; Software engineering ; Computer science ; Business and Management ; Business Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Full Research Papers --- Experience Reports --- Empirical Studies Papers --- Doctoral Symposium Papers
    Pages: Online-Ressource (XIII, 334 pages) , 37 illustrations
    ISBN: 9783319335155
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-33515-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Software engineering ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computer Systems Organization and Communication Networks ; Computing Methodologies ; Computing Milieux ; Computer Hardware
    Description / Table of Contents: Concurrent and Distributed Systems --- Computing the concurrency threshold of sound free-choice workflow nets --- Fine-Grained Complexity of Safety Verification --- Parameterized verification of synchronization in constrained reconfigurable broadcast networks --- EMME: a formal tool for the ECMAScript Memory Model Evaluation --- SAT and SMT II --- What a Difference a Variable Makes --- Abstraction Refinement for Emptiness Checking of Alternating Data Automata --- Revisiting Enumerative Instantiation --- An Non-linear Arithmetic Procedure for Control-Command Software Verification --- Security and Reactive Systems --- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection --- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts --- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties --- The Refinement Calculus of Reactive Systems Toolset --- Static and Dynamic Program Analysis --- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation --- Optimal Dynamic Partial Order Reduction with Observers --- Structurally Defined Conditional Data-flow Static Analysis --- Geometric Nontermination Arguments --- Hybrid and Stochastic Systems --- Efficient dynamic error reduction for hybrid systems reachability analysis --- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic --- Multi-Cost Bounded Reachability in MDPs --- A Statistical Model Checker for Nondeterminism and Rare Events --- Temporal logic and mu-calculus --- Permutation Games for the Weakly Aconjunctive mu-Calculus --- Symmetry Reduction for the Local Mu-Calculus --- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models --- 7th Competition on Software Verification (SV-COMP) --- 2LS: Memory Safety and Non-Termination (Competition contribution) --- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) --- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) --- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) --- Map2Check using LLVM and KLEE (Competition Contribution) --- Symbiotic 5: Boosted Instrumentation (Competition Contribution) --- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) --- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) --- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
    Pages: Online-Ressource (XX, 465 pages) , 92 illustrations
    ISBN: 9783319899633
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89963-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    Unknown
    Has Latin American Inequality Changed Direction? : Looking Over the Long Run (2017)
    Cham : Springer
    Details
    Keywords: Political economy ; Economic history ; Economic growth ; Social structure ; Social inequality ; Economics ; Economic History ; Latin American and Caribbean Economics ; Social Structure, Social Inequality ; Political Economy ; Economic Growth
    Description / Table of Contents: INTRODUCTION --- Chapter1. Long-run inequality trends and cycles and the recent inequality downturn in Latin America --- PART I. LONG-RUN TRENDS --- Chapter 2. Functional Inequality in Latin America: News from the Twentieth Century --- Chapter 3. The Political Economy of Income Inequality in Chile since 1850 --- Chapter 4. What Human Heights Can Explain about the Evolution of Living Standards and Inequality in Latin America: the Case of Mexican Females and Males, 1850-1992 --- Chapter 5. Long-run Human Development in Mexico: 1895-2010 --- Chapter 6. Inequality, Institutions, and Long-Term Development: A Perspective from Brazilian Regions --- Chapter 7. Historical perspectives on regional income inequality in Brazil, 1872-2000 --- Chapter 9. Racial Inequality in Brazil from Independence to Present --- Chapter 10. The lingering face of gender inequality in Latin America --- Chapter 11. Fiscal Redistribution in Latin America since the Nineteenth Century --- PART II. THE RECENT INEQUALITY DOWNTURN --- Chapter 12. Inequality in Latin America --- Chapter 13. The Inequality Story in Latin America and the Caribbean: Searching for an Explanation --- Chapter 14. The Political Economy of Inequality at the Top in Contemporary Chile --- Chapter 15. Structural change and the fall of income inequality in Latin America - Agricultural development, inter-sectoral duality and the Kuznets curve --- Chapter 16. Fiscal policy and inequality in Latin America 1960-2012 --- Chapter 17. Challenges for Social Policy in a Less Favorable Macroeconomic Context
    Pages: Online-Ressource (VIII, 419 pages) , 90 illustrations, 59 illustrations in color
    ISBN: 9783319446219
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-44621-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    Unknown
    Economics of Land Degradation and Improvement – A Global Assessment for Sustainable Development (2016)
    Cham : Springer
    Details
    Keywords: Environmental economics ; Economics ; Environmental Economics
    Description / Table of Contents: Introduction --- Part I: Concepts and Methods --- Methods --- Institutional Framework of Taking Action Against Land Degradation --- Part II: Global --- Global Extent Of Land Degradation --- Ground-Truthing of Land Degradation Mapping --- The Global Cost of Land Degradation --- Global Drivers of Land Degradation --- ELD in Global Rangelands --- Part III: Regional --- ELD in Sub-Saharan Africa --- ELD in Central Asia --- Part IV: Country Case Studies: Cost, Drivers and Action Against of Land Degradation --- Argentina --- Bhutan --- China --- Ethiopia --- India --- Kenya --- Niger --- Russia --- Senegal --- Tanzania and Malawi.-Uzbekistan --- Part V: Lessons Learnt and Implications --- What Can We Learn from the Cost of Inaction Against Land Degradation? --- What Can We Learn from the Success Stories of Addressing or Preventing Land Degradation? --- What are the Low-hanging Fruits for Addressing Land Degradation?.-What the World Needs to do to Build Momentum of Addressing Land Degradation?
    Pages: Online-Ressource (XVIII, 686 pages)
    ISBN: 9783319191683
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-19168-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    Unknown
    Time Predictions : Understanding and Avoiding Unrealism in Project Planning and Everyday Life (2018)
    Cham : Springer
    Details
    Keywords: Project management ; Personnel management ; Management information systems ; Behavioral economics ; Economics ; Behavioral/Experimental Economics ; Human Resource Management ; Project Management ; Software Management
    Description / Table of Contents: Preface --- 1. Introduction: 1.1 A prediction success --- 1.2 Prediction disasters --- 2. How we Predict Time Usage: 2.1 Mental time travel --- 2.2 How did you make that prediction? --- 2.3 Time predictions are everywhere --- 2.4 How good are we at predicting time? --- 3. Predictions and the Uncertainty of the Future: 3.1 Precisely wrong or roughly right? --- 3.2 Communication of time predictions --- 3.3 Probability-based time predictions --- 3.4 Right-skewed time distributions --- 3.5 Relearning to add: 2 + 2 is usually more than 4 --- 3.6 How to predict the mean time usage --- 3.7 How time predictions affect performance --- 4. Overoptimistic Predictions: 4.1 Optimism, overoptimism, and overoptimistic predictions --- 4.2 The benefits of overoptimism --- 4.3 The desire to control time --- 4.4 Motivation to make accurate time usage predictions --- 4.5 Selection bias --- 4.6 Deception --- 4.7 Who makes the most realistic time predictions? --- 5. Time Prediction Biases: 5.1 The team scaling fallacy --- 5.2 Anchoring --- 5.3 Sequence effects --- 5.4 Format effects --- 5.5 The magnitude effect --- 5.6 Length of task description --- 5.7 The time unit effect --- 6. Uncertainty of Time Predictions: 6.1 Why are we overconfident? --- 6.2 What can we do to avoid overconfidence? --- 6.2.1 The use of alternative interval prediction formats --- 6.2.2 Learning from accuracy feedback --- 7. Time Prediction Methods and Principles: 7.1 Unpacking and decomposition --- 7.2 Analogies --- 7.3 Relative predictions --- 7.4 Time prediction models --- 7.5 Consider alternative futures --- 7.6 Combinations of time predictions --- 7.7 Let other people make the prediction? --- 7.8 Removing irrelevant and misleading information --- 7.9 From Fibonacci to t-shirt sizes: Time predictions using alternative scales --- 8. Time Predictions: Matching the Method to the Situation --- 9. How to Obtain Overoptimistic Time Predictions from Others
    Pages: Online-Ressource (XII, 110 pages) , 12 illustrations, 11 illustrations in color
    ISBN: 9783319749532
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74953-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    Solving PDEs in Python : The FEniCS Tutorial I (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Software engineering ; Algorithms ; Computer mathematics ; Visualization ; Computer software ; Numerical analysis ; Mathematics ; Computational Science and Engineering ; Algorithms ; Visualization ; Mathematical Software ; Numerical Analysis ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: 1 Preliminaries --- 2 Fundamentals: Solving the Poisson Equation --- 3 A Gallery of Finite Element Solvers --- 4 Subdomains and Boundary Conditions --- 5 Extensions: Improving the Poisson Solver --- References
    Pages: Online-Ressource (XI, 146 pages) , 17 illustrations, 16 illustrations in color
    ISBN: 9783319524627
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-52462-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    Unknown
    Stochastics of Environmental and Financial Economics : Centre of Advanced Study, Oslo, Norway, 2014-2015 (2016)
    Cham : Springer
    Details
    Keywords: Systems theory ; Distribution (Probability theory ; Environmental economics ; Mathematics ; Differential equations, partial ; Mathematical optimization ; Systems Theory, Control ; Probability Theory and Stochastic Processes ; Environmental Economics ; Game Theory, Economics, Social and Behav. Sciences ; Partial Differential Equations ; Calculus of Variations and Optimal Control; Optimization
    Description / Table of Contents: Some recent developments in ambit stochastics --- Functional and Banach space stochastic calculi. Path-dependent Kolmogorov equations associated with the frame of a Brownian motion --- Nonlinear Young integrals via fractional calculus --- A weak limit theorem for numerical approximation of Brownian semi-stationary processes --- Non-elliptic SPDEs and ambit fields: existence of densities --- Dynamic risk measures and path-dependent second order PDEs --- Pricing CoCos with a market trigger --- Quantification of model risk in quadratic hedging in finance --- Risk-sensitive mean-field type control under partial observation --- Risk aversion in modeling of cap-and-trade mechanism and optimal design of emission markets --- Exponential ergodicity of the jump-diffusion CIR process --- Optimal control of predictive mean-field equations and applications to finance --- Modelling the impact of wind power production on electricity prices by regime-switching Levy semistationary processes --- Pricing options on EU ETS certificates with a time-varying market price of risk model
    Pages: Online-Ressource (VIII, 360 pages)
    ISBN: 9783319234250
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-23425-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Agile requirements --- COSMIC User Story Standard --- Improving Mockup-based Requirement Specification with End-User Annotations --- Agile testing --- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment --- Software tester, we want to hire you! An analysis of the demand for soft skills --- Developers' initial perceptions on TDD practice: A thematic analysis with distinct domains and languages --- Myths and Facts about Static Application Security Testing Tools: An Action Research at Telenor Digital --- Automated Acceptance Tests as Software Requirements: An Experiment to Compare the Applicability of Fit tables and Gherkin Language --- Agile transformation --- Interface Problems of Agile in a Non-Agile Environment --- Enterprise agility: Why is transformation so hard? --- Technical and Organizational Agile Practices: A Latin-American Survey --- Agile Software Development { Adoption & Maturity: An Activity Theory Perspective --- Scaling agile --- Do Agile Methods Work for Large Software Projects? --- Learning in the Large - An Exploratory Study of Retrospectives in Large-Scale Agile Development --- Reporting in Agile Portfolio Management: Routines, Metrics and Artefacts to Maintain an Effective Oversight --- Inter-team Coordination in Large-Scale Agile Development: A Case Study of Three Enabling Mechanisms --- Supporting Large-Scale Agile Development with Domain-driven Design --- Towards Agile Scalability Engineering --- Human-centric agile --- Stress in Agile Software Development: Practices and Outcomes --- Teamwork quality and team performance: Exploring differences between small and large agile projects --- Continuous experimentation --- Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives --- ICOs overview: should investors choose an ICO developed with the Lean Startup methodology?
    Pages: Online-Ressource (XV, 309 pages) , 50 illustrations
    ISBN: 9783319916026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-91602-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...