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

automatic program synthesis (võtmesõna)

teaviku laadid

võtmesõna 115

märksõna 2