Search Results - "system modeling"

PERANCANGAN FILTER PASIF SINGLE TUNED TERHADAP HARMONISA PADA SISTEM KELISTRIKAN PT. CHAKRA TUNGGAL ELEKTRINDO by Moh. Sifaul Janan, -

Link Metadata

The Future European Energy System Renewable Energy, Flexibility Options and Technological Progress /

Table of Contents: “…Part I : Introduction, Scenario Description and Model Coupling Approach -- Chapter 1 - Introduction ( Dominik Möst, Steffi Schreiber and Martin Jakob) -- Chapter 2 - Scenario Storyline in Context of Decarbonization Pathways for a Future European Energy System ( Andrea Herbst, Steffi Schreiber, Witold-Roger Poganietz, Angelo Martino and Dominik Möst) -- Chapter 3 - Model Coupling Approach for the Analysis of the Future European Energy System ( Robert Kunze and Steffi Schreiber ) -- Part II : Technological Progress -- Chapter 4 - Deriving Experience Curves and Implementing Technological Learning in Energy System Models ( Atse Louwen and Martin Junginger ) -- Chapter 5 - Electric Vehicle Market Diffusion in Main Non-European Markets ( Katrin Seddig, Patrick Jochem and Wolf Fichtner ) -- Part III : Demand Side Flexibility and the Role of Disruptive Technologies -- Chapter 6 - Future Energy Demand Developments and Demand Side Flexibility in a Decarbonized Central Energy System ( Andrea Herbst, Anna-Lena Klingler, Stephanie Heitel, Pia Manz, Tobias Fleiter, Matthias Rehfeldt, Francesca Fermi, Davide Fiorello, Angelo Martino and Ulrich Reiter) -- Chapter 7 - Disruptive Demand Side Technologies: Market Shares and Impact on Flexibility in a Decentralized World ( Stephanie Heitel, Anna-Lena Klingler, Andrea Herbst and Francesca Fermi ) -- Chapter 8 - What is the Flexibility Potential in the Tertiary Sector? …”
Link to Metadata

Water Resource Systems Planning and Management An Introduction to Methods, Models, and Applications / by Loucks, Daniel P., van Beek, Eelco

Table of Contents: “…Water Resources Planning and Management: An Overview -- Water Resource Systems Modeling: Its Role in Planning and Management -- Models for Identifying and Evaluating Alternatives -- An Introduction to Optimization Models and Methods -- Data-Fitting, Evolutionary and Qualitative Modeling -- An Introduction to Probability, Statistics and Uncertainty -- Modeling Uncertainty -- System Sensitivity and Uncertainty Analysis -- Performance Criteria -- Water Quality Modeling and Prediction -- River Basin Modeling -- Urban Water Systems -- Planning and Analysis Projects: Putting it All Together.…”
Link to Metadata

Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools /

Table of Contents: “…A Reference Architecture for Management of Security Operations in Digital Service Chains -- Efficient flow monitoring in digital services -- Intelligent Transportation Systems -- models, challenges, security aspects -- NAD: Machine Learning based Component for Unknown Attack Detection in Network Traffic -- Detecting unknown attacks through system behavior analysis -- Signature-based detection of botnet DDoS attacks -- Automatic Attack Pattern Mining for Generating Actionable CTI Applying Alert Aggregation -- Blockchain-based task and information management in computational cloud systems.…”
Link to Metadata

The complex dynamics of diabetes modeled as a fractal complex-adaptive-system (FCAS) A complexa dinâmica do diabetes modelado como um sistema fractal complexo adaptativo(FCAS) by Pierre Philippe, Bruce J. West

Connect to this object online.

Special Topics in Information Technology

Table of Contents: “…Reducing the Gap between Theory and Applications in Algorithmic Bayesian Persuasion -- Modern High-Level Synthesis: improving productivity with a multi level approach -- FPGA-based design and implementation of a code-based post quantum KEM -- Model-Driven Development of Formally Verified Human-Robot Interactions -- Electronic bio-reconfigurable impedance platform for high sensitivity detection of target analytes -- Development of Crosspoint Memory Arrays for Neuromorphic Computing -- Reconciling deep learning and control theory: recurrent neural networks for indirect data-driven control -- On data-driven optimization methods in the design and control of autonomous systems -- Model predictive control for constrained navigation of autonomous vehicles -- Cooperative Processing and Learning Methods for High-Resolution Environmental Perception -- Synthesis of Filters and Filtering Antennas for Micro and Millimeter Waves Applications -- Innovative Cross-Layer Optimization Techniques for the Design of Optical Networks.…”
Link to Metadata

