Results 21 to 30 of about 10,740 (264)
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs [PDF]
Logical Methods in Computer Science, 2017 We discuss possibilities of application of Numerical Analysis methods to proving computability, in the sense of the TTE approach, of solution operators of boundary-value problems for systems of PDEs.
Svetlana Selivanova, Victor Selivanov
doaj +1 more source
IEEE Transactions on Quantum EngineeringWe consider exact quantum circuit synthesis, quantum gate efficiency, and the spectral gap conjecture from the perspective of computable analysis. Circuit synthesis, in both its exact and its approximate variant, is fundamental to the circuit model of ...
Yannik N. Boeck +2 more
doaj +1 more source
Abstract Geometrical Computation and Computable Analysis [PDF]
, 2009 Extended Signal machines are proven able to compute any computable function in the understanding of recursive/computable analysis (CA), here type-2 Turing machines (T2-TM) with signed binary encoding. This relies on an intermediate representation of any real number as an integer (in signed binary) plus an exact value in $(-1,1)$ which allows to have ...
openaire +2 more sources
Computable Frames in Computable Banach Spaces
International Journal of Analysis and Applications, 2016 We develop some parts of the frame theory in Banach spaces from the point of view of Computable Analysis. We define computable M-basis and use it to construct a computable Banach space of scalar valued sequences.
S.K. Kaushik, Poonam Mantry
doaj +2 more sources
A framework for annotating human genome in disease context. [PDF]
PLoS ONE, 2012 Identification of gene-disease association is crucial to understanding disease mechanism. A rapid increase in biomedical literatures, led by advances of genome-scale technologies, poses challenge for manually-curated-based annotation databases to ...
Wei Xu +6 more
doaj +1 more source
Pharmacology Research & Perspectives, 2020 The purpose of this analysis was to develop and validate computable phenotypes for heart failure (HF) with preserved ejection fraction (HFpEF) using claims‐type measures using the Rochester Epidemiology Project.
Sarah S. Cohen +6 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation [PDF]
Logical Methods in Computer ScienceWe propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic ...
Sewon Park +9 more
doaj +1 more source
Regional disaster impact analysis: comparing input–output and computable general equilibrium models [PDF]
Natural Hazards and Earth System Sciences, 2016 A variety of models have been applied to assess the economic losses of disasters, of which the most common ones are input–output (IO) and computable general equilibrium (CGE) models.
E. E. Koks +7 more
doaj +1 more source
Computational Fugue Analysis [PDF]
Computer Music Journal, 2015 One of the pinnacles of form in classical Western music, the fugue is often used in the teaching of music analysis and composition. Fugues alternate between instances of a subject and other patterns and modulatory sections, called episodes. Musicological analyses are generally built on these patterns and sections. We have developed several algorithms
Giraud, Mathieu +3 more
openaire +1 more source