In: Current Infectious Disease Reports, 2007, vol. 9, no. 2, p. 167-173
|
Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO007.
Symbolic analysis is an important element of program verification and automatic testing. Symbolic analysis techniques abstract program properties as expressions of symbolic input values to characterise the program logical constraints, and rely on Satisfiability Modulo Theories (SMT) solvers to both validate the satisfiability of the constraint expression and verify the corresponding program...
|
Thèse de doctorat : Università della Svizzera italiana, 2009 ; 2009INFO006.
Reverse engineering is an active area of research concerned with the development of techniques and tools that support the understanding of software systems. All the techniques that were pro- posed until now study individual systems in isolation. However, software systems are seldom developed in isolation; instead, they are developed together with other projects in the wider context of an...
|
In: International journal of fashion design, technology and education, 2021, vol. 14, no. 3, p. 293-301
This paper focuses on the field of digital fashion and its development by providing an overview regarding fashion design and culture. It is part of a larger research that involved a literature review of 491 relevant papers. From the analysis of this corpus, three main categories were identified: Communication and Marketing, Design and Production and Culture and Society. This study focuses on...
|
In: Computational methods in decision-making, economics and finance, 2002, p. 109
Only a few intertemporal optimal consumption and portfolio problems in partial and general equilibrium can be solved explicitly. It is illustrated in the paper that perturbation theory is a powerful tool for deriving approximate analytical solutions for the desired optimal policies in problems where general state dynamics are admitted and a preference for robustness is present. Starting from the...
|
In: Arts, 2018, vol. 7, no. 4, p. 75
Many architects of the modern movement who, in theory, refused luxury nonetheless responded to the demand for it. Richard J. Neutra was one of them: Although he mostly rejected luxury in his writings, he gained fame for his skills in constructing luxurious residences. This paper explores how he handled such discrepancies. For this purpose, it relates his understanding of luxury to the German...
|
Lugano : Università della Svizzera italiana, 2015
ISBN: 9788861010147
This ‘Annotated Bibliography’ is part of the ‘Stone Collection’ at the Central Library of the University of Lugano. It presents brief comments on each item in the Collection, biographical notes and some more general considerations. The Collection comprises Richard Stone’s complete works in the field of economics and consists of approximately 200 articles and books, published between...
|
In: Current Oncology Reports, 2021, vol. 23, no. 3, p. 10
Purpose of Review Richter syndrome (RS) is an uncommon but aggressive evolution of chronic lymphocytic leukemia/small lymphocytic lymphoma (CLL/SLL). RS is an unmet clinical need in the field of CLL. Recent advances in understanding the biology of this condition provide the rationale for testing new therapeutic concepts in order to improve the outcome of patients developing RS, which is so far...
|
In: The International Journal of Cardiovascular Imaging, 2011, vol. 27, no. 1, p. 1-3
|
Thèse de doctorat : Università della Svizzera italiana, 2016 ; 2016COM002.
In the management discipline, scholarly impact is most commonly measured using a researcher perspective, by counting the number of times a particular article is mentioned in the references section of other articles (Aguinis, Shapiro, Antonacopoulou, and Cummings, 2014). This approach conceptualizes scholarly impact using a measurable indicator, the citation count an article receives. Several...
|
