Results 31 to 40 of about 644,633 (264)

Compactness of Neural Networks

Formalized Mathematics, 2022
Summary In this article, Feed-forward Neural Network is formalized in the Mizar system [1], [2]. First, the multilayer perceptron [6], [7], [8] is formalized using functional sequences. Next, we show that a set of functions generated by these neural networks satisfies equicontinuousness and equiboundedness property [10], [5]. At last,
Keiichi Miyajima, Hiroshi Yamazaki
openaire   +1 more source

Generating Neural Networks with Neural Networks

CoRR, 2018
Hypernetworks are neural networks that generate weights for another neural network. We formulate the hypernetwork training objective as a compromise between accuracy and diversity, where the diversity takes into account trivial symmetry transformations of the target network. We explain how this simple formulation generalizes variational inference.
openaire   +2 more sources

Hippocampal CA1 Neurons Represent Positive Feedback During the Learning Process of an Associative Memory Task

Frontiers in Systems Neuroscience, 2021
The hippocampus is crucial for forming associations between environmental stimuli. However, it is unclear how neural activities of hippocampal neurons dynamically change during the learning process.
Shogo Takamiya, Shogo Takamiya, Kazuki Shiotani, Kazuki Shiotani, Tomoya Ohnuki, Yuma Osako, Yuma Osako, Yuta Tanisumi, Yuta Tanisumi, Shoko Yuki, Hiroyuki Manabe, Junya Hirokawa, Yoshio Sakurai   +12 more
doaj   +1 more source

Feasibility and Safety of Somato‐Cognitive Coordination Therapy for Cerebellar Ataxia Following Pediatric Brain Tumor Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi, Takashi Matsuzawa, Jun Yamanishi, Masahiro Yoshitomi, Junji Ikeda, Shin‐Ichi Tsujimoto, Yasuteru Yamaguchi, Norio Shiba, Dhroov Pathare, Ayumi Kato, Masahiko Hara   +10 more
wiley   +1 more source

Neural Network Branching for Neural Network Verification

CoRR, 2019
Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a unified Branch and Bound (BaB) formulation. We propose a novel framework for designing an effective branching strategy for BaB.
Jingyue Lu, M. Pawan Kumar
openaire   +3 more sources

Interacting neural networks [PDF]

Physical Review E, 2000
Several scenarios of interacting neural networks which are trained either in an identical or in a competitive way are solved analytically. In the case of identical training each perceptron receives the output of its neighbour. The symmetry of the stationary state as well as the sensitivity to the used training algorithm are investigated.
Kinzel, W., Metzler, R., Kanter, I.
openaire   +3 more sources

The Role of Chemotherapy in Pediatric Myoepithelial Carcinoma: A Systematic Review of the Literature

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Myoepithelial carcinoma (MEC) in pediatric patients is a rare and aggressive malignancy characterized by heterogeneous morphology and variable molecular features. The optimal role of chemotherapy remains unclear. We conducted a systematic review according to PRISMA 2020 guidelines to evaluate chemotherapy in pediatric and young‐adult patients ...
Marco Salvi, Maria Carmen Affinita, Giulia Fichera, Luisa Santoro, Angela Scagnellato, Calogero Virgone, Elena Poli, Gianni Bisogno   +7 more
wiley   +1 more source

From vegetation to vulnerability: Integrating remote sensing and AI to combat cheatgrass-induced wildfire hazards in California

Environmental and Sustainability Indicators
Wildfire risk is on the rise around the world. In places like California, this risk is further instigated by the invasive species cheatgrass (Bromus tectorum).
Srikantnag A. Nagaraja, Istvan Kereszy, Chang Zhao, Imre Bartos   +3 more
doaj   +1 more source

Spinal Cord Injury in Myelomeningocele: Prospects for Therapy

Frontiers in Cellular Neuroscience, 2020
Myelomeningocele (MMC) is the most common congenital defect of the central nervous system and results in devastating and lifelong disability. In MMC, the initial failure of neural tube closure early in gestation is followed by a progressive prenatal ...
Karolina Janik, Meredith A. Manire, George M. Smith, Barbara Krynska   +3 more
doaj   +1 more source

Network In Graph Neural Network

CoRR, 2021
Graph Neural Networks (GNNs) have shown success in learning from graph structured data containing node/edge feature information, with application to social networks, recommendation, fraud detection and knowledge graph reasoning. In this regard, various strategies have been proposed in the past to improve the expressiveness of GNNs.
Xiang Song 0003, Runjie Ma, Jiahang Li 0002, Muhan Zhang, David Paul Wipf   +4 more
openaire   +2 more sources