Zobrazeno 51 - 60
of 5 886
pro vyhledávání: '"Raskin, P."'
Publikováno v:
EPTCS 346, 2021, pp. 1-17
In a previous paper we have presented a CEGAR approach for the verification of parameterized systems with an arbitrary number of processes organized in an array or a ring. The technique is based on the iterative computation of parameterized invariant
Externí odkaz:
http://arxiv.org/abs/2108.09101
Autor:
Roisin, Nicolas, Brunin, Guillaume, Rignanese, Gian-Marco, Flandre, Denis, Raskin, Jean-Pierre
Publikováno v:
J. Appl. Phys. 130, 055105 (2021)
The optical properties of silicon can be greatly tuned by applying strain and opening new perspectives, particularly in applications where infrared is key. In this work, we use a recent model for the indirect light absorption of silicon and include t
Externí odkaz:
http://arxiv.org/abs/2108.07624
Autor:
Faergeman, Joakim, Raskin, Sam
Arinkin and Gaitsgory defined a category of tempered D-modules on Bun_G that is conjecturally equivalent to the category of quasi-coherent (not ind-coherent!) sheaves on LocSys_{\check{G}}. However, their definition depends on the auxiliary data of a
Externí odkaz:
http://arxiv.org/abs/2108.02719
Autor:
Hilburn, Justin, Raskin, Sam
We calculate the category of D-modules on the loop space of the affine line in coherent terms. Specifically, we find that this category is derived equivalent to the category of ind-coherent sheaves on the moduli space of rank one de Rham local system
Externí odkaz:
http://arxiv.org/abs/2107.11325
We study the complexity of problems related to subgame-perfect equilibria (SPEs) in infinite duration non zero-sum multiplayer games played on finite graphs with parity objectives. We present new complexity results that close gaps in the literature.
Externí odkaz:
http://arxiv.org/abs/2107.07458
Probabilistic model checking has been developed for verifying systems that have stochastic and nondeterministic behavior. Given a probabilistic system, a probabilistic model checker takes a property and checks whether or not the property holds in tha
Externí odkaz:
http://arxiv.org/abs/2106.11735
Autor:
Raskin, Sam, Smith, Geoffrey
Let $\phi:X\rightarrow \mathbb{P}^n$ be a morphism of varieties. Given a hyperplane $H$ in $\mathbb{P}^n$, there is a Gysin map from the compactly supported cohomology of $\phi^{-1}(H)$ to that of $X$. We give conditions on the degree of the cohomolo
Externí odkaz:
http://arxiv.org/abs/2106.10332
Autor:
Ievgeniia Ostrov, Yongjia Gong, Joshua B Zuk, Purni C K Wickramasinghe, Irina Tmenova, Diana E Roopchand, Liping Zhao, Ilya Raskin
Publikováno v:
PLoS ONE, Vol 19, Iss 2, p e0298592 (2024)
Gut dysbiosis induced by oxygen and reactive oxygen species may be related to the development of inflammation, resulting in metabolic syndrome and associated-conditions in the gut. Here we show that elemental iron can serve as an antioxidant and reve
Externí odkaz:
https://doaj.org/article/2df1413df8784167b95b42028fbf9ddd
Publikováno v:
PLoS ONE, Vol 19, Iss 2, p e0288156 (2024)
This study's aim is to describe the imaging findings in pregnant patients undergoing emergent MRI for suspected acute appendicitis, and the various alternative diagnoses seen on those MRI scans. This is a single center retrospective analysis in which
Externí odkaz:
https://doaj.org/article/04a99a31badd4fce9ae0823ecb5c4893
Active learning is a setting in which a student queries a teacher, through membership and equivalence queries, in order to learn a language. Performance on these algorithms is often measured in the number of queries required to learn a target, with a
Externí odkaz:
http://arxiv.org/abs/2104.11758