Results 111 to 120 of about 704,679 (196)
Non positively curved metric in the space of positive definite infinite matrices [PDF]
, 2007 We introduce a Riemannian metric with non positive curvature in the (infinite dimensional) manifold Σ∞ of positive invertible operators of a Hilbert space H, which are scalar perturbations of Hilbert-Schmidt operators.
Andruchow, Esteban, Varela, Alejandro
core
Formalization of Universal Algebra in Agda [PDF]
, 2018 In this work we present a novel formalization of universal algebra in Agda. We show that heterogeneous signatures can be elegantly modelled in type-theory using sets indexed by arities to represent operations. We prove elementary results of heterogeneous
Gadea, Alejandro Emilio +2 more
core +1 more source
Computational analysis to assess hemodynamic forces in descending thoracic aortic aneurysms
The Journal of Physiology, EarlyView.Abstract figure legend Left: Pre‐processing. First, we perform the segmentation of the Computer Tomography angiorgraphy (angio‐CT) scans of a healthy patient, obtaining the surface of a healthy thoracic aorta with a Type III aortic arch. Then, we build nine ideal configurations with Descending Thoracic Aortic Aneurysm (DTAA), varying the aortic arch ...
Francesca Duca +7 more
wiley +1 more source
On weakly group-theoretical non-degenerate braided fusion categories [PDF]
, 2014 We show that the Witt class of a weakly group-theoretical non-degenerate braided fusion category belongs to the subgroup generated by classes of non-degenerate pointed braided fusion categories and Ising braided categories.
Natale, Sonia Lujan
core
Dynamics of non-convolution operators and holomorphy types [PDF]
, 2018 In this article we study the hypercyclic behavior of non-convolution operators defined on spaces of analytic functions of different holomorphy types over Banach spaces.
Muro, Luis Santiago Miguel +2 more
core +1 more source
The Journal of Physiology, EarlyView.Abstract figure legend Using a multiscale computational model of left ventricular electromechanics, we investigated how sarcomere dynamics influence the end‐systolic pressure‐volume (ESPV) relationship in ejecting beats compared to isovolumetric beats.
Francesco Regazzoni +2 more
wiley +1 more source
Personal Archives of Teachers and History of Mathematics Teaching Professional Knowledge
Educação & Realidade, 2021 This article aims to emphasise the importance of the personal archives of mathematics teachers for the analysis of the dynamics and processes for the elaboration of teaching professional knowledge.
Wagner Rodrigues Valente
doaj
T1 Theorems on generalized Besov and Triebel-Lizorkin spaces over spaces of homogeneous type [PDF]
, 2000 In this paper we extend the definition of the Besov and the Triebel-Lizorkinspaces in the context of spaces of homogeneous-type given by Han and Sawyer in[HS] . We consider, as a control of the ´local regularity ´ , functions phi(t) more general than the
Hartzstein, Silvia Inés +1 more
core
Rational points on even‐dimensional Fermat cubics
Transactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.Abstract We show that even‐dimensional Fermat cubic hypersurfaces are rational over any field of characteristic not equal to three, by constructing explicit rational parameterizations with polynomials of low degree. As a byproduct of our rationality constructions, we obtain estimates for the number of their rational points over a number field and ...
Alex Massarenti
wiley +1 more source
An Exact Method for Reliable Shortest Path Problems With Correlation
Networks, Volume 87, Issue 4, Page 372-389, June 2026.ABSTRACT Shortest path problems often arise in contexts where travel times are uncertain. In these settings, reliable paths are often valued more than paths with lower expected travel times. This has led to several variants of reliable shortest path problems (RSPP) that handle travel time reliability differently. We propose an algorithmic framework for
Esteban Leiva +3 more
wiley +1 more source