Zobrazeno 1 - 10
of 211
pro vyhledávání: '"Neves, Renato"'
Autor:
Dahlqvist, Fredrik, Neves, Renato
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12299
Modern programming frequently requires generalised notions of program equivalence based on a metric or a similar structure. Previous work addressed this challenge by introducing the notion of a V-equation, i.e. an equation labelled by an element of a
Externí odkaz:
http://arxiv.org/abs/2304.02082
Autor:
Dahlqvist, Fredrik, Neves, Renato
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:10018
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the idea of equ
Externí odkaz:
http://arxiv.org/abs/2208.14356
Autor:
Neves, Renato Ramirez Viana
As defensas rodoviárias têm a finalidade de redirecionar com segurança um veículo fora de controle de uma colisão frontal ou trajetória mais perigosa. Secundariamente, a absorção de energia através da deformação do sistema de contenção o
Optimisation of the performance of alkali-activated mortars using CDW binders from different sources
Publikováno v:
In Construction and Building Materials 6 September 2024 442
Autor:
Dahlqvist, Fredrik, Neves, Renato
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the idea of equ
Externí odkaz:
http://arxiv.org/abs/2105.08473
Hybrid programs combine digital control with differential equations, and naturally appear in a wide range of application domains, from biology and control theory to real-time software engineering. The entanglement of discrete and continuous behaviour
Externí odkaz:
http://arxiv.org/abs/2009.14322
Autor:
Goncharov, Sergey, Neves, Renato
Hybrid computation combines discrete and continuous dynamics in the form of an entangled mixture inherently present both in various natural phenomena, and in applications ranging from control theory to microbiology. The emergent behaviours bear signs
Externí odkaz:
http://arxiv.org/abs/1902.07684
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its
Externí odkaz:
http://arxiv.org/abs/1807.01053
Autor:
Dahlqvist, Fredrik, Neves, Renato
Emerging computational paradigms, such as probabilistic and hybrid programming, introduce new primitive operations that often need to be combined with classic programming constructs. However, it still remains a challenge to provide a semantics to the
Externí odkaz:
http://arxiv.org/abs/1804.04145
It is known since the late 1960's that the dual of the category of compact Hausdorff spaces and continuous maps is a variety -- not finitary, but bounded by $\aleph_1$. In this note we show that the dual of the category of partially ordered compact s
Externí odkaz:
http://arxiv.org/abs/1706.05292