ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Books  (42)
  • Maps
  • 2015-2019  (42)
  • 2005-2009
  • 1980-1984
  • 2018  (42)
  • Computer Science  (34)
  • Land- und Forstwirtschaft. Gartenbau. Fischereiwirtschaft. Hauswirtschaft. Ernährung  (6)
  • Mathematics  (3)
Collection
Source
Keywords
Publisher
Language
Years
  • 2015-2019  (42)
  • 2005-2009
  • 1980-1984
Year
Topic
  • 1
    Unknown
    Biomass Chars : Elaboration, Characterization and Applications (2018)
    Basel, Beijing, Wuhan : MDPI
    Details
    Keywords: biomass ; thermochemical conversion ; chars ; morphological ; textural and structural properties ; surface chemistry ; gasification ; soil amendment ; reactivity
    Description / Table of Contents: Zambon, I.; Colosimo, F.; Monarca, D.; Cecchini, M.; Gallucci, F.; Proto, A.; Lord, R.; Colantoni, A. An Innovative Agro-Forestry Supply Chain for Residual Biomass: Physicochemical Characterisation of Biochar from Olive and Hazelnut Pellets. Energies 2016, 9(7), 526; doi:10.3390/en9070526. http://www.mdpi.com/1996-1073/9/7/526 --- Liu, P.; Wang, Q.; Yan, D.; Fang, W.; Mao, L.; Wang, D.; Li, Y.; Ouyang, C.; Guo, M.; Cao, A. Effects of Biochar Amendment on Chloropicrin Adsorption and Degradation in Soil. Energies 2016, 9(11), 869; doi:10.3390/en9110869. http://www.mdpi.com/1996-1073/9/11/869 --- Fang, W.; Cao, A.; Yan, D.; Han, D.; Huang, B.; Li, J.; Liu, X.; Guo, M.; Wang, Q. The Effect of Two Types of Biochars on the Efficacy, Emission, Degradation, and Adsorption of the Fumigant Methyl Isothiocyanate. Energies 2017, 10(1), 16; doi:10.3390/en10010016. http://www.mdpi.com/1996-1073/10/1/16 --- Long, J.; Boyette, M. Analysis of Micronized Charcoal for Use in a Liquid Fuel Slurry. Energies 2017, 10(1), 25; doi:10.3390/en10010025. http://www.mdpi.com/1996-1073/10/1/25 --- Fuente-Hernández, A.; Lee, R.; Béland, N.; Zamboni, I.; Lavoie, J. Reduction of Furfural to Furfuryl Alcohol in Liquid Phase over a Biochar-Supported Platinum Catalyst. Energies 2017, 10(3), 286; doi:10.3390/en10030286. http://www.mdpi.com/1996-1073/10/3/286 --- Brassard, P.; Godbout, S.; Raghavan, V.; Palacios, J.; Grenier, M.; Zegan, D. The Production of Engineered Biochars in a Vertical Auger Pyrolysis Reactor for Carbon Sequestration. Energies 2017, 10(3), 288; doi:10.3390/en10030288. http://www.mdpi.com/1996-1073/10/3/288 --- González-Vázquez, M.; García, R.; Pevida, C.; Rubiera, F. Optimization of a Bubbling Fluidized Bed Plant for Low-Temperature Gasification of Biomass. Energies 2017, 10(3), 306; doi:10.3390/en10030306. http://www.mdpi.com/1996-1073/10/3/306 --- Yang, X.; Wang, H.; Strong, P.; Xu, S.; Liu, S.; Lu, K.; Sheng, K.; Guo, J.; Che, L.; He, L.; Ok, Y.; Yuan, G.; Shen, Y.; Chen, X. Thermal Properties of Biochars Derived from Waste Biomass Generated by Agricultural and Forestry Sectors. Energies 2017, 10(4), 469; doi:10.3390/en10040469. http://www.mdpi.com/1996-1073/10/4/469 --- Ellison, C.; McKeown, M.; Trabelsi, S.; Boldor, D. Dielectric Properties of Biomass/Biochar Mixtures at Microwave Frequencies. Energies 2017, 10(4), 502; doi:10.3390/en10040502. http://www.mdpi.com/1996-1073/10/4/502 --- Kang, S.; Sim, B.; Kim, J. Volume and Mass Measurement of a Burning Wood Pellet by Image Processing. Energies 2017, 10(5), 603; doi:10.3390/en10050603. http://www.mdpi.com/1996-1073/10/5/603 --- Tamošiūnas, A.; Chouchène, A.; Valatkevičius, P.; Gimžauskaitė, D.; Aikas, M.; Uscila, R.; Ghorbel, M.; Jeguirim, M. The Potential of Thermal Plasma Gasification of Olive Pomace Charcoal. Energies 2017, 10(5), 710; doi:10.3390/en10050710. http://www.mdpi.com/1996-1073/10/5/710 --- Guizani, C.; Jeguirim, M.; Valin, S.; Limousy, L.; Salvador, S. Biomass Chars: The Effects of Pyrolysis Conditions on Their Morphology, Structure, Chemical Properties and Reactivity. Energies 2017, 10(6), 796; doi:10.3390/en10060796. http://www.mdpi.com/1996-1073/10/6/796 --- Zhao, S.; Ta, N.; Wang, X. Effect of Temperature on the Structural and Physicochemical Properties of Biochar with Apple Tree Branches as Feedstock Material. Energies 2017, 10(9), 1293; doi:10.3390/en10091293. http://www.mdpi.com/1996-1073/10/9/1293 --- Wanassi, B.; Hariz, I.; Ghimbeu, C.; Vaulot, C.; Jeguirim, M. Green Carbon Composite-Derived Polymer Resin and Waste Cotton Fibers for the Removal of Alizarin Red S Dye. Energies 2017, 10(9), 1321; doi:10.3390/en10091321. http://www.mdpi.com/1996-1073/10/9/1321 --- Ghouma, I.; Jeguirim, M.; Sager, U.; Limousy, L.; Bennici, S.; Däuber, E.; Asbach, C.; Ligotski, R.; Schmidt, F.; Ouederni, A. The Potential of Activated Carbon Made of Agro-Industrial Residues in NOx Immissions Abatement. Energies 2017, 10(10), 1508; doi:10.3390/en10101508. http://www.mdpi.com/1996-1073/10/10/1508 --- Jeguirim, M.; Limousy, L. Biomass Chars: Elaboration, Characterization and Applications. Energies 2017, 10(12), 2040; doi:10.3390/en10122040. http://www.mdpi.com/1996-1073/10/12/2040
    Pages: Online-Ressource (VI, 214 Seiten)
    Edition: Printed Edition of the Special Issue Published in Energies
    ISBN: 9783038426912
    URL: http://www.mdpi.com/books/pdfview/book/493
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Finite Element Method : Simulation, Numerical Analysis and Solution Techniques (2018)
    Rijeka : InTech
    Details
    Keywords: FEM ; Finite Element Method ; simulation
    Description / Table of Contents: Chapter 1: FEM Analysis of Mechanical and Structural Properties of Long Fiber-Reinforced Composites by Michal Petrů and Ondřej Novák --- Chapter 2: Finite Element Dynamic Analysis on Residual Stress Distribution of Titanium Alloy and Titanium Matrix Composite after Shot Peening Treatment by Lechun Xie, Zhou Wang, Chengxi Wang, Yan Wen, Liqiang Wang, Chuanhai Jiang, Weijie Lu, Lai-Chang Zhang and Lin Hua --- Chapter 3: Multiscale Wavelet Finite Element Analysis in Structural Dynamics by Mutinda Musuva and Cristinel Mares --- Chapter 4: Numerical Analysis of Hot Polymer-Coated Steel Pipeline Joints in Bending by Finian McCann, Guido Ridolfi, Erwan Karjadi, Harm Demmink and Helen Boyd --- Chapter 5: Application of Finite Element Analysis in Multiscale Metal Forming Process by Zhengyi Jiang and Haibo Xie --- Chapter 6: Finite Element Thermal Analysis of Metal Parts Additively Manufactured via Selective Laser Melting by Dario Pitassi, Enrico Savoia, Vigilio Fontanari, Alberto Molinari, Valerio Luchin, Gianluca Zappini and Matteo Benedetti --- Chapter 7: Adaptive Modeling and Simulation of Elastic, Dielectric and Piezoelectric Problems by Grzegorz Zboiński --- Chapter 8: Vibration Simulation of Electric Machines by Marcel Janda and Kristyna Jandova --- Chapter 9: Numerically and Analytically Forecasting the Coal Burst Using Energy Based Approach Methods by Faham Tahmasebinia, Chengguo Zhang, Ismet Canbulat, Onur Vardar and Serkan Saydam --- Chapter 10: Linear Thermo-Poroelasticity and Geomechanics by Horacio Florez --- Chapter 11: Numerical Analysis of the Incompressible Fluid Flow and Heat Transfer by Toshio Tagawa --- Chapter 12: Numerical Simulation of Wave (Shock Profile) Propagation of the Kuramoto-Sivashinsky Equation Using an Adaptive Mesh Method by Denson Muzadziwa, Stephen T. Sikwila and Stanford Shateyi --- Chapter 13: Numerical Analysis on the Simulated Heavy Rainfall Event of Tropical Cyclone Fung-Wong by Lei-Ming Ma and Xu-Wei Bao --- Chapter 14: Weighted Finite-Element Method for Elasticity Problems with Singularity by Viktor Anatolievich Rukavishnikov and Elena Ivanovna Rukavishnikova
    Pages: Online-Ressource (322 Seiten)
    ISBN: 9789535138501
    URL: https://www.intechopen.com/books/finite-element-method-simulation-numerical-analysis-and-solution-techniques
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    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
  • 4
    Unknown
    The Huawei and Snowden Questions : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Computer engineering ; Economic policy ; Computer Science ; Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy
    Description / Table of Contents: 1 Introduction --- 2 Trust --- 3 What is an ICT-System? --- 4 Development of ICT Systems --- 5 Theoretical Foundation --- 6 Reverse Engineering of Code --- 7 Static Detection of Malware --- 8 Dynamic Detection Methods --- 9 Formal Methods --- 10 Software Quality and Quality Management --- 11 Containment of Untrusted Modules --- 12 Summary and Way Forward
    Pages: Online-Ressource (XIV, 116 pages) , 6 illustrations, 5 illustrations in color
    ISBN: 9783319749501
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74950-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    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
  • 6
    Unknown
    Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers ; Computer Science ; Systems and Data Security ; Theory of Computation ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Information Flow and Non-Intereference --- What's the Over/Under? Probabilistic Bounds on Information Leakage --- Secure Information Release in Timed Automata --- Compositional Non-Interference for Concurrent Programs via Separation and Framing --- The Meaning of Memory Safety --- Leakage, Information Flow, and Protocols --- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage --- Leakage and Protocol Composition in a Game-theoretic Perspective --- Equivalence Properties by Typing in Cryptographic Branching Protocols --- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience --- Smart Contracts and Privacy --- SoK: Unraveling Bitcoin Smart Contracts --- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts --- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts --- UniTraX: Protecting Data Privacy with Discoverable Biases --- Firewalls and Attack-Defense Trees --- Transcompiling Firewalls --- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels
    Pages: Online-Ressource (XIV, 347 pages) , 85 illustrations
    ISBN: 9783319897226
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89722-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    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
  • 8
    Unknown
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Programming Languages, Compilers, Interpreters ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Computing Methodologies ; Computing Milieux
    Description / Table of Contents: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory
    Pages: Online-Ressource (XVI, 1058 pages) , 276 illustrations
    ISBN: 9783319898841
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89884-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Climate Resilient Agriculture : Strategies and Perspectives (2018)
    Rijeka : InTech
    Details
    Keywords: climatic change ; agriculture
    Description / Table of Contents: 1. Adaptation in Agriculture / by Panit Arunanondchai, Chengcheng Fei and Bruce A. McCarl --- 2. Climate Adaptive Agricultural Innovation in Nepal: Prospects and Challenges / by Dhanej Thapa, Yuba Raj Subedi and Hemant Ojha --- 3. Naturally Available Genetic Adaptation in Common Bean and Its Response to Climate Change / by Andrés J. Cortés and Matthew W. Blair --- 4. Mitigation of the Negative Impact of Warming on the Coffee Crop: The Role of Increased Air [CO2] and Management Strategies / by Danielly Dubberstein, Weverton P. Rodrigues, José N. Semedo, Ana P. Rodrigues, Isabel P. Pais, António E. Leitão, Fábio L. Partelli, Eliemar Campostrini, Fernando Reboredo, Paula Scotti-Campos, Fernando C. Lidon, Ana I. Ribeiro-Barros, Fábio M. DaMatta and José C. Ramalho --- 5. Agricultural Management Impact on Greenhouse Gas Emissions / by Upendra M. Sainju --- 6. Low Carbon Technologies for Agriculture in Dryland: Brazilian Experience / by Vanderlise Giongo, Alessandra Monteiro Salviano, Francislene Angelotti, Tatiana Taura, Luiz Fernando Carvalho Leite and Tony Jarbas Ferreira Cunha --- 7. Pepper Crop under Climate Change: Grafting as an Environmental Friendly Strategy / by Consuelo Penella and Angeles Calatayud --- 8. Bringing Climate Smart Agriculture to Scale: Experiences from the Water Productivity Project in East and Central Africa / by Kizito Kwena, Fitih Ademe, Joseph Serge, Nezeghty Asmerom, Bernard Musana, Razaka Razakamiaramanana, Reuben Ruttoh, Hezron Mogaka, Assefa Dereje, Kifle Woldearegey, Anthony Esilaba and Rosemary Emongor --- 9. Climate Control in Mediterranean Greenhouses / by A. Nafi Baytorun and Zeynep Zaimoglu
    ISBN: 9789535138969
    URL: https://www.intechopen.com/books/climate-resilient-agriculture-strategies-and-perspectives
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    Data Mining (2018)
    Rijeka : InTech
    Details
    Keywords: environmental data mining ; big data
    Description / Table of Contents: 1. Ensemble Methods in Environmental Data Mining / by Goksu Tuysuzoglu, Derya Birant and Aysegul Pala --- 2. Estimating Customer Lifetime Value Using Machine Learning Techniques / by Sien Chen --- 3. Determination and Classification of Crew Productivity with Data Mining Methods / by Abdullah Emre Keleş and Mümine Kaya Keleş --- 4. Mining HCI Data for Theory of Mind Induction / by Oksana Arnold and Klaus P. Jantke --- 5. Performance-Aware High-Performance Computing for Remote Sensing Big Data Analytics / by Mustafa Kemal Pektürk and Muhammet Ünal --- 6. Early Prediction of Patient Mortality Based on Routine Laboratory Tests and Predictive Models in Critically Ill Patients / by Sven Van Poucke, Ana Kovacevic and Milan Vukicevic --- 7. Semantic Infrastructure for Service Environment Supporting Successful Aging / by Vesa Salminen, Päivi Sanerma, Seppo Niittymäki and Patrick Eklund --- 8. Adaptive Neural Network Classifier-Based Analysis of Big Data in Health Care / by Manaswini Pradhan --- 9. Identification of Research Thematic Approaches Based on Keywords Network Analysis in Colombian Social Sciences / by José Hernando Ávila-Toscano, Ivón Catherine Romero-Pérez, Ailed Marenco-Escuderos and Eugenio Saavedra Guajardo --- 10. Data Privacy for Big Data Publishing Using Newly Enhanced PASS Data Mining Mechanism / by Priyank Jain, Manasi Gyanchandani and Nilay Khare
    ISBN: 9781789235975
    URL: https://www.intechopen.com/books/data-mining
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Bitcoin and Beyond : Cryptocurrencies, Blockchains, and Global Governance (2018)
    London, New York : Routledge
    Details
    Keywords: Bitcoin ; Blockchain ; cryptocurrency ; governance
    Description / Table of Contents: Chapter 1: Introduction: What are blockchains and how are they relevant to governance in the contemporary global political economy? / Malcolm Campbell-Verduyn --- Chapter 2: Moneys at the Margins – From Political Experiment to Cashless Societies / Moritz Hütten and Matthias Thiemann --- Chapter 3: The Internal and External Governance of Blockchain-Based Organisations: Evidence from Cryptocurrencies / Ying-Ying Hsieh, JP Vergne, and Sha Wang --- Chapter 4: The Mutual Constitution of Technology and Global Governance: Bitcoin, Blockchains, and the International Anti-Money Laundering Regime / Malcolm Campbell-Verduyn and Marcel Goguen --- Chapter 5: Between Liberalization and Prohibition: Prudent Enthusiasm and the Governance of Bitcoin/Blockchain Technology / Kai Jia and Falin Zhang --- Chapter 6: Cryptocurrencies and Digital Payment Rails in Networked Global Governance: Perspectives on Inclusion and Innovation / Daivi Rodima-Taylor and William W. Grimes --- Chapter 7: Governing What Wasn’t Meant To Be Governed:　A Controversy-Based Approach to the Study of Bitcoin Governance / Francesca Musiani, Alexandre Mallard and Cécile Méadel --- Chapter 8: Experiments in Algorithmic Governance: A History and Ethnography of "The DAO," a Failed Decentralized Autonomous Organization / Quinn DuPont --- Chapter 9: Conclusion: Towards A Block Age or Blockages of Global Governance? / Malcolm Campbell-Verduyn
    Pages: Online-Ressource (XIII, 207 Seiten) , Diagramme
    ISBN: 9781315211909
    URL: https://www.taylorfrancis.com/books/9780415792141
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    Colorimetry and Image Processing (2018)
    Rijeka : InTech
    Details
    Keywords: image processing
    Description / Table of Contents: Chapter 1: Colorimetry and Dichromatic Vision by Humberto Moreira, Leticia Álvaro, Anna Melnikova and Julio Lillo --- Chapter 2: Image Segmentation Based on Mathematical Morphological Operator by Jianjun Chen, Haijian Shao and Chunlong Hu --- Chapter 3: Color Reconstruction and Resolution Enhancement Using Super-Resolution by Eduardo Quevedo Gutiérrez and Gustavo Marrero Callicó --- Chapter 4: Color Analysis and Image Processing Applied in Agriculture by Jesús Raúl Martínez Sandoval, Miguel Enrique Martínez Rosas, Ernesto Martínez Sandoval, Manuel Moisés Miranda Velasco and Humberto Cervantes De Ávila --- Chapter 5: A Proposal of Color Image Processing Applications for Education by Hiroshi Kamada, Tomohisa Ishikawa and Keitaro Yoshikawa --- Chapter 6: Real-Time Video Analysis in Agriculture by Using LabVIEW Software by Abdullah Beyaz --- Chapter 7: Diffusion-Steered Super-Resolution Image Reconstruction by Baraka J. Maiseli --- Chapter 8: A New Pansharpening Approach for Hyperspectral Images by Chiman Kwan, Jin Zhou and Bence Budavari --- Chapter 9: Thresholding Algorithm Optimization for Change Detection to Satellite Imagery by René Vázquez-Jiménez, Rocío N. Ramos-Bernal, Raúl Romero- Calcerrada, Patricia Arrogante-Funes, Sulpicio Sanchez Tizapa and Carlos J. Novillo --- Chapter 10: Clouds Motion Estimation from Ground-Based Sky Camera and Satellite Images by Ali Youssef Zaher and Afraa Ghanem
    Pages: Online-Ressource (206 Seiten)
    ISBN: 9789535137450
    URL: https://www.intechopen.com/books/colorimetry-and-image-processing
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    Pure and Applied Biogeography (2018)
    Rijeka : InTech
    Details
    Keywords: biogeography ; biodiversity crisis ; climate change ; water issues ; sustainable agriculture
    Description / Table of Contents: Chapter 1: Introductory Chapter: The Main Directions and Tasks of Pure and Applied Biogeography in Solving the Global Problems of Our Time by Levente Hufnagel --- Chapter 2: Are Historical Biogeographical Events Able to Promote Biological Diversification? by Julián A. Velasco --- Chapter 3: Ecological Responses to Climate Change at Biogeographical Boundaries by Melinda Pálinkás --- Chapter 4: A Synopsis of Global Mapping of Freshwater Habitats and Biodiversity: Implications for Conservation by Ryan A. McManamay, Natalie A. Griffiths, Christoper R. DeRolph and Brenda M. Pracheil --- Chapter 5: Plant Antiherbivore Defense in Diverse Environments by Alina Morquecho-Contreras, Carmen Zepeda-Gómez and Hermilo Sánchez-Sánchez --- Chapter 6: Vachellia (Acacia) karroo Communities in South Africa: An Overview by Mamokete Dingaan and Pieter J. du Preez --- Chapter 7: Ecological Biogeography of West Usambara Mountains: A Study on the Influence of Abiotic Factors to Spatial Distribution of Plant and Animal Species by Joel Loitu Meliyo, Kenneth F.G. Masuki, Balthazar M. Msanya, Didas N. Kimaro and Loth S. Mulungu
    Pages: Online-Ressource (176 Seiten)
    ISBN: 9789535137559
    URL: https://www.intechopen.com/books/pure-and-applied-biogeography
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    Graph Theory : Advanced Algorithms and Applications (2018)
    Rijeka : InTech
    Details
    Keywords: graph theory ; graphs
    Description / Table of Contents: Chapter 1: Spreading Information in Complex Networks: An Overview and Some Modified Methods by Reji Kumar Karunakaran, Shibu Manuel and Edamana Narayanan Satheesh --- Chapter 2: An Example Usage of Graph Theory in Other Scientific Fields: On Graph Labeling, Possibilities and Role of Mind/Consciousness by Auparajita Krishnaa --- Chapter 3: Graph-Based Decision Making in Industry by Izabela Kutschenreiter-Praszkiewicz --- Chapter 4: Governance Modeling: Dimensionality and Conjugacy by Pierre Mazzega, Claire Lajaunie and Etienne Fieux --- Chapter 5: Modeling Rooted in-Trees by Finite p-Groups by Daniel C. Mayer --- Chapter 6: Monophonic Distance in Graphs by P. Titus and A.P. Santhakumaran --- Chapter 7: Spectra and Quantum Transport on Graphs by Victor Chulaevsky --- Chapter 8: Math Words and Their Dendrograms by Francisco Casanova-del-Angel
    Pages: Online-Ressource (196 Seiten)
    ISBN: 9789535137733
    URL: https://www.intechopen.com/books/graph-theory-advanced-algorithms-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    Time Series Analysis and Applications (2018)
    Rijeka : InTech
    Details
    Keywords: time series analysis ; TSA ; data science ; forecasting
    Description / Table of Contents: Chapter 1: Introductory Chapter: Time Series Analysis (TSA) for Anomaly Detection in IoT by Nawaz Mohamudally --- Chapter 2: Anxiety, Worry and Fear: Quantifying the Mind Using EKG Time Series Analysis by Toru Yazawa --- Chapter 3: Agricultural Monitoring in Regional Scale Using Clustering on Satellite Image Time Series by Renata Ribeiro do Valle Gonçalves, Jurandir Zullo Junior, Bruno Ferraz do Amaral, Elaine Parros Machado Sousa and Luciana Alvim Santos Romani --- Chapter 4: Volatility Parameters Estimation and Forecasting of GARCH(1,1) Models with Johnson’s SU Distributed Errors by Mohammed Elamin Hassan, Henry Mwambi and Ali Babikir --- Chapter 5: Generation of Earth’s Surface Three-Dimensional (3-D) Displacement Time-Series by Multiple-Platform SAR Data by Antonio Pepe --- Chapter 6: Time Series and Renewable Energy Forecasting by Mahmoud Ghofrani and Musaad Alolayan --- Chapter 7: Modeling Nonlinear Vector Time Series Data by Jiancheng Jiang and Sha Yu --- Chapter 8: Symbolic Time Series Analysis and Its Application in Social Sciences by Wiston Adrián Risso --- Chapter 9: State-Space Models for Binomial Time Series with Excess Zeros by Fan Tang and Joseph E. Cavanaugh --- Chapter 10: Ensemble Prediction of Stream Flows Enhanced by Harmony Search Optimization by Milan Cisty and Veronika Soldanova
    Pages: Online-Ressource (178 Seiten)
    ISBN: 9789535137436
    URL: https://www.intechopen.com/books/time-series-analysis-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    Unknown
    Computational Fluid Dynamics : Basic Instruments and Applications in Science (2018)
    Rijeka : InTech
    Details
    Keywords: computational fluid dynamics
    Description / Table of Contents: Chapter 1: High-Performance Computing: Dos and Don’ts by Guillaume Houzeaux, Ricard Borrell, Yvan Fournier, Marta Garcia- Gasulla, Jens Henrik Göbbert, Elie Hachem, Vishal Mehta, Youssef Mesri, Herbert Owen and Mariano Vázquez --- Chapter 2: Multilevel Variable-Block Schur-Complement-Based Preconditioning for the Implicit Solution of the Reynolds- Averaged Navier-Stokes Equations Using Unstructured Grids by Bruno Carpentieri and Aldo Bonfiglioli --- Chapter 3: Free-Surface Flow Simulations with Smoothed Particle Hydrodynamics Method using High-Performance Computing by Corrado Altomare, Giacomo Viccione, Bonaventura Tagliafierro, Vittorio Bovolin, José Manuel Domínguez and Alejandro Jacobo Cabrera Crespo --- Chapter 4: Highly Deforming Computational Meshes for CFD Analysis of Twin-Screw Positive Displacement Machines by Sham Rane, Ahmed Kovačević, Nikola Stošić and Ian Smith --- Chapter 5: Optimization Design by Coupling Computational Fluid Dynamics and Genetic Algorithm by Jong-Taek Oh and Nguyen Ba Chien --- Chapter 6: Applications of CFD for Process Safety by Luis G. Zárate, Sebastián Uribe and Mario E. Cordero --- Chapter 7: Adaptation to Climate Change at Local Scale: A CFD Study in Porto Urban Area by Vera Rodrigues, Sandra Rafael, Sandra Sorte, Sílvia Coelho, Hélder Relvas, Bruno Vicente, Joana Leitão, Myriam Lopes, Ana Isabel Miranda and Carlos Borrego --- Chapter 8: Computational Fluid Dynamics (CFD) Applied to a Glass Vaporization Chamber for Introduction of Micro- or Nano-Size Samples into Lab-Based ICPs and to a CFD-Derived (and Rapidly Prototyped Via 3D Printing) Smaller-Size Chamber for Portable Microplasmas by Hamid R. Badiei, Gordon Stubley, Ryan Fitzgerald, Melanie Saddler and Vassili Karanassios --- Chapter 9: Analysis of Biomass Waste Cofiring into Existing Coal-Fired Power Plant Using Computational Fluid Dynamics by Arif Darmawan, Dwika Budianto, Koji Tokimatsu and Muhammad Aziz --- Chapter 10: CFD Modelling of Coupled Multiphysics-Multiscale Engineering Cases by Mario E. Cordero, Sebastián Uribe, Luis G. Zárate, Reyna Natividad Rangel, Alejandro Regalado-Méndez and Ever Peralta Reyes --- Chapter 11: CFD Analysis of Turbulence Models to Achieve the Digester Mixing Process by Jorge Flores-Velazquez, Abraham Jesus Arzeta-Rios, Waldo Ojeda Bustamante and Teodoro Espinosa-Solares --- Chapter 12: CFD for the Design and Optimization of Slurry Bubble Column Reactors by Omar M. Basha and Badie I. Morsi --- Chapter 13: Two Different Formulations for Solving the Navier-Stokes Equations with Moderate and High Reynolds Numbers by Blanca Bermúdez, Alejandro Rangel-Huerta, Wuiyevaldo Fermín Guerrero-Sánchez and José David Alanís --- Chapter 14: Vibration Characteristics of Fluid-Filled Functionally Graded Cylindrical Material with Ring Supports by Muzamal Hussain, Aamir Shahzad, Muhammad Nawaz Naeem and Maogang He --- Chapter 15: CFD Simulations of Crude Oil Fouling on Heat Transfer Surfaces by Ramasamy Marappa Gounder and Sampath Emani --- Chapter 16: Surrogate Model Applied for Analysis of Uncertain Parameters in Turbulent Mixing Flows by Boštjan Končar, Andrej Prošek and Matjaž Leskovar
    Pages: Online-Ressource (410 Seiten)
    ISBN: 9789535137917
    URL: https://www.intechopen.com/books/computational-fluid-dynamics-basic-instruments-and-applications-in-science
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    Unknown
    Elements of Robotics (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Artificial intelligence ; Algorithms ; Robotics ; Automation ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Algorithms ; Robotics and Automation
    Description / Table of Contents: Robots and their Applications --- Sensors --- Reactive Behavior --- Finite State Machines --- Robotic Motion and Odometry --- Control --- Local Navigation: Obstacle Avoidance --- Localization --- Mapping --- Mapping-based Navigation --- Fuzzy Logic Control --- Image Processing --- Neural Networks --- Machine Learning --- Swarm Robotics --- Kinematics of a Robotic Manipulator --- Appenix A:Units of Measurement --- Appendix B:Mathematical Derivations and Tutorials --- Index
    Pages: Online-Ressource (XVI, 308 pages) , 198 illustrations, 76 illustrations in color
    ISBN: 9783319625331
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-62533-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    Language Technologies for the Challenges of the Digital Age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Data mining ; Artificial intelligence ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Document Preparation and Text Processing ; Artificial Intelligence (incl. Robotics) ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Reconstruction of Separable Particle Verbs in a Corpus of Spoken German --- Detecting Vocal Irony --- The Devil is in the Details: Parsing Unknown German Words --- Exploring Ensemble Dependency Parsing to Reduce Manual Annotation Workload --- Different German and English Co-reference Resolution Models for Multi-Domain Content Curation Scenarios --- Word and Sentence Segmentation in German: Overcoming Idiosyncrasies in the Use of Punctuation in Private Communication --- Fine-Grained POS Tagging of German Social Media and Web Texts --- Developing a Stemmer for German Based on a Comparative Analysis of Publicly Available Stemmers --- Negation Modeling for German Polarity Classification --- NECKAr: A Named Entity Classifier for Wikidata --- Investigating the Morphological Complexity of German Named Entities: The Case of the GermEval NER Challenge --- Detecting Named Entities and Relations in German Clinical Reports --- In-Memory Distributed Training of Linear-Chain Conditional Random Fields with an Application to Fine-Grained Named Entity Recognition --- What does this imply? Examining the Impact of Implicitness on the Perception of Hate Speech --- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication --- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource --- How Social Media Text Analysis Can Inform Disaster Management --- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks --- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena --- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors --- Twitter Geolocation Prediction Using Neural Networks --- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy --- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems --- Supporting Sustainable Process Documentation --- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information --- Using Argumentative Structure to Grade Persuasive Essays
    Pages: Online-Ressource (XIII, 310 pages) , 54 illustrations
    ISBN: 9783319737065
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73706-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Logic design ; Computer organization ; Operating systems (Computers) ; Computers ; Computer Science ; Computing Methodologies ; Computer Systems Organization and Communication Networks ; Operating Systems ; Logic Design ; Information Systems and Communication Service
    Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU
    Pages: Online-Ressource (X, 293 pages) , 121 illustrations
    ISBN: 9783319699530
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69953-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    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
  • 23
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XIX, 703 pages) , 146 illustrations
    ISBN: 9783319961453
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96145-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    Unknown
    Medical Imaging Systems : An Introductory Guide (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer graphics ; Computer Science ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Introduction --- System Theory --- Image Processing --- Endoscopy --- Microscopy --- Magnetic Resonance Imaging --- X-ray Imaging --- Computed Tomography --- X-ray Phase Contrast: Research on a Future Imaging Modality --- Emission Tomography --- Ultrasound --- Optical Coherence Tomography --- Acronyms.
    Pages: Online-Ressource (X, 259 pages) , 167 illustrations
    ISBN: 9783319965208
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96520-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    Unknown
    Zukunft der Arbeit – Eine praxisnahe Betrachtung (2018)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Robotics ; Automation ; Industrial engineering ; Production engineering ; Economic sociology ; Engineering ; Industrial and Production Engineering ; Organizational Studies, Economic Sociology ; Robotics and Automation
    Description / Table of Contents: Einleitung --- Prognostizierte Veränderungen der gestaltbaren Arbeitssystemdimensionen --- Systeme zur Assistenz und Effizienzsteigerung in manuellen Produktionsprozessen der Industrie auf Basis von Projektion und Tiefendatenerkennung --- Betriebliche Auswirkungen industrieller Servicerobotik am Beispiel der Kleinteilemontage --- Erweiterte Horizonte – Ein technischer Blick in die Zukunft der Arbeit --- Soziotechnische Assistenzsysteme für die Produktionsarbeit in der Textilbranche --- Lernförderliche Arbeitssysteme für die Arbeitswelt von morgen --- Assistenz und Wissensvermittlung am Beispiel von Montage- und Instandhaltungstätigkeiten --- Der Mensch in Interaktion mit autonomen Planungs- und Steuerungssystemen für Cyber-Physische Produktionssysteme --- ReApp – Wiederverwendbare Roboterapplikationen für flexible Roboteranlagen - Auswirkungen der Ergebnisse aus ReApp auf betriebliche Funktionen am Beispiel eines Anwendungsfalls in der Elektroindustrie --- Modellierungsansatz für ein arbeitsplatznahes Beschreibungsmodell der »Arbeitswelt Industrie 4.0 --- Die Zukunft der Arbeit im demografischen Wandel --- “Social Manufacturing and Logistics“ – Arbeit in der digitalisierten Produktion --- Lernförderliche Arbeitsorganisation in der Industrie 4.0 --- Decision Support Pipelines – Durchgängige Datenverarbeitungsinfrastrukturen für die Entscheidungen von morgen --- Gerechtigkeit in flexiblen Arbeits- und Managementprozessen --- Technologie, Organisation, Qualifikation
    Pages: Online-Ressource (XI, 246 Seiten) , 62 Abbildungen, 56 Abbildungen in Farbe
    ISBN: 9783662492666
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-49266-6
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    Unknown
    Ganzheitliche Digitalisierung von Prozessen : Perspektivenwechsel – Design Thinking – Wertegeleitete Interaktion (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Management ; Industrial management ; Information technology ; Business ; Data processing ; Computers ; Computer Science ; Information Systems and Communication Service ; Innovation/Technology Management ; IT in Business
    Description / Table of Contents: Modelle --- Modellierungssprachen --- Vorgehensweise von der Modellbildung zur Digitalisierung --- Vorbereitung der Prozessimplementierung --- Umsetzung --- Praxisbeispiel
    Pages: Online-Ressource (X, 254 Seiten) , 143 Abbildungen, 69 Abbildungen in Farbe
    ISBN: 9783658226480
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-22648-0
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    Unknown
    Machine Learning for Data Streams : with Practical Examples in MOA (2018)
    Cambridge, MA : MIT Press
    Details
    Keywords: machine learning; KI; ML
    Description / Table of Contents: A hands-on approach to tasks and techniques in data stream mining and real-time analytics, with examples in MOA, a popular freely available open-source software framework. Today many information sources—including sensor networks, financial markets, social networks, and healthcare monitoring—are so-called data streams, arriving sequentially and at high speed. Analysis must take place in real time, with partial data and without the capacity to store the entire data set. This book presents algorithms and techniques used in data stream mining and real-time analytics. Taking a hands-on approach, the book demonstrates the techniques using MOA (Massive Online Analysis), a popular, freely available open-source software framework, allowing readers to try out the techniques after reading the explanations. The book first offers a brief introduction to the topic, covering big data mining, basic methodologies for mining data streams, and a simple example of MOA. More detailed discussions follow, with chapters on sketching techniques, change, classification, ensemble methods, regression, clustering, and frequent pattern mining. Most of these chapters include exercises, an MOA-based lab session, or both. Finally, the book discusses the MOA software, covering the MOA graphical user interface, the command line, use of its API, and the development of new methods within MOA. The book will be an essential reference for readers who want to use data stream mining as a tool, researchers in innovation or data stream mining, and programmers who want to create new algorithms for MOA.
    Pages: Online-Ressource (XXI, 262 Seiten) , Illustrationen, Diagramme
    ISBN: 9780262346047
    URL: https://direct.mit.edu/books/book/4475/Machine-Learning-for-Data-Streamswith-Practical
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    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
  • 29
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    Musical Haptics (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Music ; Consciousness ; User Interfaces and Human Computer Interaction ; Music ; Cognitive Psychology
    Description / Table of Contents: Introduction --- Part 1- Haptics in Musical Interaction: Psychophysics and User Experience --- A Brief Overview of the Somatosensory System --- Once More with Feeling: The Dynamics of Performer-Instrument Interaction --- Perception of Vibrotactile Cues in Musical Performance --- The Role of Haptic Cues in Musical Instrument Quality Perception --- A Functional Analysis of Haptic Feedback in Digital Musical Instrument Interactions --- Auditory-Tactile Experience of Music --- Part II - Haptic Musical Interfaces: Design and Applications --- The MSCI Platform: A Framework for the Design and Simulation of Multisensory Virtual Musical Instruments --- Implementation and Characterization of Vibrotactile Interfaces --- Touchscreens and Musical Interaction --- Design of Vibrotactile Feedback --- Haptic Force-Feedback Instruments for the Laptop Orchestra of Louisiana --- Haptics for the Development of Fundamental Rhythm Skills Including Multi-Limb Coordination
    Pages: Online-Ressource (XV, 285 pages) , 107 illustrations, 58 illustrations in color
    ISBN: 9783319583167
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-58316-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    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
  • 32
    Unknown
    Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Computer system failures ; Coding theory ; E-commerce ; Computer Science ; Computer Communication Networks ; System Performance and Evaluation ; Special Purpose and Application-Based Systems ; Information Systems Applications (incl. Internet) ; Coding and Information Theory ; e-Commerce/e-business
    Description / Table of Contents: State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services --- Context Monitoring for Improved System Performance and QoE --- QoE Management for Future Networks --- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management --- Lag Compensation for First Person Shooter Games in Cloud Gaming --- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios --- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems --- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments --- Integrating SDN and NFV with QoS-aware Service Composition --- Energy vs. QoX Network- and Cloud Services Management --- Traffic Management for Cloud Federation --- Efficient Simulation of IoT Cloud Use Cases --- Security of Internet of Things for Reliable Internet of Services --- TCP performance over current cellular access: A comprehensive analysis
    Pages: Online-Ressource (XVI, 401 pages) , 120 illustrations
    ISBN: 9783319904153
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-90415-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    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
  • 34
    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
  • 35
    Unknown
    Security in Computer and Information Sciences : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Data encryption (Computer science) ; Computer Science ; Security ; Information Systems Applications (incl. Internet) ; Data Encryption ; Special Purpose and Application-Based Systems ; Computer Communication Networks
    Description / Table of Contents: Security of distributed interconnected systems --- Security of software systems --- Security of the Internet of Things
    Pages: Online-Ressource (XII, 159 pages) , 33 illustrations
    ISBN: 9783319951898
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-95189-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    Unknown
    Forest Soil Respiration under Climate Changing (2018)
    Basel, Beijing, Wuhan : MDPI
    Details
    Keywords: soil respiration ; autotrophic respiration ; heterotrophic respiration ; disturbance ; modeling
    Description / Table of Contents: The Role of Respiration in Estimation of Net Carbon Cycle: Coupling Soil Carbon Dynamics and Canopy Turnover in a Novel Version of 3D-CMCC Forest Ecosystem Model / Forests 2017, 8(6), 220; https://doi.org/10.3390/f8060220 --- Climate Impacts on Soil Carbon Processes along an Elevation Gradient in the Tropical Luquillo Experimental Forest / Forests 2017, 8(3), 90; https://doi.org/10.3390/f8030090 --- Partitioning Forest‐Floor Respiration into Source Based Emissions in a Boreal Forested Bog: Responses to Experimental Drought / Forests 2017, 8(3), 75; https://doi.org/10.3390/f8030075 --- Elevated CO2 and Tree Species Affect Microbial Activity and Associated Aggregate Stability in Soil Amended with Litter / Forests 2017, 8(3), 70; https://doi.org/10.3390/f8030070 --- Effect of Soil Moisture on the Response of Soil Respiration to Open-Field Experimental Warming and Precipitation Manipulation / Forests 2017, 8(3), 56; https://doi.org/10.3390/f8030056 --- Temporal Variability of Soil Respiration in Experimental Tree Plantations in Lowland Costa Rica / Forests 2017, 8(2), 40; https://doi.org/10.3390/f8020040 --- Spatial Upscaling of Soil Respiration under a Complex Canopy Structure in an Old‐Growth Deciduous Forest, Central Japan / Forests 2017, 8(2), 36; https://doi.org/10.3390/f8020036 --- Heterotrophic Soil Respiration Affected by Compound Fertilizer Types in Red Pine (Pinus densiflora S. et Z.) Stands of Korea / Forests 2016, 7(12), 309; https://doi.org/10.3390/f7120309 --- Optimization Forest Thinning Measures for Carbon Budget in a Mixed Pine-Oak Stand of the Qingling Mountains, China: A Case Study / Forests 2016, 7(11), 272; https://doi.org/10.3390/f7110272 --- Mitigating the Stress of Drought on Soil Respiration by Selective Thinning: Contrasting Effects of Drought on Soil Respiration of Two Oak Species in a Mediterranean Forest / Forests 2016, 7(11), 263; https://doi.org/10.3390/f7110263 --- Seasonal Variation in Soil Greenhouse Gas Emissions at Three Age-Stages of Dawn Redwood (Metasequoia glyptostroboides) Stands in an Alluvial Island, Eastern China / Forests 2016, 7(11), 256; https://doi.org/10.3390/f7110256 --- Erratum: Spatial Upscaling of Soil Respiration under a Complex Canopy Structure in an Old-Growth Deciduous Forest, Central Japan; Forests 2017, 8, 36 / Forests 2017, 8(3), 71; https://doi.org/10.3390/f8030071
    Pages: Online-Ressource (IX, 174 Seiten) , Illustrationen, Diagramme
    Edition: Printed Edition of the Special Issue Published in Forests
    ISBN: 9783038971795
    URL: https://www.mdpi.com/books/pdfview/book/762
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    Unknown
    Cracking Codes with Python : An Introduction to Building and Breaking Ciphers (2018)
    San Francisco, CA : No Starch Press
    Details
    Keywords: Python ; programming
    Description / Table of Contents: Introduction --- Chapter 1 - Making Paper Cryptography Tools --- Chapter 2 -Programming in the Interactive Shell --- Chapter 3 - Strings and Writing Programs --- Chapter 4 - The Reverse Cipher --- Chapter 5 - The Caesar Cipher --- Chapter 6 - Hacking the Caesar Cipher with Brute-Force --- Chapter 7 - Encrypting with the Transposition Cipher --- Chapter 8 - Decrypting with the Transposition Cipher --- Chapter 9 - Programming a Program to Test Your Program --- Chapter 10 - Encrypting and Decrypting Files --- Chapter 11 - Detecting English Programmatically --- Chapter 12 - Hacking the Transposition Cipher --- Chapter 13 - A Modular Arithmetic Module for the Affine Cipher --- Chapter 14 - Programming the Affine Cipher --- Chapter 15 - Hacking the Affine Cipher --- Chapter 16 - Programming the Simple Substitution Cipher --- Chapter 17 - Hacking the Simple Substitution Cipher --- Chapter 18 - Programming the Vigenere Cipher --- Chapter 19 - Frequency Analysis --- Chapter 20 - Hacking the Vigenere Cipher --- Chapter 21 - The One-Time Pad Cipher --- Chapter 22 - Finding and Generating Prime Numbers --- Chapter 23 - Generating Keys for the Public Key Cipher --- Chapter 24 - Programming the Public Key Cipher
    Pages: Online-Ressource (416 Seiten) , Illustrationen, Diagramme
    Edition: 2nd edition
    ISBN: 9781593278229
    URL: https://inventwithpython.com/cracking/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    Unknown
    Kalman Filters : Theory for Advanced Applications (2018)
    Rijeka : InTech
    Details
    Keywords: Kalman filter
    Description / Table of Contents: Chapter 1: A Reference Recursive Recipe for Tuning the Statistics of the Kalman Filter by Mudambi R Ananthasayanam --- Chapter 2: The Error Covariance Matrix Inflation in Ensemble Kalman Filter by Guocan Wu and Xiaogu Zheng --- Chapter 3: Unscented Kalman Filter for State and Parameter Estimation in Vehicle Dynamics by Mark Wielitzka, Alexander Busch, Matthias Dagen and Tobias Ortmaier --- Chapter 4: Sensitivity-Based Adaptive SRUKF for State, Parameter, and Covariance Estimation on Mechatronic Systems by Mauro Hernán Riva, Mark Wielitzka and Tobias Ortmaier --- Chapter 5: Kalman Filters for Parameter Estimation of Nonstationary Signals by Sarita Nanda --- Chapter 6: Kalman Filter Models for the Prediction of Individualised Thermal Work Strain by Jia Guo, Ying Chen, Weiping Priscilla Fan, Si Hui Maureen Lee, Junxian Ong, Poh Ling Tan, Yu Li Lydia Law, Kai Wei Jason Lee and Kok-Yong Seng --- Chapter 7: Application of Kalman Filtering in Dynamic Prediction for Corporate Financial Distress by Qian Zhuang --- Chapter 8: Predicting Collisions in Mobile Robot Navigation by Kalman Filter by Angel Sánchez, Homero Ríos, Gustavo Quintana and Antonio Marín --- Chapter 9: Efficient Matrix-Free Ensemble Kalman Filter Implementations: Accounting for Localization by Elias David Niño Ruiz, Rolando Beltrán Arrieta and Alfonso Manuel Mancilla Herrera --- Chapter 10: Kalman Filters for Reference Current Generation in Shunt Active Power Filter (APF) by Ahmad Shukri Bin Abu Hasim, Syed Mohd Fairuz Bin Syed Mohd Dardin and Zulkifilie Bin Ibrahim --- Chapter 11: Applications of Kalman Filters for Coherent Optical Communication Systems by Lalitha Pakala and Bernhard Schmauss --- Chapter 12: Kalman Filter for Moving Object Tracking: Performance Analysis and Filter Design by Kenshi Saho --- Chapter 13: Distributed Kalman Filter by Felix Govaers --- Chapter 14: Consensus-Based Distributed Filtering for GNSS by Amir Khodabandeh, Peter J.G. Teunissen and Safoora Zaminpardaz
    Pages: Online-Ressource (314 Seiten)
    ISBN: 9789535138280
    URL: https://www.intechopen.com/books/kalman-filters-theory-for-advanced-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    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
  • 41
    Unknown
    Forest Soil Respiration under Climate Changing (2018)
    Basel, Beijing, Wuhan, Barcelona, Belgrade : MDPI
    Details
    Keywords: soil respiration ; autotrophic respiration ; heterotrophic respiration ; disturbance ; modeling
    Description / Table of Contents: Yin, S.; Zhang, X.; Pumpanen, J.; Shen, G.; Xiong, F.; Liu, C. Seasonal Variation in Soil Greenhouse Gas Emissions at Three Age-Stages of Dawn Redwood (Metasequoia glyptostroboides) Stands in an Alluvial Island, Eastern China. Forests 2016, 7(11), 256; https://doi.org/10.3390/f7110256 --- Chang, C.; Sperlich, D.; Sabaté, S.; Sánchez-Costa, E.; Cotillas, M.; Espelta, J.; Gracia, C. Mitigating the Stress of Drought on Soil Respiration by Selective Thinning: Contrasting Effects of Drought on Soil Respiration of Two Oak Species in a Mediterranean Forest. Forests 2016, 7(11), 263; https://doi.org/10.3390/f7110263 --- Hou, L.; Li, Z.; Luo, C.; Bai, L.; Dong, N. Optimization Forest Thinning Measures for Carbon Budget in a Mixed Pine-Oak Stand of the Qingling Mountains, China: A Case Study. Forests 2016, 7(11), 272; https://doi.org/10.3390/f7110272 --- Jeong, J.; Bolan, N.; Kim, C. Heterotrophic Soil Respiration Affected by Compound Fertilizer Types in Red Pine (Pinus densiflora S. et Z.) Stands of Korea. Forests 2016, 7(12), 309; https://doi.org/10.3390/f7120309 --- Suchewaboripont, V.; Ando, M.; Yoshitake, S.; Iimura, Y.; Hirota, M.; Ohtsuka, T. Spatial Upscaling of Soil Respiration under a Complex Canopy Structure in an Old‐Growth Deciduous Forest, Central Japan. Forests 2017, 8(2), 36; https://doi.org/10.3390/f8020036 --- Raich, J. Temporal Variability of Soil Respiration in Experimental Tree Plantations in Lowland Costa Rica. Forests 2017, 8(2), 40; https://doi.org/10.3390/f8020040 --- Li, G.; Kim, S.; Han, S.; Chang, H.; Son, Y. Effect of Soil Moisture on the Response of Soil Respiration to Open-Field Experimental Warming and Precipitation Manipulation. Forests 2017, 8(3), 56; https://doi.org/10.3390/f8030056 --- Al‐Maliki, S.; Jones, D.; Godbold, D.; Gwynn‐Jones, D.; Scullion, J. Elevated CO2 and Tree Species Affect Microbial  Activity and Associated Aggregate Stability in Soil  Amended with Litter. Forests 2017, 8(3), 70; https://doi.org/10.3390/f8030070 --- Forests Editorial Office Erratum: Spatial Upscaling of Soil Respiration under a Complex Canopy Structure in an Old-Growth Deciduous Forest, Central Japan; Forests 2017, 8, 36. Forests 2017, 8(3), 71; https://doi.org/10.3390/f8030071 --- Munir, T.; Khadka, B.; Xu, B.; Strack, M. Partitioning Forest‐Floor Respiration into Source  Based Emissions in a Boreal Forested Bog: Responses  to Experimental Drought. Forests 2017, 8(3), 75; https://doi.org/10.3390/f8030075 --- Chen, D.; Yu, M.; González, G.; Zou, X.; Gao, Q. Climate Impacts on Soil Carbon Processes along an Elevation Gradient in the Tropical Luquillo Experimental Forest. Forests 2017, 8(3), 90; https://doi.org/10.3390/f8030090 --- Marconi, S.; Chiti, T.; Nolè, A.; Valentini, R.; Collalti, A. The Role of Respiration in Estimation of Net Carbon Cycle: Coupling Soil Carbon Dynamics and Canopy Turnover in a Novel Version of 3D-CMCC Forest Ecosystem Model. Forests 2017, 8(6), 220; https://doi.org/10.3390/f8060220
    Pages: Online-Ressource (IX, 174 Seiten) , Illustrationen, Diagramme, Karten
    Edition: Printed Edition of the Special Issue Published in Forests
    ISBN: 9783038971795
    URL: https://www.mdpi.com/books/pdfview/book/762
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    Unknown
    Soil Productivity Enhancement (2018)
    Rijeka : InTech
    Details
    Keywords: soil science ; soil fertility ; waste
    Description / Table of Contents: 1. Organic Fertilizers and Nutrient Recycling from Diluted Waste Streams / by Bente Foereid --- 2. Olive-Pressed Solid Residues as a Medium for Growing Mushrooms and Increasing Soil Fertility / by Hani Mohamed Awad Abdelzaher, Haifa Abdulaziz S. Alhaithloul and Shaima Mohamed Nabil Moustafa --- 3. Composing of Municipal Solid Waste and Its Use as Fertilizer / by Muhammad Khalid Iqbal --- 4. Relationship of Agronomic Practices to Soil Nitrogen Dynamics / by Congming Zou, Robert C Pearce, John H Grove, Yan Li, Xiaodong Hu, Jie Chen, Junying Li and Yan Jin --- 5. Fostering Fertilizer Use and Welfare Distribution in Tanzania: Implications for Policy and Practice / by Lutengano Mwinuka
    ISBN: 9781789846799
    URL: https://www.intechopen.com/books/soil-productivity-enhancement
    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...