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

Optimization theory, decision making, and operations research applications : Proceedings of the 1st International Symposium and 10th Balkan Conference on Operational Research by SpringerLink (Online service), International Symposium on Operational Research, Balkan Conference on Operational Research

SpringerLink - Click here for access

Mobile wireless middleware, operating systems and applications : 11th EAI International Conference, MOBILWARE 2022, virtual event, December 28-29, 2022, Proceedings by International Conference on Mobile Wireless Middleware, Operating Systems and Applications Online, SpringerLink (Online service)

Contents: “…Middleware, Wireless, and Future Networks -- A Middleware-Based Approach for Latency-Sensitive Service Provisioning in IoT with End-Edge Cooperation -- Deep Reinforcement Learning based Congestion Control Mechanism for SDN and NDN in Satellite Networks -- intelligent automated penetration testing using reinforcement learning to improve the efficiency and effecctiveness of penetration testing -- Time Slot Correlation-Based Caching Strategy for Information-Centric Satellite Networks -- Design and implementation of a pipeline-based data scheduling method for spacecraft with multiple data buses -- Research on the Development of Intelligent Space System (ISS) -- Integrated Satellite-Terrestrial Information Network -- Features extraction of Reconstruction Model using in Augmented Reality System of Teleoperation Mobile Robots -- Research on Rapid 3D Reconstruction for Teleoperation in Manned Lunar Exploration Mission -- Onboard Software Maintenance Design and Implementation for networking satellites -- Model Based Development of Spacecraft OBDH Software -- Design of Aerospace Cloud Computing Server Based on Docker Cluster -- Integrated Satellite-Terrestrial Intelligent Information Processing, Decision and Planning (1) -- Analysis and Simulation of High Orbit Weak Signal Tracking Algorithm -- Avionics System Architectures for Software-Defined Spacecraft -- Research and application of energy efficiency optimization algorithm for spacecraft simulation platform -- SADA: SDN Architecture Based Secure Dynamic Access Scheme for Satellite Network -- Research on the Concept and Connotation of Space Proving Grounds (SPG) -- A Multi-Agent based Satellite Health Management System Architecture and Implementation Scheme -- Integrated Satellite-Terrestrial Intelligent Information Processing, Decision and Planning (2) -- Avionic system Architecture Design of the Manned Deep Space Exploration Spacecraft -- Research on Tianwen-1 Mars Probe Relay Communication Technology -- Design and practice of Communication System During EDL for Mars Probe -- Study on EMC Influence of Zhu Rong Rover UHF band communication system -- Design and implementation of power supply and distribution system for Mars landing mission -- Research on Integrated operation design of low orbit remote sensing satellite for intelligent application.…”
SpringerLink - Click here for access

Urban science and engineering : proceedings of ICUSE 2020 by International Conference on Urban Science and Engineering Tokyo, Japan, SpringerLink (Online service)

SpringerLink - Click here for access

Making globally distributed software development a success story : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings by International Conference on the Software Process Leipzig, Germany, SpringerLink (Online service)

Contents: “…-- Investigating Factors Affecting the Usability of Software Process Descriptions -- Degree of Agility in Pre-Implementation Process Phases -- Support IT Service Management with Process Modeling and Analysis -- The Secret Life of a Process Description: A Look into the Evolution of a Large Process Model -- Simulation Modeling -- Simulating Worst Case Scenarios and Analyzing Their Combined Effect in Operational Release Planning -- Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach -- GENSIM 2.0: A Customizable Process Simulation Model for Software Process Evaluation -- RVSim: A Simulation Approach to Predict the Impact of Requirements Volatility on Software Project Plans -- Identifying Key Success Factors for Globally Distributed Software Development Project Using Simulation: A Case Study -- Hybrid Modeling of Test-and-Fix Processes in Incremental Development -- Reflections on 10 Years of Software Process Simulation Modeling: A Systematic Review -- Experience Report -- Integrating Joint Reviews with Automotive SPICE Assessments Results -- Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China -- An Investigation of Software Development Productivity in China -- Optimized Software Process for Fault Handling in Global Software Development -- Measuring and Comparing the Adoption of Software Process Practices in the Software Product Industry.…”
SpringerLink - Click here for access

Modeling, dynamics, optimization and bioeconomics IV : DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May-June 2017 -- Selected Contributions by International Conference on Dynamics, Games, and Science Madrid, Spain, SpringerLink (Online service), International Consortium on Agricultural Biotechnology Research, International Consortium on Agricultural Biotechnology Research

