Search Results - (( Defined (contribution OR contributions) pensions plans ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating _)))) ) OR ( Defined distribution 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, 2021Contents: “…2.3 Data Requirement and Collection -- 3 Results and Discussion -- 3.1 Performance Assessment -- 3.2 Carrying Capacity Assessment -- 4 Conclusion -- References -- Spatial Distribution of Socioeconomic Factors and Its Impact on Urban Land Use Dynamics: An Agent Based Modeling Approach -- 1 Introduction -- 1.1 Contribution of the Study -- 2 Case Study: Dehradun City -- 3 Simulation Framework -- 3.1 CA Model for Urban Growth Estimation -- 3.2 ABM to Incorporate the Impact of Socioeconomic Factors on Urban Growth Estimation -- 3.3 Defining Proximity Rules -- 3.4 Simulation Algorithm.…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
4
Modeling, dynamics, optimization and bioeconomics IV : DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May-June 2017 -- Selected Contributions
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (448 pages).
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
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 -
10
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: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
11
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: “…Régnier -- Some classes of operators on partial inner product spaces / J.-P. Antoine and C. …”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
12
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 -
13
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 -
14
Enabling manufacturing competitiveness and economic sustainability : proceedings of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CA...
Published: Springer, 2013Contents: “…A Three Level Model for the Design, Planning and Operation of Changeable Production Systems in Distributed Manufacturing /…”Description: 1 online resource (xii, 480 pages) : illustrations (some color)
SpringerLink - Click here for access
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
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 -
17
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 -
18
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 -
19
Landslide science and practice. Volume 2, Early warning, instrumentation and monitoring
Published: Springer, 2013Contents: “…Slope Disaster Monitoring System Using Battery-Operated Wireless Sensor Network /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
20
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