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