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

automatic program synthesis (keyword)

types of item

keyword 128

subject term 2