Affiner les résultats

Existence of bounded discrete steady state solutions of the van Roosbroeck system with monotone Fermi-Dirac statistic functions

Gärtner, K.

In: Journal of Computational Electronics, 2015, vol. 14, no. 3, p. 773-787

An extension of lazy abstraction with interpolation for programs with arrays

Alberti, Francesco ; Bruttomesso, Roberto ; Ghilardi, Silvio ; Ranise, Silvio ; Sharygina, Natasha

In: Formal Methods in System Design, 2014, vol. 45, no. 1, p. 63-109

Resolution proof transformation for compression and interpolation

Rollini, Simone ; Bruttomesso, Roberto ; Sharygina, Natasha ; Tsitovich, Aliaksei

In: Formal Methods in System Design, 2014, vol. 45, no. 1, p. 1-41

GSTE is partitioned model checking

Sebastiani, Roberto ; Singerman, Eli ; Tonetta, Stefano ; Vardi, Moshe

In: Formal Methods in System Design, 2007, vol. 31, no. 2, p. 177-196

Tensile behaviour of FRC under high strain-rate

Cadoni, Ezio ; Meda, Alberto ; Plizzari, Giovanni

In: Materials and Structures, 2009, vol. 42, no. 9, p. 1283-1294

The temporal variation of cost-efficiency in Switzerland's hospitals: an application of mixed models

Farsi, Mehdi

In: Journal of Productivity Analysis, 2008, vol. 30, no. 2, p. 155-168

Shift of reference point and implications on behavioral reaction to gains and losses

Masiero, Lorenzo ; Hensher, David

In: Transportation, 2011, vol. 38, no. 2, p. 249-271

Wireless multicasting under probabilistic node failures: a heuristic approach

Barta, János ; Montemanni, Roberto

In: Optimization and Engineering, 2012, vol. 13, no. 4, p. 705-726

Loop summarization using state and transition invariants

Kroening, Daniel ; Sharygina, Natasha ; Tonetta, Stefano ; Tsitovich, Aliaksei ; Wintersteiger, Christoph

In: Formal Methods in System Design, 2013, vol. 42, no. 3, p. 221-261

From context to system and back : how systems emerge from actors cognitive and social interactions : a system dynamics perspective

Colombo, Gianluca ; Mollona, Edoardo

In this paper, the system is viewed as a construction based on the actors’ cognitive and social interactions. The system is the result of multiple – actor sense making (Weick 1995), but at the same time it orients social sense making. In this process each actor’s point of view is a representation of both the system and the context perceived as pertinent by the actor. In other words, the...