Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

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

Pour accéder à une entrée :

Les termes de plus forte occurence

62Theoretical Computer Science
28Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques
27Electronic Notes in Theoretical Computer Science
23ACM Transactions on Graphics
21Journal of Symbolic Computation
18Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle
17Journal of Automated Reasoning
17Information and Computation
16Discrete and Computational Geometry
16Discrete Applied Mathematics
16Computer Graphics Forum
15Pattern Recognition
15Mathematics of Computation
15Lecture Notes in Computer Science
14Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information
14Computational Geometry
14Annals of Mathematics and Artificial Intelligence
14ACM Transactions on Computational Logic
12Traitement Automatique des Langues
12Neurocomputing
12Mathematical Structures in Computer Science
12International Journal on Document Analysis and Recognition
11Information Processing Letters
10Science of Computer Programming
10Lecture notes in computer science
10Journal of Logic and Computation
10Interstices
9Tugboat
9Revue des Sciences et Technologies de l'Information - Série Document Numérique
9Revue des Nouvelles Technologies de l'Information
9Pattern Recognition Letters
9PLoS ONE
9Journal of Chemical Information and Modeling
9Fundamenta Informaticae
9ERCIM News
8Traitement du Signal
8Theory of Computing Systems
8Journal of Theoretical Computer Science (TCS)
8Journal of Multiple-Valued Logic and Soft Computing
8International Journal of Pattern Recognition and Artificial Intelligence
8Computer Speech and Language
7SIAM Journal on Computing
7Revue Internationale de Géomatique
7Order
7Neural Networks
7Journal of the Acoustical Society of America
7Journal of Physiology - Paris
7Journal Européen des Systèmes Automatisés (JESA)
7International Journal of Computational Geometry and Applications
7BMC Bioinformatics
6Proteins - Structure, Function and Bioinformatics
6Pour la science
6Nucleic Acids Research
6Neural Computation
6Journal of Universal Computer Science
6Journal of Parallel and Distributed Computing
6Journal of Machine Learning Research
6Journal of Logic, Language and Information
6Journal of Cellular Automata
6Journal of Artificial Intelligence Research
6Journal in Computer Virology
6International Journal of Production Research
6IEEE Transactions on Pattern Analysis and Machine Intelligence
6IEEE Transactions on Parallel and Distributed Systems
6Computers and Graphics
6Automatica
6Annals of Operations Research
5Techniques de l'Ingenieur
5Scientometrics
5RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)
5RAIRO - Operations Research
5Processus décisionnels de Markov en intelligence artificielle
5Physica D: Nonlinear Phenomena
5Natural Computing
5Logical Methods in Computer Science
5Les processus métiers : concepts, modèles et systèmes
5IEEE Transactions on Visualization and Computer Graphics
5IEEE Transactions on Industrial Informatics
5IEEE Transactions on Automatic Control
5IEEE Annals of the History of Computing
5Génie logiciel
5European Journal of Operational Research
5Dixième Colloque International Francophone sur l'Ecrit et le Document
5Discrete Mathematics
5Discrete Mathematics and Theoretical Computer Science
5Computers and Geosciences
5Cahiers Gutenberg
5Bioinformatics
5BMC Neuroscience
4Zpravodaj (Československého sdružení uživatelů TeXu, ISSN 1211-6661)
4Traitement Automatique des Langues (TAL)
4Standards pour la gestion des réseaux et des services
4Speech Communication
4Sciences et Technologies
 de l'Information et de la Communication
 pour l'Éducation et la Formation (STICEF)
