Results 21 to 30 of about 3,156,569 (293)

Formation of modules in a computational model of embryogeny [PDF]

, 2005
An investigation is conducted into the effects of a complex mapping between genotype and phenotype upon a simulated evolutionary process. A model of embryogeny is utilised to grow simple French flag like patterns.
Bowers, Chris P.
core   +1 more source

Computably Separable Models

Journal of Mathematical Sciences, 2018
We state fundamental results of structural theory of computably separable models and consider applications of this theory to solution of some actual problems of the theory of effective linear orders and theoretical informatics.
Kasymov, N. Kh., Ibragimov, F. N.
openaire   +3 more sources

Computational Complexity in Electronic Structure [PDF]

, 2012
In quantum chemistry, the price paid by all known efficient model chemistries is either the truncation of the Hilbert space or uncontrolled approximations.
Aaronson, Aharonov, Alán Aspuru-Guzik, Arora, Arora, Arora, Aspuru-Guzik, Aspuru-Guzik, Auerbach, Barahona, Batista, Ben-David, Bernstein, Berry, Biamonte, Biamonte, Bogdanov, Boyd, Bravyi, Brown, Brown, Chan, Chan, Chan, Cleveland, Coulson, Cramer, Deutsch, Dutta, Feynman, Foulkes, Grötschel, Hammond, Harrow, Helgaker, Hohenberg, Hong, Istrail, James Daniel Whitfield, Jordan, Kassal, Kassal, Kempe, Kitaev, Kitaev, Koch, Kohn, Lester Jr., Levine, Lieb, Liu, Lloyd, Love, Lu, Mazziotti, Mazziotti, Moore, Nielsen, Oliveira, Onsager, Ortiz, Osborne, Parr, Peter John Love, Rassolov, Schuch, Schuch, Schuch, Sipser, Somma, Szabo, Tempel, Troyer, Turing, Veis, Verstraete, Verstraete, Wei, Whitfield, Wu, Yung   +80 more
core   +3 more sources

Towards a computational model for stimulation of the Pedunculopontine nucleus [PDF]

, 2009
The pedunculopontine nucleus (PPN) has recently been suggested as a new therapeutic target for deep brain stimulation (DBS) in patients suffering from Parkinson's disease, particularly those with severe gait and postural impairment [1].
Gils, Stephan A. van, Heida, Tjitske, Lourens, Marcel A.J., Meijer, Hil G.E.   +3 more
core   +4 more sources

Lower Bounds for (Non-Monotone) Comparator Circuits [PDF]

, 2020
Comparator circuits are a natural circuit model for studying the concept of bounded fan-out computations, which intuitively corresponds to whether or not a computational model can make "copies" of intermediate computational steps. Comparator circuits are
, Robere, Robert
core   +1 more source

A computational model of the referential semantics of projective prepositions [PDF]

, 2006
In this paper we present a framework for interpreting locative expressions containing the prepositions in front of and behind. These prepositions have different semantics in the viewer-centred and intrinsic frames of reference (Vandeloise, 1991).
Kelleher, John D., van Genabith, Josef
core   +2 more sources

Neuronal and Astrocytic Regulations in Schizophrenia: A Computational Modelling Study

Frontiers in Cellular Neuroscience, 2021
According to the tripartite synapse model, astrocytes have a modulatory effect on neuronal signal transmission. More recently, astrocyte malfunction has been associated with psychiatric diseases such as schizophrenia.
Lea Fritschi, Johanna Hedlund Lindmar, Florian Scheidl, Kerstin Lenk, Kerstin Lenk   +4 more
doaj   +1 more source

TMS-evoked responses are driven by recurrent large-scale network dynamics

eLife, 2023
A compelling way to disentangle the complexity of the brain is to measure the effects of spatially and temporally synchronized systematic perturbations.
Davide Momi, Zheng Wang, John D Griffiths   +2 more
doaj   +1 more source

Formal Computational Unlinkability Proofs of RFID Protocols

, 2017
We set up a framework for the formal proofs of RFID protocols in the computational model. We rely on the so-called computationally complete symbolic attacker model. Our contributions are: i) To design (and prove sound) axioms reflecting the properties of
Comon, Hubert, Koutsos, Adrien
core   +1 more source

Community Detection in Hypergraphs, Spiked Tensor Models, and Sum-of-Squares [PDF]

, 2017
We study the problem of community detection in hypergraphs under a stochastic block model. Similarly to how the stochastic block model in graphs suggests studying spiked random matrices, our model motivates investigating statistical and computational ...
Bandeira, Afonso S., Goemans, Michel X., Kim, Chiheon   +2 more
core   +2 more sources