- No setSpec -
|
ListIdentifiers
ListRecords
|
8116
|
ListIdentifiers
ListRecords
|
11871
|
Sixth International Workshop on Automated Verification of Critical Systems (AVOCS06)
|
ListIdentifiers
ListRecords
|
22
|
ListIdentifiers
ListRecords
|
22
|
Colloque Francophone sur l'Ingénierie des Protocoles 2006 (CFIP2006)
|
ListIdentifiers
ListRecords
|
35
|
ListIdentifiers
ListRecords
|
35
|
Chemical Sciences (CHIM)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
4
|
Chemo-informatique (CHIM:CHEM)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Chimie théorique et/ou physique (CHIM:THEO)
|
ListIdentifiers
ListRecords
|
3
|
ListIdentifiers
ListRecords
|
3
|
Workshop on Formal and Computational Cryptography FCC 2006 (FCC2006)
|
ListIdentifiers
ListRecords
|
9
|
ListIdentifiers
ListRecords
|
9
|
IMS 2006 (IMS2006)
|
ListIdentifiers
ListRecords
|
0
|
ListIdentifiers
ListRecords
|
1
|
Computer Science (INFO)
|
ListIdentifiers
ListRecords
|
7977
|
ListIdentifiers
ListRecords
|
11543
|
Artificial Intelligence (INFO:INFO_AI)
|
ListIdentifiers
ListRecords
|
244
|
ListIdentifiers
ListRecords
|
309
|
Computer Arithmetic (INFO:INFO_AO)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
6
|
Architecture (INFO:INFO_AR)
|
ListIdentifiers
ListRecords
|
30
|
ListIdentifiers
ListRecords
|
50
|
Automatic Control Engineering (INFO:INFO_AU)
|
ListIdentifiers
ListRecords
|
18
|
ListIdentifiers
ListRecords
|
24
|
Bioinformatic (INFO:INFO_BI)
|
ListIdentifiers
ListRecords
|
19
|
ListIdentifiers
ListRecords
|
24
|
Biotechnology (INFO:INFO_BT)
|
ListIdentifiers
ListRecords
|
6
|
ListIdentifiers
ListRecords
|
8
|
Computational Complexity (INFO:INFO_CC)
|
ListIdentifiers
ListRecords
|
14
|
ListIdentifiers
ListRecords
|
26
|
Computational Engineering, Finance, and Science (INFO:INFO_CE)
|
ListIdentifiers
ListRecords
|
13
|
ListIdentifiers
ListRecords
|
15
|
Computational Geometry (INFO:INFO_CG)
|
ListIdentifiers
ListRecords
|
55
|
ListIdentifiers
ListRecords
|
83
|
Computation and Language (INFO:INFO_CL)
|
ListIdentifiers
ListRecords
|
69
|
ListIdentifiers
ListRecords
|
86
|
Cryptography and Security (INFO:INFO_CR)
|
ListIdentifiers
ListRecords
|
54
|
ListIdentifiers
ListRecords
|
103
|
Computer Vision and Pattern Recognition (INFO:INFO_CV)
|
ListIdentifiers
ListRecords
|
139
|
ListIdentifiers
ListRecords
|
165
|
Computers and Society (INFO:INFO_CY)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Databases (INFO:INFO_DB)
|
ListIdentifiers
ListRecords
|
31
|
ListIdentifiers
ListRecords
|
44
|
Distributed, Parallel, and Cluster Computing (INFO:INFO_DC)
|
ListIdentifiers
ListRecords
|
138
|
ListIdentifiers
ListRecords
|
160
|
Digital Libraries (INFO:INFO_DL)
|
ListIdentifiers
ListRecords
|
5
|
ListIdentifiers
ListRecords
|
56
|
Discrete Mathematics (INFO:INFO_DM)
|
ListIdentifiers
ListRecords
|
12
|
ListIdentifiers
ListRecords
|
18
|
Data Structures and Algorithms (INFO:INFO_DS)
|
ListIdentifiers
ListRecords
|
136
|
ListIdentifiers
ListRecords
|
176
|
Embedded Systems (INFO:INFO_ES)
|
ListIdentifiers
ListRecords
|
25
|
ListIdentifiers
ListRecords
|
40
|
General Literature (INFO:INFO_GL)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Computer Graphics and Virtual Reality (INFO:INFO_GR)
|
ListIdentifiers
ListRecords
|
33
|
ListIdentifiers
ListRecords
|
38
|
Computer Science and Game Theory (INFO:INFO_GT)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Human-Computer Interaction (INFO:INFO_HC)
|
ListIdentifiers
ListRecords
|
66
|
ListIdentifiers
ListRecords
|
82
|
Computer Aided Engineering (INFO:INFO_IA)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
10
|
Medical Imaging (INFO:INFO_IM)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
26
|
Information Retrieval (INFO:INFO_IR)
|
ListIdentifiers
ListRecords
|
99
|
ListIdentifiers
ListRecords
|
125
|
Information Theory and Coding (INFO:INFO_IT)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
4
|
Ubiquitous Computing (INFO:INFO_IU)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
5
|
Learning (INFO:INFO_LG)
|
ListIdentifiers
ListRecords
|
67
|
ListIdentifiers
ListRecords
|
80
|
Logic in Computer Science (INFO:INFO_LO)
|
ListIdentifiers
ListRecords
|
138
|
ListIdentifiers
ListRecords
|
180
|
Multiagent Systems (INFO:INFO_MA)
|
ListIdentifiers
ListRecords
|
16
|
ListIdentifiers
ListRecords
|
29
|
Mobile Computing (INFO:INFO_MC)
|
ListIdentifiers
ListRecords
|
9
|
ListIdentifiers
ListRecords
|
15
|
Multimedia (INFO:INFO_MM)
|
ListIdentifiers
ListRecords
|
36
|
ListIdentifiers
ListRecords
|
44
|
Modeling and Simulation (INFO:INFO_MO)
|
ListIdentifiers
ListRecords
|
27
|
ListIdentifiers
ListRecords
|
46
|
Mathematical Software (INFO:INFO_MS)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Numerical Analysis (INFO:INFO_NA)
|
ListIdentifiers
ListRecords
|
18
|
ListIdentifiers
ListRecords
|
25
|
Neural and Evolutionary Computing (INFO:INFO_NE)
|
ListIdentifiers
ListRecords
|
35
|
ListIdentifiers
ListRecords
|
84
|
Networking and Telecommunication (INFO:INFO_NI)
|
ListIdentifiers
ListRecords
|
233
|
ListIdentifiers
ListRecords
|
342
|
Other (INFO:INFO_OH)
|
ListIdentifiers
ListRecords
|
6275
|
ListIdentifiers
ListRecords
|
9209
|
Operating Systems (INFO:INFO_OS)
|
ListIdentifiers
ListRecords
|
35
|
ListIdentifiers
ListRecords
|
41
|
Performance and Reliability (INFO:INFO_PF)
|
ListIdentifiers
ListRecords
|
32
|
ListIdentifiers
ListRecords
|
51
|
Programming Languages (INFO:INFO_PL)
|
ListIdentifiers
ListRecords
|
78
|
ListIdentifiers
ListRecords
|
100
|
Robotics (INFO:INFO_RB)
|
ListIdentifiers
ListRecords
|
20
|
ListIdentifiers
ListRecords
|
21
|
Operations Research (INFO:INFO_RO)
|
ListIdentifiers
ListRecords
|
41
|
ListIdentifiers
ListRecords
|
71
|
Symbolic Computation (INFO:INFO_SC)
|
ListIdentifiers
ListRecords
|
66
|
ListIdentifiers
ListRecords
|
72
|
Sound (INFO:INFO_SD)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
5
|
Software Engineering (INFO:INFO_SE)
|
ListIdentifiers
ListRecords
|
54
|
ListIdentifiers
ListRecords
|
79
|
Image Processing (INFO:INFO_TI)
|
ListIdentifiers
ListRecords
|
11
|
ListIdentifiers
ListRecords
|
19
|
Signal and Image Processing (INFO:INFO_TS)
|
ListIdentifiers
ListRecords
|
9
|
ListIdentifiers
ListRecords
|
10
|
Document and Text Processing (INFO:INFO_TT)
|
ListIdentifiers
ListRecords
|
124
|
ListIdentifiers
ListRecords
|
127
|
Web (INFO:INFO_WB)
|
ListIdentifiers
ListRecords
|
15
|
ListIdentifiers
ListRecords
|
19
|
Inria (INRIA)
|
ListIdentifiers
ListRecords
|
7777
|
ListIdentifiers
ListRecords
|
11357
|
Inria Futurs (INRIA-FUTURS)
|
ListIdentifiers
ListRecords
|
355
|
ListIdentifiers
ListRecords
|
388
|
Inria Lorraine (INRIA-LORRAINE)
|
ListIdentifiers
ListRecords
|
858
|
ListIdentifiers
ListRecords
|
3918
|
Inria Rennes (INRIA-RENNES)
|
ListIdentifiers
ListRecords
|
1417
|
ListIdentifiers
ListRecords
|
1433
|
Inria Rhône-Alpes (INRIA-RHA)
|
ListIdentifiers
ListRecords
|
802
|
ListIdentifiers
ListRecords
|
867
|
Inria Rocquencourt (INRIA-ROCQ)
|
ListIdentifiers
ListRecords
|
2403
|
ListIdentifiers
ListRecords
|
2491
|
Rapports de recherche et Technique de l'Inria (INRIA-RRRT)
|
ListIdentifiers
ListRecords
|
6338
|
ListIdentifiers
ListRecords
|
6338
|
Inria Sophia-Antipolis (INRIA-SOPHIA)
|
ListIdentifiers
ListRecords
|
1977
|
ListIdentifiers
ListRecords
|
2039
|
Irisa (IRISA)
|
ListIdentifiers
ListRecords
|
1102
|
ListIdentifiers
ListRecords
|
1114
|
International Workshop on Frontiers in Handwriting Recognition (IWFHR10)
|
ListIdentifiers
ListRecords
|
95
|
ListIdentifiers
ListRecords
|
95
|
Premières Journées Francophones de Programmation par Contraintes - JFPC 2005 (JFPC05)
|
ListIdentifiers
ListRecords
|
49
|
ListIdentifiers
ListRecords
|
49
|
Deuxièmes Journées Francophones de Programmation par Contraintes - JFPC 2006 (JFPC06)
|
ListIdentifiers
ListRecords
|
46
|
ListIdentifiers
ListRecords
|
46
|
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées (LIAMA)
|
ListIdentifiers
ListRecords
|
17
|
ListIdentifiers
ListRecords
|
80
|
Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
|
ListIdentifiers
ListRecords
|
724
|
ListIdentifiers
ListRecords
|
4036
|
Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC (MAJESTIC05)
|
ListIdentifiers
ListRecords
|
64
|
ListIdentifiers
ListRecords
|
64
|
Mathematics (MATH)
|
ListIdentifiers
ListRecords
|
267
|
ListIdentifiers
ListRecords
|
323
|
Commutative Algebra (MATH:MATH_AC)
|
ListIdentifiers
ListRecords
|
13
|
ListIdentifiers
ListRecords
|
13
|
Algebraic Geometry (MATH:MATH_AG)
|
ListIdentifiers
ListRecords
|
19
|
ListIdentifiers
ListRecords
|
19
|
Analysis of PDEs (MATH:MATH_AP)
|
ListIdentifiers
ListRecords
|
20
|
ListIdentifiers
ListRecords
|
25
|
Classical Analysis and ODEs (MATH:MATH_CA)
|
ListIdentifiers
ListRecords
|
3
|
ListIdentifiers
ListRecords
|
4
|
Combinatorics (MATH:MATH_CO)
|
ListIdentifiers
ListRecords
|
7
|
ListIdentifiers
ListRecords
|
14
|
Category Theory (MATH:MATH_CT)
|
ListIdentifiers
ListRecords
|
5
|
ListIdentifiers
ListRecords
|
6
|
Complex Variables (MATH:MATH_CV)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Differential Geometry (MATH:MATH_DG)
|
ListIdentifiers
ListRecords
|
6
|
ListIdentifiers
ListRecords
|
7
|
Dynamical Systems (MATH:MATH_DS)
|
ListIdentifiers
ListRecords
|
13
|
ListIdentifiers
ListRecords
|
25
|
Functional Analysis (MATH:MATH_FA)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
15
|
General Mathematics (MATH:MATH_GM)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
2
|
History and Overview (MATH:MATH_HO)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Logic (MATH:MATH_LO)
|
ListIdentifiers
ListRecords
|
5
|
ListIdentifiers
ListRecords
|
12
|
Mathematical Physics (MATH:MATH_MP)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
4
|
Numerical Analysis (MATH:MATH_NA)
|
ListIdentifiers
ListRecords
|
33
|
ListIdentifiers
ListRecords
|
36
|
Number Theory (MATH:MATH_NT)
|
ListIdentifiers
ListRecords
|
3
|
ListIdentifiers
ListRecords
|
8
|
Operator Algebras (MATH:MATH_OA)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Optimization and Control (MATH:MATH_OC)
|
ListIdentifiers
ListRecords
|
115
|
ListIdentifiers
ListRecords
|
145
|
Probability (MATH:MATH_PR)
|
ListIdentifiers
ListRecords
|
59
|
ListIdentifiers
ListRecords
|
64
|
Rings and Algebras (MATH:MATH_RA)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
4
|
Spectral Theory (MATH:MATH_SP)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
3
|
Statistics (MATH:MATH_ST)
|
ListIdentifiers
ListRecords
|
10
|
ListIdentifiers
ListRecords
|
10
|
Nonlinear Sciences (NLIN)
|
ListIdentifiers
ListRecords
|
9
|
ListIdentifiers
ListRecords
|
13
|
Adaptation and Self-Organizing Systems (NLIN:NLIN_AO)
|
ListIdentifiers
ListRecords
|
7
|
ListIdentifiers
ListRecords
|
11
|
Chaotic Dynamics (NLIN:NLIN_CD)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Cellular Automata and Lattice Gases (NLIN:NLIN_CG)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Exactly Solvable and Integrable Systems (NLIN:NLIN_SI)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Physics (PHYS)
|
ListIdentifiers
ListRecords
|
26
|
ListIdentifiers
ListRecords
|
28
|
Condensed Matter (PHYS:COND)
|
ListIdentifiers
ListRecords
|
3
|
ListIdentifiers
ListRecords
|
3
|
Disordered Systems and Neural Networks (PHYS:COND:CM_DS_NN)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Statistical Mechanics (PHYS:COND:CM_SM)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Mechanics (PHYS:MECA)
|
ListIdentifiers
ListRecords
|
6
|
ListIdentifiers
ListRecords
|
6
|
Acoustics (PHYS:MECA:ACOU)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Biomechanics (PHYS:MECA:BIOM)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Mechanical engineering (PHYS:MECA:GEME)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Mechanics of the fluids (PHYS:MECA:MEFL)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Mechanics of materials (PHYS:MECA:MEMA)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Mechanics of the structures (PHYS:MECA:STRU)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Mathematical Physics (PHYS:MPHY)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
4
|
Physics (PHYS:PHYS)
|
ListIdentifiers
ListRecords
|
13
|
ListIdentifiers
ListRecords
|
14
|
Atmospheric and Oceanic Physics (PHYS:PHYS:PHYS_AO-PH)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Biological Physics (PHYS:PHYS:PHYS_BIO-PH)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
2
|
Computational Physics (PHYS:PHYS:PHYS_COMP-PH)
|
ListIdentifiers
ListRecords
|
3
|
ListIdentifiers
ListRecords
|
3
|
Fluid Dynamics (PHYS:PHYS:PHYS_FLU-DYN)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
General Physics (PHYS:PHYS:PHYS_GEN-PH)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Geophysics (PHYS:PHYS:PHYS_GEO-PH)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Instrumentation and Detectors (PHYS:PHYS:PHYS_INS-DET)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Optics (PHYS:PHYS:PHYS_OPTICS)
|
ListIdentifiers
ListRecords
|
3
|
ListIdentifiers
ListRecords
|
3
|
Quantum Physics (PHYS:QPHY)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
3
|
Life Sciences (SDV)
|
ListIdentifiers
ListRecords
|
56
|
ListIdentifiers
ListRecords
|
86
|
Biochimie, Biologie Moléculaire (SDV:BBM)
|
ListIdentifiers
ListRecords
|
6
|
ListIdentifiers
ListRecords
|
17
|
Biomolecules (SDV:BBM:BC)
|
ListIdentifiers
ListRecords
|
0
|
ListIdentifiers
ListRecords
|
2
|
Genomics (SDV:BBM:GTP)
|
ListIdentifiers
ListRecords
|
5
|
ListIdentifiers
ListRecords
|
14
|
Biologie cellulaire (SDV:BC)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
6
|
Subcellular Processes (SDV:BC:BC)
|
ListIdentifiers
ListRecords
|
0
|
ListIdentifiers
ListRecords
|
1
|
Cell Behavior (SDV:BC:IC)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
5
|
Quantitative Methods (SDV:BIBS)
|
ListIdentifiers
ListRecords
|
19
|
ListIdentifiers
ListRecords
|
24
|
Biodiversité (SDV:BID)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Populations and Evolution (SDV:BID:EVO)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Biotechnologies (SDV:BIO)
|
ListIdentifiers
ListRecords
|
6
|
ListIdentifiers
ListRecords
|
8
|
Ecologie, Environnement (SDV:EE)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
5
|
Ingénierie biomédicale (SDV:IB)
|
ListIdentifiers
ListRecords
|
3
|
ListIdentifiers
ListRecords
|
5
|
Imagerie (SDV:IB:IMA)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
2
|
Médecine humaine et pathologie (SDV:MHEP)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
3
|
Cardiologie et système cardiovasculaire (SDV:MHEP:CSC)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Tissues and Organs (SDV:MHEP:PHY)
|
ListIdentifiers
ListRecords
|
0
|
ListIdentifiers
ListRecords
|
2
|
Neurons and Cognition (SDV:NEU)
|
ListIdentifiers
ListRecords
|
7
|
ListIdentifiers
ListRecords
|
10
|
Sciences cognitives (SDV:NEU:SC)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Other (SDV:OT)
|
ListIdentifiers
ListRecords
|
8
|
ListIdentifiers
ListRecords
|
14
|
Sciences agricoles (SDV:SA)
|
ListIdentifiers
ListRecords
|
4
|
ListIdentifiers
ListRecords
|
4
|
Sciences et techniques de l'agriculture (SDV:SA:STA)
|
ListIdentifiers
ListRecords
|
1
|
ListIdentifiers
ListRecords
|
1
|
Santé publique et épidémiologie (SDV:SPEE)
|
ListIdentifiers
ListRecords
|
2
|
ListIdentifiers
ListRecords
|
3
|
WONS 2006 (WONS2006)
|
ListIdentifiers
ListRecords
|
27
|
ListIdentifiers
ListRecords
|
27
|