Results 241 to 250 of about 16,212,430 (313)
Some of the next articles are maybe not open access.
Topics on Register Synthesis Problems
2016Pseudo-random sequences are ubiquitous in modern electronics and information technology. High speed generators of such sequences play essential roles in various engineering applications, such as stream ciphers, radar systems, multiple access systems, and quasi-Monte-Carlo simulation.
Weihua Liu
openaire +2 more sources
On Distributed and Parameterized Supervisor Synthesis Problems
IEEE Transactions on Automatic Control, 2016It is shown that the problem whether an arbitrary regular language has a non-empty decomposable sublanguage with respect to a fixed distribution is decidable if and only if the independence relation induced by the distribution is transitive. A sufficient
Liyong Lin, Alin Stefanescu, R. Su
semanticscholar +1 more source
Spectral synthesis problems on hypergroups
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio computatorica, 2013. Spectral analysis and spectral synthesis deal with the description of translation invariant function spaces on topological Abelian groups. It turns out that the basic building bricks of these spaces are the exponential monomials, which store ...
László Székelyhidi
semanticscholar +1 more source
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2021We present a system for inductive program synthesis called DreamCoder, which inputs a corpus of synthesis problems each specified by one or a few examples, and automatically derives a library of program components and a neural search policy that can be ...
Kevin Ellis +8 more
semanticscholar +1 more source