Zobrazeno 1 - 10
of 962
pro vyhledávání: '"Scaletta, A."'
A previous mathematical approach adopted for optimizing the number of total device elements required for obtaining high effective quantized resistances in graphene-based quantum Hall array devices (QHARS) has been further explored with partial recurs
Externí odkaz:
http://arxiv.org/abs/2402.14520
Autor:
Jarrett, Dean G., Rigosi, Albert F., Scaletta, Dominick S., Tran, Ngoc Thanh Mai, Hill, Heather M., Panna, Alireza R., Yang, Cheng Hsueh, Yang, Yanfei, Elmquist, Randolph E., Newell, David B.
A recent mathematical framework for optimizing resistor networks to achieve values in the M{\Omega} through G{\Omega} levels was employed for two specific cases. Objectives here include proof of concept and identification of possible apparatus limita
Externí odkaz:
http://arxiv.org/abs/2402.01496
The behavior of concurrent, asynchronous procedures depends in general on the call context, because of the global protocol that governs scheduling. This context cannot be specified with the state-based Hoare-style contracts common in deductive verifi
Externí odkaz:
http://arxiv.org/abs/2310.04384
Autor:
Scaletta, Dominick S., Mhatre, Swapnil M., Tran, Ngoc Thanh Mai, Yang, Cheng-Hsueh, Hill, Heather M., Yang, Yanfei, Meng, Linli, Panna, Alireza R., Payagala, Shamith U., Elmquist, Randolph E., Jarrett, Dean G., Newell, David B., Rigosi, Albert F.
A mathematical approach is adopted for optimizing the number of total device elements required for obtaining high effective quantized resistances in graphene-based quantum Hall array devices. This work explores an analytical extension to the use of s
Externí odkaz:
http://arxiv.org/abs/2309.15813
Autor:
Zhifeng Liao, Nicolas Laurent, Nathalie Hirt-Burri, Corinne Scaletta, Philippe Abdel-Sayed, Wassim Raffoul, Shengkang Luo, Damian J. Krysan, Alexis Laurent, Lee Ann Applegate
Publikováno v:
European Burn Journal, Vol 5, Iss 3, Pp 249-270 (2024)
Thorough biological safety testing of topical therapeutic compounds and antimicrobials is a critical prerequisite for appropriate cutaneous wound care. Increasing pathogen resistance rates to traditional antibiotics and antifungals are driving the de
Externí odkaz:
https://doaj.org/article/499fd2cc4dbc400785de9e0beb7f1332
Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution of the procedure. This necessitates to annot
Externí odkaz:
http://arxiv.org/abs/2211.09487
Autor:
Flahaut, Marjorie, Laurent, Alexis, Fuenteslópez, Carla V., Cui, Zhanfeng, Ye, Hua, Scaletta, Corinne, Hirt-Burri, Nathalie, Applegate, Lee Ann, Patrulea, Viorica
Publikováno v:
In Journal of Investigative Dermatology October 2024 144(10):2125-2135
Autor:
Liu, Chieh-I, Scaletta, Dominick S., Patel, Dinesh K., Kruskopf, Mattias, Levy, Antonio, Hill, Heather M., Rigosi, Albert F.
Just a few of the promising applications of graphene Corbino pnJ devices include two-dimensional Dirac fermion microscopes, custom programmable quantized resistors, and mesoscopic valley filters. In some cases, device scalability is crucial, as seen
Externí odkaz:
http://arxiv.org/abs/2203.06483
We present the Crowbar tool, a deductive verification system for the ABS language. ABS models distributed systems with the Active Object concurrency model. Crowbar implements behavioral symbolic execution: each method is symbolically executed, but sp
Externí odkaz:
http://arxiv.org/abs/2102.10127
Autor:
Annick Jeannerat, Cédric Peneveyre, Sandra Jaccoud, Virginie Philippe, Corinne Scaletta, Nathalie Hirt-Burri, Philippe Abdel-Sayed, Robin Martin, Lee Ann Applegate, Dominique P. Pioletti, Alexis Laurent
Publikováno v:
Pharmaceutics, Vol 16, Iss 10, p 1274 (2024)
Background/Objectives: Biological products are emerging as therapeutic management options for intervertebral disc (IVD) degenerative affections and lower back pain. Autologous and allogeneic cell therapy protocols have been clinically implemented for
Externí odkaz:
https://doaj.org/article/bba44befc9d84d1db15dc21c11ca083d