Search Results - (( Defined (contribution OR contributions) ((pensions plans) OR (pension plans)) ) OR ((( Defined distribution ((operation plan) OR (((operational plan) OR (operating a)))) ) OR ( Defined ((distribution erosion) OR (distribution decision)) plans ))))

Healthcare information privacy and security : regulatory compliance and data security in the age of electronic health records by Robichau, Bernard Peter

SpringerLink - Click here for access

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

Beginning SQL Server for developers Fourth edition. by Dewson, Robin

Contents: “…-- SQL Server Editions -- The Example -- Installation -- Install -- Setup Role -- Choosing the Features to Install -- Naming the Instance -- Service Accounts -- Authentication Mode -- Defining the Data Directories -- FILESTREAM Options -- Creating the Reporting Services Database -- Distributed Replay Options -- Security -- Services Accounts -- Looking at the Authentication Mode -- Windows Authentication Mode -- Administrators on a Machine -- Mixed Mode -- The sa Login -- Summary -- Chapter 2: SQL Server Management Studio -- A Quick Overview of SSMS -- Query Editor -- sqlcmd -- Summary -- Chapter 3: Database Design and Creation -- Defining a Database -- Prebuilt Databases Within SQL Server -- master -- tempdb -- model -- msdb -- AdventureWorks/AdventureWorksDW -- Choosing the Database System Type -- OLTP -- Backups -- Indexes -- In-memory data -- BI/OLAP -- Example System Choice -- Gathering the Data -- Determining the Information to Store in the Database -- Financial Products -- Customers -- Customer Addresses -- Shares -- Transactions -- External and Ignored Information -- Building Relationships -- Using Keys -- Primary Key -- Foreign/Referencing Key -- Candidate/Alternate Key -- A Unique Constraint Instead of a Primary Key -- Creating Relationships -- Relationships and Referential Integrity -- Types of Relationships -- One-to-One -- One-to-Many -- Many-to-Many -- More on Foreign Keys -- Normalization -- Assign Each Entity a Unique Identifier -- Store Only Information That Directly Relates to That Entity -- Avoid Repeating Values or Columns -- Normal Forms -- First Normal Form -- Customers -- Shares -- Second Normal Form -- Third Normal Form.…”
SpringerLink - Click here for access

Managing downside risk in financial markets : theory, practice and implementation by ScienceDirect (Online service)

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

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

Beginning backup and restore for SQL Server : data loss management and prevention techniques by Beard, Bradley

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

Virtual, augmented and mixed reality : 13th International Conference, VAMR 2021, held as part of the 23rd HCI International Conference, HCII 2021, Virtual event, July 24-29, 2021,... by VAMR (Conference) Online), SpringerLink (Online service), International Conference on Human-Computer Interaction

Contents: “…Designing and Evaluating VAMR Environments -- Narrative Cognition in Mixed Reality Systems: Towards an Empirical Framework -- Exploratory Study on the Use of Augmentation for Behavioural Control in Shared Spaces -- Pose Estimation and Video Annotation Approaches for Understanding Individual and Team Interaction during Augmented Reality-Enabled Mission Planning -- GazeXR: A General Eye-tracking System Enabling Invariable Gaze Data in Virtual Environment -- SpatialViewer: A Remote Work Sharing Tool that Considers Intimacy Among Workers -- A Review of Virtual Therapists in Anxiety and Phobias Alleviating Applications -- Designing Limitless Path in Virtual Reality Environment -- A Comparative Study of Conversational Proxemics for Virtual Agents -- Real-time Data Analytics of COVID Pandemic using Virtual Reality -- Design Considerations for Interacting and Navigating with 2 Dimensional and 3 Dimensional Medical Images in Virtual, Augmented and Mixed Reality Medical Applications -- Virtual Reality Sickness Evaluation in Exergames for Older Hypertensive Patients: A Comparative Study of Training Methods in a Virtual Environment -- Consistency in Multi-device Service including VR : A Case Study -- Multimodal and Natural Interaction in VAMR -- The Effect of Body-Based Haptic Feedback on Player Experience during VR Gaming -- User Defined Walking-in-place Gestures for Intuitive Locomotion in Virtual Reality -- Exploring Human-to-Human Telepresence and the Use of Vibro-Tactile Commands to Guide Human Streamers -- Pseudo-haptic Perception in Smartphones Graphical Interfaces: a Case Study -- A Research on Sensing Localization & Orientation of Objects in VR with Facial Vibrotactile Display -- HaptMR: Smart Haptic Feedback for Mixed Reality based on Computer Vision Semantic -- Position Estimation of Occluded Fingertip based on Image of Dorsal Hand from RGB Camera -- Head-mounted Displays and VR Glasses -- Usability and User Experience of Interactions on VR-PC, HoloLens 2, VR Cardboard and AR Smartphone in a Biomedical Application -- Simulation of the Field of View in AR and VR Headsets -- Exploring Perspective Switching in Immersive VR for Learning First Aid in Lower Secondary Education -- Beyond Visible Light: User and Societal Impacts of Egocentric Multispectral Vision -- No One is Superman: 3-D Safety Margin Profiles when Using Head-Up display (HUD) for Takeoff in Low Visibility and High Crosswind Conditions -- Robust Camera Motion Estimation for Point-of-View Video Stabilization -- Rendering Tree Roots Outdoors: A Comparison between Optical See Through Glasses and Smartphone Modules for Underground Augmented Reality Visualization -- Using Head-Mounted Displays for Virtual Reality: Investigating Subjective Reactions to Eye-Tracking Scenarios -- Omnidirectional Flick View -- VAMR Applications in Design, the Industry and the Military -- Virtual Fieldwork: Designing Augmented Reality Applications using Virtual Reality Worlds -- Contextually Adaptive Multimodal Mixed Reality Interfaces for Dismounted Operator Teaming with Unmanned System Swarms -- Virtual Solutions for Gathering Consumer Feedback on Food: A Literature Review and Analysis -- Modernizing Aircraft Inspection: Conceptual Design of an Augmented Reality Inspection Support Tool -- The Potential of Augmented Reality for Remote Support -- A Review of Distributed VR Co-Design Systems -- The Mobile Office: A Mobile AR Systems for Productivity Applications in Industrial Environments -- Virtual Reality Compensatory Aid for Improved Weapon Splash-Zone Awareness -- Mixed Reality Visualization of Friendly vs Hostile Decision Dynamics -- Doing versus Observing: Virtual Reality and 360-degree Video for Training Manufacturing Tasks -- VAMR in Learning and Culture -- Design and Research on the Virtual Simulation Teaching Platform of Shanghai Jade Carving Techniques Based on Unity 3d Technology -- IME VR: an MVC Framework for Military Training VR Simulators -- Extended Reality, Pedagogy, and Career Readiness: A Review of Literature -- Development of an AR Training Construction System using Embedded Information in a Real Environment -- LibrARy : Enriching the Cultural Physical Spaces with Collaborative AR Content -- Supporting Embodied and Remote Collaboration in Shared Virtual Environments -- A Survey on Applications of Augmented, Mixed and Virtual Reality for Nature and Environment -- Flexible Low-Cost Digital Puppet System -- Mixed Reality Technology Capabilities for Combat-Casualty Handoff Training.…”
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

