Searching - TalTech Research Portal

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. high-temperature synthesis (SHS)
77. histone synthesis
78. hydrothermal synthesis
79. in situ synthesis
80. Layout Synthesis
81. lipid synthesis
82. logic synthesis
83. low temperature synthesis
84. mechanically activated synthesis
85. mechanically activated thermal synthesis
86. microwave assisted synthesis
87. microwave synthesis
88. microwave-assisted synthesis
89. molten salt synthesis
90. molten salt synthesis-growth
91. nano-crystal synthesis
92. nanomaterials, synthesis
93. Nanoparticle synthesis
94. organic synthesis
95. parameter synthesis
96. peroxide synthesis
97. pigment synthesis
98. Protecting-group-free synthesis
99. protein synthesis
100. Realist synthesis
101. Self-Propagating High-Temperature Synthesis
102. semi-synthesis
103. signal synthesis
104. sol-gel synthesis
105. solution based synthesis
106. solution combustion synthesis
107. speech synthesis
108. stereoselective synthesis
109. synthesis
110. synthesis gas
111. synthesis on hierarchical service models
112. synthesis strategies
113. template synthesis
114. test path synthesis
115. total synthesis
116. wet-combustion synthesis

automatic program synthesis (keyword)

types of item

keyword 116

subject term 2