Recherche avancée

Affiner les résultats

Type de document

Institution

Collection spécifique

Langue

Auteur

Domaine

Mot clé

Trié par: Date de dépôt
34 résultats 1 2 3 4
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

Postprint
Consortium of Swiss Academic Libraries

AutoProofmeets some verification challenges

Tschannen, Julian ; Furia, Carlo ; Nordio, Martin

In: International Journal on Software Tools for Technology Transfer, 2015, vol. 17, no. 6, p. 745-755

Postprint
Consortium of Swiss Academic Libraries

Prediction of non-isothermal ternary gas-phase breakthrough experiments based on binary data

Marx, Dorian ; Joss, Lisa ; Casas, Nathalie ; Schell, Johanna ; Mazzotti, Marco

In: Adsorption, 2014, vol. 20, no. 2-3, p. 493-510

Postprint
Consortium of Swiss Academic Libraries

Modeling water vapor adsorption/desorption cycles

Hefti, Max ; Mazzotti, Marco

In: Adsorption, 2014, vol. 20, no. 2-3, p. 359-371

Postprint
Consortium of Swiss Academic Libraries

On-line optimizing control of the intermittent simulated moving bed process

Katsuo, Shigeharu ; Grossmann, Cristian ; Morari, Manfred ; Mazzotti, Marco

In: Adsorption, 2014, vol. 20, no. 1, p. 109-119

Postprint
Consortium of Swiss Academic Libraries

Pure and binary adsorption of CO2, H2, and N2 on activated carbon

Schell, Johanna ; Casas, Nathalie ; Pini, Ronny ; Mazzotti, Marco

In: Adsorption, 2012, vol. 18, no. 1, p. 49-65

Postprint
Consortium of Swiss Academic Libraries

Production of fine and speciality chemicals: procedure for the estimation of LCIs

Geisler, Georg ; Hofstetter, Thomas ; Hungerbühler, Konrad

In: The International Journal of Life Cycle Assessment, 2004, vol. 9, no. 2, p. 101-113

Postprint
Consortium of Swiss Academic Libraries

Alignments with non-overlapping moves, inversions and tandem duplications in O ( n 4) time

Ledergerber, Christian ; Dessimoz, Christophe

In: Journal of Combinatorial Optimization, 2008, vol. 16, no. 3, p. 263-278

Postprint
Consortium of Swiss Academic Libraries

Fixed bed adsorption of CO2/H2 mixtures on activated carbon: experiments and modeling

Casas, Nathalie ; Schell, Johanna ; Pini, Ronny ; Mazzotti, Marco

In: Adsorption, 2012, vol. 18, no. 2, p. 143-161

Postprint
Consortium of Swiss Academic Libraries

Modeling the extra-column volume in a small column setup for bulk gas adsorption

Joss, Lisa ; Mazzotti, Marco

In: Adsorption, 2012, vol. 18, no. 5-6, p. 381-393

34 résultats 1 2 3 4