Results 41 to 50 of about 8,869 (303)
Verifying the structure and behavior in UML/OCL models using satisfiability solvers
IET Cyber-Physical Systems, 2016 Due to the ever increasing complexity of embedded and cyber-physical systems, corresponding design solutions relying on modelling languages such as Unified Modelling Language (UML)/Object Constraint Language (OCL) find increasing attention.
Nils Przigoda +4 more
doaj +1 more source
Computational geometry and discrete computations [PDF]
, 1996 In this paper we describe some problems arising in practical implementation of algorithms from computational geometry. Going to robust algorithms needs to solve issues such as rounding errors and degeneracies. Most of the problems are closely related to the incompatibility between on one side algorithms designed for continuous data and on the other ...
openaire +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Central nervous system (CNS) relapse of neuroblastoma carries a poor prognosis, and craniospinal irradiation (CSI) poses substantial long‐term toxicity in young children. We report a toddler with MYCN‐amplified neuroblastoma harboring somatic ALK R1275Q who developed extensive leptomeningeal relapse with paraplegia.
Jinwoo Kim +11 more
wiley +1 more source
Approximation systems for functions in topological and in metric spaces [PDF]
Logical Methods in Computer Science, 2013 A notable feature of the TTE approach to computability is the representation of the argument values and the corresponding function values by means of infinitistic names.
Dimiter Skordev
doaj +1 more source
Computability and Non-computability Issues in Amorphous Computing [PDF]
, 2012 Amorphous computing systems consist of a huge set of tiny simple stationary or mobile processors whose computational, communication and sensory part is reduced to an absolute minimum. In an airborne medium the processors communicate via a short-range radio while in a waterborne medium via molecular communication. In some cases the computational part of
openaire +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Patients with chronic kidney disease undergoing hemodialysis commonly experience reduced physical function, fatigue, poor sleep quality, and impaired health‐related quality of life. Intradialytic exercise has been proposed as a non‐pharmacological strategy to improve these outcomes.
Klebson da Silva Almeida +6 more
wiley +1 more source
Computability in Europe 2010 [PDF]
, 2015 The papers in this special issue constitute a post-conference publication of the meeting CiE 2010: Programs, Proofs, Processes, held at Universidade dos Açores, Ponta Delgada, Portugal, between June 30 and July 4, 2010.
Carbone, Alessandra +3 more
core +1 more source
Diagonal Anti-Mechanist Arguments
Studia Semiotyczne, 2020 DOI: http://doi.org/10.26333/sts.xxxiv1.09 Gödel’s first incompleteness theorem is sometimes said to refute mechanism about the mind. §1 contains a discussion of mechanism.
David Kashtan
doaj
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
Computing with Functionals—Computability Theory or Computer Science?
Bulletin of Symbolic Logic, 2006 AbstractWe review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject.
openaire +3 more sources