In: Journal of ethnicity in substance abuse, 2021, p. 1-19
Aims: To examine psychometric properties of the Daily Drinking Questionnaire (DDQ) in a Mediterranean “wet” drinking culture. Methods: Three studies were conducted using random samples drawn from a representative sample of Italian young adults (N¼5,955; females ¼ 62%; mean age ¼ 27): Study 1 explored the factorial structure of weekly alcohol consumption; in Study 2 multi-group...
|
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
This paper studies the impact of microcredit in Brazil. We use a propensity score matching on original primary data on business and personal outcomes to compare veteran clients of BNDES - Brazil’s largest government-owned development bank - to a matched sample of more recent clients. Based on administrative data as well as data from a survey of 2107 clients from the South and Northeast...
|
In: International Journal on Software Tools for Technology Transfer, 2021, vol. 23, p. 883–893
VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties—something that lies beyond the capabilities of fully automatic verification and requires instead human expertise to suitably encode programs, specifications, and invariants. This paper describes the 8th edition of VerifyThis, ...
|
In: L'endocrinologo, 2021, vol. 22, no. 3, p. 225–230
L’esame strumentale più comunemente utilizzato per valutare il rischio di malignità del nodulo tiroideo è l’ecografia. Con questo esame è possibile individuare posizione, dimensioni e caratteristiche del nodulo. Dal momento che l’uso dei singoli aspetti ecografici di sospetto ha dimostrato una bassa riproducibilità nell’indicazione all’agoaspirato, nel corso degli ultimi anni...
|
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...
|
