DoubleIdat.i
Curation
Accueil
Racine
Curation
Exploration
Accueil
Racine
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Accueil)

Index « DoubleIdat.i » - tête de navigation
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Index : DoubleIdat.i

Pour accéder à une entrée :

Les termes de plus forte occurence

11862-9113:2009:Tartar L:a:personalized:overview
11751-8113:2009:Feinsilver P:finite:dimensional:calculus
11751-8113:2008:Schott R:nilpotent:adjacency:matrices
11744-1765:2011:Gaaloul K:a:logical:framework
11687-6172:2013:Duong N:spatial:location:priors
11633-1311:2013:Andonoff E:coordination:a:base
11633-1311:2012:Brun A:detection:de:communautes
11633-1311:2011:Grac C:un:systeme:d
11633-1311:2009:Rahhal C:swooki:un:wiki
11633-1311:2008:Ben Ammar B:modelisation:evenementielle:pour
11633-1311:2006:Touzi J:interoperabilite:et:systeme
11633-1311:2006:Messai N:treillis:de:concepts
11633-1311:2006:Baina S:apport:de:l
11633-1311:2002:Devignes M:collecte:et:integration
11633-1311:2001:Baina K:les:services:procedes
11630-649X:2011:Lelu A:espace:intrinseque:d
11630-649X:2008:Pennerath F:la:famille:des
11622-1494:2009:Goria S:cartographie:et:processus
11574-020X:2014:Kral P:automatic:dialogue:act
11574-020X:2009:Bonneau Maynard H:media:a:semantically
11571-0661:2001:Fissore O:induction:for:termination
11571-0661:1998:Galmiche D:proof:nets:construction
11568-2609:2004:Martinez D:a:spiking:neural
11553-734X:2014:Rospars J:heterogeneity:and:convergence
11549-9596:2011:Perez Nueno V:using:consensus:shape
11549-9596:2010:Pennerath F:graph:mining:algorithm
11549-9596:2010:Ghemtio L:comparison:of:three
11546-6086:2005:Bouguet Onnet S:the:concept:of
11532-2882:2011:Zitt M:hybrid:citation:word
11520-7439:2003:Bougrain L:knowledge:recovery:for
11472-6947:2013:Jay N:a:data:mining
11471-2202:2011:Fourcaud Trocme N:stabilisation:of:beta
11433-7541:2002:Guermeur Y:combining:discriminant:models
11433-2833:2014:Hoang T:sparsity:based:edge
11433-2833:2003:Tabbone S:matching:of:graphical
11433-2833:2002:Choisy C:cross:learning:in
11433-2833:2001:Kacem A:automatic:extraction:of
11433-2833:2001:Belaid A:recognition:of:table
11433-2833:2000:Dosch P:a:complete:system
11433-2779:2009:Cansell D:system:on:chip
11432-4350:2012:Marion J:theoretical:aspects:of
11389-1286:2010:Oster G:building:a:collaborative
11383-7621:2000:Navet N:worst:case:deadline
11383-7133:1999:Comon H:a:methodological:view
11383-7133:1998:Mouhoub M:experimental:analysis:of
11382-6905:2006:Kovalyov M:optimal:testing:and
11381-2416:2012:Bouselmi G:multilingual:recognition:of
11381-1177:2014:Ferrari F:molecular:rules:for
11381-1177:2009:De Oliveira E:a:molecular:modelling
11367-4803:2012:Ritchie D:fast:protein:structure
11367-4803:2011:Ghoorah A:spatial:clustering:of
11367-4803:2010:Ritchie D:ultra:fast:fft
11367-0751:2001:Cirstea H:the:rewriting:calculus
11367-0751:1999:Perrier G:labelled:proof:nets
11364-8152:2013:Mari J:time:space:stochastic
11279-5127:2013:Hajlaoui K:aide:a:l
11279-5127:2010:Nauer E:crechaindo:un:systeme
11279-5127:2009:Doumat R:digitized:ancient:documents
11279-5127:2004:Toussaint Y:extraction:de:connaissances
11279-5127:2003:Belaid A:la:retroconversion:de
11279-5127:1998:Belaid A:reconnaissance:de:tables
11278-3218:1997:Buchheit I:optimisation:de:la
11269-6935:2007:Khalgui M:an:approach:for
11269-6935:2002:Simonot Lion F:formal:method:for
11269-6935:2002:Gaujal B:optimal:routing:in
11262-1137:2007:D Aquin M:la:representation:de
11262-1137:2004:Napoli A:objets:et:representation
11262-1137:2003:Euzenat J:xml:et:les
11260-5875:2011:Le Ber F:capitalisation:d:experiences
11260-5875:2007:Adamczyk K:genexp:un:logiciel
11260-5875:2006:Metzger J:comparaison:d:organisations
11260-5875:2006:Lardon S:conception:collaborative:d
11260-5875:2005:Lardon S:une:demarche:et
11260-5875:2002:Mari J:segmentation:temporelle:et
11155-4339:1994:Haton J:problems:and:solutions
11155-4339:1994:Hajislam R:etude:acoustique:du
11094-6136:2003:Migge J:timing:analysis:of
11089-7801:2013:Benouaret K:crowdsc:building:smart
11077-3142:2013:Vacavant A:a:combined:multi
11077-3142:2006:Tabbone S:a:new:shape
11064-7570:2005:Badonnel R:a:framework:for
11064-7570:2002:State R:managing:highly:dynamic
11063-6536:2002:Baccelli F:analysis:of:preemptive
11058-6180:2008:Roegel D:an:early:key
11055-7148:2005:Badonnel R:management:of:mobile
11053-587X:2014:Liutkus A:kernel:additive:models
11047-3203:2013:Weber J:fast:quasi:flat
11045-9227:2003:Martinez D:nonlinear:blind:source
11042-9832:2007:Comets F:distributed:algorithms:in
11042-9832:2006:Dombry C:data:structures:with
11042-9832:2001:Banderier C:random:maps:coalescing
11018-4864:2005:Benaissa M:efficient:de:jitter
11018-4864:2005:Badonnel R:self:organized:monitoring
11017-1398:2004:Defour D:proposal:for:a
11012-2443:2003:Zilberstein S:optimal:sequencing:of
11012-2443:2000:Kirchner H:combining:assisted:and
10999-792X:2009:Sprenger Charolles L:stabilite:dans:le
10992-499X:2013:Ramaroson H:treillis:de:galois
10992-499X:2012:Bonnin G:exploitation:du:skipping
10992-499X:2012:Bautin A:strategie:d:exploration
10992-499X:2011:Navarrete Gutierrez T:impact:des:dimensions
10992-499X:2010:Corona G:distribution:sur:les
10992-499X:2009:Thiery C:construction:d:un
10992-499X:2009:Siebert J:de:l:interet
10992-499X:2008:Lauri F:resolution:du:probleme
10992-499X:2008:Boumaza A:analyse:d:un
10992-499X:2007:Thomas V:construction:de:systemes
10992-499X:2007:Szer D:resolution:optimale:de
10992-499X:2006:Chades I:algorithmes:de:co
10992-499X:2006:Buffet O:etude:de:differentes
10992-499X:2005:Gregori N:ergonomie:culture:scenario
10992-499X:2005:Buffet O:developpement:autonome:des
10992-499X:2004:Gechter F:un:modele:de
10992-499X:2003:Dutech A:apprentissage:par:renforcement
10992-499X:1999:Lieber J:raisonnement:a:partir
10992-499X:1999:Le Ber F:representation:de:relations
10988-3754:2011:Berrima M:deciding:knowledge:in
10988-3754:2007:Fousse L:multiple:precision:correctly
10988-3754:1996:Geniet D:a:markovian:concurrency
10988-3754:1991:Rouyer J:preuves:de:terminaison
10969-6016:2000:Djerid L:how:to:keep
10967-0661:1999:Navet N:reliability:improvement:of
10963-5483:2004:Alonso L:quicksort:with:unreliable
10960-1295:2005:Galmiche D:the:semantics:of
10960-1295:1998:Perrier G:concurrent:programming:as
10956-7968:2001:Kirchner H:promoting:rewriting:to
10956-7968:2001:Bonfante G:algorithms:with:polynomial
10955-792X:2005:Bournez O:implicit:complexity:over
10955-792X:2003:Galmiche D:semantic:labelled:tableaux
10955-792X:2001:Kirchner H:algebraic:specifications:higher
10950-3846:1998:Flechon G:experience:de:redaction
10947-3602:2011:Mashkoor A:utilizing:event:b
10943-7444:1999:David A:user:modeling:and
10938-1279:2004:Hanrot G:the:middle:product
10934-5043:2003:Abrial J:a:mechanically:proved
10934-5043:1998:De Groote P:a:note:on
10932-8092:1999:Berger M:mixing:synthetic:and
10926-9630:2008:Estacio Moreno A:mining:for:adverse
10926-5805:1999:Naja H:multiview:databases:for
10925-7721:2000:Everett H:planar:segment:visibility
10925-4676:1998:Bounab M:tool:integration:in
10925-2312:2015:Lamirel J:federating:clustering:and
10925-2312:1999:Bougrain L:unsupervised:connectionist:algorithms
10922-6567:2011:Raybaud S:this:sentence:is
10922-6443:2003:Gaujal B:dual:priority:versus
10922-6443:1995:Akazan J:on:tasks:synchronization
10920-5691:2006:Muse P:an:a:contrario
10920-5691:1997:Boyer E:d:surface:reconstruction
10920-5489:1988:Haton J:artificial:intelligence:techniques
10899-7667:2009:Voegtlin T:adaptive:synchronization:of
10899-7667:2009:Mckennoch S:spike:timing:error
10899-7667:2007:Tonnelier A:event:driven:simulations
10899-7667:2005:Martinez D:oscillatory:synchronization:requires
10893-6080:2009:Rougier N:implicit:and:explicit
10893-6080:2009:Alexandre F:cortical:basis:of
10893-6080:2006:Rougier N:emergence:of:attention
10893-6080:2005:Voegtlin T:recursive:principal:components
10893-6080:2005:Voegtlin T:linear:recursive:distributed
10893-6080:2005:Torres Huitzil C:on:chip:visual
10893-6080:2005:Menard O:model:of:multi
10890-5401:2011:Lynch C:automatic:decidability:and
10890-5401:2011:Galmiche D:sequent:calculi:and
10890-5401:2010:Burel G:regaining:cut:admissibility
10890-5401:2009:Baudet M:computationally:sound:implementations
10890-5401:2008:Chevalier Y:hierarchical:combination:of
10890-5401:2006:Bournez O:implicit:complexity:over
10890-5401:2003:Marion J:analysing:the:implicit
10890-5401:2000:Hermann M:unification:algorithms:cannot
10890-5401:2000:Dowek G:higher:order:unification
10890-5401:1996:Ringeissen C:combining:decision:algorithms
10890-5401:1996:Creignou N:complexity:of:generalized
10890-5401:1995:Amadio R:a:quick:construction
10885-6125:2009:Kassab R:incremental:data:driven
10885-2308:2007:Cerisara C:on:noise:masking
10885-2308:2003:Zitouni I:statistical:language:modeling
10885-2308:2001:Cerisara C:multi:band:automatic
10885-2308:2001:Bimbot F:an:alternative:scheme
10885-2308:1996:Afify M:estimation:of:mixtures
10885-064X:2007:Bournez O:polynomial:differential:equations
10882-8121:2000:Mallet J:blending:based:stochastic
10882-8121:1997:Mallet J:discrete:modeling:for
10824-7935:2006:D Aquin M:adaptation:knowledge:acquisition
10774-5141:2004:Tseng J:directionality:and:the
10769-4113:2005:Brassac C:inscription:spatiale:d
10765-0019:2009:Ouwayed N:estimation:de:l
10765-0019:2009:Nguyen T:une:approche:de
10765-0019:2009:Barrat S:classification:et:extension
10765-0019:2003:Fassinut Mombot B:gestion:entropique:du
10765-0019:1999:Simon G:des:methodes:efficaces
10765-0019:1997:Belaid A:utilisation:des:processus
10765-0019:1996:Boyer E:reconstruction:et:regularisation
10765-0019:1995:Chenevoy Y:une:approche:structurelle
10765-0019:1994:Belaid A:mise:a:contribution
10765-0019:1990:Pierrel J:vers:une:meilleure
10765-0019:1990:Junqua J:utilisation:d:un
10765-0019:1990:Haton J:decodage:acoustico:phonetique
10765-0019:1987:Monga O:segmentation:d:images
10764-4442:1999:Franz U:malliavin:calculus:for
10764-4442:1997:Franz U:gauss:laws:in
10752-4072:2010:Simonin J:conception:et:evaluation
10752-4072:2010:Gaaloul W:fouille:de:workflow
10752-4072:2009:N Takpe T:heuristiques:d:ordonnancement
10752-4072:2009:Lahmadi A:caracterisation:des:delais
10752-4072:2009:Francois J:botnets:irc:et
10752-4072:2009:Bhiri S:patrons:transactionnels:pour
10752-4072:2008:Lanoix A:developpement:formel:par
10752-4072:2007:Bontemps Y:synthese:de:diagrammes
10752-4072:2006:Jumel F:impact:de:choix
10752-4072:2005:Koubaa A:m:k:wfq
10752-4072:2005:Cortier V:verifier:les:protocoles
10752-4072:2004:Chaddoud G:gestion:efficace:de
10752-4072:2003:Tabbone S:adaptation:de:la
10752-4072:2003:Jumel F:nouvelles:politiques:pour
10752-4072:2003:Bernard G:mobilite:et:bases
10752-4072:2002:Galtier V:un:element:de
10752-4072:2000:Pierrel J:communication:multimodale:langue
10752-4072:1999:Kone O:methodes:formelles:de
10752-4072:1999:Heisel M:de:l:elicitation
10752-4072:1998:Smail M:vers:des:systemes
10752-4072:1998:Lambolais T:assistance:au:developpement
10747-7171:2008:Dupont L:near:optimal:parameterization
10747-7171:2001:Stratulat S:a:general:framework
10747-7171:1998:Hintermeier C:dynamically:typed:computations
10747-7171:1998:Comon H:completion:of:rewrite
10743-7315:2014:Casanova H:versatile:scalable:and
10743-7315:2004:Cosnard M:compact:dag:representation
10743-7315:1999:Cosnard M:compact:dag:representation
10743-1066:2000:Zhou J:introduction:to:the
10399-0540:1985:Remy J:un:procede:iteratif
10397-9326:1976:Finance J:une:formalisation:de
10378-4754:1996:Pican N:how:owe:architectures
10378-1097:2004:Vitreschak A:attenuation:regulation:of
10377-2217:1998:Portmann M:branch:and:bound
10377-0427:2004:Rouillier F:efficient:isolation:of
10377-0427:1996:Feinsilver P:operator:calculus:approach
10364-765X:2001:Bockmayr A:cutting:planes:and
10361-0926:2010:Guermeur Y:sample:complexity:of
10360-0300:2002:Petitjean S:a:survey:of
10323-4045:2013:Hartmann G:ueber:die:voraussetzungen
10305-1048:2003:Kolpakov R:mreps:efficient:and
10305-0548:2009:Oulamara A:flowshop:scheduling:problem
10304-3975:2011:Jamet D:on:the:fixed
10304-3975:2011:Gnaedig I:proving:weak:properties
10304-3975:2011:Bonfante G:quasi:interpretations:a
10304-3975:2010:Chevalier Y:symbolic:protocol:analysis
10304-3975:2008:Brlek S:smooth:words:on
10304-3975:2007:Besombes J:learning:tree:languages
10304-3975:2007:Arnoux P:functional:stepped:surfaces
10304-3975:2006:Knapp A:specification:and:refinement
10304-3975:2006:Imine A:formal:design:and
10304-3975:2006:Dershowitz N:abstract:canonical:presentations
10304-3975:2006:Cansell D:formal:and:incremental
10304-3975:2006:Backes M:compositional:analysis:of
10304-3975:2005:Chevalier Y:an:np:decision
10304-3975:2005:Bournez O:elementarily:computable:functions
10304-3975:2004:Eveillard D:a:multi:scale
10304-3975:2004:Duval J:linear:time:computation
10304-3975:2003:Tinelli C:unions:of:non
10304-3975:2003:Rusinowitch M:protocol:insecurity:with
10304-3975:2003:Poulalhon D:a:bijection:for
10304-3975:2003:Laroussinie F:on:the:expressivity
10304-3975:2003:Kolpakov R:finding:approximate:repetitions
10304-3975:2003:Cori R:description:trees:and
10304-3975:2003:Bertet K:weak:order:extensions
10304-3975:2002:Grigorieff S:kolmogorov:complexity:and
10304-3975:2002:Bouhoula A:observational:proofs:by
10304-3975:2002:Borovansky P:elan:from:a
10304-3975:2002:Astesiano E:casl:the:common
10304-3975:2001:Blondel V:deciding:stability:and
10304-3975:2000:Leivant D:a:characterization:of
10304-3975:2000:Galmiche D:proof:search:in
10304-3975:2000:Galmiche D:connection:methods:in
10304-3975:2000:Cervesato I:efficient:resource:management
10304-3975:2000:Bouhoula A:specification:and:proof
10304-3975:2000:Arques D:counting:rooted:maps
10304-3975:1999:Perrier G:a:pspace:complete
10304-3975:1999:Marion J:from:multiple:sequent
10304-3975:1999:Kolpakov R:on:repetition:free
10304-3975:1999:Denise A:uniform:random:generation
10304-3975:1999:De Groote P:an:algebraic:correctness
10304-3975:1998:Perrier G:corrigendum:to:galmiche
10304-3975:1998:Cichon E:ordinal:recursive:bounds
10304-3975:1997:Kucherov G:matching:a:set
10304-3975:1997:Hermann M:unification:of:infinite
10304-3975:1997:Ajili F:avoiding:slack:variables
10304-3975:1996:Bouhoula A:using:induction:and
10304-3975:1996:Antimirov V:partial:derivatives:of
10304-3975:1996:Alonso L:a:parallel:algorithm
10304-3975:1995:Antimirov V:rewriting:extended:regular
10304-3800:2009:Le Ber F:neutral:modelling:of
10304-3800:2006:Le Ber F:studying:crop:sequences
10302-9743:2013:Barrett C:witness:runs:for
10302-9743:2006:Zuwala D:a:method:for
10302-9743:2006:Zimmermann P:years:of:ecm
10302-9743:2006:Yildiz U:on:automating:networked
10302-9743:2006:Vittek M:a:simple:generic
10302-9743:2006:Turuani M:the:cl:atse
10302-9743:2006:Tombre K:musings:on:symbol
10302-9743:2006:Stehle D:on:the:randomness
10302-9743:2006:Rouached M:web:service:mining
10302-9743:2006:Rouached M:towards:formal:verification
10302-9743:2006:Rendek J:a:few:steps
10302-9743:2006:Rangoni Y:document:logical:structure
10302-9743:2006:Oubahssi L:from:learner:information
10302-9743:2006:Nguyen P:lll:on:the
10302-9743:2006:Lahmadi A:on:delays:in
10302-9743:2006:Jeannot E:a:practical:approach
10302-9743:2006:Hilaire X:ranvec:and:the
10302-9743:2006:Goel G:bounded:arboricity:to
10302-9743:2006:Gaudry P:the:adic:cm
10302-9743:2006:Galmiche D:expressivity:properties:of
10302-9743:2006:Gaaloul W:a:bottom:up
10302-9743:2006:Gaaloul K:cooperative:processes:for
10302-9743:2006:Fontaine P:expressiveness:automation:soundness
10302-9743:2006:Fates N:directed:percolation:phenomena
10302-9743:2006:Dosch P:report:on:the
10302-9743:2006:Diamantini C:about:semantic:enrichment
10302-9743:2006:Deharbe D:decision:procedures:for
10302-9743:2006:Debled Rennesson I:arithmetic:discrete:parabolas
10302-9743:2006:Coulet A:suggested:ontology:for
10302-9743:2006:Cortier V:relating:two:standard
10302-9743:2006:Cohen J:optimal:linear:arrangement
10302-9743:2006:Chevassut O:the:twist:augmented
10302-9743:2006:Chevalier Y:hierarchical:combination:of
10302-9743:2006:Cheong O:throwing:stones:inside
10302-9743:2006:Chen S:pretests:for:genetic
10302-9743:2006:Charoy F:a:dynamic:workflow
10302-9743:2006:Cerri A:shape:recognition:via
10302-9743:2006:Cansell D:time:constraint:patterns
10302-9743:2006:Bournez O:the:general:purpose
10302-9743:2006:Bournez O:proving:positive:almost
10302-9743:2006:Bonfante G:towards:an:implicit
10302-9743:2006:Bonfante G:some:programming:languages
10302-9743:2006:Blanqui F:on:the:confluence
10302-9743:2006:Belaid A:toward:file:consolidation
10302-9743:2006:Attik M:using:ensemble:feature
10302-9743:2006:Andrei O:non:intrusive:formal
10302-9743:2006:Abadi M:guessing:attacks:and
10302-9743:2005:Zimmermann Y:component:reuse:in
10302-9743:2005:Vitay J:a:distributed:model
10302-9743:2005:Vincent C:from:self:organized
10302-9743:2005:Truderung T:selecting:theories:and
10302-9743:2005:Truderung T:regular:protocols:and
10302-9743:2005:Szer D:an:optimal:best
10302-9743:2005:Smail Tabbone M:bioregistry:a:structured
10302-9743:2005:Simonin J:effects:of:display
10302-9743:2005:Seddah D:how:to:build
10302-9743:2005:Schott R:on:the:minimal
10302-9743:2005:Rouached M:a:contract:layered
10302-9743:2005:Rouached M:a:contract:based
10302-9743:2005:Reis L:an:architecture:for
10302-9743:2005:Ranise S:nelson:oppen:shostak
10302-9743:2005:Ranise S:combining:data:structures
10302-9743:2005:Messai N:querying:a:bioinformatic
10302-9743:2005:Menard O:towards:word:semantics
10302-9743:2005:Larchey Wendling D:bounding:resource:consumption
10302-9743:2005:Lamarche F:naming:proofs:in
10302-9743:2005:Lahmadi A:on:the:impact
10302-9743:2005:Kucherov G:a:unifying:framework
10302-9743:2005:Kirchner H:on:superposition:based
10302-9743:2005:Imine A:towards:synchronizing:linear
10302-9743:2005:Hammer M:truly:on:the
10302-9743:2005:Guabtni A:spheres:of:isolation
10302-9743:2005:Gardent C:large:scale:semantic
10302-9743:2005:Galmiche D:characterizing:provability:in
10302-9743:2005:Gabarra E:combining:global:and
10302-9743:2005:Gaaloul W:towards:mining:structural
10302-9743:2005:Frezza Buet H:making:competition:in
10302-9743:2005:Fissore O:a:proof:of
10302-9743:2005:Doyen G:a:hierarchical:architecture
10302-9743:2005:Deviren M:rethinking:language:models
10302-9743:2005:Debusmann R:multi:dimensional:graph
10302-9743:2005:Debled Rennesson I:optimal:blurred:segments
10302-9743:2005:Datta A:probabilistic:polynomial:time
10302-9743:2005:Cridlig V:a:netconf:network
10302-9743:2005:Crabbe B:grammatical:development:with
10302-9743:2005:Cortier V:computationally:sound:automated
10302-9743:2005:Ciarletta L:automatic:configuration:for
10302-9743:2005:Chevalier Y:combining:intruder:theories
10302-9743:2005:Cecotti H:hybrid:ocr:combination
10302-9743:2005:Cecotti H:high:performance:classifiers
10302-9743:2005:Burgisser P:the:complexity:of
10302-9743:2005:Bozzano M:efficient:satisfiability:modulo
10302-9743:2005:Bouvel M:combinatorial:search:on
10302-9743:2005:Bournez O:real:recursive:functions
10302-9743:2005:Bournez O:proving:positive:almost
10302-9743:2005:Bonfante G:toward:an:abstract
10302-9743:2005:Bonfante G:quasi:interpretations:and
10302-9743:2005:Blanqui F:decidability:of:type
10302-9743:2005:Bhiri S:overview:of:transactional
10302-9743:2005:Bertolissi C:the:graph:rewriting
10302-9743:2005:Baudet M:computationally:sound:implementations
10302-9743:2005:Badonnel R:monitoring:end:to
10302-9743:2005:Attik M:self:organizing:map
10302-9743:2005:Attik M:neural:network:topology
10302-9743:2005:Armando A:the:avispa:tool
10302-9743:2005:Armando A:on:a:rewriting
10302-9743:2005:Abrial J:refinement:and:reachability
10302-9743:2004:Valveny E:performance:evaluation:of
10302-9743:2004:Tinelli C:combining:decision:procedures
10302-9743:2004:Tabbone S:a:hybrid:approach
10302-9743:2004:Stehle D:a:binary:recursive
10302-9743:2004:Smigiel E:self:organizing:maps
10302-9743:2004:Rendek J:the:search:for
10302-9743:2004:Nguyen P:low:dimensional:lattice
10302-9743:2004:Larchey Wendling D:counter:model:search
10302-9743:2004:Kucherov G:multi:seed:lossless
10302-9743:2004:Koubaa A:integrating:m:k
10302-9743:2004:Knapp A:refining:mobile:uml
10302-9743:2004:Kirchner C:rule:based:programming
10302-9743:2004:Keller A:automating:the:provisioning
10302-9743:2004:Imine A:deductive:verification:of
10302-9743:2004:Heisel M:adding:features:to
10302-9743:2004:Guabtni A:multiple:instantiation:in
10302-9743:2004:Gaaloul W:discovering:workflow:transactional
10302-9743:2004:Doyen G:a:performance:oriented
10302-9743:2004:Doyen G:a:cim:extension
10302-9743:2004:Dosch P:vectorial:signatures:for
10302-9743:2004:Diaz A:divergence:occurrences:in
10302-9743:2004:Deharbe D:abstraction:driven:verification
10302-9743:2004:De Groote P:higher:order:matching
10302-9743:2004:Cridlig V:role:based:access
10302-9743:2004:Corvez S:using:computer:algebra
10302-9743:2004:Cohen J:messages:scheduling:for
10302-9743:2004:Clavier E:docmining:a:cooperative
10302-9743:2004:Cirstea H:rewriting:calculus:with
10302-9743:2004:Chaudet C:a:managed:bandwidth
10302-9743:2004:Castro C:a:rule:language
10302-9743:2004:Caniou Y:experimental:study:of
10302-9743:2004:Bournez O:an:analog:characterization
10302-9743:2004:Blanqui F:a:type:based
10302-9743:2004:Besombes J:learning:tree:languages
10302-9743:2004:Berasaluce S:an:experiment:on
10302-9743:2004:Barth D:fixed:size:and
10302-9743:2004:Alexandre F:predicate:synthesis:from
10302-9743:2004:Adam S:docmining:a:document
10302-9743:2004:Abadi M:deciding:knowledge:in
10302-9743:2003:Van Den Brand M:environments:for:term
10302-9743:2003:Tabbone S:binary:shape:normalization
10302-9743:2003:Stuber J:extracting:mathematical:semantics
10302-9743:2003:State R:context:driven:access
10302-9743:2003:State R:a:sming:based
10302-9743:2003:Salvati S:on:the:complexity
10302-9743:2003:Ringeissen C:matching:in:a
10302-9743:2003:Perrin O:a:model:to
10302-9743:2003:Perrin O:a:contract:model
10302-9743:2003:Metzger J:modeling:and:representing
10302-9743:2003:Gustedt J:towards:realistic:implementations
10302-9743:2003:Gustedt J:a:work:optimal
10302-9743:2003:Ganzinger H:superposition:with:equivalence
10302-9743:2003:Galmiche D:connection:based:proof
10302-9743:2003:Duval J:linear:time:computation
10302-9743:2003:Doyen G:management:of:peer
10302-9743:2003:Deviren M:frequency:and:wavelet
10302-9743:2003:Deplagne E:proof:search:and
10302-9743:2003:David R:strong:normalization:of
10302-9743:2003:Ciaffaglione A:imperative:object:based
10302-9743:2003:Chevalier Y:extending:the:dolev
10302-9743:2003:Cheong O:disjoint:unit:spheres
10302-9743:2003:Brent R:random:number:generators
10302-9743:2003:Bournez O:rewriting:logic:and
10302-9743:2003:Bournez O:automated:generation:of
10302-9743:2003:Bournez O:a:rule:based
10302-9743:2003:Biri N:a:separation:logic
10302-9743:2003:Baina K:dynamic:interconnection:of
10302-9743:2003:Baina K:a:model:for
10302-9743:2003:Anantharaman S:unification:modulo:acui
10302-9743:2003:Anantharaman S:acid:unification:is
10302-9743:2003:Abrial J:formal:derivation:of
10302-9743:2003:Abrial J:click:n:prove
10302-9743:2002:Van Den Brand M:disambiguation:filters:for
10302-9743:2002:Tombre K:text:graphics:separation
10302-9743:2002:Todirascu A:vulcain:an:ontology
10302-9743:2002:Tata S:policies:for:cooperative
10302-9743:2002:Sanchez G:an:error:correction
10302-9743:2002:Ranise S:combining:generic:and
10302-9743:2002:Lonchamp J:collaboration:flow:management
10302-9743:2002:Lonchamp J:an:object:oriented
10302-9743:2002:Larchey Wendling D:combining:proof:search
10302-9743:2002:Lamiroy B:scan:to:xml
10302-9743:2002:Hilaire X:ranvec:and:the
10302-9743:2002:Hilaire X:improving:the:accuracy
10302-9743:2002:Heisel M:toward:a:formal
10302-9743:2002:Habert L:link:a:proof
10302-9743:2002:Gustedt J:the:treewidth:of
10302-9743:2002:Galmiche D:connection:based:proof
10302-9743:2002:Faure G:exceptions:in:the
10302-9743:2002:Duffing G:organising:and:searching
10302-9743:2002:Duchon P:random:sampling:from
10302-9743:2002:Dowek G:binding:logic:proofs
10302-9743:2002:Deplagne E:deduction:versus:computation
10302-9743:2002:Deharbe D:improving:symbolic:model
10302-9743:2002:Daoudi K:automatic:speech:recognition
10302-9743:2002:Chevalier Y:automated:unbounded:verification
10302-9743:2002:Cansell D:incremental:proof:of
10302-9743:2002:Bueno D:metiorew:an:objective
10302-9743:2002:Bournez O:probabilistic:rewrite:strategies
10302-9743:2002:Bockmayr A:using:hybrid:concurrent
10302-9743:2002:Armando A:the:aviss:security
10302-9743:2002:Althaus E:scil:symbolic:constraints

Manipulations en shell (Unix/Dilib)

HfdCat /Users/jacquesducloy/Documents/WicriRoot/Wicri/Europe/France/Lorraine/explor/InforLor.storage/InforLorV4/Data/Main/Curation/DoubleIdat.i.hfd| SxmlCut idx/l | grep ...
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022