Search Results - (( Defined (contribution OR contributorss) ((lessons plans) OR (pension plans)) ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution erosion 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
National defense into the 21st century defining the issues
Published: Strategic Studies Institute, U.S. Army War College, 1997Get full text
Full text
Government Document Electronic eBook -
4
Urban science and engineering : proceedings of ICUSE 2020
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
5
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 -
6
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 -
7
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 -
8
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 -
9
Small satellites for earth observation : selected contributions
Published: Springer, 2008Contents: “…Programmatics -- NASA Earth Observation Programs and Small Satellites -- Incubating Domestic Space-Qualified Manufacturers Through ROCSAT Programs -- Trends and Visions for Small Satellite Missions -- Development of the MicroSat Programme at INTA -- Missions (1) -- Moving Towards Commercial Earth Observation Services with Small Satellite Constellations -- PROBA Spacecraft Family -- Small Satellites and Earth Observation Systems for Small Countries and Regions -- Instruments -- Development of a High-Performance Optical System for Small Satellites -- Comparison of Atmospheric Ozone Measurements Between NASA's Total Ozone Mapping Spectrometer (TOMS) and the FASAT-BRAVO Ozone Mapping Detector (OMAD) -- Serious Microsats Need Serious Instruments, MIBS and the First Results -- Constellations -- Feasibility of a Constellation of Miniature Satellites for Perform ing Measurements of the Magnetic Field of the Earth -- Preliminary Concepts and Analysis of Future Earth Observation Missions Based on Distributed Radars -- The Swarm Magnetometry Package -- EO Formation Flying Applications for Small Satellite Missions -- Subsystems (1) -- GPS for Microsatellites -- Status and Perspectives -- On-the-Fly Merging of Attitude Solutions -- Design and On-Orbit Evaluation of Magnetic Attitude Control System for the "REIMEI" Microsatellite -- GPS and Low Cost Sensors in Navigation -- Students Session -- GPS Based Attitude Determination for the Flying Laptop Satellite -- Electromagnetic Formation Flight System Design -- Preliminary System Simulation Environment of the University Micro-Satellite Flying Laptop -- A Miniaturised UV Imaging Spectrometer for Remote Sensing of Atmosphere: Volcanic Sulphur Dioxide, Ozone, and Aerosols -- BeeSat Attitude Determination and Control System -- Special Aspects -- Initial SPHERES Operations Aboard the International Space Station -- BIRD Microsatellite Thermal Control System -- 5 Years of Operation in Space -- The "Mailbox Gound Station" -- A Procedure to Improve the Operational Key Requirements of Earth Observation Systems -- A Software-Defined Radio Approach for the Implementation of Ground Station Receivers -- Missions (2) -- Mission Requirements and Analysis of Indonesia's Second Generation Satellite to Support Food Security Program -- A Low-Cost Microsatellite Platform for Multispectral Earth Observation -- Nano-Satellites for Micro-Technology Pre-Qualification: The Delfi Program of Delft University of Technology -- Spacecraft Bus -- Development of the Method of the Creation of Micro Satellite (̃50 kg) Platforms for the Fundamental and Applied Research of the Earth and Near-Earth Outer Space -- Indigenous Mission of Satellite System Development Program in Taiwan -- Lessons Learned -- First Year in Orbit -- Results from the Beijing-1 Operational High Resolution Small Satellite -- An Introduction to FORMOSAT-2's Global Effectiveness -- TopSat: Lessons Learned from a Small Satellite Mission -- Subsystems (2) -- High Data Rate X-Band Transmitter for Low Earth Orbit Satellites -- Flowing Taks: Scalable Software Dependability and Performance.…”Description: 1 online resource (xxi, 406 pages) : illustrations, maps.
SpringerLink - Click here for access
eBook -
10
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 -
11
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 -
12
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 -
13
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 -
14
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 -
15
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 -
16
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 -
17
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 -
18
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 -
19
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 -
20
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