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

automatic program synthesis (võtmesõna)

teaviku laadid

võtmesõna 113

märksõna 2