Search Results - (( Defined (contribution OR contributions) ((pensions plans) OR (pension plans)) ) OR ((( Defined distribution ((((operation plan) OR (operation part))) OR (((operating plan) OR (operating _)))) ) OR ( Defined distribution erosion plans ))))
-
261
Software engineering for embedded systems : methods, practical techniques, and applications First edition.
Published: Newnes, 2013Contents: “…-- Certification killers -- Project planning strategies -- Strategy 1: determine the project certification scope early -- Strategy 2: determine feasibility of certification -- Strategy 3: select an independent assessor (if used) -- Strategy 4: understand your assessor's role (if used) -- Strategy 5: assessment communication is key -- Strategy 6: establish a basis of certification -- Strategy 7: establish a "fit and purpose" for your product -- Strategy 8: establish a certification block diagram -- Strategy 9: establish communication integrity objectives -- Strategy 10: identify all interfaces along the certification boundary -- Strategy 11: identify the key safety defensive strategies -- Strategy 12: define built in test (BIT) capability -- Strategy 13: define fault annunciation coverage -- Strategy 14: define reliance and expectation of the operator/user -- Strategy 15: define plan for developing software to appropriate integrity level -- Strategy 16: define artifacts to be used as evidence of compliance -- Strategy 17: plan for labor-intensive analyses -- Strategy 18: create user-level documentation -- Strategy 19: plan on residual activity -- Strategy 20: publish a well-defined certification plan -- Faults, failures, hazards, and risk analysis -- Faults, errors, and failures -- Availability and reliability -- Fault handling -- Hazard analysis -- Risk analysis -- Safety-critical architectures -- "Do-er"/"Check-er" -- Two processors -- "Voter" -- Software implementation strategies -- Strategy 1: have a well-defined, repeatable peer-review process -- Strategy 2: consider using existing safety coding standards -- Strategy 3: handle all combinations of input data -- Strategy 4: specific variable value checking -- Strategy 5: mark safety-critical code sections -- Strategy 6: timing execution checking -- Strategy 7: stale data -- Strategy 8: comparison of outputs -- Strategy 9: initialize data to least permissive state -- Strategy 10: order of execution -- Strategy 11: volatile data checking -- Strategy 12: non-volatile data checking -- Strategy 13: make sure the entire system can run -- Strategy 14: remove "dead" code -- Strategy 15: fill unused memory -- Strategy 16: static code analysis -- Background -- Is that software yours? …”Description: 1 online resource (xlix, 1150 pages).
Elsevier - Click here for access
eBook -
262
Computational methods and models for transport : new challenges for the greening of transport systems
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource : illustrations (chiefly color).
Conference Proceeding eBook -
263
Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Published: Springer-Verlag, 2009Contents: “…On the Temporal Structure of Learning -- Agreement Theorems in Dynamic-Epistemic Logic -- Learning and Teaching as a Game: A Sabotage Approach -- First-Order Logic Formalisation of Arrow's Theorem -- Twelve Angry Men: A Study on the Fine-Grain of Announcements -- Dynamic Testimonial Logic -- From the Logical Point of View: The Chain Store Paradox Revisited -- A Cooperation Logic for Declaration Structures -- Intentions and Assignments -- Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together -- Dynamic Epistemic Logic of Finite Identification -- An Epistemic Logic for Planning with Trials -- Obligations in a Responsible World -- Dynamic Epistemic Temporal Logic -- Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic -- An Update Operator for Strategic Ability -- Strategy Elimination in Games with Interaction Structures -- Posters -- The Logic of Knowledge-Based Cooperation in the Social Dilemma -- Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction -- Oppositional Logic -- Deliberate Contrary-to-Law Action -- Mono-Agent Dynamics -- Modal Expressivity and Definability over Sets -- Dynamic Logics for Explicit and Implicit Information -- Existence of Satisfied Alternative and the Occurring of Morph-Dictator.…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
264
Scattering theory for transport phenomena
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (xxi, 179 pages) : illustrations.
eBook -
265
Road vehicle automation 10
Published: Springer, 2023Contents: “…6.3 Public-Private Sector Interactions -- Part I: Public Sector and Policy Activities -- Towards Social Deployment of Automated Driving Systems - SIP-adus Activities in Japan -- 1 Introduction of SIP-adus -- 1.1 SIP -- 1.2 SIP-adus -- 2 Establishment and Utilization of Traffic Environment Information and Field Operational Tests -- 2.1 The Field Operational Tests in the Tokyo Waterfront Area -- 2.2 Distribution of Traffic Signal Information -- 2.3 Distribution of Traffic Environment Information -- 3 Conclusions -- 4 Next Steps -- 4.1 The 3rd Phase of SIP -- 4.2 RoAD to the L4 -- References.…”Description: 1 online resource (vii, 183 pages) : illustrations (chiefly color).
SpringerLink - Click here for access
Conference Proceeding eBook -
266
Springer handbook of mechanical engineering
Published: Springer, 2009Contents: “…Equilibria -- First Law of Thermodynamics -- Second Law of Thermodynamics -- Exergy and Anergy -- Thermodynamics of Substances -- Changes of State of Gases and Vapors -- Thermodynamic Processes -- Ideal Gas Mixtures -- Heat Transfer -- Tribology -- Tribology -- Design of Machine Elements -- Mechanical Drives -- Gearings -- Cylindrical Gearings -- Bevel Gearings -- Worm Gearings -- Design of Gear Wheels, Worm Wheels, and Worms -- Planetary Gears -- Wave Gears -- Shafts and Axles -- Shaft-Hub Connections -- Rolling Bearings -- Design of Bearing Units -- Appendix A -- Appendix B -- Manufacturing Engineering -- Casting -- Metal Forming -- Machining Processes -- Assembly, Disassembly, Joining Techniques -- Rapid Prototyping and Advanced Manufacturing -- Precision Machinery Using MEMS Technology -- Measuring and Quality Control -- Quality Management -- Manufacturing Measurement Technology -- Measuring Uncertainty and Traceability -- Inspection Planning -- Further Reading -- Engineering Design -- Design Theory -- Basics -- Precisely Defining the Task -- Conceptual Design -- Design -- Design and Manufacturing for the Environment -- Failure Mode and Effect Analysis for Capital Goods -- Piston Machines -- Foundations of Piston Machines -- Positive Displacement Pumps -- Compressors -- Internal Combustion Engines -- Pressure Vessels and Heat Exchangers -- Pressure Vessel -- General Design Concepts -- Design of Tall Towers -- Testing Requirement -- Design Codes for Pressure Vessels -- Heat Exchangers -- Material of Construction -- Turbomachinery -- Theory of Turbomachinery Stages -- Gas Turbine Engines: Design and Dynamic Performance -- Transport Systems -- Overview -- Automotive Engineering -- Railway Systems -- Railway Engineering -- Aerospace Engineering -- Construction Machinery -- Basics -- Earthmoving, Road Construction, and Farming Equipment -- Machinery for Concrete Works -- Site Lifts -- Access Machinery and Equipment -- Cranes -- Equipment for Finishing Work -- Automation and Robotics in Construction -- Enterprise Organization and Operation -- Overview -- Organizational Structures -- Process Organization, Capabilities, and Supply Networks -- Modeling and Data Structures -- Enterprise Resource Planning (ERP) -- Manufacturing Execution Systems (MES) -- Advanced Organization Concepts -- Interorganizational Structures -- Organization and Communication -- Enterprise Collaboration and Logistics -- Complementary Material for Mechanical Engineers -- Power Generation -- Principles of Energy Supply -- Primary Energies -- Fuels -- Transformation of Primary Energy into Useful Energy -- Various Energy Systems and Their Conversion -- Direct Combustion System -- Internal Combustion Engines -- Fuel Cells -- Nuclear Power Stations -- Combined Power Station -- Integrated Gasification Combined Cycle (IGCC) System -- Magnetohydrodynamic (MHD) Power Generation -- Total-Energy Systems for Heat and Power Generation -- Transformation of Regenerative Energies -- Solar Power Stations -- Heat Pump -- Energy Storage and Distribution -- Furnaces -- Fluidized-Bed Combustion System -- Liquid-Fuel Furnace -- Burners -- General Furnace Accessories -- Environmental Control Technology -- Steam Generators -- Parts and Components of Steam Generator -- Energy Balance Analysis of a Furnace/Combustion System -- Performance of Steam Generator -- Furnace Design -- Strength Calculations -- Heat Transfer Calculation -- Nuclear Reactors -- Future Prospects and Conclusion -- Electrical Engineering -- Fundamentals -- Transformers -- Rotating Electrical Machines -- Power Electronics -- Electric Drives -- Electric Power Transmission and Distribution -- Electric Heating.…”Description: 1 online resource.
SpringerLink - Click here for access
eBook -
267
Lighter than air robots : guidance and control of autonomous airships
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (xvii, 251 pages).
eBook -
268
Serious games and edutainment applications
Published: Springer-Verlag London Ltd., 2011Contents: “…-- Origins of Serious Games -- Serious Learning in Serious Games -- Part II -- Theories and Reviews -- Social Flow and Learning in Digital Games: A Conceptual Model and Research Agenda -- A Formalism to Define, Assess and Evaluate Player Behaviour in Mobile Device Based Serious Games -- Serious Games for Health and Safety Training -- Augmenting Initiative Game Worlds with Mobile Digital Devices -- Part III -- Custom-Made Games and Case Studies -- Enhancing Learning in Distributed Virtual Worlds through Touch: A Browser-based Architecture for Haptic Interaction -- Operation ARIES!…”Description: 1 online resource (xvi, 504 pages) : illustrations (some color)
SpringerLink - Click here for access
eBook -
269
Fund custody and administration
Published: Elsevier/Academic Press, 2016Contents: “…Regulation and directivesAIFMD and AIFMs; EEA Firms; Retail funds; UCITS Directive; Money laundering; Principles and recommendations; Fund Structures-Companies, Trusts, Partnerships, Common Funds; Fund of funds; Multimanager funds; Other structures; Retail funds; Alternative Investment Funds; Hedge funds; Open Ended and Closed Funds; Fund Jurisdictions; Key Players in the Operation of a Fund; Retail/mutual fund custodian; Fund administration; Prime broker/brokers; Setting up a Fund; Outsourcing; Documentation and agreements; Summary; Part 3 -- The Day-to-Day Operation of a Fund; Introduction.…”Description: 1 online resource (xxiii, 319 pages) : illustrations.
Elsevier - Click here for access
eBook -
270
Agile marketing
Published: Apress ; Distributed by Springer Science + Business Media, 2011SpringerLink - Click here for accessDescription: 1 online resource (xv, 232 pages) : illustrations.
eBook -
271
Compositional data analysis : CoDaWork, L'Escala, Spain, June 2015
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (x, 209 pages) : illustrations (some color).
Conference Proceeding eBook -
272
Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
Published: Springer, 2019Contents: “…3 Step 1: Arguments Based on Two Monotonic Logics4 Step 2: Preferences Among Arguments; 5 Step 3: Designing Non-monotonic Logics; 6 Related Work; 7 Summary and Concluding Remarks; References; A Discrete Representation of Lattice Frames; 1 Introduction; 2 Notation and First Definitions; 3 Urquhart's Lattice Representation; 4 Modal Definability of Doubly Ordered Frames; 5 Representability of Lattice Frames; 6 Summary and Outlook; References; Group Announcement Logic with Distributed Knowledge; 1 Introduction; 2 Background; 2.1 Languages; 2.2 Models and Bisimulation; 2.3 Semantics of GALD.…”Description: 1 online resource (xxi, 441 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
273
Software architectures and tools for computer aided process engineering
Published: Elsevier, 2002Elsevier - Click here for accessDescription: 1 online resource (xii, 700 pages) : illustrations.
eBook -
274
VMware cloud on AWS insights on the first VMware enterprise-proven SaaS solution
Published: Apress, 2023SpringerLink - Click here for accessDescription: 1 online resource (xvii, 301 pages) : illustrations.
Electronic eBook -
275
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 -
276
CRM fundamentals
Published: Apress, 2011SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
277
Theory and engineering of complex systems and dependability : proceedings of the tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29-July 3...
Published: Springer, 2015Contents: “…-Application of Data Encryption for Building Modern Virtual Private Networks -- Defining States in Reliability and Safety Modelling -- Macroscopic Transport Model as a Part of Traffic Management Center: Technical Feasibility Study -- Reliability Assessment of Integrated Airport Surface Surveillance System -- A Group Decision Support Technique for Critical IT-Infrastructures -- Planning of Electric Power Distribution Networks with Reliability Criteria -- Selected Aspects of Modeling the Movement of Aircraft in the Vicinity of the Airport with Regard to Emergency Situations -- Identifying and Symulation of Status of an Ict System Using Rough Sets -- Popular FPGA Device Families in Implementation of Cryptographic Algorithms -- Aspect-oriented Test Inputs Generation from Matlab/Simulink Models, Manel TEKAYA -- Ranking and Cyclic Job Scheduling in QoS-guaranteed Grids.- Web Based Engine for Processing and Clustering of Polish texts -- Effectiveness of Providing Data Confidentiality in Backbone Networks Based on Scalable and Dynamic Environment Technologies.- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems -- Analysis of Different Aspects of Infomobility for Public Transport in Latvia -- Data Actualization Using Regression Models in Decision Support System for Urban Transport Planning -- New Parallel Algorithm for the Calculation of Importance Measures -- An Unloading Work Model at an Intermodal Terminal.- Cost-aware Request Batching for Byzantine Fault-tolerant replication -- Symbolic Analysis Of Timed Petri nets.…”Description: 1 online resource (xvi, 604 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
278
Lake Charles CCS Project. Phase 2. Final technical report
Published: United States. Department of Energy, 2015Get full textDescription: 1 online resource (141 pages) : illustrations.
Address at time of PURL creation
Government Document eBook -
279
Software and data technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, revised selected papers
Published: Springer, 2008Contents: “…Invited Papers -- Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks -- SOA Pragmatism -- Software and Data Technologies -- A Simple Language for Novel Visualizations of Information -- Generic Components for Static Operations at Object Level -- A Visual Dataflow Language for Image Segmentation and Registration -- A Debugger for the Interpreter Design Pattern -- Concepts for High-Performance Scientific Computing -- A Model Driven Architecture Approach to Web Development -- Reverse-Architecting Legacy Software Based on Roles: An Industrial Experiment -- A Supporting Tool for Requirements Elicitation Using a Domain Ontology -- Pattern Detection in Object-Oriented Source Code -- Testing the Effectiveness of MBIUI Life-Cycle Framework for the Development of Affective Interfaces -- Developer Stories: Improving Architecture in Agile Practice -- An Ontological SW Architecture Supporting Agile Development of Semantic Portals -- The Vcodex Platform for Data Compression -- Classification of Benchmarks for the Evaluation of Grid Resource Planning Algorithms -- A Disconnection-Aware Mechanism to Provide Anonymity in Two-Level P2P Systems -- Approximation and Scoring for XML Data Management -- Quantitative Analysis of the Top Ten Wikipedias -- A Semantic Web Approach for Ontological Instances Analysis -- Aspects Based Modeling of Web Applications to Support Co-evolution -- Recommending Trustworthy Knowledge in KMS by Using Agents -- Recent Developments in Automated Inferencing of Emotional State from Face Images -- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation -- Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm -- Knowledge Purpose and Visualization -- Empirical Experimentation for Validating the Usability of Knowledge Packages in Transferring Innovations -- An Ontological Investigation in the Field of Computer Programs -- Evaluation of Novel Approaches to Software Engineering -- Formal Problem Domain Modeling within MDA -- Model Based Testing for Agent Systems -- A Metamodel for Defining Development Methodologies.…”Description: 1 online resource (xv, 428 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
280
Geographic information and cartography for risk and crises management : towards better solutions
Published: Springer Verlag, 2010Contents: “…Geoinformation Processing and Modelling -- Earth Observations and Dynamic Mapping: Key Assets for Risk Management -- Spatial Information for Disaster Management Using Examples from IstanbulIstanbul -- Rapid Population Maps for Crisis Response -- Modeling of Spatiotemporal Distribution of Urban Population at High Resolution -- Value for Risk Assessment and Emergency Management -- A Framework for Defining a 3D Model in Support of Risk Management -- DB4GeO, a 3D/4D Geodatabase and Its Application for the Analysis of Landslides -- GIS Procedure to Forecast and Manage Woodland Fires -- Cartographic Support of Fire Engine Navigation to Operation Site -- Strategies for the Automatic Extraction of Water Bodies from TerraSAR-X / TanDEM-X data -- GIS Techniques in the Evaluation of Pipeline Networks Seismic Hazard -- Towards a Quick Damage Detection System Based on Grid Computing -- GMES Services for Conflict Prevention and Mitigation: Supporting the DG RELEX in Mission Planning -- Geo-information Services -- Mobilizing Multi-source Geospatial Information for EW and EM: Maximize Sharing, Enhance Flexibility, and Minimize Costs -- Metainformation in Crisis Management Architecture -- Theoretical Approaches, INSPIRE Solution -- Collaborative Post-disaster Damage Mapping via Geo Web Services -- Decision Support for Tsunami Early Warning in Indonesia: The Role of OGC Standards -- A Service-Based Architecture for the Interoperability of Heterogeneous Sensor data: A Case Study on Early Warning -- Development of a Coupled Geoinformation and Simulation System for Early Warning -- Multi-criteria Evaluation for Emergency Management in Spatial Data Infrastructures -- Field Tracking Tool: A Collaborative Framework from the Field to the Decision Makers -- Practical Experience with a Contextual Map Service -- Advanced Cartographic Visualisation -- Cartography and Geoinformation for Early Warning and Emergency Management -- Process Support and Adaptive Geovisualisation in Emergency Management -- Perceptions of Various Cartographic Representations Under Specific Conditions -- Research of Students' Cartographical Knowledge in Early Warning and Crisis Management -- Geovisual Analytics Tools for Communicating Emergency and Early Warning -- Kernel Density Estimations for Visual Analysis of Emergency Response Data -- Monitoring and Comparing: A Cartographic Web Application for Real-time Visualization of Hydrological Data -- Designing Map Keys Map Key for Crisis ManagementCrisis Management on the Regional Operational and Informational Centre Level: Monitoring Transport of Dangerous Goods via Contextual Visualisation Contextual Visualization.…”Description: 1 online resource (xxii, 446 pages) : illustrations, maps.
SpringerLink - Click here for access
eBook