Search Results - (( Defined contribution pensions plans ) OR ((( Defined ((distributed operating) OR (distributed cooperative)) plan ) OR ( Defined ((distribution erosion) OR (distribution estimation)) plans ))))

A Guide to Co-Teaching New Lessons and Strategies to Facilitate Student Learning 3rd ed. by Villa, Richard A., 1952-

Contents: Prospector EBC - 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

Advances in dependability engineering of complex systems : proceedings of the twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2017,... by International Conference on Dependability of Computer Systems Brunów, Poland, SpringerLink (Online service)

Contents: “…Deadlock detection in distributed systems using the IMDS formalism and Petri nets.- -- 13. …”
SpringerLink - Click here for access

Research and advanced technology for digital libraries : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010 : proceedings by ECDL (Conference) Glasgow, Scotland), SpringerLink (Online service)

Contents: “…Keynote: The Web Changes Everything: Understanding and Supporting People in Dynamic Information Environments -- Keynote: The Web Changes Everything: Understanding and Supporting People in Dynamic Information Environments -- System Architectures -- Modelling Digital Libraries Based on Logic -- General-Purpose Digital Library Content Laboratory Systems -- Component-Based Authoring of Complex, Petri net-based Digital Library Infrastructure -- Metadata -- Uncovering Hidden Qualities -- Benefits of Quality Measures for Automatically Generated Metadata -- Query Transformation in a CIDOC CRM Based Cultural Metadata Integration Environment -- User-Contributed Descriptive Metadata for Libraries and Cultural Institutions -- Multimedia IR -- An Approach to Content-Based Image Retrieval Based on the Lucene Search Engine Library -- Evaluation Constructs for Visual Video Summaries -- Visual Expression for Organizing and Accessing Music Collections in MusicWiz -- Interaction and Interoperability -- An Architecture for Supporting RFID-Enhanced Interactions in Digital Libraries -- New Evidence on the Interoperability of Information Systems within UK Universities -- Enhancing Digital Libraries with Social Navigation: The Case of Ensemble -- Digital Preservation -- Automating Logical Preservation for Small Institutions with Hoppla -- Estimating Digitization Costs in Digital Libraries Using DiCoMo -- In Pursuit of an Expressive Vocabulary for Preserved New Media Art -- Social Web/Web 2.0 -- Privacy-Aware Folksonomies -- Seamless Web Editing for Curated Content -- Automatic Classification of Social Tags -- Search in Digital Libraries -- Exploring the Impact of Search Interface Features on Search Tasks -- Relevance in Technicolor -- Application of Session Analysis to Search Interface Design -- (Meta) Analysis of Digital Libraries -- An Analysis of the Evolving Coverage of Computer Science Sub-fields in the DBLP Digital Library -- Analysis of Computer Science Communities Based on DBLP -- Citation Graph Based Ranking in Invenio -- Query Log Analysis -- A Search Log-Based Approach to Evaluation -- Determining Time of Queries for Re-ranking Search Results -- Ranking Entities Using Web Search Query Logs -- Cooperative Work in DLs -- Examining Group Work: Implications for the Digital Library as Sharium -- Architecture for a Collaborative Research Environment Based on Reading List Sharing -- CritSpace: A Workspace for Critical Engagement within Cultural Heritage Digital Libraries -- Ontologies -- German Encyclopedia Alignment Based on Information Retrieval Techniques -- Lightweight Parsing of Classifications into Lightweight Ontologies -- Measuring Effectiveness of Geographic IR Systems in Digital Libraries -- Domain-Specific DLs -- A Visual Digital Library Approach for Time-Oriented Scientific Primary Data -- DINAH, A Philological Platform for the Construction of Multi-structured Documents -- The PROBADO Project -- Approach and Lessons Learned in Building a Digital Library System for Heterogeneous Non-textual Documents -- Posters -- Capacity-Constrained Query Formulation -- AAT-Taiwan: Toward a Multilingual Access to Cultural Objects -- Using Pattern Language as a Framework for Future Metadata Structure -- i-TEL-u: A Query Suggestion Tool for Integrating Heterogeneous Contexts in a Digital Library -- The Planets Testbed -- A Functionality Perspective on Digital Library Interoperability -- Overview and Results of the INEX 2009 Interactive Track -- SciPlore Xtract: Extracting Titles from Scientific PDF Documents by Analyzing Style Information (Font Size) -- Academic Publication Management with PUMA -- Collect, Organize and Share Publications -- Using Mind Maps to Model Semistructured Documents -- Towards a Public Library Digital Service Taxonomy -- Multimodal Image Collection Visualization Using Non-negative Matrix Factorization -- A New Perspective on Collection Selection -- Creating a Flexible Preservation Infrastructure for Electronic Records -- Matching Intellectual Works for Rights Management in the European Library -- Mopseus -- A Digital Library Management System Focused on Preservation -- Link Proximity Analysis -- Clustering Websites by Examining Link Proximity -- SliDL: A Slide Digital Library Supporting Content Reuse in Presentations -- Metadata Impact on Research Paper Similarity -- Exploring the Influence of Tagging Motivation on Tagging Behavior -- A Teaching Tool for Parasitology: Enhancing Learning with Annotation and Image Retrieval -- Framework for Logging and Exploiting the Information Retrieval Dialog -- Defining the Dynamicity and Diversity of Text Collections -- Manuzio: A Model for Digital Annotated Text and Its Query/Programming Language -- Effective Term Weighting for Sentence Retrieval -- User-Oriented Evaluation of Color Descriptors for Web Image Retrieval -- A Topic-Specific Web Search System Focusing on Quality Pages -- Reliable Preservation of Interactive Environments and Workflows -- Automated Country Name Disambiguation for Code Set Alignment -- LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit -- Ensemble: A Distributed Portal for the Distributed Community of Computing Education -- A New Focus on End Users: Eye-Tracking Analysis for Digital Libraries -- Digital Library Educational Module Development Strategies and Sustainable Enhancement by the Community -- Demos -- Approach to Cross-Language Retrieval for Japanese Traditional Fine Art: Ukiyo-e Database -- Open Source Historical OCR: The OCRopodium Project -- A Voice-Oriented Image Cataloguing Environment -- DMP Online: A Demonstration of the Digital Curation Centre's Web-Based Tool for Creating, Maintaining and Exporting Data Management Plans -- DiLiA -- The Digital Library Assistant -- Xeproc©: A Model-Based Approach towards Document Process Preservation -- A Prototype Personalization System for the European Library Portal -- Meta-Composer: Synthesizing Online FRBR Works from Library Resources -- Digital Library in a 3D Virtual World: The Digital Bleek and Lloyd Collection in Second Life.…”
SpringerLink - Click here for access

