Zobrazeno 1 - 10
of 1 045
pro vyhledávání: '"A. Edon"'
We consider reachability decision problems for linear dynamical systems: Given a linear map on $\mathbb{R}^d$ , together with source and target sets, determine whether there is a point in the source set whose orbit, obtained by repeatedly applying th
Externí odkaz:
http://arxiv.org/abs/2403.06515
This paper introduces SynDiffix, a mechanism for generating statistically accurate, anonymous synthetic data for structured data. Recent open source and commercial systems use Generative Adversarial Networks or Transformed Auto Encoders to synthesize
Externí odkaz:
http://arxiv.org/abs/2311.09628
One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is decidable. W
Externí odkaz:
http://arxiv.org/abs/2301.09752
Publikováno v:
Folia Medica, Vol 66, Iss 2, Pp 203-212 (2024)
Aim: This study aimed to analyze the oral health conditions of pregnant women. The analysis involves evaluating two key indices: the decayed, missing, and filled teeth (DMFT) index and the basic erosive wear examination (BEWE) index. Furthermore, thi
Externí odkaz:
https://doaj.org/article/042e7128354a413ab2916c31e349faba
We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, focussing in particular on reachability, model-checking, and invariant-generation questions, both unconditionally as well as relative to oracles for the
Externí odkaz:
http://arxiv.org/abs/2206.11412
Autor:
Francis, Paul, Probst-Eide, Sebastian, Wagner, David, Bauer, Felix, Berneanu, Cristian, Gashi, Edon
Historically, strong data anonymization requires substantial domain expertise and custom design for the given data set and use case. Diffix is an anonymization framework designed to make strong data anonymization available to non-experts. This paper
Externí odkaz:
http://arxiv.org/abs/2201.04351
Autor:
Kelmendi, Edon
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (November 28, 2023) lmcs:10538
The set of indices that correspond to the positive entries of a sequence of numbers is called its positivity set. In this paper, we study the density of the positivity set of a given linear recurrence sequence, that is the question of how much more f
Externí odkaz:
http://arxiv.org/abs/2109.14432
Autor:
Rabinowitz, Edon J., Mehegan, Mary, Joong, Anna, Shezad, Muhammad, Lorts, Angela, Villa, Chet R., Conway, Jennifer, Kobayashi, Ryan, Auerbach, Scott R., Zinn, Matthew, Niebler, Robert, Iqbal, Mehreen, Dykes, John, Choudhry, Swati, Aljohani, Othman, Absi, Mohammed, Ploutz, Michelle S., Griffiths, Eric R., O’Connor, Matthew J., Mokshagundam, Deepa, Said, Ahmed S.
Publikováno v:
In JHLT Open February 2024 3
Autor:
Edon J. Rabinowitz, MD, Mary Mehegan, RN, Anna Joong, MD, Muhammad Shezad, MHSA, Angela Lorts, MD, Chet R. Villa, MD, Jennifer Conway, MD, MSc, Ryan Kobayashi, MD, Scott R. Auerbach, MD, Matthew Zinn, DO, Robert Niebler, MD, Mehreen Iqbal, MD, John Dykes, MD, Swati Choudhry, MD, Othman Aljohani, MD, Mohammed Absi, MD, Michelle S. Ploutz, MD, Eric R. Griffiths, MD, Matthew J. O’Connor, MD, Deepa Mokshagundam, MD, Ahmed S. Said, MD, PhD
Publikováno v:
JHLT Open, Vol 3, Iss , Pp 100015- (2024)
Background: Ventricular assist device (VAD) use for failed stage II palliation (S2P) is increasing with limited data on outcomes. Methods: To address this knowledge gap, we conducted a multicenter retrospective review of the Advanced Cardiac Therapie
Externí odkaz:
https://doaj.org/article/cca62178ced048cb8e5782da2e1a1242
We consider the problem of deciding $\omega$-regular properties on infinite traces produced by linear loops. Here we think of a given loop as producing a single infinite trace that encodes information about the signs of program variables at each time
Externí odkaz:
http://arxiv.org/abs/2010.14432