Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021ARC004.
La presente ricerca indaga sul trasferimento di europei a Lima, tra gli anni Trenta e la fine degli anni Sessanta del Novecento, e si interroga sull’influenza di questo fenomeno sull’evoluzione architettonica e urbanistica nella capitale peruviana. La partecipazione di europei nella pianificazione della cosiddetta Ciudad de los Reyes, principale centro amministrativo per i territori del...
|
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...
|
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
|
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...
|