Results 11 to 20 of about 24,693 (267)
Strongly solved Ostle: calculating a strong solution helps compose high-quality puzzles for recent games [PDF]
Pure strategy board games such as chess are popular intellectual activities, and solving them is a challenging task in computer science. In addition to traditional games, many new board games have gained popularity in recent years.
Hiroki Takizawa
doaj +2 more sources
On the Succinctness of Nondeterminism [PDF]
Much is known about the differences in expressiveness and succinctness between nondeterministic and deterministic automata on infinite words. Much less is known about the relative succinctness of the different classes of nondeterministic automata. For example, while the best translation from a nondeterministic Buchi automaton to a nondeterministic co ...
Benjamin Aminof, Orna Kupferman
openaire +1 more source
Cardiac care of children with dystrophinopathy and females carrying DMD-gene variations
Objective We provide succinct, evidence-based and/or consensus-based best practice guidance for the cardiac care of children living with Duchenne muscular dystrophy (DMD) as well as recommendations for screening and management of female carriers of ...
Ros Quinlivan +15 more
doaj +1 more source
We describe an algorithm for compressing a partially ordered set, or \emph{poset}, so that it occupies space matching the information theory lower bound (to within lower order terms), in the worst case. Using this algorithm, we design a succinct data structure for representing a poset that, given two elements, can report whether one precedes the other ...
J. Ian Munro, Patrick K. Nicholson
openaire +3 more sources
Analog Filter Design: A Succinct Investigation
In many systems, it is essential to extract or enhance the desired information and remove the unwanted components. This is the simplest aim of signal processing where the filter turns out to be the key element.
Abdelmadjid RECIOUI +3 more
doaj +1 more source
In The Bibliographic Scan of Digital Scholarly Communication Infrastructure, author David Lewis provides a useful and succinct overview of recent literature and trendsetters in digital infrastructure that supports the publishing cycle.
Heather Saunders
doaj +2 more sources
Ingenol Mebutate: A Succinct Review of a Succinct Therapy [PDF]
Ingenol mebutate is a newly approved topical field therapy for actinic keratosis (AK). It has a dual mechanism of action comprising of a rapid induction of necrosis that specifically targets dysplastic cells, as well as neutrophil-mediated immunostimulatory effects.
openaire +2 more sources
C3: connect separate connected components to form a succinct disease module
Background Precise disease module is conducive to understanding the molecular mechanism of disease causation and identifying drug targets. However, due to the fragmentization of disease module in incomplete human interactome, how to determine ...
Bingbo Wang +8 more
doaj +1 more source
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct [PDF]
We study the expressiveness and succinctness of history-deterministic pushdown automata (HD-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of
Shibashis Guha +3 more
doaj +1 more source
On the Succinctness of Atoms of Dependency
Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms of dependence, independence, inclusion, exclusion and anonymity can be expressed in it, but for all atoms except dependence only exponential translations are known.
Lück, Martin, Vilander, Miikka
openaire +5 more sources