Smart and Sustainable Planning for Cities and Regions Results of SSPCR 2019-Open Access Contributions /

Table of Contents: “…Energy System Models for City Climate Mitigation Plans-Challenges and Recommendations -- Deep Energy Retrofit of Residential Buildings in the Mediterranean Area: the MedZEB Approach -- A Systematic Study of Sustainable Development Goal (SDG) Interactions in the Main Spanish Cities -- City Assessment Tool to Measure the Impact of Public Policies on Smart and Sustainable Cities. …”
Link to Metadata

Dynamics of Long-Life Assets From Technology Adaptation to Upgrading the Business Model /

Table of Contents: “…PART I: Introduction and Setting the scene -- Dynamics of Long-Life Assets: The Editors' Intro -- The Challenge -- The Use-it-Wisely (UIW) Approach -- PART II: Tools and Methods -- Innovation Management with an Emphasis on Co-Creation -- Complexity Management and System Dynamics Thinking -- Managing the Life Cycle to Reduce Environmental Impacts -- Virtual Reality and 3D Imaging to Support Collaborative Decision Making for Adaptation of Long-llife Assets -- Operator-oriented Product and Production Process Design for Manufacturing, Maintenance and Upgrading -- Fostering a Community of Practice for Industrial Processes -- Extending the System Model -- PART III: From Theory to Practice -- Collaborative Management of inspection Results in Power Plant Turbines -- Rock crusher Upgrade Business from a PLM Perspective -- Space Systems Development -- Adaptation of High-Variant Automotive Production System Using a Collaborative Approach -- Supporting the Small-to-Medium Vessel Industry -- Sustainable Furniture that Grows with End-users -- Comparing Industrial Cluster Cases to Define Upgrade Business Models for a Circular Economy.   .…”
Link to Metadata

Health Information Systems Technological and Management Perspectives / by Winter, Alfred, Ammenwerth, Elske, Haux, Reinhold, Marschollek, Michael, Steiner, Bianca, Jahn, Franziska

Table of Contents: “…Introduction -- Motivation And Objective Of The Book -- Life Situations -- Stakeholders' Requirements -- Example -- Summary -- Basic Concepts And Terms -- Introduction -- Data, Information And Knowledge -- Systems And Subsystems -- Information Systems -- Health Information Systems -- Information Logistics In Health Information Systems -- Functions And Processes Of Health Care Settings -- Information Processing Tools Of Health Information Systems -- Electronic Health Records As A Part Of Health Information Systems -- Architecture And Infrastructure Of Health Information Systems -- Management Of Health Information Systems -- Modeling Information Systems -- Using The Snik Ontology Together With This Book -- Examples -- Exercises -- Summary -- Technological Perspective: Architectures, Integration And Standards -- Introduction -- Layers Of Architectures -- Integrity And Integration -- Standards For Interoperability -- Specific Health Information Systems -- Examples -- Exercises -- Summary -- Management Perspective: Tasks,Scope And Governance -- Introduction -- Strategic, Tactical And Operational Management Of Information Systems -- Tasks And Methods Of Strategic Management Of Information Systems -- It Service Management -- Data Governance -- It Governance -- Managing Specific Health Information Systems -- Examples -- Exercises -- Summary -- Quintessence: Quality -- Fulfillment Of Stakeholders' Requirements -- Evaluation -- Summary -- Thesaurus -- Literature Cited. .…”
Link to Metadata

Brain and Human Body Modeling 2020 Computational Human Models Presented at EMBC 2019 and the BRAIN Initiative® 2019 Meeting /

