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
Searching
My bookmarks
0
term search (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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/72)
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
72
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.
state space search optimization
27.
string search
28.
tabu search
29.
urban search and rescue
30.
alnus long-term population dynamics
31.
fleet long-term scheduling
32.
long short term memory
33.
long short -term memory (LSTM)
34.
long short-term memory
35.
long short-term memory (LSTM)
36.
Long Short-Term Memory Networks (LSTMs)
37.
Long Term Evolution
38.
long term evolution (LTE)
39.
long term monitoring
40.
long term nanotoxicity
41.
long term renovation strategy
42.
long term stability of rooms
43.
long term viability
44.
long-short term learning
45.
long-short term memory
46.
long-short-term memory (LSTM)
47.
long-term
48.
long-term circulation
49.
long-term cultivation
50.
long-term datasets
51.
long-term evolution (LTE) sidelink
52.
long-term hydrodynamic modelling
53.
long-term monitoring
54.
long-term performance analysis
55.
long-term residents
56.
long-term security
57.
long-term simulation
58.
long-term stability
59.
negative term
60.
short and long term prediction
61.
short-term forecast
62.
Short‐Term Scientific Mission (STSM)
63.
short-term energy management
64.
short-term load forecast
65.
short-term load forecasting
66.
short-term loans
67.
short-term thermal storage
68.
term operations
69.
term-frequency analysis
70.
three term control systems
71.
two term control systems
72.
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