Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating _)))) ) OR ( Defined distribution regression plans ))))
-
321
Model driven engineering languages and systems : 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings
Published: Springer, 2006Contents: “…-- 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 -
322
Green shipping management
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
323
Security informatics
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource (vii, 170 pages) : illustrations (some color).
eBook -
324
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 -
325
Joining of advanced materials
Published: Butterworth-Heinemann, 1993Contents: “…Introduction to Joining; 1.1 JOINING DEFINED; 1.2 REASONS FOR JOINING MATERIALS; 1.3 SPECIAL CHALLENGES OF JOINING ADVANCED MATERIALS; 1.4 JOINING OPTIONS; 1.5 JOINT LOAD-CARRYING CAPACITY VERSUS JOINT EFFICIENCY; 1.6 LOAD- OR STRESS-STATE COMPLEXITY; SUMMARY; PRACTICE QUESTIONS AND PROBLEMS; REFERENCES; Chapter 2. …”Description: 1 online resource (xxi, 553 pages) : illustrations.
Elsevier - Click here for access
eBook -
326
Active system control : design of system resilience
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
327
IoT as a service : 6th EAI International Conference, IoTaaS 2020, Xi'an, China, November 19-20, 2020, proceedings
Published: Springer, 2021Contents: “…Algorithm and Information For Wireless Network -- Approximation of DAC Codeword Distribution for Equiprobable Binary Sources along Proper Decoding Paths -- Research on Multi-UAV Swarm Control Based on Olfati-Saber Algorithm with Variable Speed Virtual Leader -- Resource Joint Allocation Scheme based on Network Slicing under C-RAN Architecture -- Optimal Thresholds for Differential Energy Detection of Ambient Backscatter Communication -- Resource Allocation for Multi-UAV Assisted Energy-Efficient IoT Communications With Co-Channel Interference -- Correlation Based Secondary Users Selection for Cooperative Spectrum Sensing Network -- The Design Methodology for MAC Strategies and Protocols -- Supporting Ultra-low Delay Services in Next Generation IEEE 802.11 WLAN -- ction for multimode sensors in Wireless Sensor Network -- ricing Based Resource Allocation Algorithm in Wireless Aeronautics Network Virtualization -- Access algorithm in software-defined satellite network -- A Low-Loss Strategy for Network Function Virtualization Multicast Optimization -- A Deployment Method Based on Artificial Bee Colony Algorithm for UAV-Mounted Base Stations -- Edge Intelligence and Computing For IoT Communications And Applications -- 13 Trajectory Optimization for UAV-Aided Data Collections -- Design and Implementation of MCU-Based Reconfigurable Protocol Conversion Module for Heterogeneous Sensor Networks -- FPGA-based Neural Network Acceleration for Handwritten Digit Recognition -- Edge Computing based Two-Stage Emergency Braking in Autonomous Driving -- Cache Resource Allocation in D2D Multi-Layer Social Network Enhanced Frame Break Mechanism for ALOHA-Based RFID Anti-Collision Algorithm -- Improved Intelligent Semantics based Chinese Sentence Similarity Computing for Natural Language Processing in IoT -- Statistical Feature Aided Intelligent Deep Learning Machine Translation in Internet of Things -- An automated method of identifying incorrectly labelled images based on the sequences of loss functions of deep learning networks -- Low-Latency Method and Architecture for 5G Packet-Based Fronthaul Networks -- 23 Automated Cataracts Screening from Slit-lamp Images Employing Deep Learning -- System & Hardware A Flowchart based Finite State Machine Design and Implementation Method for FPGA -- A Distributed Reservation and Contention Combined TDMA Protocol for Wireless Avionics Intra-Communication Networks -- The automation tool development for aircraft cockpit display systems verification in part of text data -- Design of 'floating, medium and sinking' pressure simulation system for remote reduction of pulse condition in TCM -- A Flexible and Scalable Localization System for off-the-shelf LoRa Devices -- Research on Optical-electrical Path Mapping strategy of Space Hybrid Switches -- Algorithm for multipath interference restraint based on blind source separation in Passive GNSS-Based bistatic Radar Multi-kernel and Multi-task Learning for Radar Target Recognition Information topology control technology of cluster satellite network -- Smart Home Security System Using Biometric Recognitions -- Internet of Things in the Game of Basketball Next Generation Network -- 35 Object Recognition Through UAV Observations Based on Yolo and Generative Adversarial Network -- Soft Channel Reservation towards Latency Guarantee for the Next Generation WLAN: IEEE 802.11be -- The methodology of the optimal four-dimensional route searching for a decision support system providing solutions for four-dimensional navigation -- Multi-list design and FPGA implementation method of OLSR routing protocol -- Improvement of Contact Graph Routing Algorithm in LEO Satellite DTN Network -- Double-Threshold-Based Massive Random Access Protocol for Heterogeneous MTC Networks -- IP addressing and address management of space-based network based on geographical division -- A Convolutional Neural Network Approach for Stratigraphic Interface Detection -- A Deep Neural Network based Feature Learning Method for Well Log Interpretation -- Trust Prediction Model based on Deep Learning in Social Internet of Things -- An alarm system based on neural network algorithm for detection of falls in the elderly -- Satellite Communication Networks for Internet of Things -- The Intelligent Routing Control Strategy based on Deep Learning -- Distributed Opportunistic Channel Access with Optimal Single Relay under Delay Constraints -- Distributed Opportunistic Channel Access under Single-bit CSI Feedback Spectrum Allocation Algorithm for Energy-Constrained UAV in Interweave Cognitive IoT Network Based on Satellite Coverage -- Edge Network Extension Based on Multi-Domains Fusion and LEO Satellite -- Completion of Marine Wireless Sensor Monitoring Data Based on Tensor Mode-n Rank and Tucker Operator -- Belief Propagation-based Joint Iterative Detection and Decoding Algorithm for Asynchronous IDMA Satellite Systems -- Modulation Pattern Recognition Based on Wavelet Approximate Coefficient Entropy -- A new message passing algorithm based on sphere decoding improvement -- A Novel Codebook Design Scheme for Sparse Code Multiple Access -- Multi-View Polarization HRRP Target Recognition Based on Convolutional Neural Network -- Millimeter-Wave Communications With Beamforming for UAV-Assisted Railway Monitoring System -- Improved Pulse Shaping Algorithm for Reducing PAPR in OFDM System -- Image and Information -- Information Optimization for Image Screening and Transmission in Aerial Detection -- Method of Quality Assessment for BOC Navigation Signal based on multi-correlation receiver -- Satellite Navigation Software Receiver Design -- A Novel Pansharpening Method with Multi-scale Mutual-structure Perception -- A New Fusion Method for Remote Sensing Images.…”Description: 1 online resource (xiv, 807 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
328
Advances in aeronautical informatics : technologies towards Flight 4.0
Published: Springer, 2018Contents: SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
329
Requirements engineering for service and cloud computing
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
330
Chemometrics in spectroscopy Second edition.
Published: Elsevier Ltd. : Academic Press, 2018Elsevier - Click here for accessDescription: 1 online resource.
eBook -
331
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 -
332
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 -
333
The Linux philosophy for SysAdmins : and everyone who wants to be one
Published: Apress, 2018SpringerLink - Click here for accessDescription: 1 online resource (511 pages) : illustrations.
eBook -
334
Learn Android Studio : build Android apps quickly and effectively
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource (xxvii, 484 pages) : illustrations.
eBook -
335
Searchable encryption : from concepts to systems
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (xii, 171 pages) : illustrations (some color).
eBook -
336
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 -
337
Co-utility : theory and applications
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
338
Simulation for industry 4. 0 : past, present, and future
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (299 pages).
eBook -
339
CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (xiii, 523 pages) : illustrations.
Conference Proceeding eBook -
340
Modeling solid oxide fuel cells : methods, procedures and techniques
Published: Springer, 2008SpringerLink - Click here for accessDescription: 1 online resource (xiv, 395 pages) : illustrations.
eBook