M

22139 publications

  1. Model Checking Software
  2. Model Checking Software
  3. Model Checking Software
  4. Model Checking Software
  5. Model Checking Software
  6. Model Checking Software
  7. Model Checking Software
  8. Model Checking Software
  9. Model Checking Software
  10. Model Checking Software
  11. Model Checking Software
  12. Model Checking Software
  13. Model Checking Software
  14. Model Checking Software
  15. Model Checking Software
  16. Model Checking Software
  17. Model Checking Software
  18. Model Checking Software
  19. Model Checking and Artificial Intelligence
  20. Model Checking and Artificial Intelligence
  21. Model Checking and Artificial Intelligence
  22. Model Checking, Synthesis, and Learning
  23. Model Choice in Nonnested Families
  24. Model Construction with GPSS-FORTRAN Version 3
  25. Model Design and Simulation Analysis
  26. Model Development and Optimization
  27. Model Driven Architecture
  28. Model Driven Architecture - Foundations and Applications
  29. Model Driven Architecture and Ontology Development
  30. Model Driven Architecture – Foundations and Applications
  31. Model Driven Architecture – Foundations and Applications
  32. Model Driven Architecture – Foundations and Applications
  33. Model Driven Architecture- Foundations and Applications
  34. Model Driven Engineering Languages and Systems
  35. Model Driven Engineering Languages and Systems
  36. Model Driven Engineering Languages and Systems
  37. Model Driven Engineering Languages and Systems
  38. Model Driven Engineering Languages and Systems
  39. Model Driven Engineering Languages and Systems
  40. Model Driven Engineering Languages and Systems
  41. Model Driven Engineering Languages and Systems
  42. Model Driven Engineering Languages and Systems
  43. Model Driven Engineering and Ontology Development
  44. Model Driven SOA
  45. Model Elements and Network Solutions of Heat, Mass and Momentum Transport Processes
  46. Model Engineering in Mixed-Signal Circuit Design
  47. Model Fire in a Two-Storey Timber Building
  48. Model Generation for Natural Language Interpretation and Analysis
  49. Model Generation in Electronic Design
  50. Model Identification and Adaptive Control
  51. Model Income Tax Treaties
  52. Model Neural Networks and Behavior
  53. Model Order Reduction Techniques
  54. Model Order Reduction Techniques with Applications in Electrical Engineering
  55. Model Order Reduction and Applications
  56. Model Order Reduction: Theory, Research Aspects and Applications
  57. Model Organisms for Microbial Pathogenesis, Biofilm Formation and Antimicrobial Drug Discovery
  58. Model Organisms to Study Biological Activities and Toxicity of Nanoparticles
  59. Model Predictive Control
  60. Model Predictive Control
  61. Model Predictive Control
  62. Model Predictive Control System Design and Implementation Using MATLAB®
  63. Model Predictive Control for AC Motors
  64. Model Predictive Control in the Process Industry
  65. Model Predictive Control of Microgrids
  66. Model Predictive Control of Wastewater Systems
  67. Model Predictive Vibration Control
  68. Model Predictive control
  69. Model Reduction Methods for Vector Autoregressive Processes
  70. Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena
  71. Model Reduction for Circuit Simulation
  72. Model Reduction for Control System Design
  73. Model Reduction of Complex Dynamical Systems
  74. Model Reduction of Parametrized Systems
  75. Model Selection and Error Estimation in a Nutshell
  76. Model Selection and Inference
  77. Model Selection and Multimodel Inference
  78. Model Systems in Aging
  79. Model Systems in Catalysis
  80. Model Systems of Development and Aging of the Nervous System
  81. Model Systems to Study the Excretory Function of Higher Plants
  82. Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading
  83. Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II
  84. Model Theoretic Algebra Selected Topics
  85. Model Theory
  86. Model Theory and Algebra
  87. Model Theory and Algebraic Geometry
  88. Model Theory and Applications
  89. Model Theory and Arithmetic
  90. Model Theory and Topoi
  91. Model Theory for Modal Logic
  92. Model Theory in Algebra, Analysis and Arithmetic
  93. Model Theory of Algebra and Arithmetic
  94. Model United Nations
  95. Model Validation and Uncertainty Quantification, Volume 3
  96. Model Validation and Uncertainty Quantification, Volume 3
  97. Model Validation and Uncertainty Quantification, Volume 3
  98. Model Validation and Uncertainty Quantification, Volume 3
  99. Model Validation and Uncertainty Quantification, Volume 3
  100. Model Validation and Uncertainty Quantification, Volume 3
  101. Model Validation and Uncertainty Quantification, Volume 3
  102. Model Validation and Uncertainty Quantification, Volume 3
  103. Model Validation and Uncertainty Quantification, Volume 3
  104. Model Validation and Uncertainty Quantification, Volume 3
  105. Model Validation for Power System Frequency Analysis
  106. Model and Data Engineering
  107. Model and Data Engineering
  108. Model and Data Engineering
  109. Model and Data Engineering
  110. Model and Data Engineering
  111. Model and Data Engineering
  112. Model and Data Engineering
  113. Model and Data Engineering
  114. Model and Data Engineering
  115. Model and Data Engineering
  116. Model and Data Engineering
  117. Model and Data Engineering
  118. Model and Design of Bipolar and MOS Current-Mode Logic
  119. Model and Design of Improved Current Mode Logic Gates
  120. Model and Mathematics: From the 19th to the 21st Century
  121. Model of the Response Function of CUORE Bolometers
  122. Model, Integrate, Search... Repeat
  123. Model-Aided Diagnosis of Mechanical Systems
  124. Model-Based Approaches to the Internet of Things
  125. Model-Based Control of Flying Robots for Robust Interaction Under Wind Influence
  126. Model-Based Control of Logistics Processes in Volatile Environments
  127. Model-Based Control of Networked Systems
  128. Model-Based Control of Particulate Processes
  129. Model-Based Control:
  130. Model-Based Decision Support Methodology with Environmental Applications
  131. Model-Based Demography
  132. Model-Based Design and Evaluation of Interactive Applications
  133. Model-Based Design of Adaptive Embedded Systems
  134. Model-Based Development and Evolution of Information Systems
  135. Model-Based Engineering of Collaborative Embedded Systems
  136. Model-Based Engineering of Embedded Real-Time Systems
  137. Model-Based Engineering of Embedded Systems
  138. Model-Based Fault Diagnosis
  139. Model-Based Fault Diagnosis Techniques
  140. Model-Based Methodologies for Pervasive and Embedded Software
  141. Model-Based Processing for Underwater Acoustic Arrays
  142. Model-Based Reasoning
  143. Model-Based Reasoning in Science and Technology
  144. Model-Based Reasoning in Science and Technology
  145. Model-Based Reasoning in Science and Technology
  146. Model-Based Reasoning in Science and Technology
  147. Model-Based Reasoning in Science, Technology, and Medicine
  148. Model-Based Reasoning in Scientific Discovery
  149. Model-Based Recursive Partitioning with Adjustment for Measurement Error
  150. Model-Based Reliability Systems Engineering
  151. Model-Based Safety and Assessment
  152. Model-Based Safety and Assessment
  153. Model-Based Safety and Assessment
  154. Model-Based Safety and Assessment
  155. Model-Based Safety and Assessment
  156. Model-Based Software Performance Analysis
  157. Model-Based Software and Data Integration
  158. Model-Based Systems Engineering with OPM and SysML
  159. Model-Based Testing of Reactive Systems
  160. Model-Centered Learning
  161. Model-Checking Based Data Retrieval
  162. Model-Driven Architecture in Practice
  163. Model-Driven Dependability Assessment of Software Systems
  164. Model-Driven Design Using Business Patterns
  165. Model-Driven Design Using IEC 61499
  166. Model-Driven Development and Operation of Multi-Cloud Applications
  167. Model-Driven Development of Advanced User Interfaces
  168. Model-Driven Development of Akoma Ntoso Application Profiles
  169. Model-Driven Development of Reliable Automotive Services
  170. Model-Driven Engineering Languages and Systems
  171. Model-Driven Engineering Languages and Systems
  172. Model-Driven Engineering and Software Development
  173. Model-Driven Engineering and Software Development
  174. Model-Driven Engineering and Software Development
  175. Model-Driven Engineering and Software Development
  176. Model-Driven Engineering and Software Development
  177. Model-Driven Engineering and Software Development
  178. Model-Driven Engineering and Software Development
  179. Model-Driven Engineering and Software Development
  180. Model-Driven Organizational and Business Agility
  181. Model-Driven Organizational and Business Agility
  182. Model-Driven Risk Analysis
  183. Model-Driven Software Development
  184. Model-Driven Software Engineering in Practice
  185. Model-Driven Software Engineering in Practice
  186. Model-Driven Software Migration: A Methodology
  187. Model-Driven Testing
  188. Model-Driven-Configuration-Management
  189. Model-Free Prediction and Regression
  190. Model-Free Stabilization by Extremum Seeking
  191. Model-Implementation Fidelity in Cyber Physical System Design
  192. Model-Integrating Software Components
  193. Model-Oriented Design of Experiments
  194. Model-Reference Adaptive Control
  195. Model-Reference Robust Tuning of PID Controllers
  196. Model-based Fault Diagnosis Techniques
  197. Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques
  198. Model-based Geostatistics
  199. Model-based Health Monitoring of Hybrid Systems
  200. Model-based Nonlinear Control of Aeroengines