Zobrazeno 1 - 10
of 1 903
pro vyhledávání: '"A, Ciabattoni"'
Autor:
Ciabattoni, Alex, Fioretti, Valentina, Tomsick, John, Zoglauer, Andreas, Jean, Pierre, Franco, Daniel Alvarez, von Ballmoos, Peter, Bulgarelli, Andrea, Vignali, Cristian, Parmiggiani, Nicolò, Panebianco, Gabriele, Castaldini, Luca
Publikováno v:
Proc. SPIE 13093, Space Telescopes and Instrumentation 2024: Ultraviolet to Gamma Ray, 130937Y (21 August 2024)
The Compton Spectrometer and Imager (COSI) is an upcoming NASA Small Explorer satellite mission scheduled for launch in 2027 and designed to conduct an all-sky survey in the energy range of 0.2-5 MeV. Its instrument consists of an array of germanium
Externí odkaz:
http://arxiv.org/abs/2409.12327
We present SBTrust, a logical framework designed to formalize decision trust. Our logic integrates a doxastic modality with a novel non-monotonic conditional operator that establishes a positive support relation between statements, and is closely rel
Externí odkaz:
http://arxiv.org/abs/2409.00666
Using time as an additional design parameter in electromagnetism, photonics, and wave physics is attracting considerable research interest, motivated by the possibility to explore physical phenomena and engineering opportunities beyond the physical l
Externí odkaz:
http://arxiv.org/abs/2408.14679
The basic system E of dyadic deontic logic proposed by {\AA}qvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E from a proof-theoretical viewpoint. We propose a hypersequent cal
Externí odkaz:
http://arxiv.org/abs/2406.09088
Autor:
Lyon, Tim S., Ciabattoni, Agata, Galmiche, Didier, Larchey-Wendling, Dominique, Méry, Daniel, Olivetti, Nicola, Ramanayake, Revantha
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and bunched logics. After providing
Externí odkaz:
http://arxiv.org/abs/2312.03426
Publikováno v:
EPTCS 385, 2023, pp. 367-380
The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regulations. Normative reasoning is the realm of deontic logics, that are c
Externí odkaz:
http://arxiv.org/abs/2308.15870
Autor:
Tomsick, John A., Boggs, Steven E., Zoglauer, Andreas, Hartmann, Dieter, Ajello, Marco, Burns, Eric, Fryer, Chris, Karwin, Chris, Kierans, Carolyn, Lowell, Alexander, Malzac, Julien, Roberts, Jarred, Saint-Hilaire, Pascal, Shih, Albert, Siegert, Thomas, Sleator, Clio, Takahashi, Tadayuki, Tavecchio, Fabrizio, Wulf, Eric, Beechert, Jacqueline, Gulick, Hannah, Joens, Alyson, Lazar, Hadar, Neights, Eliza, Oliveros, Juan Carlos Martinez, Matsumoto, Shigeki, Melia, Tom, Yoneda, Hiroki, Amman, Mark, Bal, Dhruv, von Ballmoos, Peter, Bates, Hugh, Böttcher, Markus, Bulgarelli, Andrea, Cavazzuti, Elisabetta, Chang, Hsiang-Kuang, Chen, Claire, Chu, Che-Yen, Ciabattoni, Alex, Costamante, Luigi, Dreyer, Lente, Fioretti, Valentina, Fenu, Francesco, Gallego, Savitri, Ghirlanda, Giancarlo, Grove, Eric, Huang, Chien-You, Jean, Pierre, Khatiya, Nikita, Knödlseder, Jürgen, Krause, Martin, Leising, Mark, Lewis, Tiffany R., Lommler, Jan Peter, Marcotulli, Lea, Martinez-Castellanos, Israel, Mittal, Saurabh, Negro, Michela, Nussirat, Samer Al, Nakazawa, Kazuhiro, Oberlack, Uwe, Palmore, David, Panebianco, Gabriele, Parmiggiani, Nicolo, Parsotan, Tyler, Pike, Sean N., Rogers, Field, Schutte, Hester, Sheng, Yong, Smale, Alan P., Smith, Jacob, Trigg, Aaron, Venters, Tonia, Watanabe, Yu, Zhang, Haocheng
Publikováno v:
PoS(ICRC2023)745
The Compton Spectrometer and Imager (COSI) is a NASA Small Explorer (SMEX) satellite mission in development with a planned launch in 2027. COSI is a wide-field gamma-ray telescope designed to survey the entire sky at 0.2-5 MeV. It provides imaging, s
Externí odkaz:
http://arxiv.org/abs/2308.12362
Autor:
Martinez-Castellanos, Israel, Gallego, Savitri, Huang, Chien-You, Karwin, Chris, Kierans, Carolyn, Lommler, Jan Peter, Mittal, Saurabh, Negro, Michela, Neights, Eliza, Pike, Sean N., Sheng, Yong, Siegert, Thomas, Yoneda, Hiroki, Zoglauer, Andreas, Tomsick, John A., Boggs, Steven E., Hartmann, Dieter, Ajello, Marco, Burns, Eric, Fryer, Chris, Lowell, Alexander, Malzac, Julien, Roberts, Jarred, Saint-Hilaire, Pascal, Shih, Albert, Sleator, Clio, Takahashi, Tadayuki, Tavecchio, Fabrizio, Wulf, Eric, Beechert, Jacqueline, Gulick, Hannah, Joens, Alyson, Lazar, Hadar, Oliveros, Juan Carlos Martinez, Matsumoto, Shigeki, Melia, Tom, Amman, Mark, Bal, Dhruv, von Ballmoos, Peter, Bates, Hugh, Böttcher, Markus, Bulgarelli, Andrea, Cavazzuti, Elisabetta, Chang, Hsiang-Kuang, Chen, Claire, Chu, Che-Yen, Ciabattoni, Alex, Costamante, Luigi, Dreyer, Lente, Fioretti, Valentina, Fenu, Francesco, Ghirlanda, Giancarlo, Grove, Eric, Jean, Pierre, Khatiya, Nikita, Knödlseder, Jürgen, Krause, Martin, Leising, Mark, Lewis, Tiffany R., Marcotulli, Lea, Nussirat, Samer Al, Nakazawa, Kazuhiro, Oberlack, Uwe, Palmore, David, Panebianco, Gabriele, Parmiggiani, Nicolo, Parsotan, Tyler, Rogers, Field, Schutte, Hester, Smale, Alan P., Smith, Jacob, Trigg, Aaron, Venters, Tonia, Watanabe, Yu, Zhang, Haocheng
Publikováno v:
Martinez, Israel. The cosipy library: COSI's high-level analysis software. PoS ICRC2023 (2023) 444-858
The Compton Spectrometer and Imager (COSI) is a selected Small Explorer (SMEX) mission launching in 2027. It consists of a large field-of-view Compton telescope that will probe with increased sensitivity the under-explored MeV gamma-ray sky (0.2-5 Me
Externí odkaz:
http://arxiv.org/abs/2308.11436
Autor:
Ciabattoni, Agata, Rozplokhas, Dmitry
Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman's causal I/O logics via proof-search-oriented sequent calculi. Our calculi establish a natural syntactic link between
Externí odkaz:
http://arxiv.org/abs/2306.09496
Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important meta-theoretical investigations including decidability, complexity, disj
Externí odkaz:
http://arxiv.org/abs/2304.13657