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 ))))

Software engineering for embedded systems : methods, practical techniques, and applications First edition. by ScienceDirect (Online service)

Contents: “…-- 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? …”
Elsevier - Click here for access

Computational methods and models for transport : new challenges for the greening of transport systems by SpringerLink (Online service), CM3 Conference on Computational Multi Physics, Multi Scales and Multi Big Data in Transport Modeling, Simulation and Optimization, European Conferences on Green Challenges in Transport

SpringerLink - Click here for access

Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings by LORI 2009 Chongqing, China, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Scattering theory for transport phenomena by Emamirad, Hassan

SpringerLink - Click here for access

Road vehicle automation 10 by SpringerLink (Online service), Automated Road Transportation Symposium

Contents: “…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.…”
SpringerLink - Click here for access

Springer handbook of mechanical engineering by SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Lighter than air robots : guidance and control of autonomous airships by Bestaoui Sebbane, Yasmina

SpringerLink - Click here for access

Serious games and edutainment applications by SpringerLink (Online service)

Contents: “…-- 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!…”
SpringerLink - Click here for access

Fund custody and administration by Loader, David

Contents: “…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.…”
Elsevier - Click here for access

Agile marketing by Accardi-Petersen, Michelle

SpringerLink - Click here for access

Compositional data analysis : CoDaWork, L'Escala, Spain, June 2015 by CoDaWork (Conference) La Escala, Spain), SpringerLink (Online service)

SpringerLink - Click here for access

Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings by LORI (Workshop) Chongqing, China), SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Software architectures and tools for computer aided process engineering by ScienceDirect (Online service)

Elsevier - Click here for access

VMware cloud on AWS insights on the first VMware enterprise-proven SaaS solution by Lombard, Christophe

SpringerLink - Click here for access

Small satellites for earth observation : selected contributions by International Academy of Astronautics. International Symposium, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

CRM fundamentals by Kostojohn, Scott, Johnson, Mathew, Paulen, Brian

SpringerLink - Click here for access

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... by International Conference on Dependability of Computer Systems Brunów, Poland, SpringerLink (Online service)

Contents: “…-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.…”
SpringerLink - Click here for access

Lake Charles CCS Project. Phase 2. Final technical report by Leib, Thomas J., Cole, Dan E.

Get full text
Address at time of PURL creation

Software and data technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, revised selected papers by ICSOFT 2007 Barcelona, Spain, SpringerLink (Online service), ICSOFT (Conference), ENASE (Conference)

Contents: “…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.…”
SpringerLink - Click here for access

Geographic information and cartography for risk and crises management : towards better solutions by SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access