A

30885 publications

1. Automated Machine Learning and Meta-Learning for Multimedia
2. Automated Machine Learning for Person Re-Identification
3. Automated Market Makers
4. Automated Mathematical Induction
5. Automated Metadata in Multimedia Information Systems: Creation, Refinement, Use in Surrogates, and Evaluation
6. Automated Methods in Cryptographic Fault Analysis
7. Automated Model Building
8. Automated Modeling of Physical Systems
9. Automated Multi-Camera Surveillance: Algorithms and Practice
10. Automated Nanohandling by Microrobots
11. Automated Organizations
12. Automated Pattern Analysis in Petroleum Exploration
13. Automated Pattern Recognition of Communication Behaviour in Electronic Business Negotiations
14. Automated Practical Reasoning
15. Automated Process Planning for Additive Manufacturing with Directed Energy Deposition
16. Automated Reasoning
17. Automated Reasoning
18. Automated Reasoning
19. Automated Reasoning
20. Automated Reasoning
21. Automated Reasoning
22. Automated Reasoning
23. Automated Reasoning
24. Automated Reasoning
25. Automated Reasoning
26. Automated Reasoning
27. Automated Reasoning
28. Automated Reasoning
29. Automated Reasoning
30. Automated Reasoning
31. Automated Reasoning
32. Automated Reasoning
33. Automated Reasoning and Mathematics
34. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
35. Automated Reasoning for Systems Biology and Medicine
36. Automated Reasoning with Analytic Tableaux and Related Methods
37. Automated Reasoning with Analytic Tableaux and Related Methods
38. Automated Reasoning with Analytic Tableaux and Related Methods
39. Automated Reasoning with Analytic Tableaux and Related Methods
40. Automated Reasoning with Analytic Tableaux and Related Methods
41. Automated Reasoning with Analytic Tableaux and Related Methods
42. Automated Reasoning with Analytic Tableaux and Related Methods
43. Automated Reasoning with Analytic Tableaux and Related Methods
44. Automated Reasoning with Analytic Tableaux and Related Methods
45. Automated Reasoning with Analytic Tableaux and Related Methods
46. Automated Reasoning with Analytic Tableaux and Related Methods
47. Automated Reasoning with Analytic Tableaux and Related Methods
48. Automated Reasoning with Analytic Tableaux and Related Methods
49. Automated Reasoning with Analytic Tableaux and Related Methods
50. Automated Reasoning with Analytic Tableaux and Related Methods
51. Automated Reasoning with Analytic Tableaux and Related Methods
52. Automated Reasoning with Analytic Tableaux and Related Methods
53. Automated Scheduling and Planning
54. Automated Security Management
55. Automated Software Diversity
56. Automated Software Engineering: A Deep Learning-Based Approach
57. Automated Software Testing
58. Automated Software and Service Composition
59. Automated Solution of Differential Equations by the Finite Element Method
60. Automated Taxonomy Discovery and Exploration
61. Automated Technologies for the Development and Production of Radiopharmaceuticals
62. Automated Technology for Verification and Analysis
63. Automated Technology for Verification and Analysis
64. Automated Technology for Verification and Analysis
65. Automated Technology for Verification and Analysis
66. Automated Technology for Verification and Analysis
67. Automated Technology for Verification and Analysis
68. Automated Technology for Verification and Analysis
69. Automated Technology for Verification and Analysis
70. Automated Technology for Verification and Analysis
71. Automated Technology for Verification and Analysis
72. Automated Technology for Verification and Analysis
73. Automated Technology for Verification and Analysis
74. Automated Technology for Verification and Analysis
75. Automated Technology for Verification and Analysis
76. Automated Technology for Verification and Analysis
77. Automated Technology for Verification and Analysis
78. Automated Technology for Verification and Analysis
79. Automated Technology for Verification and Analysis
80. Automated Technology for Verification and Analysis
81. Automated Technology for Verification and Analysis
82. Automated Technology for Verification and Analysis
83. Automated Technology for Verification and Analysis
84. Automated Technology for Verification and Analysis
85. Automated Technology for Verification and Analysis
86. Automated Theorem Proving
87. Automated Theorem Proving
88. Automated Theorem Proving
89. Automated Theorem Proving in Software Engineering
90. Automated Theory Formation in Pure Mathematics
91. Automated Trading with R
92. Automated Unit Testing with ABAP
93. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
94. Automated Vehicles as a Game Changer for Sustainable Mobility
95. Automated Verification of Concurrent Search Structures
96. Automated Web Site Evaluation
97. Automated Workflow Scheduling in Self-Adaptive Clouds
98. Automated and Algorithmic Debugging
99. Automated and Autonomous Navigation Powered by GNSS
100. Automated and Electric Vehicle: Design, Informatics and Sustainability
101. Automaten
102. Automaten
103. Automaten Sprachen Berechenbarkeit
104. Automaten und Sprachen: Theoretische Informatik für die Praxis
105. Automatentheorie
106. Automatentheorie und Logik
107. Automatic Algorithm Selection for Complex Simulation Problems
108. Automatic Ambiguity Resolution in Natural Language Processing
109. Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
110. Automatic Assessment of Parkinsonian Speech
111. Automatic Assessment of Parkinsonian Speech
112. Automatic Autocorrelation and Spectral Analysis
113. Automatic Calibration and Reconstruction for Active Vision Systems
114. Automatic Coding: Choice of Data Structures
115. Automatic Control Systems
116. Automatic Control Systems in Biomedical Engineering
117. Automatic Control and Emerging Technologies
118. Automatic Control of Atmospheric and Space Flight Vehicles
119. Automatic Control of Food Manufacturing Processes
120. Automatic Control with Experiments
121. Automatic Control with Experiments
122. Automatic Control with Interactive Tools
123. Automatic Control, Robotics, and Information Processing
124. Automatic Design of Decision-Tree Induction Algorithms
125. Automatic Detection of Rib Contours in Chest Radiographs
126. Automatic Detection of Verbal Deception
127. Automatic Differentiation of Algorithms
128. Automatic Differentiation: Applications, Theory, and Implementations
129. Automatic Differentiation: Techniques and Applications
130. Automatic Digital Document Processing and Management
131. Automatic Disambiguation of Author Names in Bibliographic Repositories
132. Automatic Extraction of Man-Made Objects from Aerial and Space Images
133. Automatic Extraction of Man-Made Objects from Aerial and Space Images (II)
134. Automatic Fingerprint Recognition Systems
135. Automatic Gain Control
136. Automatic Generation of Combinatorial Test Data
137. Automatic Generation of Computer Animation
138. Automatic Generation of Morphological Set Recognition Algorithms
139. Automatic German Text Simplification: Data, Evaluation, and Models
140. Automatic Imitation
141. Automatic Indexing and Abstracting of Document Texts
142. Automatic Language Identification in Texts
143. Automatic Layout Modification
144. Automatic Learning Techniques in Power Systems
145. Automatic Logic Synthesis Techniques for Digital Systems
146. Automatic Malware Analysis
147. Automatic Methods for the Refinement of System Models
148. Automatic Modulation Recognition of Communication Signals
149. Automatic Nonuniform Random Variate Generation
150. Automatic Parallelization
151. Automatic Parallelization
152. Automatic Performance Prediction of Parallel Programs
153. Automatic Processing of Natural-Language Electronic Texts with NooJ
154. Automatic Processing of Natural-Language Electronic Texts with NooJ
155. Automatic Program Development
156. Automatic Programming Applied to VLSI CAD Software: A Case Study
157. Automatic Programming and Numerical Methods of Analysis
158. Automatic Quantum Computer Programming
159. Automatic Question Generation
160. Automatic Re-engineering of Software Using Genetic Programming
161. Automatic SIMD Vectorization of SSA-based Control Flow Graphs
162. Automatic Speech Analysis and Recognition
163. Automatic Speech Recognition
164. Automatic Speech Recognition
165. Automatic Speech Recognition of Arabic Phonemes with Neural Networks
166. Automatic Speech Recognition on Mobile Devices and over Communication Networks
167. Automatic Speech Signal Analysis for Clinical Diagnosis and Assessment of Speech Disorders
168. Automatic Speech and Speaker Recognition
169. Automatic Structural Synthesis and Creative Design of Mechanisms
170. Automatic Supervision in Manufacturing
171. Automatic Syntactic Analysis Based on Selectional Preferences
172. Automatic Text Simplification
173. Automatic Tools for Designing Office Information Systems
174. Automatic Tuning of Compilers Using Machine Learning
175. Automatic Verification Methods for Finite State Systems
176. Automatic Verification of Sequential Infinite-State Processes
177. Automatic light Control Systems
178. Automatic trend estimation
179. Automatically Ordering Events and Times in Text
180. Automatik · Zubehör · Inbetriebnahme Geräuschbekämpfung Kälteanlagen · Wärmepumpen
181. Automatik · Zubehör · Inbetriebnahme Geräuschbekämpfung Kälteanlagen · Wärmepumpen
182. Automating Business Modelling
183. Automating Cities
184. Automating Crime Prevention, Surveillance, and Military Operations
185. Automating Data-Driven Modelling of Dynamical Systems
186. Automating Instructional Design, Development, and Delivery
187. Automating Instructional Design: Computer-Based Development and Delivery Tools
188. Automating Knowledge Acquisition for Expert Systems
189. Automating Linguistics
190. Automating Linux and Unix System Administration
191. Automating Quality Systems
192. Automating Systems Development
193. Automating Windows Administration
194. Automating the Analysis of Spatial Grids
195. Automating the Design of Data Mining Algorithms
196. Automation 2017
197. Automation 2018
198. Automation 2019
199. Automation 2020: Towards Industry of the Future
200. Automation 2021: Recent Achievements in Automation, Robotics and Measurement Techniques