SpringerLink - Click here for access

Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings by SSS (Symposium) Boston, Mass.), SpringerLink (Online service)

SpringerLink - Click here for access

Supercomputing : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings by International Supercomputing Conference Leipzig, Germany, SpringerLink (Online service)

SpringerLink - Click here for access

Advances in parallel and distributed computing and ubiquitous services : UCAWSN & PDCAT 2015 by SpringerLink (Online service), UCAWSN (Conference), PDCAT (Conference)

Contents: “…Wu, et al -- Hierarchical Caching Management for Software Defined Content Network Based on Node Value; J. Liu, et al -- Interoperation of Distributed MCU Emulator/Simulator for Operating Power Simulation of Large-Scale Internet of Event-Driven Control Things; S. …”
SpringerLink - Click here for access

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings by International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna, Italy, SpringerLink (Online service)

SpringerLink - Click here for access

Aggregation functions in theory and in practise : proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain,... by International Summer School on Aggregation Operators Pamplona, Spain, SpringerLink (Online service)

Contents: “…OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators. A Simulation Study (II) /…”
SpringerLink - Click here for access

Spectral theory, mathematical system theory, evolution equations, differential and difference equations : 21st International Workshop on Operator Theory and Applications, Berlin, J... by International Workshop on Operator Theory and Applications Berlin, Germany, SpringerLink (Online service)

Contents: “…Ehrhardt and B. Silbermann -- Operator splitting with spatial-temporal discretization / A. …”
SpringerLink - Click here for access

IoT as a service : 6th EAI International Conference, IoTaaS 2020, Xi'an, China, November 19-20, 2020, proceedings by IoTaaS (Conference) Online), SpringerLink (Online service)

Contents: “…Algorithm and Information For Wireless Network -- Approximation of DAC Codeword Distribution for Equiprobable Binary Sources along Proper Decoding Paths -- Research on Multi-UAV Swarm Control Based on Olfati-Saber Algorithm with Variable Speed Virtual Leader -- Resource Joint Allocation Scheme based on Network Slicing under C-RAN Architecture -- Optimal Thresholds for Differential Energy Detection of Ambient Backscatter Communication -- Resource Allocation for Multi-UAV Assisted Energy-Efficient IoT Communications With Co-Channel Interference -- Correlation Based Secondary Users Selection for Cooperative Spectrum Sensing Network -- The Design Methodology for MAC Strategies and Protocols -- Supporting Ultra-low Delay Services in Next Generation IEEE 802.11 WLAN -- ction for multimode sensors in Wireless Sensor Network -- ricing Based Resource Allocation Algorithm in Wireless Aeronautics Network Virtualization -- Access algorithm in software-defined satellite network -- A Low-Loss Strategy for Network Function Virtualization Multicast Optimization -- A Deployment Method Based on Artificial Bee Colony Algorithm for UAV-Mounted Base Stations -- Edge Intelligence and Computing For IoT Communications And Applications -- 13 Trajectory Optimization for UAV-Aided Data Collections -- Design and Implementation of MCU-Based Reconfigurable Protocol Conversion Module for Heterogeneous Sensor Networks -- FPGA-based Neural Network Acceleration for Handwritten Digit Recognition -- Edge Computing based Two-Stage Emergency Braking in Autonomous Driving -- Cache Resource Allocation in D2D Multi-Layer Social Network Enhanced Frame Break Mechanism for ALOHA-Based RFID Anti-Collision Algorithm -- Improved Intelligent Semantics based Chinese Sentence Similarity Computing for Natural Language Processing in IoT -- Statistical Feature Aided Intelligent Deep Learning Machine Translation in Internet of Things -- An automated method of identifying incorrectly labelled images based on the sequences of loss functions of deep learning networks -- Low-Latency Method and Architecture for 5G Packet-Based Fronthaul Networks -- 23 Automated Cataracts Screening from Slit-lamp Images Employing Deep Learning -- System & Hardware A Flowchart based Finite State Machine Design and Implementation Method for FPGA -- A Distributed Reservation and Contention Combined TDMA Protocol for Wireless Avionics Intra-Communication Networks -- The automation tool development for aircraft cockpit display systems verification in part of text data -- Design of 'floating, medium and sinking' pressure simulation system for remote reduction of pulse condition in TCM -- A Flexible and Scalable Localization System for off-the-shelf LoRa Devices -- Research on Optical-electrical Path Mapping strategy of Space Hybrid Switches -- Algorithm for multipath interference restraint based on blind source separation in Passive GNSS-Based bistatic Radar Multi-kernel and Multi-task Learning for Radar Target Recognition Information topology control technology of cluster satellite network -- Smart Home Security System Using Biometric Recognitions -- Internet of Things in the Game of Basketball Next Generation Network -- 35 Object Recognition Through UAV Observations Based on Yolo and Generative Adversarial Network -- Soft Channel Reservation towards Latency Guarantee for the Next Generation WLAN: IEEE 802.11be -- The methodology of the optimal four-dimensional route searching for a decision support system providing solutions for four-dimensional navigation -- Multi-list design and FPGA implementation method of OLSR routing protocol -- Improvement of Contact Graph Routing Algorithm in LEO Satellite DTN Network -- Double-Threshold-Based Massive Random Access Protocol for Heterogeneous MTC Networks -- IP addressing and address management of space-based network based on geographical division -- A Convolutional Neural Network Approach for Stratigraphic Interface Detection -- A Deep Neural Network based Feature Learning Method for Well Log Interpretation -- Trust Prediction Model based on Deep Learning in Social Internet of Things -- An alarm system based on neural network algorithm for detection of falls in the elderly -- Satellite Communication Networks for Internet of Things -- The Intelligent Routing Control Strategy based on Deep Learning -- Distributed Opportunistic Channel Access with Optimal Single Relay under Delay Constraints -- Distributed Opportunistic Channel Access under Single-bit CSI Feedback Spectrum Allocation Algorithm for Energy-Constrained UAV in Interweave Cognitive IoT Network Based on Satellite Coverage -- Edge Network Extension Based on Multi-Domains Fusion and LEO Satellite -- Completion of Marine Wireless Sensor Monitoring Data Based on Tensor Mode-n Rank and Tucker Operator -- Belief Propagation-based Joint Iterative Detection and Decoding Algorithm for Asynchronous IDMA Satellite Systems -- Modulation Pattern Recognition Based on Wavelet Approximate Coefficient Entropy -- A new message passing algorithm based on sphere decoding improvement -- A Novel Codebook Design Scheme for Sparse Code Multiple Access -- Multi-View Polarization HRRP Target Recognition Based on Convolutional Neural Network -- Millimeter-Wave Communications With Beamforming for UAV-Assisted Railway Monitoring System -- Improved Pulse Shaping Algorithm for Reducing PAPR in OFDM System -- Image and Information -- Information Optimization for Image Screening and Transmission in Aerial Detection -- Method of Quality Assessment for BOC Navigation Signal based on multi-correlation receiver -- Satellite Navigation Software Receiver Design -- A Novel Pansharpening Method with Multi-scale Mutual-structure Perception -- A New Fusion Method for Remote Sensing Images.…”
SpringerLink - Click here for access

Enabling manufacturing competitiveness and economic sustainability : proceedings of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CA... by International Conference on Changeable, Agile, Reconfigurable and Virtual Production Munich, Germany, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Collaborative computing : networking, applications, and worksharing : 11th International Conference, CollaborateCom 2015, Wuhan, November 10-11, 2015, China. Proceedings by International Conference on Collaborative Computing: Networking, Applications, and Worksharing Wuhan, China, SpringerLink (Online service)

SpringerLink - Click here for access

Group decision and negotiation : theory, empirical evidence, and application : 16th International Conference, GDN 2016, Bellingham, WA, USA, June 20-24, 2016, revised selected pape... by International Conference on Group Decision and Negotiation (GDN) Bellingham, WA), SpringerLink (Online service)

SpringerLink - Click here for access

Advances in autonomous robotics : joint proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012 by TAROS 2012 Bristol, England, SpringerLink (Online service), FIRA Roboworld Congress

Contents: “…Adaptive Self-triggered Control of a Remotely Operated Robot /…”
SpringerLink - Click here for access

Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I by ICCS (International Conference on Computer Science) Faro, Portugal), SpringerLink (Online service)

Contents: “…Reinsertion Algorithm Based on Destroy and Repair Operators for Dynamic Dial a Ride Problems /…”
SpringerLink - Click here for access

Proceedings of 2012 3rd International Asia Conference on Industrial Engineering and Management Innovation (IEMI2012) by International Asia Conference on Industrial Engineering and Management Innovation, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings by ITP (Conference) Princeton, N.J.), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Landslide science and practice. Volume 2, Early warning, instrumentation and monitoring by World Landslide Forum Rome, Italy, SpringerLink (Online service)

Contents: SpringerLink - Click here for access