Search Results - "executable"

Dependable Embedded Systems

Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
Link to Metadata

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

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

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

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Launch! Advertising and Promotion in Real Time by Solomon, Michael, Cornell, Lisa Duke, Nizan, Amit

Table of Contents: “…Chapter 1: Meet SS+K: A Real Agency Pitches a Real Client -- Chapter 2: A User's Manual: Advertising, Promotion, and Marketing Essentials -- Chapter 3: Advertising and Society -- Chapter 4: Consumers and the Communications Process: SS+K Gets to Know Its Consumers -- Chapter 5: Know Your Audience: SS+K Learns All About msnbc.com, Inside and Out -- Chapter 6: Segment, Target, and Position Your Audience: SS+K Identifies the Most Valuable News Consumer -- Chapter 7: Decide What You Can Afford to Say: msnbc.com Sets the Budget -- Chapter 8: Create a Strategy: SS+K Puts Its Research to Use as the Agency Creates the Brief -- Chapter 9: Choose Your Communication Weapons: SS+K Decides Upon a Creative Strategy and Media Tactics -- Chapter 10: Plan and Buy Media: SS+K Chooses the Right Media for the Client's New Branding Message -- Chapter 11: Execute on All Platforms: SS+K Goes into Production Overdrive -- Chapter 12: Make the Message Sell: SS+K Ensures that All Components Tell the Brand Story -- Chapter 13: Launch! …”
Access online version

Introduction to Political Science by Rom, Mark Carl, Hidaka, Masaki, Walker, Rachel Bzostek

Table of Contents: “…-- 9.4 The Decline of Legislative Influence -- Summary -- Key Terms -- Review Questions -- Suggested Readings -- Chapter 10. Executives, Cabinets, and Bureaucracies -- Introduction -- 10.1 Democracies: Parliamentary, Presidential, and Semi-Presidential Regimes -- 10.2 The Executive in Presidential Regimes -- 10.3 The Executive in Parliamentary Regimes -- 10.4 Advantages, Disadvantages, and Challenges of Presidential and Parliamentary Regimes -- 10.5 Semi-Presidential Regimes -- 10.6 How Do Cabinets Function in Presidential and Parliamentary Regimes? …”
Access online version

How Megaprojects Are Damaging Nigeria and How to Fix It A Practical Guide to Mastering Very Large Government Projects / by Ibrahim, Jimoh, Loch, Christoph, Sengupta, Kishore

Table of Contents: “…-- References -- 3 Structure of the Investigation -- 3.1 Overview of the Approach Taken in This Study -- 3.2 Construction and Execution of the Survey -- 3.3 Construction of the Sample of Projects -- 3.4 Construction of the Case Studies -- Appendix: Full Questionnaire as It Was Administered -- Our Request -- Project Variables -- References -- 4 A Description of the 38 Matched Projects -- 4.1 Lagos-Ibadan Express Road -- 4.2 Lagos-Badagry Express Road -- 4.3 Third Mainland Bridge -- 4.4 Second Niger Bridge -- 4.5 Egbin Power Station -- 4.6 Calabar Power Station -- 4.7 Zungeru Hydropower Plant -- 4.8 Delta State (Oghareki) Power Plant -- 4.9 Shiroro Hydroelectric Power Station -- 4.10 Omoku Power Plant Station -- 4.11 Mambilla Hydroelectric Power -- 4.12 Ajaokuta Steel Project -- 4.13 Kanji Dam -- 4.14 Otukpo Dam -- 4.15 Nigeria Satellite 2 -- 4.16 Nigeria Satellite 1 -- 4.17 Airtel Nigeria -- 4.18 Nigerian Telecommunications Limited (NITEL) -- 4.19 Godswill Akpabio International Stadium -- 4.20 (Samuel) Ogbemudia Stadium -- 4.21 Abuja International Airport -- 4.22 Lagos MMA2 Airport -- 4.23 Yenagoa International Cargo Airport -- 4.24 Jigawa Airport Project -- 4.25 Tin Can Island Port -- 4.26 Calabar Seaport -- 4.27 Victoria Garden City (VGC) Housing Estate -- 4.28 Festac Town Federal Housing Estate -- 4.29 1004 Housing Estate -- 4.30 Abuja Mass Federal Housing Project -- 4.31 Olusegun Obasanjo Presidential Library -- 4.32 Abuja National Library -- 4.33 Nigerian Youth Empowerment Scheme (N-Power) -- 4.34 Nigeria Subsidy Reinvestment and Empowerment Programme (SURE-P) -- 4.35 Lagos State Waste Management Authority (LAWMA) -- 4.36 Cleaner Lagos Initiative (Visionscape) -- 4.37 University College Teaching Hospital (UCH) Ibadan -- 4.38 University of Abuja Teaching Hospital (UATH) -- References -- 5 Insights from the Analysis of the Questionnaires -- 5.1 Variable Distributions and Variable Capability to Detect Differences Across Projects -- 5.1.1 Each Respondent Type Adds Unique Perspectives and Information -- 5.1.2 The Variables Capture Robust Differences Between Abandoned and Completed Projects -- 5.2 Condensing Variables into Aggregated Success Factors -- 5.2.1 Approach -- 5.2.2 Identifying the Factors -- 5.3 Econometric Prediction of Project Completion -- 5.4 Econometric Prediction of Cost and Schedule Overruns for Completed Projects -- 5.4.1 Effect of Variables on Budget Overruns -- 5.4.2 Effect of Variables on Schedule Overruns -- 5.5 The Corrosive Effect of Corruption -- Appendix 1 Correlations Among Independent Variables Across All 114 Responses -- Appendix 2 Factor Analysis -- Appendix 3 Specification of the Logistical Regression -- Appendix 4 The Logistical Completion Probability Regression by Respondent Group -- Appendix 5 Robustness Analysis: Cost Overrun Regressions by Respondent Group -- Appendix 6 Robustness Analysis: Schedule Overrun Regressions by Respondent Group -- 6 Two Library Projects -- 6.1 The National Library of Nigeria in Abuja: An Abandoned Project -- 6.1.1 Project Initiation -- 6.1.2 Contract Signature and Execution -- 6.1.3 Conclusion -- 6.2 Olusegun Obasanjo Presidential Library: A Completed Project -- 6.2.1 Project Initiation -- 6.2.2 Project Execution and Outcome -- 6.2.3 The Difference Between the Two Projects: In the Words of Former President Obasanjo -- References -- 7 Two Bridge Projects -- 7.1 The Second Niger Bridge: A Stalled Project -- 7.1.1 Project Initiation -- 7.1.2 Contract Disputes and Recontracting -- 7.1.3 Continued Stalling -- 7.1.4 Diagnosis of the Reasons for Failure, in the Words of (Former) President Jonathan -- 7.1.5 Conclusion -- 7.2 The Third Mainland Bridge: A Completed Project -- 7.2.1 Introduction -- 7.2.2 Starting and Stalling -- 7.2.3 Restarting the Project Under President Babangida -- 7.2.4 Project Execution and Outcome -- 7.2.5 Conclusion -- References -- 8 Two Power Plants -- 8.1 Egbin Power Station, Ikorodu Lagos State: A Completed Project -- 8.1.1 Initiation and Completion -- 8.1.2 Success Conditions and Challenges -- 8.1.3 Privatization and Trouble -- 8.2 The Calabar Odukpani Power Station: Completed but with Little Delivery -- 8.2.1 Project Initiation -- 8.2.2 Project Complications and Delays -- 8.2.3 Delivery of the Calabar Power Station in 2015 -- 8.2.4 What Has Been Delivered? …”
Link to Metadata

How to Think Like a Computer Scientist C Version by Downey, Allen B.

Table of Contents: “…-- 1.4 Formal and natural language -- 1.5 The first program -- 1.6 Glossary -- 1.7 Exercises -- Chapter 2: Variables and types -- 2.1 More output -- 2.2 Values -- 2.3 Variables -- 2.4 Assignment -- 2.5 Outputting variables -- 2.6 Keywords -- 2.7 Operators -- 2.8 Order of operations -- 2.9 Operators for characters -- 2.10 Composition -- 2.11 Glossary -- 2.12 Exercises -- Chapter 3: Function -- 3.1 Floating-point -- 3.2 Constants -- 3.3 Converting from double to int -- 3.4 Math functions -- 3.5 Composition -- 3.6 Adding new functions -- 3.7 Definitions and uses -- 3.8 Programs with multiple functions -- 3.9 Parameters and arguments -- 3.10 Parameters and variables are local -- 3.11 Functions with multiple parameters -- 3.12 Functions with results -- 3.13 Glossary -- 3.14 Exercises -- Chapter 4: Conditionals and recursion -- 4.1 Conditional execution -- 4.2 The modulus operator -- 4.3 Alternative execution -- 4.4 Chained conditionals -- 4.5 Nested conditionals -- 4.6 The return statement -- 4.7 Recursion -- 4.8 Infinite recursion -- 4.9 Stack diagrams for recursive functions -- 4.10 Glossary -- 4.11 Exercises -- Chapter 5: Fruitful functions -- 5.1 Return values -- 5.2 Program development -- 5.3 Composition -- 5.4 Boolean values -- 5.5 Boolean varaiables -- 5.6 Logical operators -- 5.7 Bool functions -- 5.8 Returning from main() -- 5.9 Glossary -- 5.10 Exercises -- Chapter 6: Iteration -- 6.1 Multiple assignment -- 6.2 Iteration -- 6.3 The while statement -- 6.4 Tables -- 6.5 Two-dimensional tables -- 6.6 Encapsulation and generalization -- 6.7 Functions -- 6.8 More encapsulation -- 6.9 Local varaiables -- 6.10 More generalization -- 6.11 Glossary -- 6.12 Exercises -- Chapter 7: Arrays -- 7.1 Increment and decrement operators -- 7.2 Accessing elements -- 7.3 Copying arrays -- 7.4 for loops -- 7.5 Array length -- 7.6 Random numbers -- 7.7 Statistics -- 7.8 Array of random numbers -- 7.9 Passing an array to a function -- 7.10 Counting -- 7.11 Checking the other values -- 7.12 A histogram -- 7.13 A single-pass solution -- 7.14 Random seeds -- 7.15 Glossary -- 7.16 Exercises -- Chapter 8: Strings and things -- 8.1 Containers for strings -- 8.2 String variables -- 8.3 Extracting characters from a string -- 8.4 Length -- 8.5 Traversal -- 8.6 Finding a character in a string -- 8.7 Pointers and Addresses -- 8.8 String concatenation -- 8.9 Assigning new values to string variables -- 8.10 strings are not comparable -- 8.11 Character classification -- 8.12 Getting user input -- 8.13 Glossary -- 8.14 Exercises -- Chapter 9: Structures -- 9.1 Compound values -- 9.2 Point objects -- 9.3 Accessing member variables -- 9.4 Operations on structures -- 9.5 Structures as parameters -- 9.6 Call by value -- 9.7 Call by reference -- 9.8 Rectangles -- 9.9 Structures as return types -- 9.10 Passing other types by reference -- 9.11 Glossary -- 9.12 Exercises…”
Access online version

Mastering Strategic Management by Edwards, Janice, Ketchen, Dave, Short, Jeremy

Table of Contents: “…Chapter 1 -- Mastering Strategy: Art and Science -- Defining Strategic Management and Strategy -- Intended, Emergent, and Realized Strategies -- The History of Strategic Management -- Understanding the Strategic Management Process -- Conclusion -- Chapter 2 -- Leading Strategically -- Vision, Mission, and Goals -- Assessing Organizational Performance -- The CEO as Celebrity -- Entrepreneurial Orientation -- Conclusion -- Chapter 3 -- Evaluating the External Environment -- The Relationship between an Organization and Its Environment -- Evaluating the General Environment -- Evaluating the Industry -- Mapping Strategic Groups -- Conclusion -- Chapter 4 -- Managing Firm Resources -- Resource-Based Theory -- Intellectual Property -- Value Chain -- Beyond Resource-Based Theory: Other Views on Firm Performance -- SWOT Analysis -- Conclusion -- Chapter 5 -- Selecting Business-Level Strategies -- Understanding Business-Level Strategy through “Generic Strategies” -- Cost Leadership -- Differentiation -- Focused Cost Leadership and Focused Differentiation -- Best-Cost Strategy -- Stuck in the Middle -- Conclusion -- Chapter 6 -- Supporting the Business-Level Strategy: Competitive and Cooperative Moves -- Making Competitive Moves -- Responding to Competitors' Moves -- Making Cooperative Moves -- Conclusion -- Chapter 7 -- Competing in International Markets -- Advantages and Disadvantages of Competing in International Markets -- Drivers of Success and Failure When -- Competing in International Markets -- Types of International Strategies -- Options for Competing in International Markets -- Conclusion -- Chapter 8 -- Selecting Corporate-Level Strategies -- Concentration Strategies -- Vertical Integration Strategies -- Diversification Strategies -- Strategies for Getting Smaller -- Portfolio Planning and Corporate-Level Strategy -- Conclusion -- Chapter 9 -- Executing Strategy through Organizational Design -- The Basic Building Blocks of Organizational Structure -- Creating an Organizational Structure -- Creating Organizational Control Systems -- Legal Forms of Business -- Conclusion -- Chapter 10 -- Leading an Ethical Organization: Corporate Governance, Corporate Ethics, and Social Responsibility -- Boards of Directors -- Corporate Ethics and Social Responsibility -- Understanding Thought Patterns: A Key to Corporate Leadership? …”
Access online version

Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

Table of Contents: “…An assessment framework and analysis -- Remaining Time Prediction for Processes with Inter-Case Dynamics -- Event Log Sampling for Predictive Monitoring -- Active Anomaly Detection for Key Item Selection in Process Auditing -- Prescriptive Process Monitoring Under Resource Constraints: A Causal Inference Approach -- Quantifying Explainability in Outcome-Oriented Predictive Process Monitoring -- Online Prediction of Aggregated Retailer Consumer Behaviour -- PErrCas: Process Error Cascade Mining in Trace Streams -- Continuous performance evaluation for business process outcome monitoring -- An Event Data Extraction Approach from SAP ERP for Process Mining -- Towards a Natural Language Conversational Interface for Process Mining -- On the Performance Analysis of the Adversarial System Variant Approximation Method to Quantify Process Model Generalization -- Verifying guideline compliance in clinical treatment using multi-perspective conformance checking: a case study -- Patient Discharge Classification based on the Hospital Treatment Process -- Combining the Clinical and Operational Perspectives in Heterogeneous Treatment E ect Inference in Healthcare Processes -- Interactive Process Mining Applied in a Cardiology Outpatient Department -- Discovering care pathways for multi-morbid patients using event graphs -- Process Mining in Trusted Execution Environments: Towards Hardware Guarantees for Trust-aware Inter-organizational Process Analysis -- Quantifying the Re-identification Risk in Published Process Models -- Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities.…”
Link to Metadata

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014

Table of Contents: “…Chapter 1 Financial Market -- Influence Networks in the Foreign Exchange Market -- Entropy and Transfer Entropy: The Dow Jones and the build up to the 1997 Asian Crisis -- Execution and Cancellation Lifetimes in Foreign Currency Market -- Signs of market orders and human dynamics -- Damped oscillatory behaviors in the ratios of stock market indices -- Exploring Market Making Strategy for High Frequency Trading: an Agent-based Approach -- Effect of Cancel Order on Simple Stochastic Order-Book Model -- Chapter 2 Robustness and Fragility -- Cascading failures in interdependent economic networks -- Do connections make systems robust?…”
Link to Metadata

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis /

Table of Contents: “…Executive Summary -- Overview and Purposes -- Key Message -- Chapter 1. …”
Link to Metadata

How to Practice Academic Medicine and Publish from Developing Countries? A Practical Guide / by Nundy, Samiran, Kakar, Atul, Bhutta, Zulfiqar A.

Table of Contents: “…-- Part 9 Education, planning and execution -- 39 Bedside teaching in Developing Countries -- 40 E-learning in the developing world -- 41 Develop learning objectives and evaluations-Multiple choice questions/ Objective Structured Practical Examination -- 42 How to prepare a lecture? …”
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

Tinjauan Yuridis Penyelesaian Eksekusi Hak Tanggungan Melalui Pengadilan Negeri (Studi Di Pengadilan Negeri Boyolali) by PERKASA, ALVIN DHADY RAJAWALI, , Darsono, S.H, M.H

Connect to this object online

Computer-based multiple component cognitive training in children with ADHD: a pilot study by Yingying Wu, Lingzi Xu, Zhaomin Wu, Xiaolan Cao, Gui Xue, Yufeng Wang, Binrang Yang

Connect to this object online.

Performance of the Wisconsin Card Sorting Test in Oncopediatric Patients in an Oncology Unit in Cali, Colombia: A Cross-Sectional Observational Study by Ángela María Jiménez Urrego, Valeria Santa, Manuel José Guerrero Gómez, Angie Carolina Guerrero Benitez, Tania Romo-González, Alejandro Botero Carvajal

Connect to this object online.

Autism Spectrum Disorder and BRIEF-P: A Review and Meta-Analysis by Esperanza Bausela-Herreras

Connect to this object online.

Children with ADHD Symptomatology: Does POET Improve Their Daily Routine Management? by Carmit Frisch, Emanuel Tirosh, Sara Rosenblum

Connect to this object online.