Table of Contents: “…Surgery Planning and Treatment Evaluation with Finite Element Methods -- A Computational FEM Parcelled-Brain Model for Electric Field Analysis in Transcranial Direct Current Stimulation -- Computer Model of Electroconvulsive Therapy with Tractography Analysis -- Personalization of multi-electrode setups in tCS: methods and advantages -- Solving High-Resolution Forward Problems for Extra- and Intracranial Neurophysiological Recordings Using Boundary Element Fast Multipole Method -- Modeling Primary Fields of TMS Coils with the Fast Multipole Method -- Functional Requirements of Small- and Large-Scale Neural Circuitry Connectome Models -- A miniaturized ultra-focal magnetic stimulator and its preliminary application to the peripheral nervous system -- Modelling studies of non-invasive electric and magnetic stimulation of the spinal cord -- Simplifying the Numerical Human Model with k-means Clustering Method -- Using Anatomical Human Body Model for FEM SAR Simulation of a 3T MRI System -- RF-Induced Unintended Stimulation for Implantable Medical Devices in MRI.…”
Link to Metadata

Functional Somatic Symptoms in Children and Adolescents A Stress-System Approach to Assessment and Treatment / by Kozlowska, Kasia, Scher, Stephen, Helgeland, Helene

Table of Contents: “…The Family Assessment Interview: The Narrative, Formulation, and Discussion of Treatment Options -- Part II: Mind, Body, and the Science of Functional Somatic Symptoms -- 4. The Stress-System Model for Functional Somatic Symptoms -- 5. The Circadian Clock and Functional Somatic Symptoms -- 6. …”
Link to Metadata

Aquaponics Food Production Systems Combined Aquaculture and Hydroponic Production Technologies for the Future /

Table of Contents: “…PART 1: FRAMEWORK CONDITIONS IN A RESOURCE LIMITED WORLD -- 1: Aquaponics and Global Food Challenges -- 2: Aquaponics: closing the cycle on limited water, land and nutrient resources -- 3: Recirculating Aquaculture Technology -- 4: Hydroponic Technology -- PART 2: SPECIFIC AQUAPONIC TECHNOLOGY -- 5: Aquaponics: The Basics -- 6: Bacterial Relationships in Aquaponics: New Research Directions -- 7: Coupled Aquaponic Systems -- 8: Decoupled Aquaponic Systems -- 9: Nutrient Cycling -- 10: Aerobic & Anaerobic Treatments for Aquaponic Sludge Reduction and Mineralisation -- 11: Systems Modelling -- 12: Aquaponics: Alternative Types and Approaches -- PART 3: PERSPECTIVE FOR SUSTAINABLE DEVELOPMENT -- 13: Fish Diets in Aquaponics -- 14: Plant Pathogens and Control Strategies in Aquaponics -- 15: Smarthoods: Aquaponics Integrated Microgrids -- 16: Aquaponics for the Anthropocene: Towards a 'sustainable first' Agenda -- PART 4: MANAGEMENT & MARKETING -- 17: Insight into Risk in Aquatic Animal Health in Aquaponics -- 18: Commercial Aqupaonics - A Long Road Ahead -- 19: Aquaponics: The Ugly Duckling in Organic Regulation -- 20: Regulatory Frameworks for Aquaponics within the EU -- 21: Aquaponics in the Built Environment -- PART 5: AQUAPONICS AND EDUCATION -- 22: Aquaponics as an Educational Tool -- 23: Opportunities and challenges in using aquaponics among young people at school - a Danish perspective -- 24: Aquaponics and Social Enterprise.…”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...

