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

automatic program synthesis (keyword)

types of item

keyword 123

subject term 2