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

automatic program synthesis (keyword)

types of item

keyword 125

subject term 2