Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distributions regression plans ))))

Modeling solid oxide fuel cells : methods, procedures and techniques by SpringerLink (Online service)

SpringerLink - Click here for access

Integrated flow modeling 1st ed. by Fanchi, John R.

Elsevier - Click here for access

Practical Oracle SQL : mastering the full power of Oracle database by Berg Hansen, Kim

SpringerLink - Click here for access

Searchable encryption : from concepts to systems by Ren, Kui, Wang, Cong

SpringerLink - Click here for access

Simulation for industry 4. 0 : past, present, and future by SpringerLink (Online service)

SpringerLink - Click here for access

MacOS programming for absolute beginners : developing apps using Swift and Xcode by Wang, Wally

SpringerLink - Click here for access

HTML5 game development insights by McAnlis, Colt

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

Smart objects and technologies for social good : 7th EAI International Conference, GOODTECHS 2021, virtual event, September 15-17, 2021, Proceedings by GOODTECHS (Conference) Online), SpringerLink (Online service)

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

Geometric science of information : 4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019, Proceedings by International SEE Conference on Geometric Science of Information Toulouse, France, SpringerLink (Online service)

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

Python data analytics : data analysis and science using Pandas, matplotlib, and the Python programming language by Nelli, Fabio

Contents: SpringerLink - Click here for access

Active system control : design of system resilience by Schagaev, Igor, Robinson Kirk, Brian

SpringerLink - Click here for access

Expert knowledge and its application in landscape ecology by SpringerLink (Online service)

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

Advances in artificial intelligence and security : 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings. Part I by ICAIS (Conference) Dublin, Ireland), SpringerLink (Online service)

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

Java closures and Lambda by Fischer, Robert, 1982-

SpringerLink - Click here for access

Parallel problem solving from nature - PPSN XI : 11th International conference, Kraków, Poland, September 11-15, 2010 : proceedings. Part I by International Conference on Parallel Problem Solving from Nature Kraków, Poland, SpringerLink (Online service)

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

Learn Android Studio : build Android apps quickly and effectively by Gerber, Adam, Craig, Clifton

SpringerLink - Click here for access

Theory of Besov spaces by Sawano, Yoshihiro

SpringerLink - Click here for access

Future data and security engineering : big data, security and privacy, smart city and Industry 4.0 applications : 10th International Conference, FDSE 2023, Da Nang, Vietnam, Novemb... by FDSE (Conference) Da Nang, Vietnam), SpringerLink (Online service)

Contents: “…An experiment report -- Authenticating Parties in Blockchain-Enabled Inter-Organizational Processes with Configurable Challenge-Sets -- Differential Privacy for Consumer Data in Retail Data Partnerships -- Using transformer technique for intrusion detection -- Machine Learning and Artificial Intelligence for Security and Privacy -- A Siamese-Based Approach for Network Intrusion Detection Systems in Software-Defined Networks -- An Efficient Machine Learning-based Web Application Firewall with Deep Automated Pattern Categorization -- Utilizing InfoGAN and PE Header Features for Synthetic Ransomware Image Generation: An Experimental Study -- Enhancing Detection of Daily-Used Face Swap Applications by Using Focused Landmark Analysis -- Differential Privacy under Membership Inference Attacks -- Smart City and Industry 4.0 Applications -- LAVETTES: Large-scAle-dataset Vietnamese ExTractive TExt Summarization Models -- Exploring Links between Personality Traits and Environmental Attitudes with GreenBig5 System -- Study on Web Based Virtualized Containers for Software Development Lectures in BYOD -- Session-based Recommendation System Approach for Predicting Learning Performance -- A Fuzzy Logic Model for Digital Transformation Assessment of Vietnamese Higher Education Institutions -- Digital Transformation Insights from an AI Solution in Search of a Problem -- Improving Human Resources⁰́₉ Efficiency with A Generative AI-based Resume Analysis Solution -- LORAP: Local Deep Neural Network for Solar Radiation Prediction -- A Digital Therapeutics System for the Diagnosis and Management of Depression: Work in Progress -- BERT-based Sentence Recommendation for Building Vietnamese Universal Dependency Treebank -- Evaluate the Efficiency of Hybrid Model based on Convolutional Neural Network and Long Short-Term Memory in Information Technology Job Graph Network -- A Dataset of Vietnamese Documents for Text Detection -- Data Analytics and Healthcare Systems -- Personalized Stress Detection System Using Physiological Data from Wearable Sensors -- Vision Transformer for Kidney Stone Detection -- Attention Models and Image Pre-Processing For Covid- 19 Detection Based on Lung Ultrasound Images -- Deep Learning Techniques for Segmenting Breast Lesion Regions and Classifying Mammography Images -- Development of a Handwriting Drawings Assessment System for Early Parkinson⁰́₉s Disease Identification with Deep Learning Methods -- Breast Cancer Classification on Mammograms Using Vision Transformer -- Comparing Performance of Linear Regression Models Trained on Systemathic Forest Measurement Datasets to Predict Diameter at Breast Height -- Detection and Segmentation of Brain Tumors on 3D MR images Using 3D U-Net -- Short Papers: Security and Data Engineering -- Towards Automating Semantic Relationship Awareness in Operational Technology Monitoring -- Feature Fool Exploitation for Lightweight Anomaly Detection in Respiratory Sound -- Multiple Vehicles Detection and Tracking using Ground and Aerial Images for Vehicular Management System -- Deep Learning Approach for Tomato Leaf Disease Detection -- Invasive Ductal Carcinoma Classification from Whole Slide Image based on BRISQUE and Convolutional Neural Networks -- Robust and Accurate Automatic License Plate Recognition System -- Community Detection for Personalized Learning Pathway Recommendations on IT E-Learning System -- Improving Warped Planar Object Detection Network for Automatic License Plate Recognition.…”
SpringerLink - Click here for access

Masterpieces of Swiss entrepreneurship : Swiss SMEs competing in global markets by Jeannet, Jean-Pierre, Volery, Thierry, Bergmann, Heiko, Amstutz, Cornelia

SpringerLink - Click here for access

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings by International Symposium of Formal Methods Europe Newcastle upon Tyne, England, SpringerLink (Online service)

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