Results 91 to 100 of about 20,008 (316)

Functorial Semantics for Petri Nets under the Individual Token Philosophy

, 1999
Although the algebraic semantics of place/transition Petri nets under the collective token philosophy has been fully explained in terms of (strictly) symmetric (strict) monoidal categories, the analogous construction under the individual token philosophy
Meseguer, J., V. Sassone, Bruni, R., U. Montanari, Bruni, Roberto, J. Meseguer, Montanari, U., R. Bruni, Meseguer, José, Montanari, Ugo, Sassone, Vladimiro, Sassone, V.   +11 more
core   +1 more source

Schooling Trajectories and the Development of Brain Dynamics: A Comparative Study of Montessori and Traditional Education

Advanced Science, EarlyView.
We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua, Anira Escrichs, Yonatan Sanz Perl, Morten L. Kringelbach, Adele Diamond, Solange Denervaud, Gustavo Deco   +6 more
wiley   +1 more source

Notes on Modified Planar Kelvin–Stuart Models: Simulations, Applications, Probabilistic Control on the Perturbations

Axioms
In this paper, we propose a new modified planar Kelvin–Stuart model. We demonstrate some modules for investigating the dynamics of the proposed model.
Nikolay Kyurkchiev, Tsvetelin Zaevski, Anton Iliev, Vesselin Kyurkchiev, Asen Rahnev   +4 more
doaj   +1 more source

MGDP: Mastering a Generalized Depth Perception Model for Quadruped Locomotion

Advanced Science, EarlyView.
ABSTRACT Perception‐based Deep Reinforcement Learning (DRL) controllers demonstrate impressive performance on challenging terrains. However, existing controllers still face core limitations, struggling to achieve both terrain generality and platform transferability, and are constrained by high computational overhead and sensitivity to sensor noise.
Yinzhao Dong, Ji Ma, Yidan Lu, Jiahui Zhang, Wanyue Li, Yeke Chen, Teng Zhang, Xuechao Chen, Zhangguo Yu, Peng Lu   +9 more
wiley   +1 more source

A QBF-based Formalization of Abstract Argumentation Semantics

, 2013
Supported by the National Research Fund, Luxembourg (LAAMI project) and by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref.
Caminada, Martin, Arieli, Ofer, Caminada, Martin W.A.   +2 more
core   +1 more source

Representation and structuring of knowledge in the semantic oriented computing environment. Part 1. Integration conceptual graphs and logical networks based on formalization of structured situations

Известия высших учебных заведений. Поволжский регион:Технические науки, 2023
Background. A technique for deep knowledge structuring in a semantic-oriented intelligent computing environment based on the expansion of the descriptive capabilities of Petri nets by integrating them with conceptual graphs is proposed.
V.I. Volchikhin, N.S. Karamysheva, M.A. Mitrokhin, S.A. Zinkin   +3 more
doaj   +1 more source

Decoding Spatial Heterogeneity and Multi‐Omics Regulation with Hierarchical Graph Learning

Advanced Science, EarlyView.
ABSTRACT Recent advances in spatial multi‐omics technologies have enabled the simultaneous profiling of multiple molecular layers within the same tissue slice, providing unprecedented opportunities to investigate tissue spatial organization. However, most existing computational methods identify spatial domains in a purely data‐driven manner, rarely ...
Jiazhou Chen, Jiahui Xie, Yi Liao, Junyu Li, Longqi Liu, Xin Gao, Hongmin Cai   +6 more
wiley   +1 more source

Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories

Theor. Comput. Sci., 1984
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Joseph A. Goguen, Rod M. Burstall
openaire   +3 more sources

Diffusion‐Based Generative Model With Scaffold‐Hopping Strategy Yields Highly Potent Bioactive Molecules

Advanced Science, EarlyView.
SMarT‐Diff introduces a multi‐objective generative paradigm that integrates scaffold hopping with structure‐aware scoring to enable controlled exploration beyond the training distribution. The framework consistently balances drug‐likeness, synthesizes accessibility and bioactivity, yielding chemically diverse candidates with enhanced properties.
Yuwei Yang, Xiaoqing Gong, Shukai Gu, Jing Li, Bo Liu, Yanan Tian, Qianqian Zhang, Xiaojun Yao, Huanxiang Liu   +8 more
wiley   +1 more source

A theory of contracts for web services [PDF]

, 2007
<p>Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a service with another service.
Luca Padovani, N. GESBERT, CASTAGNA G, Gesbert, N., G. CASTAGNA, L. PADOVANI, CASTAGNA B, Castagna, G., Giuseppe Castagna, Padovani, Luca, GESBERT N, Gesbert, Nils, Padovani, L., Castagna, Giuseppe, Nils Gesbert   +14 more
core   +1 more source