Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
modeling languages (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(3/163)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Experiments with LLMs for converting language to logic
Tammet, Tanel
;
Järv, Priit
;
Verrev, Martin
;
Draheim, Dirk
Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II
2024
/
p. 305 - 314
https://doi.org/10.1007/978-3-031-71170-1_24
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Galois sub-hierarchies used for use case modeling
Torim, Ants
CLA 2013 : proceedings of the Tenth International Conference on Concept Lattices and Their Applications : La Rochelle, France, October 15-18, 2013
2013
/
p. 21-32 : ill
https://ceur-ws.org/Vol-1062/paper2.pdf
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
161
1.
modeling languages
2.
atoms of regular languages
3.
Common European Framework of Reference for Languages
4.
computer programming languages
5.
context free languages
6.
context-free languages
7.
data flow languages
8.
domain specific languages
9.
formal languages
10.
Indigenous languages
11.
less-resourced languages
12.
low-resource languages
13.
object constraint languages
14.
object-oriented programming languages
15.
problem-oriented languages
16.
problem-oriented programming languages
17.
programming languages
18.
query languages
19.
regular languages
20.
semantics of programming languages
21.
textual domain specific languages
22.
under-resourced languages
23.
acoustic modeling
24.
Activity-based transport modeling
25.
agentbased modeling
26.
agent-based modeling
27.
agent-based modeling (ABM)
28.
agentoriented modeling
29.
agent-oriented modeling
30.
agent-oriented modeling (AOM)
31.
analytical modeling
32.
aspect-oriented modeling
33.
Atmospheric modeling
34.
Baltic Sea modeling
35.
Bayesian modeling
36.
Biological system modeling
37.
biophysical modeling
38.
borehole modeling
39.
building information modeling
40.
Building Information Modeling (BIM)
41.
building modeling
42.
Business Event Modeling Notation (BEMN)
43.
Business Process Modeling
44.
CFD modeling
45.
circuit modeling
46.
climate modeling
47.
computational modeling
48.
constitutive modeling
49.
Cross-level Modeling of Faults in Digital Systems
50.
data modeling
51.
data-driven modeling
52.
device modeling
53.
dynamic modeling
54.
economic modeling
55.
electricity consumption modeling
56.
electricity demand modeling
57.
electromagnetic modeling
58.
electrothermal modeling
59.
end-of-life-modeling
60.
energy modeling
61.
energy system modeling
62.
enterprise architecture modeling
63.
enterprise modeling
64.
fault modeling
65.
feature modeling
66.
finite element modeling
67.
finite-element modeling
68.
fractal enterprise modeling
69.
fracture modeling
70.
frequency domain modeling
71.
fused deposition modeling
72.
fuzzy modeling
73.
gait modeling
74.
Graph Modeling Language (GML)
75.
high-frequency machine modeling
76.
high-frequency modeling
77.
High-level Decision Diagrams for Modeling Digital Systems
78.
homology modeling
79.
human behavior modeling
80.
human gait modeling
81.
hydrodynamic modeling
82.
hysteresis modeling
83.
integrated circuit modeling
84.
Interpretative Structural Modeling (ISM)
85.
inverse modeling
86.
kinetic modeling
87.
land use modeling
88.
language modeling
89.
lighting modeling
90.
lithium batteries and power system modeling
91.
load modeling
92.
lower limb mathematical modeling
93.
mathematical modeling
94.
meta modeling
95.
mobility modeling
96.
modeling
97.
modeling and simulation
98.
modeling for control
99.
modeling language
100.
modeling tools
101.
modelling/modeling, building integrated PV
102.
molecular modeling
103.
multi-level modeling
104.
multiple criteria modeling
105.
multiscale modeling
106.
numerical modeling
107.
ocean modeling
108.
oil spill modeling
109.
ontology-based modeling
110.
operads and modeling
111.
orthographic system modeling
112.
oupled physical-biogeochemical modeling
113.
partial least squares structural equation modeling (PLS-SEM)
114.
Participatory modeling
115.
PCBA component modeling
116.
physical modeling
117.
physics-based modeling
118.
power system modeling
119.
predictive modeling
120.
probabilistic modeling
121.
process modeling
122.
process modeling and information systems within the extended enterprise
123.
process modeling for engineering applications
124.
radio link modeling
125.
register transfer level modeling decision diagams
126.
rule-based modeling
127.
seamless modeling
128.
semiconductor device modeling
129.
Sensors modeling and analysis
130.
ship performance modeling
131.
signal simulation and modeling
132.
simulation modeling
133.
Simulink/MATLAB modeling environment
134.
small-signal modeling
135.
software modeling
136.
space–time modeling
137.
spatial modeling
138.
statistical language modeling
139.
stochastic modeling
140.
Structural Decision Diagrams for Modeling Digital Circuits
141.
Structural equation modeling
142.
SysML modeling software
143.
system modeling
144.
systems modeling
145.
zonal modeling
146.
Threat modeling
147.
threat modeling (TM)
148.
topic modeling
149.
traffic modeling
150.
trajectory modeling
151.
transaction-level modeling
152.
transport sector modeling
153.
tsunami numerical modeling
154.
uncertainty modeling
155.
Urban Building Energy Modeling (UBEM)
156.
urban drainage system modeling
157.
user modeling
158.
vehicle modeling
159.
virtual modeling
160.
3D city modeling
161.
3D modeling
autor
1
1.
Tallinn Polytechnic Institute, Chair of Foreign Languages
TTÜ märksõna
1
1.
Building Information Modeling
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT