Results 31 to 40 of about 1,814,894 (278)
A note on measure and expansiveness on uniform spaces
Applied General Topology, 2019 We prove that the set of points doubly asymptotic to a point has measure zero with respect to any expansive outer regular measure for a bi-measurable map on a separable uniform space.
Pramod Das, Tarun Das
doaj +1 more source
Proposed best practice for projects that involve modelling and simulation [PDF]
, 2017 Modelling and simulation has been used in many ways when developing new treatments. To be useful and credible, it is generally agreed that modelling and simulation should be undertaken according to some kind of best practice.
Anisimov +8 more
core +1 more source
A perspective on specifying and verifying concurrent modules [PDF]
, 2018 The specification of a concurrent program module, and the verification of implementations and clients with respect to such a specification, are difficult problems.
Da Rocha Pinto, P +2 more
core +1 more source
2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2015 For some images, descriptions written by multiple people are consistent with each other. But for other images, descriptions across people vary considerably. In other words, some images are specific $-$ they elicit consistent descriptions from different people $-$ while other images are ambiguous.
Parikh, Devi, Jas, Mainak
openaire +4 more sources
eLife, 2015 Evolutionary origin of muscle is a central question when discussing mesoderm evolution. Developmental mechanisms underlying somatic muscle development have mostly been studied in vertebrates and fly where multiple signals and hierarchic genetic ...
Carmen Andrikou +3 more
doaj +1 more source
A New Approach to Model Verification, Falsification and Selection
Econometrics, 2015 This paper shows that a qualitative analysis, i.e., an assessment of the consistency of a hypothesized sign pattern for structural arrays with the sign pattern of the estimated reduced form, can always provide decisive insight into a model’s validity ...
Andrew J. Buck, George M. Lady
doaj +1 more source
Technical Language Processing for Telecommunications Specifications
Applied AI LettersLarge Language Models (LLMs) are continuously being evaluated in more diverse contexts. However, they still have challenges when extracting information from highly specific internal technical documentation.
Felipe A. Rodriguez Y
doaj +1 more source
Conexión, 2021 The health and economic crisis caused by the SARS CoV-2 coronavirus and the COVID-19 disease has accelerated the emergence of an informational economy focused on the use of electronic networks.
Cruz García Lirios
doaj
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Characterizing stressful events reported by childhood cancer survivors experienced throughout the lifespan may help improve trauma‐informed care relevant to the survivor experience. Methods Participants included 2552 survivors (54% female; 34 years of age) and 469 community controls (62% female; 33 years of age) from the St.
Megan E. Ware +13 more
wiley +1 more source
Entropy, 2021 Representation and abstraction are two of the fundamental concepts of computer science. Together they enable “high-level” programming: without abstraction programming would be tied to machine code; without a machine representation, it would be a pure ...
Raymond Turner
doaj +1 more source