|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Energy-Efficient Partial-Cooperative Spectrum Sensing in Cognitive Radio over Fading Channels
Saud Althunibat
,
Sandeep Narayanan
,
Marco Di Renzo
,
Granelli Fabrizio
Conference papers
hal-00829292v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Progressive Data Science: Potential and Challenges
Cagatay Turkay
,
Nicola Pezzotti
,
Carsten Binnig
,
Hendrik Strobelt
,
Barbara Hammer
,
et al.
2019
Preprints, Working Papers, ...
hal-01961871v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Conference papers
hal-02390697v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|