Search Results - (( Defined contribution pensions plans ) OR ((( Defined ((distributed operating) OR (distributed cooperative)) plan ) OR ( Defined ((distribution erosion) OR (distribution estimation)) plans ))))
-
181
A Guide to Co-Teaching New Lessons and Strategies to Facilitate Student Learning 3rd ed.
Published: SAGE Publications, 2013Contents: Prospector EBC - Click here for accessDescription: 1 online resource (281 pages)
Electronic eBook -
182
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 -
183
Advances in dependability engineering of complex systems : proceedings of the twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2017,...
Published: Springer, 2018Contents: “…Deadlock detection in distributed systems using the IMDS formalism and Petri nets.- -- 13. …”Description: 1 online resource (xvi, 488 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
184
Research and advanced technology for digital libraries : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010 : proceedings
Published: Springer, 2010Contents: “…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.…”Description: 1 online resource (xxii, 573 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
185
Sustainable development, human dignity and choice : lessons from the ENRICH Programme, Bangladesh
Published: Springer, 2021Contents: “…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.…”Description: 1 online resource (150 pages)
SpringerLink - Click here for access
eBook -
186
Cloud computing and service Science : 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, Revised selected papers
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xiv, 333 pages) : illustrations.
Conference Proceeding eBook -
187
Pro HTML5 with Visual Studio 2015
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource (xxiv, 424 pages) : illustrations.
eBook -
188
Small satellite missions for Earth observation : new developments and trends
Published: Springer, 2010Contents: “…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?…”Description: 1 online resource (481 pages)
SpringerLink - Click here for access
eBook -
189
Agile marketing
Published: Apress ; Distributed by Springer Science + Business Media, 2011SpringerLink - Click here for accessDescription: 1 online resource (xv, 232 pages) : illustrations.
eBook -
190
Managing downside risk in financial markets : theory, practice and implementation
Published: Butterworth-Heinemann, 2001Elsevier - Click here for accessDescription: 1 online resource (xiv, 267 pages) : illustrations.
eBook -
191
Healthcare information privacy and security : regulatory compliance and data security in the age of electronic health records
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xi, 167 pages) : illustrations (some color)
eBook -
192
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 -
193
Proceedings of fifth International Conference on Soft Computing for Problem Solving : SocProS 2015. Volume 1
Published: Springer, 2016Contents: “…A Production Model with Stock Dependent Demand, Partial Backlogging, Weibull Distribution Deterioration and Customer Returns -- Chapter 3. …”Description: 1 online resource (xix, 1063 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
194
Life on land
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (xxix, 1117 pages) : illustrations, maps.
eBook -
195
Lighter than air robots : guidance and control of autonomous airships
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (xvii, 251 pages).
eBook -
196
Practical business statistics 6th ed.
Published: Academic Press, 2012Contents: “…RANDOM VARIABLES: WORKING WITH UNCERTAIN NUMBERS -- 8.) RANDOM SAMPLING: PLANNING AHEAD FOR DATA GATHERING -- 9.) CONFIDENCE INTERVALS: ADMITTING THAT ESTIMATES ARE NOT EXACT -- 10.) …”Description: 1 online resource (xix, 619 pages) : illustrations.
Elsevier - Click here for access
eBook -
197
Performance evaluation for network services, systems and protocols
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
198
Effective team management with VSTS and TFS : a guide for scrum masters
Published: Apress, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
199
The six sigma handbook Fifth edition.
Published: McGraw-Hill Education, 2018Contents: “…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. …”Description: xiv, 706 pages : illustrations ; 25 cm.
Book -
200
Ubiquitous computing application and wireless sensor : UCAWSN-14
Published: Springer, 2015Contents: “…Lin, P.-H. Wang -- A New Distributed Grid Scheme utilizing Node-based Preprocessing Technique for Supporting k-NN Queries; H. …”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook