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

automatic program synthesis (keyword)

types of item

keyword 126

subject term 2