Search Results - (( Defined (contribution OR contributions) pensions plans ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating _)))) ) OR ( Defined distribution regression plans ))))
-
441
Searchable encryption : from concepts to systems
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (xii, 171 pages) : illustrations (some color).
eBook -
442
Methods and Applications for Modeling and Simulation of Complex Systems : 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings. Part...
Published: Springer, 2024Contents: “…FPGA Based Accelerator for Image Steganography -- Research on Data Acquisition and Real-Time Communication for Intelligent Manufacturing Training Equipment Based on Model of Things and Intranet Penetration -- Research on Intelligent Manufacturing Training System Based on Industrial Metaverse -- Convolutional Transformer Network: Future Pedestrian Location in First-Person Videos Using Depth Map and 3D Pose -- Conceive-Design-Implement-Operate (CDIO) Approach in Producing Wiring Projects for Domestic Electrical Wiring Course -- Students' Digital Readiness in Vocational College for Industrial Revolution 4.0 -- Implementing Blockchain Technology for Accreditation and Degree Verification -- Factors Influencing the Digital Skills of Technical Education Students -- Ballet Gesture Recognition and Evaluation System (Posé Ballet): System Thinking, Design Thinking, and Dynamic Improvement in Three Versions from Laboratory to Art Gallery -- Structured Teaching Using Drone Simulators for Students' Confidence in Real Flight -- Use of Drone Flight Simulator for Bridging Theories of UAV Systems into Practice: A Pilot Study -- Enhancement of System Network Based on Voltage Stability Indices Using FACTS Controllers -- Analysis of Multi Criteria Decision Making (MCDM) Techniques for Load Shedding in Islanded Distributed System -- Comparison of Diesel and Green Ship Carbon Emissions with A-Star Route Optimization -- A Model Validation Method Based on Convolutional Neural Network -- A Multiview Approach to Tracking People in Crowded Scenes Using Fusion Feature Correlation -- Prototype Learning Based Realistic 3D Terrain Generation from User Semantics -- Research on Matrix Factorization Recommendation Algorithm Based on Local Differential Privacy -- Enhancing Face Recognition Accuracy Through Integration of YOLO v8 and Deep Learning: A Custom Recognition Model Approach -- NARXNN Modeling of Ultrafiltration Process for Drinking Water Treatment -- Improvement of Vision-Based Hand Gesture Recognition System with Distance Range -- Synthetic Data Generation for Fresh Fruit Bunch Ripeness Classification -- Application of Artificial Intelligence for Maternal and Child Disorders in Indonesia: A Review -- Up Sampling Data in Bagging Tree Classification and Regression Decision Tree Method for Dengue Shock Syndrome Detection -- Real-Time Crack Classification with Wall-Climbing Robot Using MobileNetV2 -- Estimation of Remaining Useful Life for Turbofan Engine Based on Deep Learning Networks -- Simulation Design of Reinforcement-Based Migration System in Software-Defined Networking Using Q-Learning -- A Preliminary Study on the Possibility of Scene Captioning Model Integration as an Improvement in Assisted Navigation for Visually Impaired Users -- Smart Agriculture: Transforming Agriculture with Technology -- WebGIS Visualization of Infectious Disease Clustering with a Hybrid Sequential Approach -- Lessons Learned from the Pandemic Precautions: A Case Study of Monitoring Compliance of Physical Distancing During Covid-19 in Al-Zaytoonah University of Jordan Using Object Tracking System -- Research on Security Assets Attention Networks for Temporal Knowledge Graph Enhanced Risk Assessment -- Parameter Study on the Use of Artificial Intelligence to Optimize Response to Unattended Bags to Increase Airport Security -- Revolutionizing Plant Disease Detection with CNN and Deep Learning -- Comparative Analysis of Machine Learning Algorithms in Vehicle Image Classification -- Evaluation of Linear Imputation Based Pediatric Appendicitis Detection System Using Machine Learning Algorithm -- MMoE-GAT: A Multi-Gate Mixture-Of-Experts Boosted Graph Attention Network for Aircraft Engine Remaining Useful Life Prediction -- Integrating Dynamic Limiting Mechanism in Electric Scooter to Mitigate Range Anxiety via SoC-Tracking Range-Enhancement Attachment (STRETCH) -- Atrial Fibrillation Detection Based on Electrocardiogram Features Using Modified Windowing Algorithm.…”Description: 1 online resource (xxi, 500 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
443
Co-utility : theory and applications
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
444
Simulation for industry 4. 0 : past, present, and future
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (299 pages).
eBook -
445
CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (xiii, 523 pages) : illustrations.
Conference Proceeding eBook -
446
Modeling solid oxide fuel cells : methods, procedures and techniques
Published: Springer, 2008SpringerLink - Click here for accessDescription: 1 online resource (xiv, 395 pages) : illustrations.
eBook -
447
Interpretative aspects of quantum mechanics : Matteo Campanella's Mathematical Studies
Published: Springer, 2020SpringerLink - Click here for accessDescription: 1 online resource (153 pages).
eBook -
448
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 -
449
Efficiency in sustainable supply chain
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
450
Large random matrices : lectures on macroscopic asymptotics : École d'été de probabilités de Saint-Flour XXXVI--2006
Published: Springer, 2009SpringerLink - Click here for accessDescription: 1 online resource (xii, 294 pages) : illustrations.
Conference Proceeding 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
Encyclopedia of algorithms Second edition.
Published: SpringerReference, 2016SpringerLink - Click here for accessDescription: 1 online resource (liii, 1166 pages) : illustrations (some color).
eBook -
453
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 -
454
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 -
455
The new public health Third edition.
Published: Academic Press, 2014Contents: “…Contents note continued: Health Policy and Planning as Context -- The Elements of Organizations -- Scientific Management -- Bureaucratic Pyramidal Organizations -- Organizations as Energy Systems -- Cybernetics and Management -- Target-Oriented Management -- Operations Research -- Management by Objectives -- Human Relations Management -- The Hawthorne Effect -- Maslow's Hierarchy of Needs -- Theory X--Theory Y -- Network Organization -- Total Quality Management -- Changing Human Behavior -- Empowerment -- Strategic Management of Health Systems -- Health System Organization Models -- Functional Model -- Corporate Model -- Matrix Model -- Skills for Management -- The Chief Executive Officer of Health Organizations -- Community Participation -- Integration: Lateral and Vertical -- Norms and Performance Indicators -- Health Promotion and Advocacy -- Philanthropy and Volunteerism -- New Organizational Models -- New Projects and their Evaluation.…”Description: 1 online resource (xxv, 884 pages) : illustrations.
Elsevier - Click here for access
eBook -
456
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 -
457
Expert knowledge and its application in landscape ecology
Published: Springer, 2012Contents: “…Using expert knowledge effectively: lessons from species distribution models for wildlife conservation and management / Chris J. …”Description: 1 online resource (xiv, 307 pages) : illustrations.
SpringerLink - Click here for access
eBook -
458
The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II
Published: Birkhäuser, 2015Contents: “…Till Mossakowski, Mihai Codescu, Fabian Neuhaus, and Oliver Kutz: The Distributed Ontology, Modelling and Specification Language -- DOL -- 22. …”Description: 1 online resource (580 pages) : illustrations.
SpringerLink - Click here for access
eBook -
459
Cooperation : an experimental analysis
Published: Academic Press, 1975Contents: “…Creating Nonrisk Conditions: The Free-Operant Avoidance ExperimentPreventing Conflict through Talking: The Open Communication Experiment; Ending Conflict through Talking: The Delayed Communication Experiment; Chapter 7. …”Description: 1 online resource (xviii, 209 pages) : illustrations.
Elsevier - Click here for access
eBook -
460
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