Results 91 to 100 of about 32,246 (268)
Annals of Neurology, EarlyView.Objective The objective of this study was to examine whether machine learning has the capacity to prospectively identify and predict the emergence of Fragile X‐associated tremor/ataxia syndrome (FXTAS) among male fragile X premutation carriers (PCs). Methods We explored neuropsychological and motor evaluation metrics, brain magnetic resonance imaging ...
Chitrabhanu Gupta +10 more
wiley +1 more source
Security Type Systems as Recursive Predicates
CoRR, 2013 We show how security type systems from the literature of language-based noninterference can be represented more directly as predicates defined by structural recursion on the programs. In this context, we show how our uniform syntactic criteria from previous work cover several previous type-system soundness results.
openaire +2 more sources
Advanced Physics Research, EarlyView.ABSTRACT We introduce a family of bosonic quantum error‐correcting codes built as a rotation‐symmetric superposition of squeezed vacuum states, which promise protection against both loss and dephasing noise channels. The robustness of these “squeezed‐vacuum codes” arises from being arranged at evenly spaced angles in phase‐space, and simultaneously in ...
Nir Gutman +4 more
wiley +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley +1 more source
Empirical evaluation of parallel implementations of MergeSort
ACI Avances en Ciencias e IngenieríasSorting algorithms are a fundamental piece in the development of computer systems. MergeSort is a well-known sorting algorithm, much appreciated due to its efficiency, relative simplicity, and other features.
José Eduardo Solsona, Sergio Nesmachnow
doaj +1 more source
Sleep‐trackers in the wild: A faceted taxonomy for information and interaction design
Journal of the Association for Information Science and Technology, EarlyView.Abstract Consumer‐grade sleep‐tracking technologies (CSTs) have brought sleep into everyday data practices, reframing it from a clinical concern into a site of personal optimization and reflection. Yet existing taxonomies of sleep‐tracking often medicalize users and overlook the complexity of sleep‐tracking technologies. This paper presents SleepTax, a
Sanonda Datta Gupta +2 more
wiley +1 more source
Modeling and parameter estimation for fractional large‐scale interconnected Hammerstein systems
Asian Journal of Control, EarlyView.Abstract This paper addresses the challenge of modeling and identifying large‐scale interconnected systems exhibiting memory effects, hereditary properties, and non‐local interactions. We propose a fractional‐order extension of the Hammerstein architecture that incorporates Grünwald–Letnikov operators to capture complex dynamics through multiple ...
Mourad Elloumi +2 more
wiley +1 more source
Synthesis of Complex Discrete Filters
Известия высших учебных заведений России: Радиоэлектроника, 2017 Synthesis methodology of the non-recursive and recursive complex discrete filters is examined on the base of the methods of the invariant impulse and transition characteristics, and on the base of z-transformation method. It is shown that complex filters
S. I. Ziatdinov, Y. V. Sokolova
doaj
A Formal System of Partial Recursive Functions
Publications of the Research Institute for Mathematical Sciences, 1974 We know that many parts of ordinary recursive function theory can be developed formally in a certain extension of the formal number theory (e.g. Peano arithmetic). But we encounter some difficulties when we want to deal with partial recursive functions, since in ordinary logical calculi only total functions and predicates can be treated.
openaire +2 more sources
Asian Journal of Control, EarlyView.Abstract The linear‐quadratic regulator (LQR) problem of optimal control of an uncertain discrete‐time linear system (DTLS) is revisited in this paper from the perspective of Tikhonov regularization. We show that an optimally chosen regularization parameter reduces, compared to the classical LQR, the values of a scalar error function, as well as the ...
Fernando Pazos, Amit Bhaya
wiley +1 more source