Search Results - Computation and Neural Systems

Information Theory and Machine Learning

DOAB: download the publication
DOAB: description of the publication

Deep Learning Applications with Practical Measured Results in Electronics Industries by Kung, Hsu-Yang

Subjects: “…neural networks…”
DOAB: download the publication
DOAB: description of the publication

Sensor Networks Physical and Social Sensing in the IoT

Subjects: “…pervasive computing…”
DOAB: download the publication
DOAB: description of the publication

Inverse Dynamics Problems

Subjects: “…artificial neural networks…”
DOAB: download the publication
DOAB: description of the publication

Traveling Salesman Problem Theory and Applications

DOAB: download the publication
DOAB: description of the publication

Pairwise clusters optimization and cluster most significant feature methods for anomaly-based network intrusion detection system (POC2MSF) / Gervais Hatungimana by Hatungimana, Gervais

Link Metadata

Bio-Inspired Information Pathways From Neuroscience to Neurotronics

DOAB: download the publication
DOAB: description of the publication

Bio-Inspired Information Pathways From Neuroscience to Neurotronics

OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Static EL Tboxes -- Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance -- A Unifying Splitting Framework -- Integer Induction in Saturation -- Superposition with First-Class Booleans and Inprocessing Clausification -- Superposition for Full Higher-Order Logic -- Implementation and Application -- Making Higher-Order Superposition Work -- Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver -- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive Computation of Definite Integrals -- ATP and AI -- Confidences for Commonsense Reasoning -- Neural Precedence Recommender -- Improving ENIGMA-Style Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor for Reinforcement Learning Agents (System Description) -- Automatically Building Diagrams for Olympiad Geometry Problems (System Description) -- The Fusemate Logic Programming System (System Description) -- Twee: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon: Mechanizing Metatheory Interactively (System Description).…”
Link to Metadata

Adaptive Dynamic Programming For Chemotherapy Drug Delivery / by Sun, Jiayue, Xu, Shun, Liu, Yang, Zhang, Huaguang

Link to Metadata

AI based Robot Safe Learning and Control by Zhou, Xuefeng, Xu, Zhihao, Li, Shuai, Wu, Hongmin, Cheng, Taobo, Lv, Xiaojing

Link to Metadata

Universal Smart Grid Agent for Distributed Power Generation Management by MSP Veith, Eric

DOAB: download the publication
DOAB: description of the publication

Beyond the borders: The gates and fences of Neuroimmune interaction by Javier Velazquez-Moctezuma

DOAB: download the publication
DOAB: description of the publication

Visual and Camera Sensors

Subjects: “…portable mobile mapping system…”
DOAB: download the publication
DOAB: description of the publication

Smart Grid Analytics for Sustainability and Urbanization in Big Data

DOAB: download the publication
DOAB: description of the publication

Wearable Sensors Applied in Movement Analysis

DOAB: download the publication
DOAB: description of the publication

Internet of Things and Artificial Intelligence in Transportation Revolution

DOAB: download the publication
DOAB: description of the publication

AI for Cybersecurity: Robust models for Authentication, Threat and Anomaly Detection

DOAB: download the publication
DOAB: description of the publication

District Heating and Cooling Networks by Borge Diez, David

Subjects: “…neural networks…”
DOAB: download the publication
DOAB: description of the publication

Innovative Technologies and Services for Smart Cities by Islam, Tarikul

Subjects: “…Elman neural network…”
DOAB: download the publication
DOAB: description of the publication