Search Results - "machines"

Cohesion, Coherence and Temporal Reference from an Experimental Corpus Pragmatics Perspective by Grisot, Cristina

Table of Contents: “…Acknowledgements -- Introduction -- Formal Semantic-discursive and Pragmatic Assessment of Time -- Corpus-based Contrastive Study of Verbal Tenses -- Experimental Study Using Annotation Experiments -- A Pragmatic Model of Temporal Cohesive Ties -- Temporal Coherence -- Application to Natural Language Processing and Machine Translation -- Conclusion.…”
Link to Metadata

Políticas alimentarias para prevenir la obesidad y las principales enfermedades no transmisibles en España: querer es poder by Miguel Ángel Royo-Bordonada, Fernando Rodríguez-Artalejo, Maira Bes-Rastrollo, Carlos Fernández-Escobar, Carlos A. González, Francisco Rivas, Miguel Ángel Martínez-González, Joan Quiles, Aurora Bueno-Cavanillas, Eva M. Navarrete-Muñoz, Carmen Navarro, Esther López-García, Dora Romaguera, María Morales Suárez-Varela, Jesús Vioque

Connect to this object online.

Przegląd metody leczenia i najczęstszych przyczyn amputacji otwartych i zamkniętych w obrębie kończyny górnej = Review of the methods of treatment and the most common causes... by Katarzyna Pietkun, Joanna Siminska, Joanna Stocka, Karol Ogurkowski, Wojciech Hagner, Krystyna Nowacka

Connect to this object online.

Przegląd metody leczenia i najczęstszych przyczyn amputacji otwartych i zamkniętych w obrębie kończyny górnej = Review of the methods of treatment and the most common causes... by Katarzyna Pietkun, Joanna Siminska, Joanna Stocka, Karol Ogurkowski, Wojciech Hagner, Krystyna Nowacka

Connect to this object online.

دراسة بعض العوامل المؤثرة في انزلاق الدولاب القائد في جرار الفرات لنوعين من الترب السورية by فائز النجار

Connect to this object online.

PENERAPAN METODE EKSPERIMEN UNTUK MENINGKATKAN PEMAHAMAN KONSEP SISWA PADA PEMBELAJARAN IPA MENGENAI MATERI PESAWAT SEDERHANA : Penelitian Tindakan Kelas Siswa Kelas V SDN 3 Cibogo... by Manulong, Maria Grecya Felyana

Link Metadata

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /

Table of Contents: “…Machine Learning and Deep learning approaches in human brain mapping -- A high-resolution model of the human entorhinal cortex in the 'BigBrain'- use case for machine learning and 3D analyses -- Deep learning-supported cytoarchitectonic mapping of the human lateral geniculate body in the BigBrain -- Brain modelling and simulation -- Computational modelling of cerebellar magnetic stimulation: the effect of washout? …”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Demystifying Intelligent Multimode Security Systems An Edge-to-Cloud Cybersecurity Solutions Guide / by Booth, Jody, Metz, Werner, Tarkhanyan, Anahit, Cheruvu, Sunil

Table of Contents: “…Introduction -- Chapter 1: Introduction and Overview -- Chapter 2: Architecting an E2E IMSS Data Pipeline -- Chapter 3: Architecting an E2E DSS Data Pipeline -- Chapter 4: Securing the IMSS Assets -- Chapter 5: Machine Learning Security -- Chapter 6: Sample Applications -- Chapter 7: Looking Into the Future -- Chapter 8: As We Go To Press.…”
Link to Metadata

Introduction to MIPS Assembly Language Programming by Kann, Charles

Table of Contents: “…Chapter 1 Introduction -- Chapter 2 First Programs in MIPS assembly -- Chapter 3 MIPS arithmetic and Logical Operators -- Chapter 4 Translating Assembly Language into Machine Code -- Chapter 5 Simple MIPS subprograms -- Chapter 6 MIPS memory - the data segment -- Chapter 7 Assembly language program control structures -- Chapter 8 Reentrant Subprograms -- Chapter 9 Arrays…”
Access online version

THE ROLE OF THE HUMANITIES AND SOCIAL SCIENCES IN HIGHER EDUCATION: INTERNATIONAL EXPERIENCE by N. Kliuchkovska

Connect to this object online.

EFEKTIVITAS KELOMPOK SWADAYA MASYARAKAT SAHABAT LINGKUNGAN TERHADAP KEWARGANEGARAAN EKOLOGIS MELALUI PROGRAM TPS 3R (Studi Kasus Pada TPS 3R Baraya Runtah di Kabupeten Karawang) by Nur Pitri Arisandi, -

Link Metadata

PENGEMBANGAN MODEL SINUS (SIMULASI INTERAKTIF IONIC LIQUIDS BERBASIS PROGRAM SKETCH) UNTUK MENINGKATKAN KOMPETENSI MAHASISWA PADA KATEGORI INDUSTRI PENGOLAHAN BAHAN KIMIA DI... by INA YULIANTI, -

Link 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

Artificial Intelligence Technology by Huawei Technologies Co., Ltd

Table of Contents: “…A General Introduction to Artificial Intelligence -- Chapter 2. Machine Learning -- Chapter 3. Overview of Deep Learning -- Chapter 4. …”
Link to Metadata

Disrupting Finance FinTech and Strategy in the 21st Century /

Table of Contents: “…Deciphering Crowdfunding -- Addressing Information Asymmetries in Online Peer-to-Peer Lending -- Machine Learning and AI for Risk Management -- What Fintech Can Learn from High-Frequency Trading: Economic Consequences, Open Issues and Future of Corporate Disclosure -- InsurTech -- Understanding RegTech for Digital Regulatory Compliance -- Payment Service Directive II and its Implications -- From Transactions to Interactions: Social Considerations for Digital Money -- Token-based Business Models -- Blockchain beyond Cryptocurrencies.…”
Link to Metadata

Influences of chemicals in surrogate gasohol on glass fiber reinforced nylon 6 composites by Siriporn Kaensri

Get full text

PENGARUH PENERAPAN STANDAR ISO 9001 TERHADAP KUALITAS PRODUK by Kurniawan, Arip

Link 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