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. Speaker-attributed automatic speech
34. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
35. Apollo program
36. Baltic-wide HELCOM COMBINE monitoring program
37. BIP (Blended Intensive Program)
38. college program
39. European Program for Prevention
40. master program
41. monitoring program
42. NATO. Science for Peace and Security Program
43. probabilistic relational program logic
44. program
45. program analysis
46. program debugging
47. program equivalence
48. program logics
49. program management
50. program packages
51. program transformation
52. program verification
53. SNAP program
54. stufy program
55. test program generation
56. asymmetric synthesis
57. Automated Synthesis of Software-based Self-test
58. behavioral synthesis
59. chemical synthesis
60. chemoenzymatic synthesis
61. circuit synthesis
62. combustion synthesis
63. control system synthesis
64. counterexample-guided inductive synthesis
65. data synthesis
66. diversity-oriented synthesis
67. DNA synthesis
68. ecological synthesis
69. electrochemical synthesis
70. enantioselective synthesis
71. evidence synthesis
72. ex-situ synthesis
73. flame aerosol synthesis
74. green synthesis
75. green synthesis biomaterials
76. growth-synthesis
77. high level synthesis
78. high-level decision diagrams (HLDD) synthesis
79. high-level synthesis
80. High-Level Synthesis (HLS)
81. high-level synthesis for test
82. highly chemoselective synthesis
83. high-temperature synthesis (SHS)
84. histone synthesis
85. hydrothermal synthesis
86. in situ synthesis
87. in-situ synthesis
88. Layout Synthesis
89. lipid synthesis
90. logic synthesis
91. low temperature synthesis
92. mechanically activated synthesis
93. mechanically activated thermal synthesis
94. microwave assisted synthesis
95. microwave synthesis
96. microwave-assisted synthesis
97. molten salt synthesis
98. molten salt synthesis-growth
99. nano-crystal synthesis
100. nanomaterials, synthesis
101. Nanoparticle synthesis
102. nickel nanoparticle synthesis
103. organic synthesis
104. parameter synthesis
105. peroxide synthesis
106. pigment synthesis
107. Protecting-group-free synthesis
108. protein synthesis
109. Realist synthesis
110. Self-Propagating High-Temperature Synthesis
111. semi-synthesis
112. signal synthesis
113. sol-gel synthesis
114. solution based synthesis
115. solution combustion synthesis
116. speech synthesis
117. stereoselective synthesis
118. sustainable synthesis
119. synthesis
120. synthesis gas
121. synthesis on hierarchical service models
122. synthesis strategies
123. telescoped synthesis
124. template synthesis
125. test path synthesis
126. total synthesis
127. wet-combustion synthesis

automatic program synthesis (keyword)

types of item

keyword 127

subject term 2