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
term search (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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/71)
Export
export all inquiry results
(1)
Save TXT 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
book article
Term search in Rust
Annus, Tavo
;
Joram, Philipp
TyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development
2024
/
p. 62-73
https://doi.org/10.1145/3678000.3678210
Article at Scopus
book article
Number of records 1, displaying
1 - 1
keyword
71
1.
term search
2.
binary search networks
3.
cuckoo search (CS)
4.
graph and tree search strategies
5.
gravitational search
6.
gravitational search algorithm
7.
gravitationally inspired heuristic search
8.
job search
9.
job search theory
10.
neural architecture search
11.
neural network architecture search
12.
pattern search
13.
personalized search
14.
product search
15.
query-based search
16.
random search
17.
remote search and seizure
18.
search
19.
search algorithm
20.
search and matching theory
21.
search and rescue robots
22.
search and switching costs
23.
search engine
24.
search for meaning
25.
similarity search
26.
string search
27.
tabu search
28.
urban search and rescue
29.
alnus long-term population dynamics
30.
fleet long-term scheduling
31.
long short term memory
32.
long short -term memory (LSTM)
33.
long short-term memory
34.
long short-term memory (LSTM)
35.
Long Short-Term Memory Networks (LSTMs)
36.
Long Term Evolution
37.
long term evolution (LTE)
38.
long term monitoring
39.
long term nanotoxicity
40.
long term renovation strategy
41.
long term stability of rooms
42.
long term viability
43.
long-short term learning
44.
long-short term memory
45.
long-short-term memory (LSTM)
46.
long-term
47.
long-term circulation
48.
long-term cultivation
49.
long-term datasets
50.
long-term evolution (LTE) sidelink
51.
long-term hydrodynamic modelling
52.
long-term monitoring
53.
long-term performance analysis
54.
long-term residents
55.
long-term security
56.
long-term simulation
57.
long-term stability
58.
negative term
59.
short and long term prediction
60.
short-term forecast
61.
Short‐Term Scientific Mission (STSM)
62.
short-term energy management
63.
short-term load forecast
64.
short-term load forecasting
65.
short-term loans
66.
short-term thermal storage
67.
term operations
68.
term-frequency analysis
69.
three term control systems
70.
two term control systems
71.
two-term control
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT