Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operations plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distributions regression plans ))))
-
1
Optimization theory, decision making, and operations research applications : Proceedings of the 1st International Symposium and 10th Balkan Conference on Operational Research
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
2
Mobile wireless middleware, operating systems and applications : 11th EAI International Conference, MOBILWARE 2022, virtual event, December 28-29, 2022, Proceedings
Published: Springer, 2023Contents: “…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.…”Description: 1 online resource (xiii, 286 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
3
Urban science and engineering : proceedings of ICUSE 2020
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
4
Making globally distributed software development a success story : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings
Published: Springer, 2008Contents: “…-- 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.…”Description: 1 online resource (xiv, 422 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
5
Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource (xiii, 496 pages) : illustrations.
Conference Proceeding eBook -
6
Supercomputing : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings
Published: Springer, 2014SpringerLink - Click here for accessDescription: 1 online resource (xvi, 521 pages) : illustrations.
Conference Proceeding eBook -
7
Advances in parallel and distributed computing and ubiquitous services : UCAWSN & PDCAT 2015
Published: Springer, 2016Contents: “…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. …”Description: 1 online resource : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
8
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (x, 266 pages) : illustrations.
Conference Proceeding eBook -
9
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,...
Published: Springer, 2013Contents: “…OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators. A Simulation Study (II) /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
10
Spectral theory, mathematical system theory, evolution equations, differential and difference equations : 21st International Workshop on Operator Theory and Applications, Berlin, J...
Published: Birkhäuser, 2012Contents: “…Ehrhardt and B. Silbermann -- Operator splitting with spatial-temporal discretization / A. …”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
11
IoT as a service : 6th EAI International Conference, IoTaaS 2020, Xi'an, China, November 19-20, 2020, proceedings
Published: Springer, 2021Contents: “…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.…”Description: 1 online resource (xiv, 807 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
12
Enabling manufacturing competitiveness and economic sustainability : proceedings of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CA...
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (xii, 480 pages) : illustrations (some color)
Conference Proceeding eBook -
13
Collaborative computing : networking, applications, and worksharing : 11th International Conference, CollaborateCom 2015, Wuhan, November 10-11, 2015, China. Proceedings
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (xi, 336 pages) : color illustrations.
Conference Proceeding eBook -
14
Group decision and negotiation : theory, empirical evidence, and application : 16th International Conference, GDN 2016, Bellingham, WA, USA, June 20-24, 2016, revised selected pape...
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource (xii, 175 pages).
Conference Proceeding eBook -
15
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
Published: Springer, 2012Contents: “…Adaptive Self-triggered Control of a Remotely Operated Robot /…”Description: 1 online resource (xvi, 469 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
16
Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I
Published: Springer, 2019Contents: “…Reinsertion Algorithm Based on Destroy and Repair Operators for Dynamic Dial a Ride Problems /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
17
Proceedings of 2012 3rd International Asia Conference on Industrial Engineering and Management Innovation (IEMI2012)
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
18
Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Published: Springer, 2012Contents: SpringerLink - Click here for accessDescription: 1 online resource (xi, 417 pages) : illustrations.
Conference Proceeding eBook -
19
Landslide science and practice. Volume 2, Early warning, instrumentation and monitoring
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
20
Relational and algebraic methods in computer science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Published: Springer, 2021Contents: SpringerLink - Click here for accessDescription: 1 online resource (xvii, 499 pages) : illustrations (some color).
Conference Proceeding eBook