Zobrazeno 1 - 10
of 3 562
pro vyhledávání: '"Shirmohammadi, A."'
High-resolution seismic reflections are essential for imaging and monitoring applications. In seismic land surveys using sources and receivers at the surface, surface waves often dominate, masking the reflections. In this study, we demonstrate the ef
Externí odkaz:
http://arxiv.org/abs/2411.02620
Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have a common zero in an algebraically closed field. Associated with this r
Externí odkaz:
http://arxiv.org/abs/2408.13027
Multi-priced timed automata (MPTA) are timed automata with observer variables whose derivatives can change from one location to another. Observers are write-only variables, that is, they do not affect the control flow of the automaton; thus MPTA lie
Externí odkaz:
http://arxiv.org/abs/2407.18131
The automatic generation of loop invariants is a fundamental challenge in software verification. While this task is undecidable in general, it is decidable for certain restricted classes of programs. This work focuses on invariant generation for (bra
Externí odkaz:
http://arxiv.org/abs/2407.09154
In this paper we introduce holonomic tree automata: a common extension of weighted tree automata and holonomic recurrences. We show that the generating function of the tree series represented by such an automaton is differentially algebraic. Converse
Externí odkaz:
http://arxiv.org/abs/2407.08218
Computational problems concerning the orbit of a point under the action of a matrix group occur in numerous subfields of computer science, including complexity theory, program analysis, quantum computation, and automata theory. In many cases the focu
Externí odkaz:
http://arxiv.org/abs/2407.04626
We study 2-player concurrent stochastic B\"uchi games on countable graphs. Two players, Max and Min, seek respectively to maximize and minimize the probability of visiting a set of target states infinitely often. We show that there always exist $\var
Externí odkaz:
http://arxiv.org/abs/2404.15483
Autor:
Kudelin, Igor, Shirmohammadi, Pedram, Groman, William, Hanifi, Samin, Kelleher, Megan L., Lee, Dahyeon, Nakamura, Takuma, McLemore, Charles A., Lind, Alexander, Meyer, Dylan, Bai, Junwu, Campbell, Joe C., Bowers, Steven M., Quinlan, Franklyn, Diddams, Scott A.
Modern communication, navigation, and radar systems rely on low noise and frequency-agile microwave sources. In this application space, photonic systems provide an attractive alternative to conventional microwave synthesis by leveraging high spectral
Externí odkaz:
http://arxiv.org/abs/2404.00136
We study concurrent stochastic reachability games played on finite graphs. Two players, Max and Min, seek respectively to maximize and minimize the probability of reaching a set of target states. We prove that Max has a memoryless strategy that is op
Externí odkaz:
http://arxiv.org/abs/2401.13390
We introduce the class of P-finite automata. These are a generalisation of weighted automata, in which the weights of transitions can depend polynomially on the length of the input word. P-finite automata can also be viewed as simple tail-recursive p
Externí odkaz:
http://arxiv.org/abs/2310.14725