Results 11 to 20 of about 663,881 (275)
Upper limit on gravitational wave backgrounds at 0.2 Hz with a torsion-bar antenna. [PDF]
Physical Review Letters, 2011 We present the first upper limit on gravitational wave (GW) backgrounds at an unexplored frequency of 0.2 Hz using a torsion-bar antenna (TOBA). A TOBA was proposed to search for low-frequency GWs.
K. Ishidoshiro +9 more
semanticscholar +3 more sources
Impact of the iWHELD digital person-centered care program on quality of life, agitation and psychotropic medications in people with dementia living in nursing homes during the COVID-19 pandemic: A randomized controlled trial [PDF]
, 2023 Introduction: iWHELD is a digital person-centered care program for people with dementia in nursing homes adapted for remote delivery during the COVID-19 pandemic.
Aarsland, Dag +16 more
core +2 more sources
Semantics of Typed Lambda-Calculus with Constructors [PDF]
Logical Methods in Computer Science, 2011 We present a Curry-style second-order type system with union and intersection types for the lambda-calculus with constructors of Arbiser, Miquel and Rios, an extension of lambda-calculus with a pattern matching mechanism for variadic constructors.
Barbara Petit
doaj +1 more source
Weighted Regular Tree Grammars with Storage [PDF]
Discrete Mathematics & Theoretical Computer Science, 2018 We introduce weighted regular tree grammars with storage as combination of (a) regular tree grammars with storage and (b) weighted tree automata over multioperator monoids.
Zoltán Fülöp +2 more
doaj +1 more source
An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet [PDF]
Logical Methods in Computer Science, 2008 We show that a special case of the Feferman-Vaught composition theorem gives rise to a natural notion of automata for finite words over an infinite alphabet, with good closure and decidability properties, as well as several logical characterizations.
Alexis Bès
doaj +1 more source
Coalgebraic Automata Theory: Basic Results [PDF]
Logical Methods in Computer Science, 2008 We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves weak pullbacks.
C. Kupke, Y. Venema
doaj +1 more source
Residuality and Learning for Nondeterministic Nominal Automata [PDF]
Logical Methods in Computer Science, 2022 We are motivated by the following question: which data languages admit an active learning algorithm? This question was left open in previous work by the authors, and is particularly challenging for languages recognised by nondeterministic automata.
Joshua Moerman, Matteo Sammartino
doaj +1 more source
IEEE Access, 2022 Many countries have allocated new frequency bands for fifth generation (5G) communication systems. In this paper, a wideband continuous class-F (CCF) radio frequency power amplifier (RFPA) is presented for the new 5G frequency band, from 3.3 GHz to 4.3 ...
Md. Golam Sadeque +5 more
semanticscholar +1 more source
Clinical utility of cerebrospinal fluid biomarkers measured by LUMIPULSE® system
Annals of Clinical and Translational Neurology, Volume 9, Issue 12, Page 1898-1909, December 2022., 2022 Abstract Objectives Cerebrospinal fluid (CSF) biomarkers of Alzheimer's disease (AD) are well‐established in research settings, but their use in routine clinical practice remains a largely unexploited potential. Here, we examined the relationship between CSF biomarkers, measured by a fully automated immunoassay platform, and brain β‐amyloid (Aβ ...
Hisashi Nojima +9 more
wiley +1 more source
Reasoning about Data Repetitions with Counter Systems [PDF]
Logical Methods in Computer Science, 2016 We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions and to repetitions of attribute values in the future or past.
Stephane Demri +2 more
doaj +1 more source