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

automatic program synthesis (keyword)

types of item

keyword 117

subject term 2