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

automatic program synthesis (keyword)

types of item

keyword 106

subject term 2