Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((((operating plan) OR (operations plan))) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))
-
341
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 -
342
MacOS programming for absolute beginners : developing apps using Swift and Xcode
Published: Apress, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
343
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 -
344
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 -
345
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 -
346
Active system control : design of system resilience
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
347
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 -
348
Java closures and Lambda
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource (xii, 220 pages) : illustrations.
eBook -
349
Learn Android Studio : build Android apps quickly and effectively
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource (xxvii, 484 pages) : illustrations.
eBook -
350
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 -
351
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 -
352
Theory of Besov spaces
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 945 pages) : illustrations.
eBook -
353
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 -
354
Cooperation : an experimental analysis
Published: Academic Press, 1975Contents: Elsevier - Click here for accessDescription: 1 online resource (xviii, 209 pages) : illustrations.
eBook -
355
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...
Published: Springer, 2023Contents: “…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.…”Description: 1 online resource (xv, 615 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
356
On the move to meaningful internet systems : confederated international conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, proceedings. Part...
Published: Springer, 2010Contents: “…On the Move 2010 Keynotes -- OTM'10 Keynote -- OTM'10 Keynote -- COOPIS'10 Keynote -- Cooperative Information Systems (CoopIS) International Conference 2010 -- COOPIS'10 -- PC Co-chairs Message -- Coopis Keynote Paper -- Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining -- Process Models and Management -- A Process View Framework for Artifact-Centric Business Processes -- Monitoring Unmanaged Business Processes -- Fast Business Process Similarity Search with Feature-Based Similarity Estimation -- Quality Assessment of Business Process Models Based on Thresholds -- Merging Business Process Models -- Compliant Business Process Design Using Refinement Layers -- COMPRO: A Methodological Approach for Business Process Contextualisation -- Reducing Exception Handling Complexity in Business Process Modeling and Implementation: The WED-Flow Approach -- Modeling of Cooperation -- Continuous Monitoring in Evolving Business Networks -- Collaborative Coordination of Activities with Temporal Dependencies -- Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context -- Services Computing -- Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination -- Policy-Based Attestation of Service Behavior for Establishing Rigorous Trust -- Collecting, Annotating, and Classifying Public Web Services -- Managing Conflict of Interest in Service Composition -- Modelling and Automated Composition of User-Centric Services -- Coordinating Services for Accessing and Processing Data in Dynamic Environments -- Information Processing and Management -- The Roles of Reliability and Reputation in Competitive Multi Agent Systems -- Multilayer Superimposed Information for Collaborative Annotation in Wikis -- Supporting Complex Changes in Evolving Interrelated Web Databanks -- Workflow ART -- A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences -- Efficient and Accurate Retrieval of Business Process Models through Indexing -- The Biconnected Verification of Workflow Nets -- Business Process Scheduling with Resource Availability Constraints -- Achieving Recovery in Service Composition with Assurance Points and Integration Rules -- Business Protocol Adaptation for Flexible Chain Management -- Business Process Monitoring with BPath -- Human-Based Cooperative Systems -- CoMaP: A Cooperative Overlay-Based Mashup Platform -- Composing Near-Optimal Expert Teams: A Trade-Off between Skills and Connectivity -- Complementarity in Competence Management: Framework and Implementation -- Scalable XML Collaborative Editing with Undo -- A Cooperative Approach to View Selection and Placement in P2P Systems -- Ontology and Workflow Challenges -- Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows -- An Ontological Approach for Semantic Annotation of Supply Chain Process Models -- Defining Process Performance Indicators: An Ontological Approach -- Peer Rewiring in Semantic Overlay Networks under Churn -- International Symposium on Information Security (IS) International Conference 2010 -- IS'10 -- PC Co-chairs Message -- Access Control, Authentication and Policies -- Mutual Preimage Authentication for Fast Handover in Enterprise Networks -- Supporting Role Based Provisioning with Rules Using OWL and F-Logic -- Using Real Option Thinking to Improve Decision Making in Security Investment -- Secure Architectures -- Context Sensitive Privacy Management in a Distributed Environment -- Semantic Attestation of Node Integrity in Overlays -- Applicability of Security Patterns -- Cryptography -- Leakage Quantification of Cryptographic Operations.…”Description: 1 online resource (xxiv, 703 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
357
Advances in aeronautical informatics : technologies towards Flight 4.0
Published: Springer, 2018Contents: SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
358
Unifying theories of programming : 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceeding...
Published: Springer, 2019Contents: SpringerLink - Click here for accessDescription: 1 online resource (xiv, 217 pages) : illustrations (some color).
Conference Proceeding eBook -
359
Outlooks and insights on group decision and negotiation : 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
Published: Springer, 2015SpringerLink - Click here for accessDescription: 1 online resource (l, 417 pages) : illustrations.
Conference Proceeding eBook -
360
The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II
Published: Birkhäuser, 2015Contents: “…Marcos Antonio Alves and Itala M. Loffredo D'Ottaviano: A quantitative-informational approach to logical consequence -- 4. …”Description: 1 online resource (580 pages) : illustrations.
SpringerLink - Click here for access
eBook