Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((((operational plan) OR (national plan))) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))

Mobile, Secure, and Programmable Networking : 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23-24, 2019, Revised Selected Papers by MSPN (Conference) Mohammedia, Morocco), SpringerLink (Online service)

SpringerLink - Click here for access

Advances in dependability engineering of complex systems : proceedings of the twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2017,... by International Conference on Dependability of Computer Systems Brunów, Poland, SpringerLink (Online service)

SpringerLink - Click here for access

Big data for dummies by Hurwitz, Judith

Contents: “…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.…”
Prospector EBL - Click here for access

Ubiquitous computing application and wireless sensor : UCAWSN-14 by FTRA International Conference on Ubiquitous Computing Application and Wireless Sensor Network Cheju-do, Korea, SpringerLink (Online service)

Contents: “…-W. Lin, P.-H. Wang -- A New Distributed Grid Scheme utilizing Node-based Preprocessing Technique for Supporting k-NN Queries; H. …”
SpringerLink - Click here for access

Knowledge-based and intelligent information and engineering systems : 14th international conference, KES 2010, Cardiff, UK, September 8-10, 2010, proceedings. Part I by International Conference on Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies Cardiff, Wales, SpringerLink (Online service)

Contents: “…Keynote Talks -- Evolving Integrative Brain-, Gene-, and Quantum Inspired Systems for Computational Intelligence and Knowledge Engineering -- A Semiotic View of Social Intelligence for Realizing Human-Machine Symbiotic Systems -- Embracing Uncertainty: The New Machine Intelligence -- Exploiting Social Structures and Social Networks -- Knowledge Visualization for Engineered Systems -- Proximity-Based Federation of Smart Objects: Liberating Ubiquitous Computing from Stereotyped Application Scenarios -- Artificial Neural Networks, Connectionists Systems and Evolutionary Computation -- A Neural Network Model to Develop Urban Acupuncture -- Discovering Process Models with Genetic Algorithms Using Sampling -- A Multi-Objective Evolutionary Approach for the Antenna Positioning Problem -- CLONAL-GP Framework for Artificial Immune System Inspired Genetic Programming for Classification -- Solving Industrial Based Job-Shop Scheduling Problem by Distributed Micro-Genetic Algorithm with Local Search -- Data Mining via Rules Extracted from GMDH: An Application to Predict Churn in Bank Credit Cards -- Sensitivity Analysis and Automatic Calibration of a Rainfall-Runoff Model Using Multi-objectives -- University Course Timetabling Using ACO: A Case Study on Laboratory Exercises -- Machine Learning and Classical AI -- Nonparametric Statistical Analysis of Machine Learning Algorithms for Regression Problems -- Adaptive Learning of Nominal Concepts for Supervised Classification -- A Novel Approach of Process Mining with Event Graph -- A Classification Algorithm for Process Sequences Based on Markov Chains and Bayesian Networks -- Coaching to Enhance the Online Behavior Learning of a Robotic Agent -- Agent and Multi-agent Systems -- Cooperation of AGVs' Head-on Collision Avoidance by Knowledge Exchange in Autonomous Decentralized FMS -- A Log Analyzer Agent for Intrusion Detection in a Multi-Agent System -- A Proof System for Time-Dependent Multi-agents -- Toward Emotional E-Commerce: Formalizing Agents for a Simple Negotiation Protocol -- Distributed Ant Colony Clustering Using Mobile Agents and Its Effects -- Monitoring a Multi-Agent System Evolution through Iterative Development -- An Agent for Ecological Deliberation -- A Framework to Compute Inference Rules Valid in Agents' Temporal Logics -- Statecharts-Based JADE Agents and Tools for Engineering Multi-Agent Systems -- Telco Agent: Enabler of Paradigm Shift towards Customer-Managed Relationship -- Multi-attribute Auction Model for Agent-Based Content Trading in Telecom Markets -- Applying Possibility and Belief Operators to Conditional Statements -- A Computer Adaptive Testing Method for Intelligent Tutoring Systems -- Intelligent Vision, Image Processing and Signal Processing -- Combining Patient Metadata Extraction and Automatic Image Parsing for the Generation of an Anatomic Atlas -- Parallel Processing with CUDA in Ceramic Tiles Classification -- Signal Receiving and Processing Platform of the Experimental Passive Radar for Intelligent Surveillance System Using Software Defined Radio Approach -- Automated Anticounterfeiting Inspection Methods for Rigid Films Based on Infrared and Ultraviolet Pigments and Supervised Image Segmentation and Classification -- Vowel Recognition by Using the Combination of Haar Wavelet and Neural Network -- Bayesian Classification Using DCT Features for Brain Tumor Detection -- A New Strategy of Adaptive Nonlinear Echo Cancelling Volterra-Wiener Filter Structure Selection -- Intelligent System for Commercial Block Recognition Using Audio Signal Only -- Viewpoint Insensitive Actions Recognition Using Hidden Conditional Random Fields -- Fuzzy Hyper-Prototype Clustering -- Knowledge Management, Ontologies and Data Mining -- Clustering Using Difference Criterion of Distortion Ratios -- Computer-Generated Conversation Based on Newspaper Headline Interpretation -- Using Regression Analysis to Identify Patterns of Non-Technical Losses on Power Utilities -- Enhancing the Symbolic Aggregate Approximation Method Using Updated Lookup Tables -- Which XML Storage for Knowledge and Ontology Systems? …”
SpringerLink - Click here for access

Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings by SAFECOMP (Conference) Nuremberg, Germany), SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Pro HTML5 with Visual Studio 2015 by Collins, Mark J. (Mark Jeffery)

SpringerLink - Click here for access

Software architectures and tools for computer aided process engineering by ScienceDirect (Online service)

Elsevier - Click here for access

Geomorphology and natural hazards : proceedings of the 25th Binghamton Symposium in Geomorphology, held September 24-25, 1994 at SUNY, Binghamton, USA by Binghamton Symposium in Geomorphology Binghamton, N.Y., ScienceDirect (Online service)

Elsevier - Click here for access

Local government and the COVID-19 pandemic : a global perspective by SpringerLink (Online service)

SpringerLink - Click here for access

Ultra-processed people Why we can't stop eating food that isn't food Unabridged. by Tulleken, Chris van, 1978-

Overdrive - Click here for access.

Spatio-temporal data streams by Galić, Zdravko

Contents: “…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.…”
SpringerLink - Click here for access

Sources in the development of mathematics : infinite series and products from the fifteenth to the twenty-first century by Roy, Ranjan, 1948-

Contributor biographical information
Publisher description
Table of contents only

Network convergence : Ethernet applications and next generation packet transport architectures by Joseph, Vinod

Elsevier - Click here for access

Pro Android 3 by Komatineni, Satya

SpringerLink - Click here for access

Breaking the Wall of Tropical Diseases How the Tropical Laboratory Initiative Is Increasing Access to Health Care in Low-Resource Countries by Falling Walls Foundation, Films for the Humanities & Sciences (Firm), Infobase

Films on Demand - Click here for access

CyberSecurity by Cambridge Educational (Firm), Films for the Humanities & Sciences (Firm), Infobase

Films on Demand - Click here for access

Mathematical analysis in interdisciplinary research by SpringerLink (Online service)

Contents: “…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. …”
SpringerLink - Click here for access

C quick syntax reference by Olsson, Mikael (Web programmer)

SpringerLink - Click here for access

Beginning Python visualization : crafting visual transformation scripts Second edition. by Vaingast, Shai

Contents: “…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.…”
SpringerLink - Click here for access