Table of Contents: “…IoT and AI Solutions for E-health -- Alzheimer's Disease Early Detection Using a Low Cost Three-dimensional Densenet-121 Architecture -- Self-adaptative Early Warning Scoring System for Smart Hospital -- Machine Learning Based Rank Attack Detection for Smart Hospital Infrastructure -- Remote Health Monitoring Systems Based on Bluetooth Low Energy (BLE) Communication Systems -- Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications -- Biomedical and Health Informatics -- EEG-based Hypo-vigilance Detection Using Convolutional Neural Network -- Respiratory Activity Classification Based on Ballistocardiogram Analysis -- A Convolutional Neural Network for Lentigo Diagnosis -- Deep Learning-based Approach for Atrial Fibrillation Detection -- Unsupervised Method Based on Superpixel Segmentation for Corpus Callosum Parcellation in MRI Scans -- Behavior and Activity Monitoring -- Using Learning Techniques to Observe Elderly's Behavior Changes Over Time -- Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting -- Baseline Modelling and Composite Representation of Unobtrusively (IoT) Sensed Behaviour Changes Related to Urban Physical Well-being -- Wellbeing Technology -- Automatic Daily Activity Schedule Planning for Simulating Smart House with Elderly People Living Alone -- A Novel On-wrist Fall Detection System Using Supervised Dictionary Learning Technique -- Combined Machine Learning and Semantic Modelling for Situation Awareness and Healthcare Decision Support -- Improving Access and Mental Health for Youth Through Virtual Models of Care -- Short Contributions: IoT and AI Solutions for E-health -- Study of Middleware for Internet of Healthcare Things and Their Applications -- Uncertainty in IoT for Smart Healthcare: Challenges, and Opportunities -- Secure E-health Platform -- Hybrid and Secure E-health Data Sharing Architecture in Multi-Clouds Environment -- Blockchain for Internet of Medical Things: A technical Review -- Application of Blockchain Technology in Healthcare: A Comprehensive Study -- Trust Execution Environment and Multi-party Computation for Blockchain E-health Systems -- A Fuzzy-ontology Based Diabetes Monitoring System Using Internet of Things -- Short Contributions: Biomedical and Health Informatics -- A Hybrid Approach for Heart Disease Diagnosis and Prediction Using Machine Learning Techniques -- Context-aware Healthcare Adaptation Model for COPD Diseases -- Study of Healthcare Professionals' Interaction in the Patient Records with Annotations -- Multirate ECG Processing and Machine Learning Based Efficient Arrhythmia Diagnosis -- Comparative Study of Relevant Methods for MRI/X Brain Image Registration -- Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach -- Evaluation of Stationary Wavelet Transforms in Reconstruction of Pure High Frequency Oscillations (HFOs) -- Ensuring theCorrectness and Well Modeling of Intelligent Healthcare Management Systems -- Short Contributions: Wellbeing Technology -- An Embedded ANN Raspberry PI for Inertial Sensor Based Human Activity Recognition -- Human Activities Recognition in Android Smartphone using WSVM-HMM Classifier -- Mobile Assistive Application for Blind People in Indoor Navigation -- Older People's Needs and Opportunities for Assistive Technologies -- Towards a Formal Context-Aware Workflow Model for Ambient Environment -- The PULSE Project: A Case of Use of Big Data Uses Toward a Cohomprensive Health Vision of City Well Being -- ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB.…”
Link to Metadata

Modelling a System to Help Improve It; Comment on "Insights Gained From a Re-analysis of Five Improvement Cases in Healthcare Integrating System Dynamics Into Action Research" by John Øvretveit

Connect to this object online.

SYSTEM OF MODEL FOR TRAINING FUTURE MASTERS OF TOURISM, AS WELL AS THE ALGORITHM OF ITS PRODUCTIVE IMPLEMENTATION IN HIGHER EDUCATION by Larisa Beskorovaynaya

Connect to this object online.

Can participatory processes lead to changes in the configuration of local mental health networks? A social network analysis by Salvador Camacho, Salvador Camacho, Adriane Martin Hilber, Adriane Martin Hilber, Laura Ospina-Pinillos, Mónica Sánchez-Nítola, Débora L. Shambo-Rodríguez, Grace Yeeun Lee, Jo-An Occhipinti, Jo-An Occhipinti

Connect to this object online.

Electrical Power and Energy Systems for Transportation Applications by Chris Bingham (Ed.)

DOAB: download the publication
DOAB: description of the publication

Middle-Range Theory of Occupational Stress in Health Professionals by Romanniny Hévillyn Silva Costa Almino RN, PhD, Ana Beatriz Pereira da Silva BSc, Anna Lívia de Medeiros Dantas RN, MSc, Harlon França de Menezes RN, PhD, Nanete Caroline da Costa Prado RN, MSc, Rebecca Stefany da Costa Santos RN, MSc, Roberta Keile Gomes de Sousa Manso RN, MSc, Thais Targino Ferreira BSc, Richardson Augusto Rosendo da Silva RN, PhD

Connect to this object online.