Results 21 to 30 of about 8,552 (239)
The Acquisition of Recursion: How Formalism Articulates the Child’s Path
Biolinguistics, 2011 We distinguish three kinds of recursion: Direct Recursion (which delivers a ‘conjunction’ reading), Indirect Recursion, and Generalized Transformations. The essential argument is that Direct Recursion captures the first stage of each recursive structure.
Tom W. Roeper
doaj +1 more source
Recursión, inducción y órdenes bien fundados
Revista Integración, 2011 Con base en la caracterización de los números naturales a partir de la propiedad de recursión (ver [2]), probamos en forma general que para un conjunto dado las propiedades de recursión, inducción y buena fundación son equivalentes entre sí.
Carlos Parra-Londoño +1 more
doaj +4 more sources
Cybernetics and Information Technologies, 2021 Merkle-Hellman public key cryptosystem is a long-age old algorithm used in cryptography. Despite being computationally fast, for very large input sizes it may operate slower due to thread creation overhead or reaching a deadlock situation. In this paper,
Rahul Vaddadi Sai +2 more
doaj +1 more source
MolE: a foundation model for molecular graphs using disentangled attention
Nature CommunicationsModels that accurately predict properties based on chemical structure are valuable tools in the chemical sciences. However, for many properties, public and private training sets are typically small, making it difficult for models to generalize well ...
Oscar Méndez-Lucio +2 more
doaj +1 more source
Arab Journal of Basic and Applied Sciences, 2023 We consider linear recursions of length two and related gap recursions where the indices may not be consecutive integers. Given a linear recursion of length two, we prove the existence of an explicit linear recursion of length [Formula: see text] with ...
Saeree Wananiyakul, Janyarak Tongsomporn
doaj +1 more source
Exact Discrete Stochastic Simulation With Deep‐Learning‐Scale Gradient Optimization
Advanced Science, EarlyView.A 203,796‐parameter gene regulatory network classifies handwritten digits with 98.4% accuracy using exact stochastic dynamics. The framework decouples forward simulation from backward differentiation, making continuous‐time Markov chain models compatible with deep‐learning optimization.
Jose M. G. Vilar, Leonor Saiz
wiley +1 more source
Assessing interaction recovery of predicted protein-ligand poses
Journal of CheminformaticsThe field of protein-ligand pose prediction has seen significant advances in recent years, with machine learning-based methods now being commonly used in lieu of classical docking methods or even to predict all-atom protein-ligand complex structures ...
David Errington +3 more
doaj +1 more source
Recursively invariant β-recursion theory
Annals of Mathematical Logic, 1981 AbstractWe introduce recursively invariant β-recursion theory as a new approach towards recursion theory on an arbitraty limit ordinal β. We follow Friedman and Sacks and call a subset of β β-recursively enumerable if it is Σ1-definable over Lβ. Since Friedman-Sacks' notion of a β-finite set is not invariant under β-recursive permutations of β we turn ...
openaire +1 more source
Bistable Networks Enable Complex Shape Changes
Advanced Science, EarlyView.Transition‐controlled metamaterials are networks of bistable mechanical memory that store local binary states and express them as global shape change. By decoupling low‐force programming from high‐force holding, a single lattice is reconfigured into distinct 2D profiles and 3D surfaces without continuous actuation, enabling reusable morphing materials ...
Sawyer Thomas, Jeffrey Lipton
wiley +1 more source
Utterance evolution: the road to generative, combinatorial communicators
Biological Reviews, EarlyView.ABSTRACT Language has long been considered uniquely complex in the animal kingdom; however, animal research over the last decade has begun to challenge some long‐standing premises about exactly which language capacities are uniquely human. The task of resolving why and how complex communication systems evolve, particularly human language, has ...
Catherine Crockford +2 more
wiley +1 more source