Marketing analytics roadmap : methods, metrics, and tools by Rackley, Jerry

SpringerLink - Click here for access

Microsoft SharePoint : building Office 2007 solutions in VB 2005 by Hillier, Scot

SpringerLink - Click here for access

Artificial intelligence in education : 15th international conference, AIED 2011, Auckland, New Zealand, June 28-July 1, 2011 by International Conference on Artificial Intelligence in Education Auckland, N.Z., SpringerLink (Online service)

Contents: “…Faster Teaching by POMDP Planning /…”
SpringerLink - Click here for access

Agile marketing by Accardi-Petersen, Michelle

SpringerLink - Click here for access

Ubiquitous computing application and wireless sensor : UCAWSN-14 by FTRA International Conference on Ubiquitous Computing Application and Wireless Sensor Network Cheju-do, Korea, SpringerLink (Online service)

Contents: “…-W. Lin, P.-H. Wang -- A New Distributed Grid Scheme utilizing Node-based Preprocessing Technique for Supporting k-NN Queries; H. …”
SpringerLink - Click here for access

Microservices : science and engineering by SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Safety for future transport and mobility by Ross, Hans-Leo

Contents: “…2.1.1 Development of the Context -- 2.1.2 Identification of Risk -- 2.1.3 Assessment of the Risk in the Target Context -- 2.1.4 Development of a Strategy and Treatment of Potential Risk -- 2.1.5 Development and Defining of Activities and Their Objectives -- 2.1.6 Development of an Implementation and Realisation Strategy -- 2.1.7 Review and Evaluation of the Plan -- 2.2 Technical Risk -- 2.3 Risk in Road Traffic -- 2.3.1 Causes of Technical Risk -- 2.3.2 Control of Technical Risk -- 2.4 Standardisation of Safety for Road Vehicles -- 2.4.1 Risk and Integrity Definition from the IEC 61508.…”
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

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

Configuration management for senior managers : essential product configuration and lifecycle management for manufacturing by Watts, Frank B.

Contents: “…FUNCTION NAMERESPONSIBILITIES; REENGINEER OR CONTINUOUS IMPROVEMENT; PLAN TO IMPROVE; SUMMARY; Chapter Four -- CM and Software; SOFTWARE'S CURRENT CONDITION; MODERN TREND; PROCESS REDESIGN BEFORE SOFTWARE; CM'S ROLL IN SOFTWARE; WHAT CM SHOULD CONTROL-AND NOT; SOFTWARE (SW) AND FIRMWARE (FW) CONTROL; SUMMARY; Chapter Five -- Standard Foundation Blocks; STANDARDS WRITING; GENERAL STANDARDS; ACRONYMS AND DEFINITIONS; PART NUMBERS-SIGNIFICANT OR NOT; CLASS CODING; INTERCHANGEABILITY AND THE PART NUMBER; INTERCHANGEABILITY/PART NUMBER/REV CHANGE; ITEM/DOCUMENT NUMBERING.…”
Elsevier - Click here for access