Affiner les résultats

Collection spécifique

Langue

Università della Svizzera italiana

Reusing constraint proofs in symbolic analysis

Chen, Meixian ; Pezzè, Mauro (Dir.)

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

Accès public à partir du 3 juil. 2020
Università della Svizzera italiana

Strategies to access and manage donations for humanitarian operations

Urrea Castaño, Gloria Cecilia ; Maggi, Rico (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018ECO006.

Scarcity of funding and high competition among organizations are typical characteristics of the humanitarian setting, which create high uncertainty for humanitarian organizations (HOs) regarding their ability to access and manage the required donations for their operations. In contrast with past research, which usually considers that HOs have a passive role in the donations process, the main...

Università della Svizzera italiana

New architectures for very deep learning

Srivastava, Rupesh Kumar ; Schmidhuber, Jürgen (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO006.

Artificial Neural Networks are increasingly being used in complex real- world applications because many-layered (i.e., deep) architectures can now be trained on large quantities of data. However, training even deeper, and therefore more powerful networks, has hit a barrier due to fundamental limitations in the design of existing networks. This thesis develops new architectures that, for the...

Consortium of Swiss Academic Libraries

Making prospect theory fit for finance

Giorgi, Enrico De

In: Financial Markets and Portfolio Management, 2006, vol. 20, no. 3, p. 339-360

Accès public à partir du 1 oct. 2018
Consortium of Swiss Academic Libraries

Permutation codes with specified packing radius

Smith, Derek ; Montemanni, Roberto

In: Designs, Codes and Cryptography, 2013, vol. 69, no. 1, p. 95-106

Consortium of Swiss Academic Libraries

A note on moments of dividends

Albrecher, Hansjörg ; Gerber, Hans

In: Acta Mathematicae Applicatae Sinica, English Series, 2011, vol. 27, no. 3, p. 353-354