Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution evolution plans ))))
-
241
Big data for dummies
Published: Wiley, 2013Contents: “…Grasping the fundamentals of big data -- Examining big data types -- Old meets new: distributed computing -- Digging into the big data technology components -- Virtualization and how it supports distributed computing -- Examining the cloud and big data -- Operational databases -- MapReduce fundamentals -- Exploring the world of Hadoop -- The Hadoop foundation and ecosystem -- Appliances and big data warehouses -- Defining big data analytics -- Understanding text analytics and big data -- Customized approaches for analysis of big data -- Integrating data sources -- Dealing with real-time data streams and complex event processing -- Operationalizing big data -- Applying big data within your organization -- Security and governance for big data environments -- The importance of big data to business -- Analyzing data in motion: a real-world view -- Improving business processes with big data analytics: a real-world view -- Ten big data best practices -- Ten great big data resources -- Ten big data do's and don'ts.…”Description: 1 online resource (xii, 312 pages) : illustrations.
Prospector EBL - Click here for access
Electronic eBook -
242
Water-energy-nexus in the ecological transition : natural-based solutions, advanced technologies and best practices for environmental sustainability
Published: Springer, 2022Contents: “…Cost-Benefit Analysis and Multi-criteria Assessments to Support the Decision-Making Processes -- Sustainability and Energy Efficiency in Twentieth-Century Italian Built Heritage -- Long-Term Effects Evaluation for Investments in the Energy and Water Sectors -- Economic Sustainability of Direct Energy Efficiency Investments for Gas and Energy Distributors to Comply with the PAEE (Italian National Plan for Energy Efficiency) -- Technical-economic Analysis of Novel Generation Aquaponic System for a Sustainable Development -- Cost Control in the Construction of Water Distribution and Collection Networks: Verification of a Multivariate Model Through Application to Case Studies -- How Can We Use the Water Cost Instrument in a Scarcity Scenario for the Power Sector in Brazil? …”Description: 1 online resource (xviii, 481 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
243
Ubiquitous computing application and wireless sensor : UCAWSN-14
Published: Springer, 2015Contents: “…-W. Lin, P.-H. Wang -- A New Distributed Grid Scheme utilizing Node-based Preprocessing Technique for Supporting k-NN Queries; H. …”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
244
Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings
Published: Springer, 2007Contents: “…Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems -- A Case Study -- Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety -- Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety -- Future Perspectives: The Car and Its IP-Address -- A Potential Safety and Security Risk Assessment -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1 -- Handling Malicious Code on Control Systems -- Management of Groups and Group Keys in Multi-level Security Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems -- RAMSS Analysis for a Co-operative Integrated Traffic Management System -- Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System -- Compositional Temporal Fault Tree Analysis -- Representing Parameterised Fault Trees Using Bayesian Networks -- Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model -- Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety -- Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation -- Survival by Deception -- How to Secure Bluetooth-Based Pico Networks -- Learning from Your Elders: A Shortcut to Information Security Management Success -- Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees -- Poster Session 2 -- Safety Process Improvement with POSE and Alloy -- Defense-in-Depth and Diverse Qualification of Safety-Critical Software -- Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer -- Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches -- Modeling, Analysis and Testing of Safety Issues -- An Event-Based Approach and Case Study -- A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications -- Safety Demonstration and Software Development -- Improving Test Coverage for UML State Machines Using Transition Instrumentation -- Verification of Distributed Applications -- Analysis of Combinations of CRC in Industrial Communication -- A Comparison of Partitioning Operating Systems for Integrated Systems -- Software Encoded Processing: Building Dependable Systems with Commodity Hardware -- Reliability Modeling for the Advanced Electric Power Grid -- Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay -- A Reliability Evaluation of a Group Membership Protocol -- Poster Session 3 -- Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity -- A Tool for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development of Model Based Tools to Support the Design of Railway Control Applications -- Formal Specification and Analysis of AFDX Redundancy Management Algorithms -- Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts -- Using Deductive Cause-Consequence Analysis (DCCA) with SCADE -- Experimental Assessment of Astrée on Safety-Critical Avionics Software -- Detection of Runtime Errors in MISRA C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements -- Controller Architecture for Safe Cognitive Technical Systems -- Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software.…”Description: 1 online resource (x, 548 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
245
Software architectures and tools for computer aided process engineering
Published: Elsevier, 2002Elsevier - Click here for accessDescription: 1 online resource (xii, 700 pages) : illustrations.
eBook -
246
Spatio-temporal data streams
Published: Springer, 2016Contents: “…2.5 Implementation2.5.1 User-Defined Aggregate Functions; 2.5.2 SQL-Like Language Embedding: CSQL; References; 3 Spatio-Temporal Data Streams and Big Data Paradigm; 3.1 Background; 3.2 MobyDick -- A Prototype of Distributed Framework #x83;; 3.2.1 Data Model; 3.2.2 Apache Flink; 3.2.3 Spatio-Temporal Queries; 3.3 Related Work; 3.3.1 Distributed Spatial and Spatio-Temporal Batch Systems; 3.3.2 Centralized DSMS-Based Systems; 3.3.3 Distributed DSMS-Based Systems; 3.4 Final Remarks; References; 4 Spatio-Temporal Data Stream Clustering; 4.1 Introduction; 4.1.1 Spatio-Temporal Clustering.…”Description: 1 online resource (xiv, 107 pages) : illustrations.
SpringerLink - Click here for access
eBook -
247
Sources in the development of mathematics : infinite series and products from the fifteenth to the twenty-first century
Published: Cambridge University Press, 2011Contributor biographical informationDescription: xix, 974 pages : illustrations ; 26 cm.
Publisher description
Table of contents only
Book -
248
Network convergence : Ethernet applications and next generation packet transport architectures
Published: Morgan Kaufmann, 2013Elsevier - Click here for accessDescription: 1 online resource.
eBook -
249
Breaking the Wall of Tropical Diseases How the Tropical Laboratory Initiative Is Increasing Access to Health Care in Low-Resource Countries
Published: Infobase, 2013Films on Demand - Click here for accessDescription: 1 streaming video file (17 min.) : sd., col.
Video -
250
CyberSecurity
Published: Infobase, 2007Films on Demand - Click here for accessDescription: 1 streaming video file (21 min.) : sd., col., digital file + instructional materials (online)
Video -
251
Mathematical analysis in interdisciplinary research
Published: Springer, 2022Contents: “…Gal) -- Variational Inequalities and General Equilibrium models (Milasi) -- The strong convergence of Douglas-Rachford methods for the split feasibility problem (Dong) -- Some Triple Integral Inequalities for Functions Defined on 3-Dimensional Bodies Via Gauss-Ostrogradsky Identity (Dragomir) -- Optimal emergency evacuation with uncertainty (Scrimali) -- On Global Hyperbolicity of Spacetimes: Some Recent Advances and Open Problems (Papadopoulos) -- Spectrum Perturbations of Linear Operators in a Banach Space (Gil) -- Perturbations of Operator Functions. …”Description: 1 online resource (1 volume) : illustrations (black and white, and color).
SpringerLink - Click here for access
eBook -
252
C quick syntax reference
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource (xv, 75 pages).
eBook -
253
Beginning Python visualization : crafting visual transformation scripts Second edition.
Published: Apress, 2014Contents: “…CygwinVirtual Machines; Choosing an Operating System; Then Again, Why Choose? Using Several Operating Systems; The Python Environment; Versions; Python; Python Distributions with Scientific Packages; Python Integrated Development Environments; IDLE; IPython; IPython Notebook; Spyder; Scientific Computing; NumPy; SciPy; Matplotlib; Image Processing; PySerial; Manually Installing a Python Package; Installation Summary; Additional Applications; Editors; Selecting the Proper Editor for You; A Short List of Text Editors; Spreadsheets; Word Processors; Image Viewers; Version-Control Systems.…”Description: 1 online resource (xxvii, 385 pages) : illustrations.
SpringerLink - Click here for access
eBook -
254
Automated workflow scheduling in self-adaptive clouds : concepts, algorithms and methods
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
255
Transitioning to Swift
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xv, 240 pages) : illustrations.
eBook -
256
Current topics in artificial intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Paper...
Published: Springer-Verlag, 2010Contents: “…Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics -- Evolutive Algorithms and Neural Networks -- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems -- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis -- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models -- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words -- Knowledge Representation and Engineering -- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL -- Base Belief Change for Finitary Monotonic Logics -- Common Pitfalls in Ontology Development -- Machine Learning -- Obtaining Optimal Class Distribution for Decision Trees: Comparative Analysis of CTC and C4.5 -- Selecting Few Genes for Microarray Gene Expression Classification -- Sequential Pattern Mining in Multi-relational Datasets -- CBR Outcome Evaluation for High Similar Cases: A Preliminary Approach -- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity -- Automated Constraint Selection for Semi-supervised Clustering Algorithm -- Multiagents -- Empirical Hardness for Mixed Auctions -- Developing Strategies for the ART Domain -- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack -- Natural Language -- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger -- Planning -- A Look-Ahead B&B Search for Cost-Based Planning -- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times -- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound -- Tutoring Systems -- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks -- Uncertainty: Bayesian Networks -- Recursive Probability Trees for Bayesian Networks -- Vision -- Generating Saliency Maps Using Human Based Computation Agents -- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation -- Applications -- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts -- Expert System to Real Time Control of Machining Processes -- A Flexible System for Document Processing and Text Transcription.…”Description: 1 online resource (xii, 302 pages).
SpringerLink - Click here for access
eBook -
257
Mac programming for absolute beginners
Published: Apress ; Distributed to the Book trade worldwide by Springer Science+Business Media, 2011SpringerLink - Click here for accessDescription: 1 online resource (xvi, 398 pages) : illustrations.
eBook -
258
Modernization of electric power systems : energy efficiency and power quality
Published: Springer, 2023Contents: SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
259
Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings
Published: Springer, 2005SpringerLink - Click here for accessDescription: 1 online resource (xiii, 404 pages) : illustrations.
Conference Proceeding eBook -
260
Risks and security of internet and systems : 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised selected papers
Published: Springer, 2019Contents: “…An Empirical Study on the Comprehensibility of Graphical Security Risk Models Based on Sequence Diagrams -- Are Third-Party Libraries Secure? A Software Library Checker for Java -- A prediction-based method for False Data Injection Attacks Detection in Industrial Control Systems -- Outsourcing Signatures of Confidential Documents -- Trust evaluation model for attack detection in Social Internet of Things -- A certificate-less key exchange protocol for IoT -- Personalized, Browser-based Visual Phishing Detection Based on Deep Learning -- Privacy Preserving Data Offloading based on Transformation -- DSTC: DNS-based Strict TLS Configurations -- Authenticated Quality of Service Aware Routing in Software Defined Networks -- On Consent in Online Social Networks: Privacy Impacts and Research Directions (Short Paper) -- Enhancing Collaboration between Security Analysts in Security Operations Centers -- RIICS: Risk based IICS segmentation Method -- Effectiveness and Impact measurements of a diversification based Moving Target Defense -- Practical security exploits of the FlexRay in-vehicle communication Protocol -- Connection Dumping Vulnerability Affecting Bluetooth Availability -- A Systematic Method to Describe and Identify Security Threats Based on Functional Requirements -- Optimal Distribution of Privacy Budget in Differential Privacy.…”Description: 1 online resource (x, 237 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook