Search Results - "neural networks"

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

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

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

Table of Contents: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
Link to Metadata

Unmanned Aircraft Systems with Autonomous Navigation

DOAB: download the publication
DOAB: description of the publication

Efficacy of ChatGPT in Cantonese Sentiment Analysis: Comparative Study by Ziru Fu, Yu Cheng Hsu, Christian S Chan, Chaak Ming Lau, Joyce Liu, Paul Siu Fai Yip

Connect to this object online.

تصميم المقاطع المعدنية الأكثر كفاءة للتحنيب الفتلي باستخدام الشبكات العصبية الاصطناعية by نعمان عيسى, سماح مكية, رنيم الوفائي

Connect to this object online.

Maximizing acceptance of clinical pharmacy recommendations to reduce length of hospital stay in a private hospital from Amman, Jordan by Loai M. Saadah, Amer H. Khan, Syed Azhar Syed Sulaiman, Iman A. Bashiti

Connect to this object online.

Using Programmable Device Installations to Control Students with Disabilities after Blast Traumatic Brain Injury in 10 Meter Walking Test by Oksana Blavt, Lesia Galamanzhuk, Mykhailo Huska, Gennadii Iedynak, Maryan Pityn, Yurii Kachurak, Volodymyr Faidevych, Rostyslav Turka

Connect to this object online.

Deep Learning Based Walking Tasks Classification in Older Adults Using fNIRS by Dongning Ma, Meltem Izzetoglu, Roee Holtzer, Xun Jiao

Connect to this object online.

A Deep CNN Framework for Neural Drive Estimation From HD-EMG Across Contraction Intensities and Joint Angles by Yue Wen, Sangjoon J. Kim, Simon Avrillon, Jackson T. Levine, Francois Hug, Jose L. Pons

Connect to this object online.

Hypothesis‐free deep survival learning applied to the tumour microenvironment in gastric cancer by Armin Meier, Katharina Nekolla, Lindsay C Hewitt, Sophie Earle, Takaki Yoshikawa, Takashi Oshima, Yohei Miyagi, Ralf Huss, Günter Schmidt, Heike I Grabsch

Connect to this object online.

Using a digital patient powered research network to identify outcomes of importance to patients with multiple myeloma by Katharine S. Gries, John Fastenau

Connect to this object online.

Predicting VO₂max in Children and Adolescents Aged between 6 and 17 Using Physiological Characteristics and Participation in Sport Activities: A Cross-Sectional Study Co... by Vilelmine Carayanni, Gregory C. Bogdanis, Elpis Vlachopapadopoulou, Dimitra Koutsouki, Yannis Manios, Feneli Karachaliou, Theodora Psaltopoulou, Stefanos Michalacos

Connect to this object online.

أنموذج شبكة عصبية اصطناعية للعلاقة بين الهطل المطري والجريان النهري حالة دراسة حوض نهر الأبرش by غطفان عبد الكريم عمّار, أماني غسان حسين

Connect to this object online.

Model for Predicting In-Hospital Mortality of Physical Trauma Patients Using Artificial Intelligence Techniques: Nationwide Population-Based Study in Korea by Seungseok Lee, Wu Seong Kang, Sanghyun Seo, Do Wan Kim, Hoon Ko, Joongsuck Kim, Seonghwa Lee, Jinseok Lee

Connect to this object online.

Artificial Intelligence for Skin Cancer Detection: Scoping Review by Abdulrahman Takiddin, Jens Schneider, Yin Yang, Alaa Abd-Alrazaq, Mowafa Househ

Connect to this object online.

Detection of acute dengue virus infection, with and without concurrent malaria infection, in a cohort of febrile children in Kenya, 2014-2019, by clinicians or machine learning alg... by David M Vu, Amy R Krystosik, Bryson A Ndenga, Francis M Mutuku, Kelsey Ripp, Elizabeth Liu, Carren M Bosire, Claire Heath, Philip Chebii, Priscilla Watiri Maina, Zainab Jembe, Said Lipi Malumbo, Jael Sagina Amugongo, Charles Ronga, Victoria Okuta, Noah Mutai, Nzaro G Makenzi, Kennedy A Litunda, Dunstan Mukoko, Charles H King, A Desiree LaBeaud

Connect to this object online.

Effect of Lower Limb Exoskeleton on the Modulation of Neural Activity and Gait Classification by Stefano Tortora, Luca Tonin, Sebastian Sieghartsleitner, Rupert Ortner, Christoph Guger, Olive Lennon, Damien Coyle, Emanuele Menegatti, Alessandra Del Felice

Connect to this object online.

Prediction of the Possibility of Hemorrhagic Syndrome during Combined Antiplatelet Therapy According to the Krasnodar Region Registry by Z. G. Tatarintseva, E. D. Kosmacheva, S. V. Kruchinova, V. A. Akinshina, A. A. Khalafyan

Connect to this object online.

Using Deep Learning Algorithms to Grade Hydronephrosis Severity: Toward a Clinical Adjunct by Lauren C. Smail, Lauren C. Smail, Kiret Dhindsa, Kiret Dhindsa, Kiret Dhindsa, Luis H. Braga, Luis H. Braga, Luis H. Braga, Suzanna Becker, Suzanna Becker, Suzanna Becker, Ranil R. Sonnadara, Ranil R. Sonnadara, Ranil R. Sonnadara, Ranil R. Sonnadara, Ranil R. Sonnadara, Ranil R. Sonnadara

Connect to this object online.