Sustainable development, human dignity and choice : lessons from the ENRICH Programme, Bangladesh by Greeley, Martin, 1952-

Contents: “…4.8 Participation in the ENRICH Programme Education Component -- 4.8.1 Rate of Participation -- 4.8.2 Determinants of Participation in the ENRICH Programme Education Component -- 4.8.3 Results Achieved by the Participating Students -- 4.9 Distribution of Households in Terms of Income -- 4.9.1 Food Intake -- 4.10 An Analysis of the Costs of Implementing the ENRICH Programme -- References -- Chapter 5: The Impact of the ENRICH Programme on the Economic Wellbeing of Participants -- 5.1 Construction of Panel Data -- 5.2 Estimation Method.…”
SpringerLink - Click here for access

Cloud computing and service Science : 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, Revised selected papers by International Conference on Cloud Computing and Services Science Porto, Portugal, SpringerLink (Online service)

SpringerLink - Click here for access

Pro HTML5 with Visual Studio 2015 by Collins, Mark J. (Mark Jeffery)

SpringerLink - Click here for access

Small satellite missions for Earth observation : new developments and trends by International Academy of Astronautics. International Symposium, SpringerLink (Online service)

Contents: “…S (Vegetation and Environment Monitoring on a New Micro Satellite) -- The "Ulingo" Mid-Low Latitudes Observation (MILO) Mission -- The Italian Precursor of an Operational Hyperspectral Imaging Mission -- Earth Environment Missions -- Space System "Radiomet" for GLONASS/GPS Navigation Signal Radio Occultation Monitoring of Lower Atmosphere and Ionosphere Based on Super-Small Satellites -- The Study of Electromagnetic Parameters of Space Weather, Micro-Satellite "Chibis-M" -- SEPSAT -- A Nanosatellite to Observe Parameters of Space Weather -- Small Satellite Constellations for Measurements of the Near-Earth Space Environment -- Distributed Space Systems -- Satellite Formation for a Next Generation Gravimetry Mission -- EO Small Satellite Missions and Formation Flying -- Relative Trajectory Design for Bistatic SAR Missions -- Conceptual Design of the FAST-D Formation Flying Spacecraft -- Earth Observation Using Japanese/Canadian Formation Flying Nanosatellites -- A Bi/Multi-Static Microsatellite SAR Constellation -- Mission Design of the Dutch-Chinese FAST Micro-Satellite Mission -- University Satellites -- SPRITE-SAT: A University Small Satellite for Observation of High-Altitude Luminous Events -- SwissCube: The First Entirely-Built Swiss Student Satellite with an Earth Observation Payload -- German Russian Education Satellite -- Mission Outline and Objectives -- University Microsatellites Equipped with an Optical System for Space Debris Monitoring -- A First-MOVE in Satellite Development at the TU-München -- Design of a Small Educational Satellite for the Italian High School Students: The EduSAT Project -- Testing of Critical Pico-Satellite Systems on the Sounding Rocket Rexus-4 -- Laboratory Facility for Simulation and Verification of Formation Motion Control Algorithms -- Asynchronous Parallel Reactive System for Intelligent Small Satellite on-Board Computing Systems -- NanoSiGN -- Nanosatellite for scientific interpretation of GNSS dual-frequency signals in the low Earth orbit -- Instruments and Technologies -- The Vegetation Instrument for the PROBA-V Mission -- Software Defined LFM CW SAR Receiver for Microsatellites -- PhytoMapper -- Compact Hyperspectral Wide Field of View Instrument -- Development of Spaceborne Small Hyperspectral sensor HSC-III for Micro Satellite -- Towards a Miniaturized Photon Counting Laser Altimeter and Stereoscopic Camera Instrument Suite for Microsatellites -- A Plan of Spaceborne ISAR Satellite Imaging System Aiming at Space Objects -- Increasing the Data Volume Returned from Small Satellites -- Integrated Design Based Plug-and-Play Small SAR Satellite Project -- Attitude Control Systems -- Star Sensor Development Based on the TUBSAT Experience -- Small Sensors Big Choices -- Robust and Fault Tolerant AOCS of the TET Satellite -- Implementation of the T3?…”
SpringerLink - Click here for access

