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

automatic program synthesis (keyword)

types of item

keyword 109

subject term 2