相关论文: First Principles Study of Intein Reaction Mechanis…

Technological and scientific advances have given rise to an era in which coherent quantum-mechanical phenomena can be probed and experimentally-realised over unprecedented timescales in condensed matter physics. In turn, scientific interest…

Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equality. This is a familiar setting for computer scientists, who…

This dissertation presents a multifaceted look into the structural decomposition of permutation classes. The theory of permutation patterns is a rich and varied field, and is a prime example of how an accessible and intuitive definition…

Complex systems have interested researchers across a broad range of fields for many years and as computing has become more accesible and feasible, it is now possible to simulate aspects of these systems. A major point of research is how…

This paper proposes a specific conceptualization of intelligence as computation. This conceptualization is intended to provide a unified view for all disciplines of intelligence research. Already, it unifies several conceptualizations…

Back in the mid eighties, a new branch of investigation which was related to the interaction of eta mesons with nuclei came into existence. It started with the theoretical prediction of possible exotic states of eta mesons and nuclei bound…

This study presents a theoretical model for a self-replicating mechanical system inspired by biological processes within living cells and supported by computer simulations. The model decomposes self-replication into core components, each of…

An approach to information processing based on the excitation of patterns of activity by non-linear active resonators in response to their input patterns is proposed. Arguments are presented to show that any computation performed by a…

PhD thesis (University of York). The thesis covers in a unified way the material presented in quant-ph/0403073, quant-ph/0502040, quant-ph/0504160, quant-ph/0510035, quant-ph/0512012 and quant-ph/0603283. It includes two large review…

The thesis explores the role machine learning methods play in creating intuitive computational models of neural processing. Combined with interpretability techniques, machine learning could replace human modeler and shift the focus of human…

In this PhD thesis, a novel method to determine protein structures using chemical shifts is presented.

This paper is a first step to chase the ambitious objective of developing a mathmatical theory of living systems. The contents refer modeling large systems of interacting living entities with the aim of describing their collective behaviors…

Form a pure mathematical point of view, common functional forms representing different physical phenomena can be defined. For example, rates of chemical reactions, diffusion and heat transfer are all governed by exponential-type…

Finding representative reaction pathways is necessary for understanding mechanisms of molecular processes, but is considered to be extremely challenging. We propose a new method to construct reaction paths based on mean first-passage times.…

Some formulas and speculations are presented relative to integrable systems and quantum mechanics.

We review here theoretical models for describing various types of reactions involving light nuclei on the driplines. Structure features to be extracted from the analysis of such reaction data, as well as those that need to be incorporated…

To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared…

This chapter revisits the concept of excitability, a basic system property of neurons. The focus is on excitable systems regarded as behaviors rather than dynamical systems. By this we mean open systems modulated by specific interconnection…

The aim of this short paper is to give a practical introduction to functional interpretation of proofs for computer scientists interested in synthesis.

Initial contours of the non-standard approach to reception of the answer of any task on discrete structures are considered: the algorithm independently creates such answer from separate fragments.