Agile marketing by Accardi-Petersen, Michelle

SpringerLink - Click here for access

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

Elsevier - Click here for access

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

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

Proceedings of fifth International Conference on Soft Computing for Problem Solving : SocProS 2015. Volume 1 by International Conference on Soft Computing for Problem Solving Roorkee, India, SpringerLink (Online service)

Contents: “…A Production Model with Stock Dependent Demand, Partial Backlogging, Weibull Distribution Deterioration and Customer Returns -- Chapter 3. …”
SpringerLink - Click here for access

Life on land by SpringerLink (Online service)

SpringerLink - Click here for access

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

SpringerLink - Click here for access

Practical business statistics 6th ed. by Siegel, Andrew F.

Contents: “…RANDOM VARIABLES: WORKING WITH UNCERTAIN NUMBERS -- 8.) RANDOM SAMPLING: PLANNING AHEAD FOR DATA GATHERING -- 9.) CONFIDENCE INTERVALS: ADMITTING THAT ESTIMATES ARE NOT EXACT -- 10.) …”
Elsevier - Click here for access

Performance evaluation for network services, systems and protocols by Fernandes, Stênio

SpringerLink - Click here for access

Effective team management with VSTS and TFS : a guide for scrum masters by Chandrasekara, Chaminda, Yapa, Sanjaya

SpringerLink - Click here for access

The six sigma handbook Fifth edition. by Pyzdek, Thomas, Keller, Paul A. (Paul Andrew)

Contents: “…Process definition ; Metric definition ; Process baseline estimates -- Process behavior charts. Distributions ; Control charts for variables data ; Control charts for attributes data ; Control chart selection ; Control chart interpretation ; Short-run statistical process control techniques ; SPC techniques for automated manufacturing ; Process capability indices -- Measurement systems evaluation. …”

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: “…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