4SHS Web of Conferences
4Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux
4Random Structures and Algorithms
4Parallel Processing Letters
4Mathematics of Computation / Mathematics of Computation
4Markov Decision Processes in Artificial Intelligence
4Linux Magazine
4Langages
4Journal of Mathematical Imaging and Vision
4Journal of Computer Security
4Journal of Complexity
4Journal of Biological Chemistry
4International Journal on Artificial Intelligence Tools
4International Journal of Network Management
4International Journal of Information Sciences for Decision Making
4International Journal of Foundations of Computer Science
4Innovative Software Development in GIS
4Image and Vision Computing
4IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
4IEEE Transactions on Neural Networks
4IEEE Transactions on Network and Service Management
4IEEE Transactions on Computers
4IEEE Transactions on Circuits and Systems Part 1 Fundamental Theory and Applications
4IEEE Transactions on Audio, Speech and Language Processing
4IEEE Signal Processing Letters
4Formal Aspects of Computing
4Encyclopédie de l'informatique et des systèmes d'information
4Discrete Geometry for Computer Imagery
4Designs, Codes and Cryptography
4Computers in Industry
4Computer-Aided Design
4Computer Speech & Language / Computer Speech and Language
4Artificial Intelligence
4Algorithmica
4ACM Transactions on Algorithms
3XXVIes Journées d'Etude sur la Parole - JEP 2006
3Theory and Applications of Categories
3The Journal of Virtual Worlds Research
3Techniques et Sciences Informatiquess
3Synthese
3Studia Logica
3Software: Practice and Experience
3Software Process: Principles, Methodology, and Technology
3Référence temporelle et nominale
3Revue d'Anthropologie des Connaissances
3Revue Internationale de CFAO et d'informatique graphique et d'informatique graphique
3Revue I3 - Information Interaction Intelligence
3Proceedings of the 9th European Conference on Speech Communication and Technology - Interspeech - Eurospeech 2005
3Proceedings of the 49th. IEEE Conf. Decision Control
3Proceedings of the 14th European Workshop on Natural Language Generation (ENLG)
3Proceedings of PARA 2010 conference: State of the Art in Scientific and Parallel Computing
3Proceedings ICNLSP'2015, International Conference on Natural Language and Speech Processing
3Physical Review Letters
3Physical Review E : Statistical, Nonlinear, and Soft Matter Physics
3Mathematics in Computer Science
3Logical Methods in Computer Science (LMCS)
3Lecture Notes of Computer Science
3Knowledge Organization
3Journal of Software Testing, Verification, and Reliability
3Journal of Scheduling
3Journal of Molecular Modeling
3Journal of Molecular Graphics and Modelling
3Journal of Intelligent Transportation Systems: Technology, Planning, and Operations
3Journal of Information Management and Scientometrics
3Journal of Information Assurance and Security
3Journal of Graph Algorithms and Applications (JGAA)
3Journal of Discrete and Computational Geometry
3Journal of Cryptology
3Journal of Computer and System Sciences
3Journal of Computational Neuroscience
3Journal of Applied Logic
3Interspeech 2011
3International Journal on Software Tools for Technology Transfer
3International Journal of Software and Informatics (IJSI)
3International Journal of Production Economics
3International Journal of Computer-Supported Collaborative Learning
3International Journal of Computer Vision
3International Journal of Computer Integrated Manufacturing
3International Conference on Pattern Recognition
3International Conference on Document Analysis and Recognition
3Intelligence économique et problèmes décisionnels
3Information Sciences
3In Cognito - Cahiers Romans de Sciences Cognitives
3IEEE Transactions on Signal Processing
3IEEE Transactions on Industrial Electronics
3IEEE Transactions on Broadcasting
3Graphics Recognition. Recent Advances and New Opportunities
3Graphics Recognition. Achievements, Challenges, and Evolution
3Frontiers in Systems Neuroscience
3Frontiers in Neuroscience
3Encyclopedia of Cryptography and Security
3Electronic Notes in Discrete Mathematics
3Electronic Letters on Computer Vision and Image Analysis
3EURASIP Journal on Advances in Signal Processing
3EPL
3Développements logiciels en géomatique -- innovations et mutualisation
3Distributed and Parallel Database (Weston, Conn.)s
3Decision and Control (CDC), 2012 IEEE 51st Annual Conference on
3Computers and Operations Research
3Computers and Electronics in Agriculture
3Computer Vision and Image Understanding
3Chaos, Solitons and Fractals
3Biological Cybernetics (Modeling)
3Autonomous Robots
3Automotive Embedded Systems Handbook
3Annals of Telecommunications - annales des télécommunications
3Annals of Pure and Applied Logic
3Advances in Modal Logic
3Advances in Applied Mathematics
3Advances in Applied Clifford Algebras
3Actes du 11ème Colloque International Francophone sur l'Ecrit et le Document
3Actes de la conférence RFIA 2014
3ACM Transactions on Embedded Computing Systems (TECS)
3ACM SIGBED Review
2eLife
2Vocabulaire des sciences cognitives : neuro-sciences cognitives, psychologie, intelligence artificielle, linguistique et philosophie de l'esprit
2Visual Computer
2UML-B - Specification for Proven Embedded Systems Design
2The Journal of Symbolic Logic
2The Embedded Systems Handbook
2Telecommunication Systems
2Technique et Science Informatiques
2Tangente
2Systèmes temps réel 2 - Ordonnancement, réseaux et qualité de service
2Swarm Intelligence
2Studies in Health Technology and Informatics
2Strain
2SpringerPlus
2Some Tapas of Computer Algebra
2Soft Computing
2Signal Processing
2Shader X6: Advanced Rendering Techniques
2Scientific Reports
2Sciences et Techniques Educatives
2Réseaux et systèmes répartis, calculateurs Parallèles
2Revue des nouvelles technologies de l'information
2Revue des Interactions Humaines Médiatisées (RIHM)
2Revue Internationale d'Intelligence Economique
2Research on Language and Computation
2Requirements Engineering
2Real-Time Systems
2Raisonnements sur l'espace et le temps : des modèles aux applications
2Raisonnement sur l'espace et le temps
2Programmez!
2Proceedings
2Proceedings of the seventh International Natural Language Generation Conference
2Proceedings of the VLDB Endowment (PVLDB)
2Proceedings of the National Academy of Sciences of the United States of America
2Proceedings of the London Mathematical Society
2Proceedings of the International Conference on Computational Linguistics (COLING 2012)
2Proceedings of the IEEE
2Proceedings of the European Control Conference
2Proceedings of the 9th European Conference on Speech Communication and Technology - Interspeech - Eurospeech 2005 - Lisbon, Portugal
2Proceedings of the 8th European Nonlinear Oscillations Conference
2Proceedings of The IASTED International Conference on Databases and Applications - DBA'2006
2Proceedings SLSP'2015, 3rd International Conference on Statistical Language and Speech Processing
2Proc. of LREC 2002
2Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
2Perturbations et réajustements : langue et langage
2PLoS Computational Biology
2Ordonnancement dans les systèmes temps réel
2Optics and Lasers in Engineering
2Operations Research Letters
2Nordic Journal of Computing
2New Fundamental Technologies in Data Mining
2Neurocomputing / EEG Neurocomputing
2Nature
2Natural Language Engineering
2Medical Image Analysis
2Mechanisms for Autonomous Management of Networks and Services
2Matériaux & Techniques
2Mathematics and Mathematics-Mechanization
2MathPAD
2Markov Processes and Related Fields
2MISC - Le journal de la sécurité informatique
2Logic Journal of the Interest Group in Pure and Applied Logics
2Logic Journal of the IGPL
2Lexique et inférence(s)
2Les Cahiers de l'INRIA - La Recherche
2Lecture Notes in Business Information Processing
2Lecture Notes in Artificial Intelligence
2Language Resources and Evaluation
2Landscape Ecology
2L'Évolution Psychiatrique
2Knowledge-Based Systems
2Journal of Visual Communication and Image Representation
2Journal of Systems and Software
2Journal of Physics A: Mathematical and Theoretical
2Journal of Number Theory
2Journal of Neurophysiology
2Journal of Network and Systems Management
2Journal of Molecular Catalysis B: Enzymatic
2Journal of Molecular Biology
2Journal of Mechanisms and Robotics
2Journal of Mathematical Cryptology
2Journal of Language Modelling
2Journal of Intelligent and Robotic Systems
2Journal of Intelligent Information Systems
2Journal of Health & Medical Informatics
2Journal of Functional Programming
2Journal of Discrete Algorithms
2Journal of Decision Systems
2Journal of Computational and Applied Mathematics
2Journal of Computational Physics
2Journal of Biomedical Informatics
2Journal of Automata Languages and Combinatorics
2Journal of Algorithms in Cognition, Informatics and Logic
2Journal für die reine und angewandte Mathematik
2Journal de Théorie des Nombres de Bordeaux
2JRES 2011
2Interspeech 2008
2International Journal of Unconventional Computing
2International Journal of Swarm Intelligence Research
2International Journal of Speech Technology
2International Journal of Software Engineering and Knowledge Engineering
2International Journal of Shape Modeling
2International Journal of Security and Networks
2International Journal of Robust and Nonlinear Control
2International Journal of Network Security
2International Journal of Medical Informatics
2International Journal of Mathematics and Computer Science
2International Journal of High Performance Computing and Networking
2International Journal of High Performance Computing Applications
2International Journal of Computer Assisted Radiology and Surgery
2International Computer Games Association Journal
2Instrumental Studies in Arabic Phonetics
2Innovations in Systems and Software Engineering
2Ingénierie des Langues
2Ingénierie des Connaissances - IC 2007
2Informations, Savoirs, Décisions et Médiations (ISDM)
2Informatica
2Image Processing On Line
2IFAC papers online
2IEEE Transactions on Vehicular Technology
2IEEE Transactions on Image Processing
2IEEE Computer Graphics and Applications
2IEEE Communications Magazine
2IEE Proceedings - Software
2Human Language Technology. Challenges for Computer Science and Linguistics. 5th Language and Technology Conference, LTC 2011, Poznan, Poland, November 25-27, 2011, Revised Selected Papers
2Higher-Order and Symbolic Computation
2Handbook of Research on Practices and Outcomes in Virtual Worlds
2Handbook of Modal Logic
2Handbook of Document Image Processing and Recognition
2Géométrie discrète et images numériques
2Graphics Recognition. New Trends and Challenges. 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers
2Gene
2Gazette des Mathématiciens
2Fuzzy Sets and Systems
2Formal Methods in System Design
2Formal Concept Analysis
2Festschrift for Egon Börger
2FPGA Implementations of Neural Networks
2FASEB Journal
2Expert Systems with Applications
2Experimental Mathematics
2Evolutionary Computation in Combinatorial Optimization
2European Journal of Combinatorics
2Energy Conversion and Management
2Encéphale
2Encyclopedia of Data Warehousing and Mining
2Encyclopedia of Computational Neuroscience: SpringerReference
2Encyclopedia of Algorithms
2Electronic Proceedings in Theoretical Computer Science
2Electronic Journal of Combinatorics
2Electronic Communications of the EASST
2Ecological Modelling
2EURASIP Journal on Audio, Speech, and Music Processing
2EPJ Web of Conferences
2Dossier Pour la Science
2Data and Knowledge Engineering
2Curves and Surfaces
2Current Topics in Medicinal Chemistry
2Control Engineering Practice
2Computing Meaning
2Computers and Informatics
2Computerized Medical Imaging and Graphics
2Computer Networks and Isdn Systems
2Computer Communications
2Computer Analysis of Images and Patterns
2Computer Aided Geometric Design
2Computational Linguistics
2Computational Geosciences
2Compositio Mathematica
2Combinatorics, Probability and Computing
2Cognitive Neurodynamics
2Cognitive Computation
2Case-Based Reasoning Research and Development
2Canadian Journal of Information & Library Science / La Revue Canadienne des Sciences de l'Information et de la Bibliothéconomie
2Cahiers de linguistique française
2CRIN
2CGAL User and Reference Manual 3.3 edition
2Bulletin de l'EPI (Enseignement Public et Informatique)
2Bulletin de l'AFIA
2Biological cybernetics.
2Biochemical and Biophysical Research Communications
2BMC Medical Informatics and Decision Making
2Au commencement était le verbe. Syntaxe, Sémantique et Cognition
2Artif. Intell.
2Ars Combinatoria
2Approches Formelles dans l'Assistance au Développement de Logiciels
2Applied Soft Computing
2Applied Parallel and Scientific Computing
2Annual Reviews in Control
2American Control Conference, ACC 2013
2American Control Conference, 2013. Proceedings of the 2013
2Algebra Universalis
2Advances in Knowledge Organization
2Actes des 19es Journées Francophones d'Ingénierie des Connaissances (IC 2008)
2Actes de la conférence conjointe JEP-TALN-RECITAL 2012
2Actes de la conférence RFIA 2012
2Actes de la conférence EIAH 2007
2Actes de Traitement Automatique des Langues Naturelles
2Acta Arithmetica
2ACM Transactions on Mathematical Software
2ACM Transactions on Autonomous and Adaptive Systems
27ème Colloque Technologies de l'Information et de la Communication pour l'Enseignement, TICE 2010
2--
1toms
1th World Multiconference on Systemics, Cybernetics and Informatics - SCI'2003
1soumission
1semiotique
1research report (Max-Planck-Institut für Informatik)
1proceedings of Language Resources and Evaluation LREC
1proceedings of Language & Technology Conference
1proceedings of LTC2015
1proceedings of IEEE International Conference on Signal Processing and Communications
1proceedings of Automatic Speech Recognition and Understanding
1proceeding of INTERSPEECH 2007
1proceeding of EUROSPEECH/INTERSPEECH 2005
1proc 9th TC3 World Conference on Computers in Education
1international journal of data mining modelling and management
1international Journal of Computational Biology and Drug Design. Special Issue on: "Systems Biology Approaches in Biological and Biomedical Research"
1imagen-a
1http://www.science-and-you.com
1e-Informatica Software Engineering Journal (ISEJ)
1e-Collaborations and Virtual Organizations
1communications in stochastic analysis
1atelier ERTSI (INFORSID 2008)
1actes de la conférence TALN 07
1actes de la conférence MTT 09
1actes de Traitement et Analyse de l'Information Méthodes et Applications
1acte des 6 èmes journées francophones sur les réseaux bayésiens
1Zeitschrift für Kristallographie
1XXIIe Colloque GRETSI Traitement du Signal & des Images, GRETSI 2009
1XML Finland '99
1XIV Krajowa Konferencja Naukowa
Biocybernetyka i Inzynieria Biomedyczna
1XIV Krajowa Konferencja Naukowa Biocybernetyka i Inzynieria Biomedyczna
1World Wide Web
1Workshop on Information Forensics and Security
1Workshop Proceedings of ICMLA 2011
1Workshop Interdisciplinaire sur la Sécurité Globale
1Words, Sequences, Languages : Where Computer Science, Biology and Linguistics Meet
1WoLLIC 2010
1Wireless and Mobile Networks Security
1Wiley Encyclopedia of Electrical and Electronics Engineering
1Webmedia Minicourse Book
1Web Services Research for Emerging Applications: Discoveries and Trends
1Web Services Foundations
1Web Intelligence and Intelligent Agents
1Web Intelligence and Agent Systems: An International Journal - WIAS
1Web Information Systems and Technologies - Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers
1We will show them: Essays in Honour of Dov Gabbay
1WWW 2012 - SWCS'12 Workshop
1WSEAS Transactions on Information Science and Applications
1WIT Transactions on Information and Communication Technologies
1Vingt-deuxièmes journées francophones sur les systèmes multi-agents, Loriol-sur-Drôme, France, Octobre 8-10, 2014.
1Vidéo 3D : Capture, traitement et diffusion
1Veille Technologique
1VSST'2010 - Veille Stratégique Scientifique et Technologique
1VSST 2009
1VI. International Conference on Enformatika, Systems Sciences and Engineering - ESSE 2005
1V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems
1V.S.S.T.'2009 VEILLE STRATEGIQUE SCIENTIFIQUE & TECHNOLOGIQUE
1Uniform Distribution Theory
1Uncertainty in Geometric Computations
1USENIX ;login:
1UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods
1Télémédecine et e-santé
1Typed Lambda Calculi and Applications
1Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI 2015.
1Twentieth Annual IEEE Symposium on Logic in Computer Science
1Twentieth Annual Computational Neuroscience Meeting: CNS*2011
1Trustworthy Cyber-Physical Systems Engineering
1Trends in Genetics
1Trees - Structure and Function
1Treebanks: Building and Using Parsed Corpora
1Transport Theory and Statistical Physics
1Transgenic research.
1Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
1Transactions on Computational Collective Intelligence
1Transaction on Engineering, Computing and Technology
1Traité IC2 : Information - Commande - Communication
1Traitement et Analyse de l'information : Méthodes et Applications
1Traitement automatique de langues
1Traitement Automatique des Langues Naturelle (TALN 2010)
1Topics in Computational Number Theory inspired by Peter L. Montgomery
1Tools with Artificial Intelligence - ICTAI 2011
1Tools in Artificial Intelligence
1Time, space and identity: essays on deixis
1Thérapie
1Third international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS'010)
1Third International Workshop on Graphics Recognition - GREC'99
1Theory and applications of models of computation
1Theoria
1The first Workshop on Alignment of Business Process and Security Modelling (ABPSM'11)
1The UMAP Journal

Manipulations en shell (Unix/Dilib)

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