Idat.i
Merge
Accueil
Racine
Merge
Exploration
Accueil
Racine
Accueil
Racine

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

Index « Idat.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 : Idat.i

Pour accéder à une entrée :

Les termes de plus forte occurence

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

Manipulations en shell (Unix/Dilib)

HfdCat /Users/jacquesducloy/Documents/WicriRoot/Wicri/Europe/France/Lorraine/explor/InforLor.storage/InforLorV4/Data/Main/Merge/Idat.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