Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
automatic program synthesis (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(2/104)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Model-based simulation of a hydraulic closed-loop rotary transmission with automatic control
Grossschmidt, Gunnar
;
Harf, Mait
International journal of fluid power
2021
/
42 p. : ill
https://doi.org/10.13052/ijfp1439-9776.2212
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
Model-based simulation of hydraulic hoses in an intelligent environment
Grossschmidt, Gunnar
;
Harf, Mait
International journal of fluid power
2018
/
p. 27-41 : ill
https://doi.org/10.1080/14399776.2017.1374140
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
103
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 machine learning (autoML)
17.
automatic model creation
18.
automatic processing of solutions
19.
automatic programming
20.
Automatic Security Verification
21.
automatic speaker verification
22.
automatic speech recognition
23.
automatic test case generation
24.
automatic test pattern generation
25.
automatic tide gauges
26.
automatic weather stations
27.
automatic voltage control
28.
DLL for automatic calibration
29.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
30.
Apollo program
31.
Baltic-wide HELCOM COMBINE monitoring program
32.
college program
33.
master program
34.
monitoring program
35.
NATO. Science for Peace and Security Program
36.
probabilistic relational program logic
37.
program
38.
program analysis
39.
program equivalence
40.
program management
41.
program packages
42.
program transformation
43.
program verification
44.
SNAP program
45.
stufy program
46.
test program generation
47.
asymmetric synthesis
48.
behavioral synthesis
49.
chemical synthesis
50.
chemoenzymatic synthesis
51.
circuit synthesis
52.
combustion synthesis
53.
control system synthesis
54.
counterexample-guided inductive synthesis
55.
data synthesis
56.
diversity-oriented synthesis
57.
enantioselective synthesis
58.
evidence synthesis
59.
flame aerosol synthesis
60.
green synthesis
61.
green synthesis biomaterials
62.
growth-synthesis
63.
high level synthesis
64.
high-level decision diagrams (HLDD) synthesis
65.
High-Level Synthesis (HLS)
66.
high-level synthesis for test
67.
highly chemoselective synthesis
68.
hydrothermal synthesis
69.
in situ synthesis
70.
Layout Synthesis
71.
logic synthesis
72.
low temperature synthesis
73.
mechanically activated synthesis
74.
mechanically activated thermal synthesis
75.
microwave assisted synthesis
76.
microwave synthesis
77.
microwave-assisted synthesis
78.
molten salt synthesis
79.
molten salt synthesis-growth
80.
nano-crystal synthesis
81.
nanomaterials, synthesis
82.
Nanoparticle synthesis
83.
organic synthesis
84.
parameter synthesis
85.
peroxide synthesis
86.
pigment synthesis
87.
Protecting-group-free synthesis
88.
protein synthesis
89.
Realist synthesis
90.
Self-Propagating High-Temperature Synthesis
91.
semi-synthesis
92.
signal synthesis
93.
sol-gel synthesis
94.
solution based synthesis
95.
solution combustion synthesis
96.
stereoselective synthesis
97.
synthesis
98.
synthesis gas
99.
synthesis on hierarchical service models
100.
template synthesis
101.
test path synthesis
102.
total synthesis
103.
wet-combustion synthesis
subject term
1
1.
PHARE (programm). Farm Environmental Managing Program projekt)
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT