Results 21 to 30 of about 751,622 (266)
Boosting Neural Networks [PDF]
Boosting is a general method for improving the performance of learning algorithms. A recently proposed boosting algorithm, Ada Boost, has been applied with great success to several benchmark machine learning problems using mainly decision trees as base classifiers.
Holger Schwenk, Yoshua Bengio
openaire +2 more sources
Compactness of Neural Networks
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
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
An exact mapping from ReLU networks to spiking neural networks
Deep spiking neural networks (SNNs) offer the promise of low-power artificial intelligence. However, training deep SNNs from scratch or converting deep artificial neural networks to SNNs without loss of performance has been a challenge.
Wulfram Gerstner +11 more
core +1 more source
Biological brains exhibit a remarkable capacity to recognise real-world patterns effectively. Despite major advances in neuroscience over the last few decades, an understanding of the brain's underlying mechanisms for pattern recognition remains ...
Daniel E. Padilla +3 more
core +1 more source
Prediction of Convergence Dynamics of Design Performance using Differential Recurrent Neural Networks [PDF]
Computational Fluid Dynamics (CFD) simulations have been extensively used in many aerodynamic design optimization problems, such as wing and turbine blade shape design optimization.
Sendhoff, Bernhard +7 more
core +1 more source
ABSTRACT Background Pediatric sarcomas are a heterogeneous group of tumors that contribute disproportionately to cancer mortality in children. Although congenital anomalies are among the strongest known risk factors for childhood cancer, the risk of specific sarcoma subtypes among affected individuals has not yet been thoroughly evaluated. Procedure We
Russ Wolters +17 more
wiley +1 more source
Reciprocal control of viral infection and phosphoinositide dynamics
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source
Neural Network Branching for Neural Network Verification
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]
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

