-
Closed bounded sets in 1-h-minimal valued fields
Authors:
Juan Pablo Acosta López
Abstract:
We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups.
We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Sensory Glove-Based Surgical Robot User Interface
Authors:
Leonardo Borgioli,
Ki-Hwan Oh,
Alberto Mangano,
Alvaro Ducas,
Luciano Ambrosini,
Federico Pinto,
Paula A Lopez,
Jessica Cassiani,
Milos Zefran,
Liaohai Chen,
Pier Cristoforo Giulianotti
Abstract:
Robotic surgery has reached a high level of maturity and has become an integral part of standard surgical care. However, existing surgeon consoles are bulky and take up valuable space in the operating room, present challenges for surgical team coordination, and their proprietary nature makes it difficult to take advantage of recent technological advances, especially in virtual and augmented realit…
▽ More
Robotic surgery has reached a high level of maturity and has become an integral part of standard surgical care. However, existing surgeon consoles are bulky and take up valuable space in the operating room, present challenges for surgical team coordination, and their proprietary nature makes it difficult to take advantage of recent technological advances, especially in virtual and augmented reality. One potential area for further improvement is the integration of modern sensory gloves into robotic platforms, allowing surgeons to control robotic arms directly with their hand movements intuitively. We propose one such system that combines an HTC Vive tracker, a Manus Meta Prime 3 XR sensory glove, and God Vision wireless smart glasses. The system controls one arm of a da Vinci surgical robot. In addition to moving the arm, the surgeon can use fingers to control the end-effector of the surgical instrument. Hand gestures are used to implement clutching and similar functions. In particular, we introduce clutching of the instrument orientation, a functionality not available in the da Vinci system. The vibrotactile elements of the glove are used to provide feedback to the user when gesture commands are invoked. A preliminary evaluation of the system shows that it has excellent tracking accuracy and allows surgeons to efficiently perform common surgical training tasks with minimal practice with the new interface; this suggests that the interface is highly intuitive. The proposed system is inexpensive, allows rapid prototy**, and opens opportunities for further innovations in the design of surgical robot interfaces.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
WarpPINN: Cine-MR image registration with physics-informed neural networks
Authors:
Pablo Arratia López,
Hernán Mella,
Sergio Uribe,
Daniel E. Hurtado,
Francisco Sahli Costabal
Abstract:
Heart failure is typically diagnosed with a global function assessment, such as ejection fraction. However, these metrics have low discriminate power, failing to distinguish different types of this disease. Quantifying local deformations in the form of cardiac strain can provide helpful information, but it remains a challenge. In this work, we introduce WarpPINN, a physics-informed neural network…
▽ More
Heart failure is typically diagnosed with a global function assessment, such as ejection fraction. However, these metrics have low discriminate power, failing to distinguish different types of this disease. Quantifying local deformations in the form of cardiac strain can provide helpful information, but it remains a challenge. In this work, we introduce WarpPINN, a physics-informed neural network to perform image registration to obtain local metrics of the heart deformation. We apply this method to cine magnetic resonance images to estimate the motion during the cardiac cycle. We inform our neural network of near-incompressibility of cardiac tissue by penalizing the jacobian of the deformation field. The loss function has two components: an intensity-based similarity term between the reference and the warped template images, and a regularizer that represents the hyperelastic behavior of the tissue. The architecture of the neural network allows us to easily compute the strain via automatic differentiation to assess cardiac activity. We use Fourier feature map**s to overcome the spectral bias of neural networks, allowing us to capture discontinuities in the strain field. We test our algorithm on a synthetic example and on a cine-MRI benchmark of 15 healthy volunteers. We outperform current methodologies both landmark tracking and strain estimation. We expect that WarpPINN will enable more precise diagnostics of heart failure based on local deformation information. Source code is available at https://github.com/fsahli/WarpPINN.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
Groups definable in Presburger arithmetic
Authors:
Juan Pablo Acosta López
Abstract:
We determine all groups definable in Presburger arithmetic, up to a finite index subgroup.
We determine all groups definable in Presburger arithmetic, up to a finite index subgroup.
△ Less
Submitted 3 December, 2021; v1 submitted 30 March, 2019;
originally announced April 2019.
-
One dimensional groups definable in the p-adic numbers
Authors:
Juan Pablo Acosta López
Abstract:
A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subroup and a quotient by a finite subgroup.
A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subroup and a quotient by a finite subgroup.
△ Less
Submitted 24 November, 2018;
originally announced November 2018.
-
Mössbauer and X-ray Photoelectron Spectroscopy Studies of Fe2BiMO7 (M = Sb, Ta) pyrochlore compounds synthesized by molten salts method
Authors:
Jesús Alberto León Flores,
José Luis Pérez Mazariego,
Shirley Saraí Flores Morales,
Roberto Hinojosa Nava,
Paola Arévalo López,
Raúl Escamilla Guerrero,
Raúl W. Gómez González
Abstract:
Polycrystalline samples of Fe2BiMO7 (M = Sb, Ta) compounds with pyrochlore-type structure were synthesized for the first time by the molten salts method. The compounds were obtained in one hour at 950 C. The structures were determined by Rietveld refinement. Through Mössbauer spectroscopy and X-ray photoelectron spectroscopy, the site occupancies and ionic states of the cations in the pyrochlore s…
▽ More
Polycrystalline samples of Fe2BiMO7 (M = Sb, Ta) compounds with pyrochlore-type structure were synthesized for the first time by the molten salts method. The compounds were obtained in one hour at 950 C. The structures were determined by Rietveld refinement. Through Mössbauer spectroscopy and X-ray photoelectron spectroscopy, the site occupancies and ionic states of the cations in the pyrochlore structure were investigated.Polycrystalline samples of Fe2BiMO7 (M = Sb, Ta) compounds with pyrochlore-type structure were synthesized for the first time by the molten salts method. The compounds were obtained in one hour at 950 C. The structures were determined by Rietveld refinement. Through Mössbauer spectroscopy and X-ray photoelectron spectroscopy, the site occupancies and ionic states of the cations in the pyrochlore structure were investigated.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
Universal property of skew $PBW$ extensions
Authors:
Juan Pablo Acosta López,
Oswaldo Lezama
Abstract:
In this paper we prove the universal property of skew $PBW$ extensions generalizing this way the well known universal property of skew polynomial rings. For this, we will show first a result about the existence of this class of non-commutative rings. Skew $PBW$ extensions include as particular examples Weyl algebras, envelo** algebras of finite-dimensional Lie algebras (and its quantization), Ar…
▽ More
In this paper we prove the universal property of skew $PBW$ extensions generalizing this way the well known universal property of skew polynomial rings. For this, we will show first a result about the existence of this class of non-commutative rings. Skew $PBW$ extensions include as particular examples Weyl algebras, envelo** algebras of finite-dimensional Lie algebras (and its quantization), Artamonov quantum polynomials, diffusion algebras, Manin algebra of quantum matrices, among many others. As a corollary we will give a new short proof of the Poincaré-Birkhoff-Witt theorem about the bases of envelo** algebras of finite-dimensional Lie algebras.
△ Less
Submitted 16 December, 2014;
originally announced December 2014.
