Results 141 to 150 of about 185,172 (275)

Taxonomia formal

Enrahonar: Quaderns de Filosofia, 1984
No hay abstract.
openaire   +4 more sources

Formal schemes and formal groups

, 2000
We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented cohomology theories, exemplified by the work of Morava.
openaire   +2 more sources

A dancing bear, a colleague, or a sharpened toolbox? The cautious adoption of generative artificial intelligence technologies in digital humanities research

Journal of the Association for Information Science and Technology, EarlyView.
Abstract The emergence of generative artificial intelligence (GenAI) is reshaping the research landscape and carries significant implications for Digital Humanities (DH), a field long intertwined with computational methods and technologies. This study examines how DH scholars are adopting and critically evaluating GenAI in their research. Drawing on an
Rongqian Ma, Meredith Dedema, Andrew Cox
wiley   +1 more source

A compatibility criterion for optimal control and information aggregation in hierarchical network systems

Asian Journal of Control, EarlyView.
Abstract Large swarms often adopt a hierarchical network structure that incorporates information aggregation. Although this approach offers significant advantages in terms of communication efficiency and computational complexity, it can also lead to degradation due to information constraints.
Kento Fujita, Daisuke Tsubakino
wiley   +1 more source

Risk‐aware safe reinforcement learning for control of stochastic linear systems

Asian Journal of Control, EarlyView.
Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili, Nariman Niknejad, Hamidreza Modares   +2 more
wiley   +1 more source

Performance improvement of discrete‐time linear‐quadratic regulators applied to uncertain linear systems using the Tikhonov regularization method

Asian Journal of Control, EarlyView.
Abstract The linear‐quadratic regulator (LQR) problem of optimal control of an uncertain discrete‐time linear system (DTLS) is revisited in this paper from the perspective of Tikhonov regularization. We show that an optimally chosen regularization parameter reduces, compared to the classical LQR, the values of a scalar error function, as well as the ...
Fernando Pazos, Amit Bhaya
wiley   +1 more source

Systemic neuropsychology: toward a contemporary theory of topological functional systems. [PDF]

Front Psychiatry
Guiral JA.
europepmc   +1 more source

Evidence to support integrating feedback best practice for computer‐based assessment in pharmacology education

British Journal of Clinical Pharmacology, EarlyView.
Feedback is the most powerful driver of learning, but it can afford variable effects depending on the method used. The design of feedback for computer‐based assessment—now increasingly prevalent in higher education—remains relatively underexplored, particularly for pharmacology education.
Claire Y. Hepburn
wiley   +1 more source

Olympiad-level formal mathematical reasoning with reinforcement learning. [PDF]

Nature
Hubert T, Mehta R, Sartran L, Horváth MZ, Žužić G, Wieser E, Huang A, Schrittwieser J, Schroecker Y, Masoom H, Bertolli O, Zahavy T, Mandhane A, Yung J, Beloshapka I, Ibarz B, Veeriah V, Yu L, Nash O, Lezeau P, Mercuri S, Sönne C, Mehta B, Davies A, Zheng D, Pedregosa F, Li Y, von Glehn I, Rowland M, Albanie S, Velingker A, Schmitt S, Lockhart E, Hughes E, Michalewski H, Sonnerat N, Hassabis D, Kohli P, Silver D.   +38 more
europepmc   +1 more source

ELEMENTARY FORMAL SYSTEMS AND FORMAL LANGUAGES-SIMPLE FORMAL SYSTEMS

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics, 1970
openaire   +2 more sources