Refine my results


Università della Svizzera italiana

A psychometric analysis of the Daily Drinking Questionnaire in a nationally representative sample of young adults from a Mediterranean drinking culture

Piumatti, G. ; Aresi, G. ; Marta, E.

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...

Università della Svizzera italiana

Crossover or non-crossover outcomes : tailored processing of homologous recombination intermediates

Sanchez, Aurore ; Reginato, Giordano ; Cejka, Petr

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...

Università della Svizzera italiana

Using linear algebra in decomposition of Farkas interpolants

Blicha, Martin ; Hyvärinen, Antti E. J. ; Kofroň, Jan ; Sharygina, Natasha

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 ...

Università della Svizzera italiana

MeMo : automatically identifying metamorphic relations in Javadoc comments for test automation

Blasi, Arianna ; Gorla, Alessandra ; Ernst, Michael D. ; Pezzè, Mauro ; Carzaniga, Antonio

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...

Università della Svizzera italiana

An experimental comparison of a space-time multigrid method with PFASST for a reaction-diffusion problem

Benedusi, Pietro ; Minion, Michael L. ; Krause, Rolf

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 ...

Università della Svizzera italiana

Microcredit impacts : evidence from a large-scale observational study in Brazil

Goldszmidt, Rafael ; Behr, Patrick ; Zucco, Cesar ; Lenz, Anna-Katharina ; Gonzalez, Lauro ; Valdivia, Martin

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...

Università della Svizzera italiana

VerifyThis 2019 : a program verification competition

Dross, Claire ; Furia, Carlo A ; Huisman, Marieke ; Monahan, Rosemary ; Müller, Peter

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, ...

Università della Svizzera italiana

Dati evidence-based sulla affidabilità dei sistemi ecografici per la stratificazione del rischio di malignità del nodulo tiroideo (TIRADS)

Trimboli, Pierpaolo ; Scappaticcio, Lorenzo ; Castellana, Marco

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...

Università della Svizzera italiana

Prevalence of physiological uptake in the pancreas on somatostatin receptor-based PET/CT : a systematic review and a meta-analysis

Boughdad, Sarah ; Meyer, Marie ; Prior, John O. ; Fernandes, Victor ; Allenbach, Gilles ; Kamani, Christel ; Jreige, Mario ; Albano, Domenico ; Bertagna, Francesco ; Nicod-Lalonde, Marie ; Schaefer, Niklaus ; Treglia, Giorgio

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...

Università della Svizzera italiana

Thyroid sequelae of COVID-19 : a systematic review of reviews

Trimboli, Pierpaolo ; Camponovo, Chiara ; Scappaticcio, Lorenzo ; Bellastella, Giuseppe ; Piccardo, Arnoldo ; Rotondi, Mario

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...