Refine my results

Specific Collection


Università della Svizzera italiana

Lima, la moderna : migrazioni europee e sviluppo dell’architettura peruviana del XX secolo (1937-1969) : gli edifici multipiano come patrimonio architettonico

Atoche Intili, Javier ; Marandola, Marzia (Dir.) ; Grignolo, Roberta (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021ARC004.

This research studies the migration of Europeans to Lima between the 1930s and the late 1960s and analyses their influence on the evolution of architecture and urbanism in the Peruvian capital. The so-called Ciudad de los Reyes was the main administrative centre of the South American territories dominated by the Spanish Crown between the 16th and 19th centuries. The participation of Europeans...

Università della Svizzera italiana

Writing in finance : improving the communicative potential of financial analysts' recommendations

Whitehouse, Marlies ; Rocci, Andrea (Dir.) ; Perrin, Daniel (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2022 ; 2022COM001.

This doctoral thesis identifies and analyses problems of text production in finance from three complementary perspectives and explains why solving these problems benefits theory, practice, and society at large. Part I, Problem Identification, outlines the current situation of writing in finance, its problems and their consequences on the financial community and on society at large, entailing...

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