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

automatic program synthesis (keyword)

types of item

keyword 112

subject term 2