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
automata learning (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
1
Look more..
(3/230)
Export
export all inquiry results
(1)
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
book article EST
/
book article ENG
Yet another canonical nondeterministic automaton
Maarand, Hendrik
;
Tamm, Hellis
Descriptional Complexity of Formal Systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings
2022
/
p. 184-196 : ill
https://doi.org/10.1007/978-3-031-13257-5_14
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
228
1.
automata learning
2.
analytical mechanics of cellular automata
3.
asynchronous automata
4.
Automata, Formal Verification
5.
bisimulation of Uppaal timed automata
6.
cellular automata
7.
deterministic automata
8.
finite automata
9.
nondeterministic finite automata
10.
reversible deter-ministic finite automata (REV-DFAs)
11.
timed automata
12.
timed automata mutation
13.
timed-automata
14.
UPPAAL timed automata
15.
active blended learning
16.
active learning
17.
active learning methods
18.
adversarial machine learning
19.
adversarial machine-learning
20.
algorithm controlling the learning process
21.
appetitive associative learning
22.
approach to learning
23.
Attitude to learning
24.
authoritarian learning
25.
automatic machine learning (autoML)
26.
BIM-enabled learning
27.
BIM-enabled learning environment
28.
blended learning
29.
business school as learning organization
30.
business school learning organization questionnaire (BSLOQ)
31.
business school learning rate dependence on GPD
32.
business school learning rate measurement instrument
33.
client learning
34.
Collaborative e-learning
35.
collaborative learning
36.
competence based learning
37.
competence learning
38.
competence-based learning
39.
competency based learning
40.
Component organised learning (COL)
41.
computer assisted language learning
42.
computer based learning
43.
computer-assisted language learning (CALL)
44.
cooperative reinforcement learning
45.
coping with online teaching and learning
46.
customer learning
47.
deep learning
48.
deep learning (DL)
49.
deep learning classifier
50.
deep learning model
51.
deep learning model quantization
52.
deep learning network
53.
deep reinforcement learning
54.
Deep reinforcing learning SDN
55.
Deep-learning
56.
deep-learning (DL)
57.
dictionary learning
58.
digital learning module
59.
Dimensions of Learning Organisation Questionnaire (DLOQ)
60.
distance learning
61.
distant learning
62.
distributed independent reinforcement learning
63.
double Q-learning
64.
effective teaching and learning
65.
e-learning
66.
e‐learning
67.
e-Learning course
68.
e-Learning database
69.
e-learning environment
70.
electronic learning
71.
embedded deep learning
72.
Emergency remote learning
73.
ensemble learning
74.
enterprising and entrepreneurial learning
75.
entrepreneurial learning
76.
entrepreneurial teaching and learning
77.
experiential learning
78.
Federated learning
79.
federated learning (FL)
80.
flexible learning
81.
game based learning
82.
game-based learning
83.
graph machine learning
84.
guided in-service learning
85.
hands-on-learning
86.
history learning
87.
hybrid learning
88.
incremental learning
89.
inductive learning
90.
inductive learning algorithm
91.
interactive learning objects
92.
interdisciplinary learning
93.
interpretable machine learning
94.
inverse reinforcement learning
95.
investor learning
96.
iterative learning
97.
Learner-centered learning environment
98.
learning
99.
learning (artificial intelligence)
100.
learning activities
101.
learning adaptation in autonomous vehicles
102.
learning algorithm
103.
learning analysis
104.
learning analytics
105.
learning and experimentation
106.
learning and health outcomes
107.
learning and memory
108.
learning business school
109.
learning by teaching
110.
learning concept
111.
learning design
112.
learning difficulties
113.
Learning environment
114.
learning experience
115.
learning infrastructures
116.
Learning Lab
117.
learning management
118.
learning management system
119.
learning management systems
120.
learning methodology
121.
learning metrics
122.
learning models
123.
learning motivation
124.
learning objectives
125.
learning objects
126.
learning organization
127.
learning orientation
128.
learning outcomes
129.
learning process
130.
learning processes
131.
learning rate
132.
learning rate dependence on ownership form
133.
learning rate of organization
134.
learning region
135.
learning situation
136.
learning software agents
137.
learning styles
138.
learning systems
139.
learning technologies
140.
learning theories
141.
learning through the questionnaires
142.
learning university
143.
learning-to-rank
144.
lifelong learning
145.
machine learning
146.
machine learning (ML)
147.
machine learning algorithms
148.
machine learning approach
149.
Machine Learning Explainable model
150.
machine learning for environmental applications
151.
machine learning models
152.
machine learning systems
153.
machine-learning
154.
machine-learning predictive model
155.
mathematics students learning habits
156.
Meaningful learning
157.
measuring learning
158.
mobile learning
159.
model learning
160.
Multi-agent reinforcement learning
161.
mutual learning
162.
new learning models
163.
node embedding learning
164.
NREN e-learning
165.
on-device transfer learning
166.
online learning
167.
ontologies for learning systems
168.
ontology learning
169.
organisational learning
170.
organizational learning
171.
organizational learning measurement instruments
172.
organizational learning rate dependence on management
173.
organizational learning rate measurement
174.
outcome oriented learning
175.
Parkinson’s disease machine learning
176.
peer‐to‐peer learning group
177.
personalised learning
178.
policy learning
179.
problem-based learning
180.
Problem-based learning (PBL)
181.
project learning
182.
project-based learning
183.
Q-learning
184.
Q-learning algorithm
185.
query learning
186.
regional learning
187.
reinforcement learning
188.
Reinforcement Learning (RL)
189.
relative learning performance
190.
Remote learning
191.
research-oriented learning
192.
reusable learning objects
193.
robust machine learning
194.
scholarship of teaching and learning
195.
self learning software
196.
self learning system
197.
self-learning
198.
self-regulated learning
199.
semi-supervised learning
200.
small data machine learning
201.
smart learning
202.
smart learning environment
203.
social learning
204.
stochastic learning theory
205.
supervised learning
206.
supervised learning data
207.
supervised machine learning
208.
task based learning
209.
team learning
210.
Technological learning
211.
technology-enhanced learning
212.
the dimensions of the learning organisation
213.
the dimensions of the learning organization questionnaire (DLOQ)
214.
tools for interactive learning and teaching
215.
trans-disciplinary social-learning
216.
transfer learning
217.
true online reinforcement learning
218.
ubiquitous learning
219.
unsupervised learning
220.
unsupervised machine learning
221.
urban learning center
222.
value of learning
223.
web and computerbased learning
224.
Web and computer-based learning
225.
virtual learning environment
226.
virtual learning factory
227.
work-based learning
228.
workplace learning
author
1
1.
ELIXIR Machine Learning Focus Group
subject term
1
1.
UNDP Urban Learning Center
×
match
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