Search - Université Paris-Saclay Access content directly

Filter your results

7 Results
Structure: Internal structure identifier : 37385

Tighter Integration of {BDDs} and {SMT} for Predicate Abstraction

Alessandro Cimatti , Anders Franzen , Alberto Griggio , Krishnamani Kalyanasundaram , Marco Roveri
Design, Automation & Test in Europe, Mar 2010, Dresden, Germany. pp.1707--1712
Conference papers inria-00535785v1
Image document

Comparing Time Series Similarity Perception under Different Color Interpolations

Anna Gogolou , Theophanis Tsandilas , Themis Palpanas , Anastasia Bezerianos
[Research Report] RR-9189, Inria. 2018
Reports hal-01844994v3

JUICE: A European Mission to Jupiter and its Icy Moons

Claire Vallat , Thomas Roatsch , Michele K. Dougherty , Athena Coustenis , Yasumasa Kasaba , et al.
42nd COSPAR Scientific Assembly. Held 14-22 July 2018, in Pasadena, California, USA, Abstract id. B5.3-31-18., Jul 2018, pasadena, United States
Conference papers hal-01901900v1

Energy-Efficient Partial-Cooperative Spectrum Sensing in Cognitive Radio over Fading Channels

Saud Althunibat , Sandeep Narayanan , Marco Di Renzo , Granelli Fabrizio
77th Vehicular Technology Conference - IEEE VTC Spring 2013, Jun 2013, Dresden, Germany. pp.1-6, ⟨10.1109/vtcspring.2013.6692549⟩
Conference papers hal-00829292v1
Image document

Progressive Data Science: Potential and Challenges

Cagatay Turkay , Nicola Pezzotti , Carsten Binnig , Hendrik Strobelt , Barbara Hammer , et al.
2019
Preprints, Working Papers, ... hal-01961871v1
Image document

Comparison of ecosystem functional type patterns at different spatial resolutions in relation with FLUXNET data

Lluís Pesquer , Cristina Domingo-Marimon , Jordi Cristobal Roselló , Catherine Ottlé , Philippe Peylin , et al.
SPIE Remote Sensing, Sep 2019, Strasbourg, France. pp.8, ⟨10.1117/12.2533049⟩
Conference papers hal-02390697v1

On the Energy Consumption of Decision-Fusion Rules in Cognitive Radio Networks

Saud Althunibat , Marco Di Renzo , Granelli Fabrizio , Sandeep Narayanan
IEEE CAMAD 2012, Sep 2012, Barcelone, Spain. pp. 1-5
Conference papers hal-00732642v1