Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operational plan) OR (operating a)))) ) OR ( Defined ((distribution erosion) OR (distribution regression)) plans ))))
-
321
OpenSHMEM and related technologies : enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2-4, 2016, Revised selected papers
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (x, 239 pages) : illustrations.
Conference Proceeding eBook -
322
Advances on P2P, parallel, grid, cloud and internet computing : proceedings of the 16th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2021)
Published: Springer, 2022SpringerLink - Click here for accessDescription: 1 online resource (342 pages).
Conference Proceeding eBook -
323
Beginning C for Arduino : learn C programming for the Arduino Second edition.
Published: Apress : Distributed to the Book trade worldwide by Springer Science+Business Media, 2015SpringerLink - Click here for accessDescription: 1 online resource : illustrations.
eBook -
324
Pro iOS5 tools : Xcode instruments and build tools
Published: Apress, 2011SpringerLink - Click here for accessDescription: 1 online resource (xii, 377 pages) : illustrations.
eBook -
325
Model driven engineering languages and systems : 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings
Published: Springer, 2006Contents: “…Transformation Models! -- MOF -- A Mapping Language from Models to DI Diagrams -- Basic Operations over Models Containing Subset and Union Properties -- A Metamodeling Approach to Pattern Specification -- Keynote 2 -- Immune System Computation and the Immunological Homunculus -- Bridging Models -- Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach -- Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages -- Incremental Model Synchronization with Triple Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable Systems -- A Graphical Approach to Risk Identification, Motivated by Empirical Investigations -- Reusable MDA Components: A Testing-for-Trust Approach -- Tool Environments -- Using Smalltalk as a Reflective Executable Meta-language -- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 -- Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment -- OCL -- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE -- An OCL Semantics Specified with QVT -- Specification of Invariability in OCL -- Roundtrip Engineering -- Framework-Specific Modeling Languages with Round-Trip Engineering -- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems -- Layered Class Diagrams: Supporting the Design Process -- Real Time and Embedded Systems -- Using UML Activities for System-on-Chip Design and Synthesis -- Modeling and Early Performance Estimation for Network Processor Applications -- A Formal Semantics of UML-RT -- Workshops, Tutorials and Panels -- Workshops and Symposia at MoDELS 2006 -- Tutorials at MoDELS 2006 -- Panels at MoDELS 2006.…”Description: 1 online resource (xvi, 798 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
326
Nonparametric statistics : 4th ISNPS, Salerno, Italy, June 2018
Published: Springer, 2020Contents: “…Nguyen) -- Incorporating model uncertainty in the construction of bootstrap prediction intervals for functional time series (Efstathios Paparoditis and Han Lin Shang) -- Measuring and Estimating Overlap of Distributions: A comparison of approaches from various disciplines (Judith H. …”Description: 1 online resource (x, 547 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
327
Security informatics
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource (vii, 170 pages) : illustrations (some color).
eBook -
328
Cloudonomics : the business value of cloud computing
Published: Wiley, 2012Contents: “…-- Economies of Scale -- Competitive Advantage and Customer Value -- Cloud Ecosystem Dynamics -- IT Spend -- Issues with the Cloud -- Summary -- Notes -- What Is a Cloud? -- Defining the Cloud -- On-Demand Resources -- Utility Pricing -- Common Infrastructure -- Location-Independence -- Online Accessibility -- Difference from Traditional Purchase and Ownership -- Cloud Criteria and Implications -- Is the Cloud New or a New Buzzword -- Summary -- Notes -- Strategy and Value -- Access to Competencies -- Availability -- Capacity -- Comparative Advantage, Specialization of Labor, and Core versus Context.…”Description: xxiv, 391 pages : illustrations ; 24 cm.
Table of contents
Contributor biographical information
Publisher description
Book -
329
Proceedings of the fifth International Conference on Mathematics and Computing : ICMC 2019
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (xix, 270 pages).
Conference Proceeding eBook -
330
Computer science : the hardware, software and heart of it
Published: Springer Science+Business Media, LLC, 2011SpringerLink - Click here for accessDescription: 1 online resource (ix, 468 pages) : illustrations (some color)
eBook -
331
Nonlinear model predictive control : theory and algorithms Second edition.
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
332
Android apps for absolute beginners
Published: Apress ; Distributed to the Book trade by Springer Science + Business Media, 2011SpringerLink - Click here for accessDescription: 1 online resource (xvi, 328 pages) : illustrations.
eBook -
333
Cognitive Radio-Oriented Wireless Networks : 14th EAI International Conference, CrownCom 2019, Poznan, Poland, June 11-12, 2019, Proceedings
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (xi, 410 pages) : illustrations (some color).
Conference Proceeding eBook -
334
Joining of advanced materials
Published: Butterworth-Heinemann, 1993Contents: “…Brazing8.1 INTRODUCTION; 8.2 BRAZING AS A JOINING PROCESS; 8.3 PRINCIPLES OF PROCESS OPERATION; 8.4 BRAZING PROCESSES; 8.5 BRAZING FILLER MATERIALS; 8.6 FLUXES AND ATMOSPHERES; 8.7 BRAZE JOINT DESIGN; SUMMARY; PRACTICE PROBLEMS AND QUESTIONS; REFERENCES; Chapter 9. …”Description: 1 online resource (xxi, 553 pages) : illustrations.
Elsevier - Click here for access
eBook -
335
Green shipping management
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
336
Disaster management and information technology : professional response and recovery management in the age of disasters
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (292 pages) : illustrations (black and white, and color).
eBook -
337
Advanced information systems engineering : 31st international conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings
Published: Springer, 2019Contents: “…Invited Talk -- Direct and reverse rewriting in data interoperability -- Information System Engineering -- Efficient Engineering Data Exchange in Multi-Disciplinary Systems Engineering Enterprises -- Bing-CF-IDF+: A Semantics-Driven News Recommender System -- Methodological Framework to Guide the Development of Continual Evolution Methods -- Inter-organizational integration in the AEC/FM industry: Exploring the "addressed" and "unaddressed" information exchange needs between stakeholders -- A Lightweight Framework for Multi-Device Integration and Multi-Sensor Fusion to Explore Driver Distraction -- Exhaustive Simulation and Test Generation Using fUML Activity Diagrams -- A Block-Free Distributed Ledger for P2P Energy Trading: Case with IOTA -- Profile Reconciliation through Dynamic Activities across Social Networks -- Requirements and Modeling -- Towards an Ontology-based Approach for Eliciting Possible Solutions to Non-Functional Requirements -- Using a Modelling Language to Describe the Quality of Life Goals of People Living with Dementia -- Multi-Platform Chatbot Modeling and Deployment with the Jarvis Framework -- Information Systems Modeling: Language, Verification, and Tool Support -- Expert2Vec: Experts Representation in Community Question Answering for Question Routing -- A Pattern Language for Value Modeling in ArchiMate -- Paving Ontological Foundation for Social Engineering Analysis -- Improving Traceability Links Recovery in Process Models through an Ontological Expansion of Requirements -- Requirements Engineering for Cyber Physical Production Systems -- Data modeling and Analysis -- A Fourth Normal Form for Uncertain Data -- Revealing the Conceptual Schemas of RDF Datasets -- Modeling and In-Database Management of Relational, Data-Aware Processes -- D2IA: Stream Analytics on User-Defined Event Intervals -- Business Process Modeling and Engineering -- Extracting Declarative Process Models from Natural Language -- From Process Models to Chatbots -- Dynam ic Role Binding in Blockchain-Based Collaborative Business Processes -- 3D virtual world BPM training systems: process gateway experimental results -- Deriving and Combining Mixed Graphs from Regulatory Documents Based on Constraint Relations -- A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle -- Generation and Transformation of Compliant Process Collaboration Models to BPMN -- GameOfFlows: Process Instance Adaptation in Complex, Dynamic and Potentially Adversarial Domains -- Information System Security -- Security Vulnerability Information Service with Natural Language Query Support -- Automated Interpretation and Integration of Security Tools Using Semantic Knowledge -- An Assessment Model for Continuous Security Compliance in Large Scale Agile Environments -- Learning and Mining in Information Systems -- Proactive Process Adaptation using Deep Learning Ensembles -- Using Machine Learning Techniques for Evaluating the Similarity of Enterprise Architecture Models -- Efficient Discovery of Compact Maximal Behavioral Patterns from Event Logs -- Discovering Responsibilities with Dynamic Condition Response Graphs -- Fifty Shades of Green: How Informative is a Compliant Process Trace -- Solution Patterns for Machine Learning -- Managing and Simplifying Cognitive Business Operations using Process Architecture Models -- A Constraint Mining Approach to Support Monitoring Cyber-Physical Systems -- Behavior-Derived Variability Analysis: Mining Views for Comparison and Evaluation.…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
338
Requirements engineering for service and cloud computing
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
339
Q-fractional calculus and equations
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
340
Methods and Applications for Modeling and Simulation of Complex Systems : 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings. Part...
Published: Springer, 2024Contents: “…FPGA Based Accelerator for Image Steganography -- Research on Data Acquisition and Real-Time Communication for Intelligent Manufacturing Training Equipment Based on Model of Things and Intranet Penetration -- Research on Intelligent Manufacturing Training System Based on Industrial Metaverse -- Convolutional Transformer Network: Future Pedestrian Location in First-Person Videos Using Depth Map and 3D Pose -- Conceive-Design-Implement-Operate (CDIO) Approach in Producing Wiring Projects for Domestic Electrical Wiring Course -- Students' Digital Readiness in Vocational College for Industrial Revolution 4.0 -- Implementing Blockchain Technology for Accreditation and Degree Verification -- Factors Influencing the Digital Skills of Technical Education Students -- Ballet Gesture Recognition and Evaluation System (Posé Ballet): System Thinking, Design Thinking, and Dynamic Improvement in Three Versions from Laboratory to Art Gallery -- Structured Teaching Using Drone Simulators for Students' Confidence in Real Flight -- Use of Drone Flight Simulator for Bridging Theories of UAV Systems into Practice: A Pilot Study -- Enhancement of System Network Based on Voltage Stability Indices Using FACTS Controllers -- Analysis of Multi Criteria Decision Making (MCDM) Techniques for Load Shedding in Islanded Distributed System -- Comparison of Diesel and Green Ship Carbon Emissions with A-Star Route Optimization -- A Model Validation Method Based on Convolutional Neural Network -- A Multiview Approach to Tracking People in Crowded Scenes Using Fusion Feature Correlation -- Prototype Learning Based Realistic 3D Terrain Generation from User Semantics -- Research on Matrix Factorization Recommendation Algorithm Based on Local Differential Privacy -- Enhancing Face Recognition Accuracy Through Integration of YOLO v8 and Deep Learning: A Custom Recognition Model Approach -- NARXNN Modeling of Ultrafiltration Process for Drinking Water Treatment -- Improvement of Vision-Based Hand Gesture Recognition System with Distance Range -- Synthetic Data Generation for Fresh Fruit Bunch Ripeness Classification -- Application of Artificial Intelligence for Maternal and Child Disorders in Indonesia: A Review -- Up Sampling Data in Bagging Tree Classification and Regression Decision Tree Method for Dengue Shock Syndrome Detection -- Real-Time Crack Classification with Wall-Climbing Robot Using MobileNetV2 -- Estimation of Remaining Useful Life for Turbofan Engine Based on Deep Learning Networks -- Simulation Design of Reinforcement-Based Migration System in Software-Defined Networking Using Q-Learning -- A Preliminary Study on the Possibility of Scene Captioning Model Integration as an Improvement in Assisted Navigation for Visually Impaired Users -- Smart Agriculture: Transforming Agriculture with Technology -- WebGIS Visualization of Infectious Disease Clustering with a Hybrid Sequential Approach -- Lessons Learned from the Pandemic Precautions: A Case Study of Monitoring Compliance of Physical Distancing During Covid-19 in Al-Zaytoonah University of Jordan Using Object Tracking System -- Research on Security Assets Attention Networks for Temporal Knowledge Graph Enhanced Risk Assessment -- Parameter Study on the Use of Artificial Intelligence to Optimize Response to Unattended Bags to Increase Airport Security -- Revolutionizing Plant Disease Detection with CNN and Deep Learning -- Comparative Analysis of Machine Learning Algorithms in Vehicle Image Classification -- Evaluation of Linear Imputation Based Pediatric Appendicitis Detection System Using Machine Learning Algorithm -- MMoE-GAT: A Multi-Gate Mixture-Of-Experts Boosted Graph Attention Network for Aircraft Engine Remaining Useful Life Prediction -- Integrating Dynamic Limiting Mechanism in Electric Scooter to Mitigate Range Anxiety via SoC-Tracking Range-Enhancement Attachment (STRETCH) -- Atrial Fibrillation Detection Based on Electrocardiogram Features Using Modified Windowing Algorithm.…”Description: 1 online resource (xxi, 500 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook