Showing 1 - 20 results of 670 for search '"computer sciences"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Reset Filters

Content Provider: Université de Nantes: HAL-UNIV-NANTES

Reset Filters

Show filters (1)

Content Provider: Université de Nantes: HAL-UNIV-NANTES

Search Results - Open Polar - "computer sciences"

Search Results

Showing 1 - 20 results of 670 for search '"computer sciences"', query time: 0.57s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)
Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”

Get access
Get access

Conference Object
Select result number 3
3

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack B: Algorithms, Automata, Complexity,...

by Aceto, Luca, Ann Goldberg, Leslie, Damgard, Ivan, Ingolfsdottir, Anna, M. Halldorsson, Magnus, Walukiewicz, Igor
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Book
Select result number 4
4

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity,...

by Aceto, Luca, Damgard, Ivan, Ann Goldberg, Leslie, M. Halldorsson, Magnus, Ingolfsdottir, Anna, Walukiewicz, Igor
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Book
Select result number 5
5

Automata synthesis by asynchronous orchestration with applications to web services composition

by Balbiani, Philippe, Cheikh Alili, Fahima, Feuillade, Guillaume
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Conference Object
Select result number 6
6

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 7
7

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access

Conference Object
Select result number 8
8

An Effectful Way to Eliminate Addiction to Dependence

by Pédrot, Pierre-Marie, Tabareau, Nicolas
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

by Holthusen, Sönke, Quinton, Sophie, Schaefer, Ina, Schlatow, Johannes, Wegner, Martin
Published in Electronic Proceedings in Theoretical Computer Science (2016)
Subjects: “...[INFO]Computer Science [cs]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

Borel Ranks and Wadge Degrees of Omega Context Free Languages

by Finkel, Olivier
Published 2005
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 11
11

Architecturing Conflict Handling of Pervasive Computing Resources

by Jakob, Henner, Consel, Charles, Loriant, Nicolas
Published 2011
Subjects: “...[INFO]Computer Science [cs]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 12
12

Topological Comparisons of Fluvial Reservoir Rock Volumes Using Betti Numbers: Application to CO2 Storage Uncertainty Analysis

by Dahrabou, Asmae, Viseur, Sophie, Gonzalez-Lorenzo, Aldo, Rohmer, Jeremy, Bac, Alexandra, Real, Pedro, Mari, Jean-Luc, Audigane, Pascal
Published 2016
Subjects: “...[INFO]Computer Science [cs]...”

Get access
Get access

Conference Object
Select result number 13
13

Proceedings of the 23rd International Conference on Multimedia Modeling, MMM 2017, Reykjavik, Iceland, January 4-6, 2017

by Amsaleg, Laurent, Guðmundsson, Gylfi, Gurrin, Cathal, Jónsson, Björn Thór, Satoh, Shin'Ichi
Published 2017
Subjects: “...[INFO]Computer Science [cs]...”

Get access
Get access

Conference Object
Select result number 14
14

Relational database reverse engineering : elicitation of generalization hierarchies

by Akoka, Jacky, Comyn-Wattiau, Isabelle, Lammari, Nadira
Published 1999
Subjects: “...[INFO]Computer Science [cs]...”

Get access
Get access

Conference Object
Select result number 15
15

Enriching ‘Senso Comune’ with Semantic Role Sets

by Jezek, Elisabetta, Vieu, Laure, Zanzotto, Fabio, Vetere, Guido, Oltramari, Alessandro, Gangemi, Aldo, Varvara, Rossella
Published 2014
Subjects: “...[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]...”

Get access
Get access
Get access

Conference Object
Select result number 16
16

The limits of SDP relaxations for general-valued CSPs

by Thapper, Johan, Živný, Stanislav
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]...”

Get access
Get access

Conference Object
Select result number 17
17

Multilingualism & LT in the EU and in India: Similarities, Differences and Trends

by Mariani, Joseph
Published 2014
Subjects: “...[INFO]Computer Science [cs]...”

Get access

Conference Object
Select result number 18
18

Rediscovering 15 years of discoveries in language resources and evaluation

by Mariani, Joseph, Paroubek, Patrick, Francopoulo, Gil, Hamon, Olivier
Published 2014
Subjects: “...[INFO]Computer Science [cs]...”

Get access

Conference Object
Select result number 19
19

The strategic impact of META-NET on the regional, national and international level

by Mariani, Joseph, Rehm, Georg, Uszkoreit, Hans
Published 2014
Subjects: “...[INFO]Computer Science [cs]...”

Get access

Conference Object
Select result number 20
20

LREC 15th Anniversary

by Mariani, Joseph
Published 2014
Subjects: “...[INFO]Computer Science [cs]...”

Get access

Conference Object