Search Results - "neural network"

Prediction of shoulder load from wearable sensors for wheelchair related activities: A machine learning approach. by Sabrina Amrein, Charlotte Werner, Wiebe de Vries

Connect to this object online.

PENGENALAN BENTUK TULISAN TANGAN HURUF 'i' DAN 't' UNTUK MEMPREDIKSI KARAKTER PSIKOLOGIS SESEORANG MENGGUNAKAN ALGORITMA JARINGAN SARAF TIRUAN PROPAGASI BALIK by Hidayat, Imron

Link Metadata

Enhancing Future Skills and Entrepreneurship 3rd Indo-German Conference on Sustainability in Engineering /

Table of Contents: “…Indo-German Center for Sustainable Manufacturing: A collaboration between Birla Institute of Technology and Science Pilani and Technische Universität Braunschweig -- Oxygen Enrichment Technology - an Innovation for Improved Solid Fuel Combustion and Sustainable Environment -- Lean Manufacturing Implementation in Ceramic Industry: A Case Study -- Choosing Products for Decentralized Manufacturing: Utilizing Recycled 3D Printing Filament in India and Germany -- Design and Simulation of Solar Thermal Based Trigeneration System with 520 Square Meter Dish Collector -- Continuous Kaizen Implementation to Improve Leanness: A Case Study of Indian Automotive Assembly Line -- Time Series Auto-regressive Integrated Moving Average Model for Renewable Energy Forecasting -- 3-CYCLE - A Modular Process Chain for Recycling of Plastic Waste with Filament-based 3D Printing for Learning Factories -- Exploring Sustainability in Indian Pharmaceutical Industry -- Wind Energy Prediction Using Artificial Neural Networks -- Data Analytics of Energy and Compressed Air Flows for Process and Quality Monitoring in Electro-Pneumatic Handling Systems -- Development of an Electric-Load Intelligence System for Component Level Disaggregation to Improve Energy Efficiency of Machine Tools.…”
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

ID107 A Transparência como Condição para o Uso de Inteligência Artificial na Avaliação de Tecnologias em Saúde: uma revisão de escopo by Denis Satoshi Komoda, Marilia Mastrocolla de Almeida Cardoso, Brigida Dias Fernandes, Marilia Berlofa Visacri, Carlos Roberto Silveira Correa

Connect to this object online.

FLUKTUASI DAN PREDIKSI MUKA AIR TANAH DI CEKUNGAN AIR TANAH JAKARTA MENGGUNAKAN NONLINEAR AUTOREGRESSIVE EXOGENOUS (NARX) by Dani Ruswandi, -

Link 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

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

استخدام الشبكات العصبونية لتنبؤ بنك الدم باحتياجات مرضى سرطان الدم by هاني عماشة, وائل الامام, براءة نعمان

Connect to this object online.

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

DETERMINAÇÃO SIMULTÂNEA DE METAIS EM GASOLINA, ATRAVÉS DE MÉTODO ELETROANALÍTICO ALTERNATIVO, COM O USO DE CALIBRAÇÃO MULTIVARIADA / REDES NEURAIS by Elmo de Sena Ferreira Júnior, Joseany de Moraes S. Almeida, Delano Brandes Marques, Edmar Pereira Marques, Aldaléa Lopes B. Marques

Connect to this object online.

Classification and Data Science in the Digital Age

Table of Contents: “…Dvořák: Supervised Classification via Neural Networks for Replicated Point Patterns -- G. Perrone and G. …”
Link to Metadata

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Table of Contents: “…Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection ofDerivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization.…”
Link to Metadata

Technological Imagination in the Green and Digital Transition

Table of Contents: “…From a liquid society, through technological imagination, to beyond the knowledge society -- Opening lecture: Digital spaces and the material culture -- Part 1: Innovation -- Innovation for the digitization process of the AECO sector -- The digital revolution and the art of co-creation -- Towards a new humanism of technological innovation in design of the built environment -- A bim-based approach to energy analysis of existing buildings in the Italian context -- Short-term wind speed forecasting model using hybrid neural networks and wavelet packet decomposition -- COGNIBUILD: Cognitive digital twin framework for advanced building management and predictive maintenance -- Design of CCHP system with the help of combined chiller system, solar energy, and gas microturbine -- Digital construction and management the public's infrastructures -- An innovative multi-objective optimization digital workflow for social housing deep energy renovation design process -- Digital information management in thebuilt environment: Data-driven approaches for building process optimization -- Immersive facility management - A methodological approach based on BIM and mixed reality for training and maintenance operations -- A digital information model for coastal maintenance and waterfront recovery -- Sustainable workplace: Space planning model to optimize environmental impact -- Digital twin models supporting cognitive buildings for ambient assisted living -- Less automation more information: A learning tool for a post-occupancy operation and evaluation -- A prosumer approach for feeding the digital twin. …”
Link to Metadata

Analysis of Facebook in the Teaching-Learning Process about Mathematics Through Data Science by Ricardo-Adán

Connect to this object online.

Scope and performance of artificial intelligence technology in orthodontic diagnosis, treatment planning, and clinical decision-making - A systematic review by Sanjeev B. Khanagar, Ali Al-Ehaideb, Satish Vishwanathaiah, Prabhadevi C. Maganur, Shankargouda Patil, Sachin Naik, Hosam A. Baeshen, Sachin S. Sarode

Connect to this object online.

Unleashing the power of artificial intelligence for diagnosing and treating infectious diseases: A comprehensive review by Ali A. Rabaan, Muhammed A. Bakhrebah, Jawaher Alotaibi, Zuhair S. Natto, Rahaf S. Alkhaibari, Eman Alawad, Huda M. Alshammari, Sara Alwarthan, Mashael Alhajri, Mohammed S. Almogbel, Maha H. Aljohani, Fadwa S. Alofi, Nada Alharbi, Wasl Al-Adsani, Abdulrahman M. Alsulaiman, Jehad Aldali, Fatimah Al Ibrahim, Reem S. Almaghrabi, Awad Al-Omari, Mohammed Garout

Connect to this object online.

Machine learning methods as an aid in planning orthodontic treatment on the example of Cone-Beam Computed Tomography analysis: a literature review by Szymon Płotka, Tomasz Włodarczyk, Ryszard Szczerba, Anna Chomiak, Oskar Komisarek

Connect to this object online.

Early diagnosis of skin oncologic diseases using artificial intelligence technologies by Simon О. Samokhin, Alexander V. Patrushev, Yulia I. Akaeva, Sergei A. Parfenov, Gennadii G. Kutelev

Connect to this object online.