In: Current opinion in genetics & development, 2021, vol. 71, p. 39-47
DNA breaks may arise accidentally in vegetative cells or in a programmed manner in meiosis. The usage of a DNA template makes homologous recombination potentially error-free, however, recombination is not always accurate. Cells possess a remarkable capacity to tailor processing of recombination intermediates to fulfill a particular need. Vegetatively growing cells aim to maintain genome...
|
In: International journal on software tools for technology transfer, 2021, p. 15
The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable states, e.g. as candidates for inductive loop invariants. Interpolants for a linear system can be efficiently computed from a Simplex refutation by ...
|
In: Journal of systems and software, 2021, vol. 181, p. 13
Software testing depends on effective oracles. Implicit oracles, such as checks for program crashes, are widely applicable but narrow in scope. Oracles based on formal specifications can reveal applicationspecific failures, but specifications are expensive to obtain and maintain. Metamorphic oracles are somewhere in-between. They test equivalence among different procedures to detect semantic...
|
In: Computers and mathematics with applications, 2021, vol. 99, p. 162-170
We consider two parallel-in-time approaches applied to a (reaction) diffusion problem, possibly non-linear. In particular, we consider PFASST (Parallel Full Approximation Scheme in Space and Time) and space-time multigrid strategies. For both approaches, we start from an integral formulation of the continuous time dependent problem. Then, a collocation form for PFASST and a discontinuous ...
|
In: The european journal of development research, 2021, p. 27
Cet article étudie l’impact du microcrédit au Brésil. Nous utilisons la méthode d’appariemment sur score de propension sur des données primaires originales issues de résultats commerciaux et personnels pour comparer les clients de longue date de la BNDES - la plus grande banque de développement appartenant au gouvernement du Brésil - à un échantillon apparié de clients plus...
|
In: Clinical and Translational Imaging, 2021, vol. 9, no. 4, p. 353–360
Background: Physiological focal radiopharmaceutical uptake in the head and uncinate process of the pancreas may be seen on somatostatin receptor-based PET/CT and might lead to false-positive results for neuroendocrine tumours (NETs). We aimed to perform a systematic review and a meta-analysis about the prevalence of this finding. Methods: We performed a comprehensive computer literature search...
|
In: Reviews in Endocrine and Metabolic Disorders, 2021, vol. 22, no. 2, p. 485-491
The coronavirus disease 2019 (COVID-19) caused by the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has the potential to cause multi- organ effects including endocrine disorders. The impact of COVID-19 on the thyroid gland has been described but several aspects have to be clarified. The systematic review was conceived to achieve more solid information about: 1) which thyroid...
|
In: Annals of Mathematics and Artificial Intelligence, 2021, no. 89, p. 965–1011
We develop joint foundations for the fields of social choice and opinion pooling using coherent sets of desirable gambles, a general uncertainty model that allows to encompass both complete and incomplete preferences. This leads on the one hand to a new perspective of traditional results of social choice (in particular Arrow’s theorem as well as sufficient conditions for the existence of an...
|
In: Foundations of Physics, 2021, vol. 51, no. 2, p. 20
Spontaneous collapse theories of quantum mechanics turn the usual Schrödinger equation into a stochastic dynamical law. In particular, in this paper I will focus on the GRW theory. Two philosophical issues that can be raised about GRW concern (a) the ontology of the theory, in particular the nature of the wave function and its role within the theory, and (b) the interpretation of the objective...
|
In: Gut microbes, 2021, vol. 13, no. 1, p. 20
Intestinal microbiota regulates multiple host metabolic and immunological processes. Consequently, any difference in its qualitative and quantitative composition is susceptible to exert significant effects, in particular along the gut-liver axis. Indeed, recent findings suggest that such changes modulate the severity and the evolution of a wide spectrum of hepatobiliary disorders. However, the...
|
