Search

Now showing items 121-130 of 174

Spinor with spatial extension and quantum computer feasibility.

Gondran, Alexandre; Gondran, Michel (2012) Communication / Conférence

Recoverable Encryption through Noised Secret over a Large Cloud.

Schwarz, Thomas; Litwin, Witold; Jajodia, Sushil (2012) Communication / Conférence

d-Transversals of stable sets and vertex covers in weighted bipartite graphs.

Bentz, Cédric; Costa, Marie-Christine; Picouleau, Christophe; Ries, Bernard; de Werra, Dominique (2012) Article accepté pour publication ou publié

Minimal Proof Search for Modal Logic K Model Checking.

Saffidine, Abdallah (2012) Communication / Conférence

Age-dependent accumulation of genomic aberrations and deregulation of cell cycle and telomerase genes in metastatic neuroblastoma.

Coco, Simona; Theissen, Jessica; Scaruffi, Paola; Stigliani, Sara; Moretti, Stefano; Oberthuer, André; Valdora, Francesca; Fischer, Matthias; Gallo, Fabio; Hero, Barbara; Bonassi, Stefano; Berthold, Frank; Tonini, Gian Paolo (2012) Article accepté pour publication ou publié

Management of Urban Parking: An Agent-Based Approach.

Balbo, Flavien; Zargayouna, H. Mahdi; Bessghaier, Nesrine (2012) Communication / Conférence

The United States of a Meta-model build with MyDraft An agile model-driven cloud-based platform for data-oriented rich web applications

Dodinet, Gilles; Jomier, Geneviève; Zamfiroiu, Michel (2012) Communication / Conférence

Survivability in hierarchical telecommunications networks.

Yaman, Hande; Özkök, Onur; Mahjoub, Ali Ridha; Ekin-Karasan, Oya; Fouilhoux, Pierre (2012) Article accepté pour publication ou publié

Solving VLSI design and DNA sequencing problems using bipartization of graphs.

Mahjoub, Ali Ridha; Fouilhoux, Pierre (2012) Article accepté pour publication ou publié

An Agent-Based Community to Manage Urban Parking.