Zobrazeno 1 - 10
of 2 957
pro vyhledávání: '"Benveniste P"'
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract algebra. We s
Externí odkaz:
http://arxiv.org/abs/2309.08875
Autor:
Huixian Hong, Yong Wang, Marissa Menard, Jessica A. Buckley, Lianna Zhou, Laura Volpicelli-Daley, David G. Standaert, Hongwei Qin, Etty N. Benveniste
Publikováno v:
Journal of Neuroinflammation, Vol 21, Iss 1, Pp 1-18 (2024)
Abstract Parkinson’s disease (PD) is characterized by neuroinflammation, progressive loss of dopaminergic neurons, and accumulation of α-synuclein (α-Syn) into insoluble aggregates called Lewy pathology. The Line 61 α-Syn mouse is an established
Externí odkaz:
https://doaj.org/article/2b84aadb4e09490db4dee86d56fe683b
Lung cancer is a significant cause of mortality worldwide, emphasizing the importance of early detection for improved survival rates. In this study, we propose a machine learning (ML) tool trained on data from the PLCO Cancer Screening Trial and vali
Externí odkaz:
http://arxiv.org/abs/2308.12188
Autor:
Enri, J. Gomez, Vignudelli, S., Quartly, G., Gommenginger, C., Cipollini, P., Challenor, P., Benveniste, J.
Publikováno v:
IEEE Geoscience and Remote Sensing Letters (2010)
This letter examines waveform data from the Envisat RA-2 as it passes regularly over Pianosa (a 10-km 2 island in the northwestern Mediterranean). Forty-six repeat passes were analyzed, with most showing a reduction in signal upon passing over the is
Externí odkaz:
http://arxiv.org/abs/2307.07190
Autor:
Incer, Inigo, Benveniste, Albert, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This paper presents algorithms for eliminating variables from formulas by com
Externí odkaz:
http://arxiv.org/abs/2305.17596
Autor:
Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. In this pape
Externí odkaz:
http://arxiv.org/abs/2303.17751
Autor:
Harmen Reyngoudt, Pierre‐Yves Baudin, Ericky Caldas de Almeida Araújo, Damien Bachasson, Jean‐Marc Boisserie, Kubéraka Mariampillai, Mélanie Annoussamy, Yves Allenbach, Jean‐Yves Hogrel, Pierre G. Carlier, Benjamin Marty, Olivier Benveniste
Publikováno v:
Journal of Cachexia, Sarcopenia and Muscle, Vol 15, Iss 3, Pp 1108-1120 (2024)
Abstract Background Finding sensitive clinical outcome measures has become crucial in natural history studies and therapeutic trials of neuromuscular disorders. Here, we focus on 1‐year longitudinal data from quantitative magnetic resonance imaging
Externí odkaz:
https://doaj.org/article/0ff63e8cc1324c1da8a712afd1ed760d
As a generalization of the optimal mass transport (OMT) approach of Benamou and Brenier's, the regularized optimal mass transport (rOMT) formulates a transport problem from an initial mass configuration to another with the optimality defined by the t
Externí odkaz:
http://arxiv.org/abs/2301.11228
In this paper, we combine nonlinear diffusion with the regularized optimal mass transport (rOMT) model. As we will demonstrate, this new approach provides further insights into certain applications of fluid flow analysis in the brain. From the point
Externí odkaz:
http://arxiv.org/abs/2301.03428
Autor:
Joseph M Schrader, Mark Majchrzak, Feng Xu, Hedok Lee, Kevin Agostinucci, Judianne Davis, Helene Benveniste, William E Van Nostrand
Publikováno v:
Neuroscience Insights, Vol 19 (2024)
Cerebral amyloid angiopathy (CAA) is a common disorder of the elderly, a prominent comorbidity of Alzheimer’s disease, and causes vascular cognitive impairment and dementia. Previously, we generated a novel transgenic rat model (rTg-D) that produce
Externí odkaz:
https://doaj.org/article/4d13cb90397c495bb7597aa1018f6f18