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 (HLS)
69. high-level synthesis for test
70. highly chemoselective synthesis
71. histone synthesis
72. hydrothermal synthesis
73. in situ synthesis
74. Layout Synthesis
75. logic synthesis
76. low temperature synthesis
77. mechanically activated synthesis
78. mechanically activated thermal synthesis
79. microwave assisted synthesis
80. microwave synthesis
81. microwave-assisted synthesis
82. molten salt synthesis
83. molten salt synthesis-growth
84. nano-crystal synthesis
85. nanomaterials, synthesis
86. Nanoparticle synthesis
87. organic synthesis
88. parameter synthesis
89. peroxide synthesis
90. pigment synthesis
91. Protecting-group-free synthesis
92. protein synthesis
93. Realist synthesis
94. Self-Propagating High-Temperature Synthesis
95. semi-synthesis
96. signal synthesis
97. sol-gel synthesis
98. solution based synthesis
99. solution combustion synthesis
100. speech synthesis
101. stereoselective synthesis
102. synthesis
103. synthesis gas
104. synthesis on hierarchical service models
105. template synthesis
106. test path synthesis
107. total synthesis
108. wet-combustion synthesis

automatic program synthesis (keyword)

types of item

keyword 108

subject term 2