Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study von De Piante, Marco, Midrio, Michele, Rinaldo, Roberto, Scagnetto, Ivan, Specogna, Ruben, Trevisan, Francesco

Volltext

Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) von Odetti, Angelo, Bruzzone, Gabriele, Ferretti, Roberta, Aracri, Simona, Carotenuto, Federico, Vagnoli, Carolina, Zaldei, Alessandro, Scagnetto, Ivan

Volltext

LF+ in Coq for "fast and loose" reasoning von Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

Volltext

A weak HOAS approach to the POPLmark Challenge von Ciaffaglione, Alberto, Scagnetto, Ivan

Volltext

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks von Honsell, Furio, Liquori, Luigi, Maksimović, Petar, Scagnetto, Ivan

Volltext

Mechanizing type environments in weak HOAS von Ciaffaglione, Alberto, Scagnetto, Ivan

Volltext

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice: Preface von Miller, Dale, Scagnetto, Ivan

Volltext

A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area von Gubiani, Donatella, Sgrazzutti, Giovanni, Basso, Massimiliano, Viero, Elena, Tavaris, Denis, Foresti, Gian Luca, Scagnetto, Ivan

Volltext

Lake Environmental Data Harvester von Odetti, Angelo, Bruzzone, Gabriele, Ferretti, Roberta, Aracri, Simona, Carotenuto, Federico, Vagnoli, Carolina, Zaldei, Alessandro, Scagnetto, Ivan

Volltext

Oceanus: a context-aware low-cost navigation aid for yacht racing von Scagnetto, Ivan, Brajnik, Giorgio, Gus, Peter, Trevisan, Francesco

Volltext

Acquisition and integration of differential pressure measurements on sails for boat performances improvement von Affanni, Antonio, Casarsa, Luca, Scagnetto, Ivan, Trevisan, Francesco

Volltext

Plugging-in proof development environments using Locks in LF von HONSELL, FURIO, LIQUORI, LUIGI, MAKSIMOVIĆ, PETAR, SCAGNETTO, IVAN

Volltext

An open logical framework von Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, Petar

Volltext

LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads von Honsell, Furio, Liquori, Luigi, Maksimovic, Petar, Scagnetto, Ivan

Volltext

Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach von Pavan, Marco, Mizzaro, Stefano, Scagnetto, Ivan

Volltext

mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads von Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto

Volltext

The Context-Aware Browser von Coppola, P., Della Mea, V., Di Gaspero, L., Menegon, D., Mischis, D., Mizzaro, S., Scagnetto, I., Vassena, L.

Volltext

Real-Time GAN-Based Model for Underwater Image Enhancement von Avola, Danilo, Cannistraci, Irene, Cascio, Marco, Cinque, Luigi, Diko, Anxhelo, Distante, Damiano, Foresti, Gian Luca, Mecca, Alessio, Scagnetto, Ivan

Volltext

π-calculus in (Co)inductive-type theory von Honsell, Furio, Miculan, Marino, Scagnetto, Ivan

Volltext

Principal Types as Partial Involutions von Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan

Volltext bestellen