Zobrazeno 1 - 10
of 949
pro vyhledávání: '"Vandervorst, P."'
Autor:
Kalies, William, Vandervorst, Robert
For an arbitrary dynamical system there is a strong relationship between global dynamics and the order structure of an appropriately constructed Priestley space. This connection provides an order-theoretic framework for studying global dynamics. In t
Externí odkaz:
http://arxiv.org/abs/2407.14359
Autor:
Spendlove, Kelly, Vandervorst, Robert
Cartan-Eilenberg systems play an prominent role in the homological algebra of filtered and graded differential groups and (co)chain complexes in particular. We define the concept of Cartan-Eilenberg systems of abelian groups over a poset. Our main re
Externí odkaz:
http://arxiv.org/abs/2406.19977
Autor:
Goertzel, Ben, Bogdanov, Vitaly, Duncan, Michael, Duong, Deborah, Goertzel, Zarathustra, Horlings, Jan, Ikle', Matthew, Meredith, Lucius Greg, Potapov, Alexey, de Senna, Andre' Luiz, Suarez, Hedra Seid Andres, Vandervorst, Adam, Werko, Robert
An introduction to the OpenCog Hyperon framework for Artificiai General Intelligence is presented. Hyperon is a new, mostly from-the-ground-up rewrite/redesign of the OpenCog AGI framework, based on similar conceptual and cognitive principles to the
Externí odkaz:
http://arxiv.org/abs/2310.18318
We present an operational semantics for the language MeTTa.
Externí odkaz:
http://arxiv.org/abs/2305.17218
Autor:
Spendlove, Kelly, Vandervorst, Robert
To capture the global structure of a dynamical system we reformulate dynamics in terms of appropriately constructed topologies, which we call flow topologies; we call this process topologization. This yields a description of a semi-flow in terms of a
Externí odkaz:
http://arxiv.org/abs/2207.06971
Autor:
Cuduvally, Ramya, Morris, Richard J. H., Oosterbos, Giel, Ferrari, Piero, Fleischmann, Claudia, Forbes, Richard G., Vandervorst, Wilfried
A major challenge for Atom Probe Tomography (APT) quantification is the inability to decouple ions which possess the same mass/charge-state ($m/n$) ratio but a different mass. For example, $^{75}{\rm{As}}^{+}$ and $^{75}{\rm{As}}{_2}^{2+}$ at ~75 Da
Externí odkaz:
http://arxiv.org/abs/2207.05230
We introduce a formal meta-language for probabilistic programming, capable of expressing both programs and the type systems in which they are embedded. We are motivated here by the desire to allow an AGI to learn not only relevant knowledge (programs
Externí odkaz:
http://arxiv.org/abs/2203.15970
Strain engineering in semiconductor transistor devices has become vital in the semiconductor industry due to the ever increasing need for performance enhancement at the nanoscale. Raman spectroscopy is a non-invasive measurement technique with high s
Externí odkaz:
http://arxiv.org/abs/2106.08478
Continuation of algebraic structures in families of dynamical systems is described using category theory, sheaves, and lattice algebras. Well-known concepts in dynamics, such as attractors or invariant sets, are formulated as functors on appropriate
Externí odkaz:
http://arxiv.org/abs/2102.02198
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.