-
Minimally Invasive Live Tissue High-fidelity Thermophysical Modeling using Real-time Thermography
Authors:
Hamza El-Kebir,
Junren Ran,
Yongseok Lee,
Leonardo P. Chamorro,
Martin Ostoja-Starzewski,
Richard Berlin,
Gabriela M. Aguiluz Cornejo,
Enrico Benedetti,
Pier C. Giulianotti,
Joseph Bentsman
Abstract:
We present a novel thermodynamic parameter estimation framework for energy-based surgery on live tissue, with direct applications to tissue characterization during electrosurgery. This framework addresses the problem of estimating tissue-specific thermodynamics in real-time, which would enable accurate prediction of thermal damage impact to the tissue and damage-conscious planning of electrosurgic…
▽ More
We present a novel thermodynamic parameter estimation framework for energy-based surgery on live tissue, with direct applications to tissue characterization during electrosurgery. This framework addresses the problem of estimating tissue-specific thermodynamics in real-time, which would enable accurate prediction of thermal damage impact to the tissue and damage-conscious planning of electrosurgical procedures. Our approach provides basic thermodynamic information such as thermal diffusivity, and also allows for obtaining the thermal relaxation time and a model of the heat source, yielding in real-time a controlled hyperbolic thermodynamics model. The latter accounts for the finite thermal propagation time necessary for modeling of the electrosurgical action, in which the probe motion speed often surpasses the speed of thermal propagation in the tissue operated on. Our approach relies solely on thermographer feedback and a knowledge of the power level and position of the electrosurgical pencil, imposing only very minor adjustments to normal electrosurgery to obtain a high-fidelity model of the tissue-probe interaction. Our method is minimally invasive and can be performed in situ. We apply our method first to simulated data based on porcine muscle tissue to verify its accuracy and then to in vivo liver tissue, and compare the results with those from the literature. This comparison shows that parameterizing the Maxwell--Cattaneo model through the framework proposed yields a noticeably higher fidelity real-time adaptable representation of the thermodynamic tissue response to the electrosurgical impact than currently available. A discussion on the differences between the live and the dead tissue thermodynamics is also provided.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
maplet: An extensible R toolbox for modular and reproducible omics pipelines
Authors:
Kelsey Chetnik,
Elisa Benedetti,
Daniel P. Gomari,
Annalise Schweickart,
Richa Batra,
Mustafa Buyukozkan,
Zeyu Wang,
Matthias Arnold,
Jonas Zierer,
Karsten Suhre,
Jan Krumsiek
Abstract:
This paper presents maplet, an open-source R package for the creation of highly customizable, fully reproducible statistical pipelines for omics data analysis, with a special focus on metabolomics-based methods. It builds on the SummarizedExperiment data structure to create a centralized pipeline framework for storing data, analysis steps, results, and visualizations. maplet's key design feature i…
▽ More
This paper presents maplet, an open-source R package for the creation of highly customizable, fully reproducible statistical pipelines for omics data analysis, with a special focus on metabolomics-based methods. It builds on the SummarizedExperiment data structure to create a centralized pipeline framework for storing data, analysis steps, results, and visualizations. maplet's key design feature is its modularity, which offers several advantages, such as ensuring code quality through the individual maintenance of functions and promoting collaborative development by removing technical barriers to code contribution. With over 90 functions, the package includes a wide range of functionalities, covering many widely used statistical approaches and data visualization techniques.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
A type assignment for lambda-calculus complete both for FPTIME and strong normalization
Authors:
Erika De Benedetti,
Simona Ronchi Della Rocca
Abstract:
One of the aims of Implicit Computational Complexity is the design of programming languages with bounded computational complexity; indeed, guaranteeing and certifying a limited resources usage is of central importance for various aspects of computer science. One of the more promising approaches to this aim is based on the use of lambda-calculus as paradigmatic programming language and the design o…
▽ More
One of the aims of Implicit Computational Complexity is the design of programming languages with bounded computational complexity; indeed, guaranteeing and certifying a limited resources usage is of central importance for various aspects of computer science. One of the more promising approaches to this aim is based on the use of lambda-calculus as paradigmatic programming language and the design of type assignment systems for lambda-terms, where types guarantee both the functional correctness and the complexity bound. Here we propose a system of stratified types, inspired by intersection types, where intersection is a non-associative operator. The system, called STR, is correct and complete for polynomial time computations; moreover, all the strongly normalizing terms are typed in it, thus increasing the ty** power with respect to the previous proposals. Moreover, STR enjoys a stronger expressivity with respect to the previous system STA, since it allows to type a restricted version of iteration.
△ Less
Submitted 23 October, 2014;
originally announced October 2014.
-
Bounding normalization time through intersection types
Authors:
Erika De Benedetti,
Simona Ronchi Della Rocca
Abstract:
Non-idempotent intersection types are used in order to give a bound of the length of the normalization beta-reduction sequence of a lambda term: namely, the bound is expressed as a function of the size of the term.
Non-idempotent intersection types are used in order to give a bound of the length of the normalization beta-reduction sequence of a lambda term: namely, the bound is expressed as a function of the size of the term.
△ Less
Submitted 30 July, 2013;
originally announced July 2013.
-
Neural Relax
Authors:
Elisa Benedetti,
Marco Budinich
Abstract:
We present an algorithm for data preprocessing of an associative memory inspired to an electrostatic problem that turns out to have intimate relations with information maximization.
We present an algorithm for data preprocessing of an associative memory inspired to an electrostatic problem that turns out to have intimate relations with information maximization.
△ Less
Submitted 18 June, 2012; v1 submitted 27 July, 2011;
originally announced July 2011.
-
Attosecond electron spectroscopy using a novel interferometric pump-probe technique
Authors:
J. Mauritsson,
T. Remetter,
M. Swoboda,
K. Klunder,
A. L'Huillier,
K. J. Schafer,
O. Ghafur,
F. Kelkensberg,
W. Siu,
P. Johnsson,
M. J. J. Vrakking,
I. Znakovskaya,
T. Uphues,
S. Zherebtsov,
M. F. Kling,
F. Lepine,
E. Benedetti,
F. Ferrari,
G. Sansone,
M. Nisoli
Abstract:
We present an interferometric pump-probe technique for the characterization of attosecond electron wave packets (WPs) that uses a free WP as a reference to measure a bound WP. We demonstrate our method by exciting helium atoms using an attosecond pulse with a bandwidth centered near the ionization threshold, thus creating both a bound and a free WP simultaneously. After a variable delay, the bound…
▽ More
We present an interferometric pump-probe technique for the characterization of attosecond electron wave packets (WPs) that uses a free WP as a reference to measure a bound WP. We demonstrate our method by exciting helium atoms using an attosecond pulse with a bandwidth centered near the ionization threshold, thus creating both a bound and a free WP simultaneously. After a variable delay, the bound WP is ionized by a few-cycle infrared laser precisely synchronized to the original attosecond pulse. By measuring the delay-dependent photoelectron spectrum we obtain an interferogram that contains both quantum beats as well as multi-path interference. Analysis of the interferogram allows us to determine the bound WP components with a spectral resolution much better than the inverse of the attosecond pulse duration.
△ Less
Submitted 4 June, 2010; v1 submitted 7 January, 2010;
originally announced January 2010.