Otsing - TalTech teadusportaal

1. automatic program synthesis
2. automatic test program generation
3. Alternative Transient Program-Electromagnetic Transient Program (ATP-EMTP)
4. automatic AI (autoAI)
5. automatic assertion mining
6. automatic calibration
7. automatic clutch engagement
8. automatic code generation
9. automatic composition method
10. automatic control
11. automatic control systems
12. automatic controllers
13. automatic error correction
14. automatic evaluation
15. automatic fault diagnosis
16. Automatic generation control
17. automatic GUI model generation
18. Automatic identification system
19. automatic identification system (AIS)
20. automatic machine learning (autoML)
21. automatic model creation
22. automatic processing of solutions
23. automatic programming
24. Automatic Security Verification
25. automatic speaker verification
26. automatic speech recognition
27. automatic test case generation
28. automatic test pattern generation
29. automatic tide gauges
30. automatic weather stations
31. automatic voltage control
32. DLL for automatic calibration
33. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
34. Apollo program
35. Baltic-wide HELCOM COMBINE monitoring program
36. college program
37. master program
38. monitoring program
39. NATO. Science for Peace and Security Program
40. probabilistic relational program logic
41. program
42. program analysis
43. program debugging
44. program equivalence
45. program management
46. program packages
47. program transformation
48. program verification
49. SNAP program
50. stufy program
51. test program generation
52. asymmetric synthesis
53. Automated Synthesis of Software-based Self-test
54. behavioral synthesis
55. chemical synthesis
56. chemoenzymatic synthesis
57. circuit synthesis
58. combustion synthesis
59. control system synthesis
60. counterexample-guided inductive synthesis
61. data synthesis
62. diversity-oriented synthesis
63. DNA synthesis
64. ecological synthesis
65. electrochemical synthesis
66. enantioselective synthesis
67. evidence synthesis
68. ex-situ synthesis
69. flame aerosol synthesis
70. green synthesis
71. green synthesis biomaterials
72. growth-synthesis
73. high level synthesis
74. high-level decision diagrams (HLDD) synthesis
75. high-level synthesis
76. High-Level Synthesis (HLS)
77. high-level synthesis for test
78. highly chemoselective synthesis
79. high-temperature synthesis (SHS)
80. histone synthesis
81. hydrothermal synthesis
82. in situ synthesis
83. in-situ synthesis
84. Layout Synthesis
85. lipid synthesis
86. logic synthesis
87. low temperature synthesis
88. mechanically activated synthesis
89. mechanically activated thermal synthesis
90. microwave assisted synthesis
91. microwave synthesis
92. microwave-assisted synthesis
93. molten salt synthesis
94. molten salt synthesis-growth
95. nano-crystal synthesis
96. nanomaterials, synthesis
97. Nanoparticle synthesis
98. nickel nanoparticle synthesis
99. organic synthesis
100. parameter synthesis
101. peroxide synthesis
102. pigment synthesis
103. Protecting-group-free synthesis
104. protein synthesis
105. Realist synthesis
106. Self-Propagating High-Temperature Synthesis
107. semi-synthesis
108. signal synthesis
109. sol-gel synthesis
110. solution based synthesis
111. solution combustion synthesis
112. speech synthesis
113. stereoselective synthesis
114. synthesis
115. synthesis gas
116. synthesis on hierarchical service models
117. synthesis strategies
118. telescoped synthesis
119. template synthesis
120. test path synthesis
121. total synthesis
122. wet-combustion synthesis

automatic program synthesis (võtmesõna)

teaviku laadid

võtmesõna 122

märksõna 2