Search Results - (( Defined (contribution OR contributions) ((pension plant) OR (pension plan)) ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))
-
441
Oracle high availability, disaster recovery, and cloud services : explore RAC, data guard, and cloud technology
Published: Apress, 2019SpringerLink - Click here for accessDescription: 1 online resource : color illustrations.
eBook -
442
Experimental methods and instrumentation for chemical engineers 1st ed.
Published: Elsevier, 2013Elsevier - Click here for accessDescription: 1 online resource (xii, 371 pages) : illustrations (some color)
eBook -
443
Simulation for industry 4. 0 : past, present, and future
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (299 pages).
eBook -
444
Searchable encryption : from concepts to systems
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (xii, 171 pages) : illustrations (some color).
eBook -
445
Practical Oracle SQL : mastering the full power of Oracle database
Published: Apress, 2020SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
446
HTML5 game development insights
Published: Apress, 2014Contents: “…At a Glance; Introduction; Chapter 1: JavaScript Is Not the Language You Think It Is; Variables and Scoping Rules; Declaration Scoping; Declaration Hoisting; JavaScript Typing and Equality; Base Types; Numbers; Strings; Booleans; Objects; Arrays; null; undefined; The typeof Operator; The instanceof Operator; Type Coercion; Equality Checking; Truthiness; Inheritance the JavaScript Way; Prototypical Inheritance; this; Conclusion; Chapter 2: Optimal Asset Loading; Caching Data; HTTP Caching; HTTP Caching Example; Loading HTTP Cached Assets; Client-Side Storage; Memory Caching.…”Description: 1 online resource (xxiii, 433 pages) : illustrations.
SpringerLink - Click here for access
eBook -
447
Smart objects and technologies for social good : 7th EAI International Conference, GOODTECHS 2021, virtual event, September 15-17, 2021, Proceedings
Published: Springer, 2021Contents: “…Learning -- Balancing activity recognition and privacy preservation with a multi-objective evolutionary algorithm -- Biometric data capture as a way to identify lack f physical activity in daily life -- Comparative Analysis of Process Mining Algorithms in Python -- COVID-19 Next Day Trend ForecastAnomaly Detection in Cellular IoT with Machine Learning -- Internet of Things -- A Smart IoT System for Water Monitoring and Analysis -- Decentralising the Internet of Medical Things with Distributed Ledger Technologies and Off-Chain Storages: a Proof of Concept -- Towards a Monitoring Framework for Users of Retirement Houses with Mobile Sensing -- Temporal authorization graphs: Pros, Cons and Limits -- Advanced 5G Network Slicing Isolation Using Enhanced VPN+ for Healthcare Verticals -- Social considerations of technology -- GuideSwarm: A Drone Network Design to Assist Visually-impaired People -- LISA -- Lingua Italiana dei Segni Accessibile: A Progressive Web App to Support Communication Between Deaf People and Public Administrations -- Building emotionally stable, inclusive, and healthy communities with ICT: from state of the art to PSsmile app -- issue design, implementation, deployment, operation, and evaluation of smart objects and technologies for social good. …”Description: 1 online resource (xv, 312 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
448
MacOS programming for absolute beginners : developing apps using Swift and Xcode
Published: Apress, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
449
Python data analytics : data analysis and science using Pandas, matplotlib, and the Python programming language
Published: Apress, 2015Contents: SpringerLink - Click here for accessDescription: 1 online resource (xxi, 337 pages).
eBook -
450
Expert knowledge and its application in landscape ecology
Published: Springer, 2012Contents: “…/ Marissa F. McBride and Mark A. Burgman -- 3. Elicitator: a user-friendly, interactive tool to support scenario-based elicitation of expert knowledge / Samantha Low-Choy, Allan James, Justine Murray, and Kerrie Mengersen -- 4. …”Description: 1 online resource (xiv, 307 pages) : illustrations.
SpringerLink - Click here for access
eBook -
451
Geometric science of information : 4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019, Proceedings
Published: Springer, 2019Contents: “…Part II: Extreme values.- Part 8: Computational Information Geometry.- Topological methods for unsupervised learning.- Geometry and fixed-rate quantization in Riemannian metric spaces induced by separable Bregman divergences.- The statistical Minkowski distances: Closed-form formula for Gaussian Mixture Models.- Parameter estimation with generalized empirical localization.- Properties of the cross entropy of ARMA processes.- Part 9: Statistical Manifold & Hessian Information Geometry.- Inequalities for Statistical Submanifolds in Hessian Manifolds of Constant Hessian curvature.- Inequalities for statistical submanifolds in sasakian statistical manifolds.- Generalized Wintgen Inequality for Legendrian Submanifolds in Sasakian statistical manifolds.- Logarithmic divergence: geometry and interpretation of curvature.- Hessian Curvature and Optimal Transport.- Part 10: Non-parametric Information Geometry.- Divergence functions in Information Geometry.- Sobolev Statistical Manifolds and Exponential Models.- Minimization of the Kullback-Leibler divergence over a log-normal exponential arc.- Riemannian distance and diameter of the space of probability measures and the parametrix.- Part 11: Statistics on non-linear data.- A unified formulation for the Bures-Wasserstein and Log-Euclidean/Log-Hilbert-Schmidt distances between positive definite operators.- Exploration of Balanced Metrics on Symmetric Positive Definite Matrices.- Affine-invariant midrange statistics.- Is affine-invariance well defined on SPD matrices? …”Description: 1 online resource (xix, 770 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
452
Active system control : design of system resilience
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
453
Parallel problem solving from nature - PPSN XI : 11th International conference, Kraków, Poland, September 11-15, 2010 : proceedings. Part I
Published: Springer, 2010Contents: “…-Distributions for the Hypervolume Indicator: First Results for Three Objectives -- Convergence Rates of (1+1) Evolutionary Multiobjective Optimization Algorithms -- Tight Bounds for the Approximation Ratio of the Hypervolume Indicator -- Evolutionary Multiobjective Optimization Algorithm as a Markov System -- A Natural Evolution Strategy for Multi-objective Optimization -- Solving Multiobjective Optimization Problem by Constraint Optimization -- Enhancing Diversity for Average Ranking Method in Evolutionary Many-Objective Optimization -- Objective Space Partitioning Using Conflict Information for Many-Objective Optimization -- How Crossover Speeds Up Evolutionary Algorithms for the Multi-criteria All-Pairs-Shortest-Path Problem -- Path Relinking on Many-Objective NK-Landscapes -- In Search of Equitable Solutions Using Multi-objective Evolutionary Algorithms -- Stopping Criteria for Genetic Algorithms with Application to Multiobjective Optimization -- Defining and Optimizing Indicator-Based Diversity Measures in Multiobjective Search -- On Expected-Improvement Criteria for Model-based Multi-objective Optimization -- Parameter Tuning Boosts Performance of Variation Operators in Multiobjective Optimization.…”Description: 1 online resource (xxi, 742 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
454
Java closures and Lambda
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource (xii, 220 pages) : illustrations.
eBook -
455
Learn Android Studio : build Android apps quickly and effectively
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource (xxvii, 484 pages) : illustrations.
eBook -
456
Advances in artificial intelligence and security : 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings. Part I
Published: Springer, 2021Contents: “…Artificial Intelligence -- A Load Balancing Mechanism for a Multi-Controller Software Defined WiFi Network -- HGC:Hybrid Gradient Compression in Distributed Deep Learning -- Application of Lidar INS Integrated Positioning in Automatic Driving -- A Review of Named Entity Recognition in Chinese Medical Text -- Robust liver vessel extraction using DV-Net with D-BCE loss function -- Cloud computing-based graph convolutional network power consumption prediction method -- Intelligent Intrusion Detection of Measurement Automation System Based on Deep Learning -- LSTM-Exploit:Intelligent Penetration Based On LSTM Tool -- Pig target detection from image based on improved YOLO V3 -- ICPM: An Intelligent Compound Prediction Model Based on GA and GRNN -- A new method of halftoning and inverse halftoning based on GAN Network -- Sow Estrus Diagnosis from Sound Samples based on Improved Deep Learning -- Research on YOLO Model and its application in Fault Status recognition of freight trains -- Feedforward Deep Neural Network-Based Model for the Forecast of Severe Convective Wind -- Asynchronous Compatible D-ML System for Edge Devices -- Ball K-Medoids: Faster and Exacter -- GVNP: Global Vectors for Node Representation -- Investigation on Loan Approval Based on Convolutional Neural Network -- Chinese Verb-Object Collocation Knowledge Graph Construction and Application -- Optimal Deployment of Underwater Sensor Networks Based on Hungarian Algorithm -- Discrete Multi-Height Wind Farm Layout Optimization for Optimal Energy Output -- Multilevel Threshold Image Segmentation Based on Modified Moth-flame Optimization Algorithm -- Research on critical illness fundraising methods based on blockchain and smart contracts -- Collaboration Energy Efficiency with Mobile Edge Computing for Data Collection in IoT -- Improving the Transformer Translation Model with Back-Translation -- Rigid Image Registration based on Graph Matching -- A Multi-scale Fusion Method For Dense Crowd Counting -- Chinese text classification based on adversarial training -- Research on SVM Parameter Optimization Mechanism Based on Particle Swarm Optimization -- A parameter selection method based on reinforcement learning: the QoS-privacy trade-off for adversarial training framework -- Word Research on Sentiment Analysis of Foreign News Reports Concerning China Based On the Hybrid Model of Opinion Sentence and BLSTM-Attention -- Cascaded Convolutional Neural Network for Image Super-Resolution -- Risk Probability Forecast Technology of the Gust in Beijing Winter Olympic Games based on the Theory of Digital Image Processing -- Depth estimation based on optical flow and depth prediction -- The Algorithms for Word Segmentation and Named Entity Recognition of Chinese Medical Records -- Temperature forecasting based on LSTM in coastal city -- Recent Progress of Medical CT Image Processing based on Deep Learning -- Road Damage Detection and Classification based on M2det -- Weather Temperature Prediction Based on LSTM-Bayesian Optimization -- Research Situation and Development Trends of Deep Learning application in Meteorology -- Exploiting Spatial-Spectral Feature for Hyperspectral Image Classification based on 3-D CNN and Bi-LSTM -- Automated Methods for Symptom Normalization in Traditional Chinese Medicine Records -- A Nested Named Entity Recognition Method for Traditional Chinese Medicine Records -- Face Feature Extraction and Recognition Based on Lighted Deep Convolutional Neural Network -- Non-Orthogonal Multiple Access is Used for Power Allocation to MaximizeThroughput in Cognitive Radio Network Systems -- Research on Drug Response Prediction Model Based on Big Data -- A Cross-Modal Image-Text Retrieval System with Deep Learning -- Research on Behavioral Decision Reward Mechanism of Unmanned Swarm System in Confrontational Environment -- A Variable Step-Size based Iterative Algorithm for High-precision Ranging using FMCW Radar -- Research on the Smart Management and Service of Smart Classrooms in Colleges and Universities -- Performance Analysis of Hard Fusion Rules in Cognitive Radio Networks over Composite Channels -- Performance Analysis of Spectrum Sensing in Cognitive Radio Networks Based on AD Goodness of Fit under Noise Uncertainty -- Research on Prediction Algorithm for Heavy Overload of Main Equipment in Distribution Network -- Review of Attention Mechanism in Electric Power Systems -- Comprehensive review of intelligent operation and maintenance of power system in China -- An Incremental Learning Method for Fault Diagnosis Based on Random Forest -- Research on Short-term Flow Forecast of Intelligent Traffic -- Research on Stock Price Forecasting Based on BP Neural Network -- Trust Computing Model of online transaction based on Social Network and Mobile Agent -- An Adaptive Momentum Term based Optimization Method for Image Restoration -- Research on Situational Awareness Security Defense of Intrusion Link Based on Data Element Characteristic Network Transmission Signal -- Research on Proofreading Method of Semantic Collocation Error in Chinese.…”Description: 1 online resource (xxx, 730 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
457
Masterpieces of Swiss entrepreneurship : Swiss SMEs competing in global markets
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (xxxiv, 561 pages) : illustrations (some color)
eBook -
458
Theory of Besov spaces
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 945 pages) : illustrations.
eBook -
459
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
Published: Springer, 2005Contents: “…Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Creation Guards -- Symbolic Animation of JML Specifications -- Resource Analysis and Verification -- Certified Memory Usage Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs -- Formally Defining and Verifying Master/Slave Speculative Parallelization -- Timing and Testing -- Systematic Implementation of Real-Time Models -- Timing Tolerances in Safety-Critical Software -- Timed Testing with TorX -- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems -- CSP, B and Circus -- Adding Conflict and Confusion to CSP -- Combining CSP and B for Specification and Property Verification -- Operational Semantics for Model Checking Circus -- Control Law Diagrams in Circus -- Security -- Verification of a Signature Architecture with HOL-Z -- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification of Security Properties of Smart Card Embedded Source Code -- Networks and Processes -- A Formal Model of Addressing for Interoperating Networks -- An Approach to Unfolding Asynchronous Communication Protocols -- Semantics of BPEL4WS-Like Fault and Compensation Handling -- Abstraction, Retrenchment and Rewriting -- On Some Galois Connection Based Abstractions for the Mu-Calculus -- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern -- Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion -- Scenarios and Modeling Languages -- Synthesis of Distributed Processes from Scenario-Based Specifications -- Verifying Scenario-Based Aspect Specifications -- An MDA Approach Towards Integrating Formal and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes, Data and Time -- Automatic Symmetry Detection for Model Checking Using Computational Group Theory -- On Partitioning and Symbolic Model Checking -- Dynamic Component Substitutability Analysis -- Industry Day: Abstracts of Invited Talks -- Floating-Point Verification -- Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications -- Model-Based Testing in Practice -- Testing Concurrent Object-Oriented Systems with Spec Explorer -- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software -- The Informal Nature of Systems Engineering.…”Description: 1 online resource (xiv, 558 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
460
Cooperation : an experimental analysis
Published: Academic Press, 1975Contents: Elsevier - Click here for accessDescription: 1 online resource (xviii, 209 pages) : illustrations.
eBook