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
Otsing
Valitud kirjed
0
inverse methods (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Liitotsing
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..
(1/134)
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
Forward Proof Search for Intuitionistic Multimodal K Logics
Voorneveld, Niels Frits Willem
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings
2025
/
p. 335–353
https://doi.org/10.1007/978-3-032-06085-3_18
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
A mathematical model for abrasive erosion wear in composite Fe-based matrix with WC-Co reinforcement
Casesnoves, Francisco
;
Surženkov, Andrei
Materials and contact characterisation VIII
2017
/
p. 99-111 : ill
https://doi.org/10.2495/MC170101
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
134
1.
inverse methods
2.
inverse methods for engineering applications
3.
electromagnetic inverse problems
4.
inverse acoustic scattering
5.
inverse conductivity problem
6.
inverse design
7.
inverse kinematics
8.
inverse magnetostriction (IM)
9.
inverse modeling
10.
inverse problem
11.
inverse problem theory/applications
12.
inverse problems
13.
inverse problems theory/applications
14.
inverse reinforcement learning
15.
inverse scattering
16.
inverse shape problem
17.
Inverse shape problems
18.
inverse source problem
19.
inverse source problems
20.
inverse-airgap function
21.
the inverse problem
22.
ab-initio methods
23.
active learning methods
24.
algebraic methods
25.
algebraic/geometric methods
26.
an ensemble of compression methods
27.
analysis methods
28.
analytical methods
29.
approximate methods
30.
approximation methods
31.
assessment methods
32.
Backstepping methods
33.
biology experimental methods
34.
calculation methods
35.
casting methods
36.
Cesaro methods
37.
chemometric methods
38.
computational design methods
39.
computational methods
40.
computer aided methods
41.
computer vision-based methods
42.
control methods
43.
decontamination methods
44.
deep learning methods
45.
Design and assessment methods
46.
design methods
47.
detection methods
48.
diagnostics methods
49.
didactic methods
50.
difference algebraic methods
51.
digital methods
52.
direct methods
53.
electronic structure methods
54.
ensemble methods
55.
Euler-Knopp methods
56.
excavation methods
57.
extraction and detection methods
58.
finite-element (FE) methods
59.
finite-element methods
60.
finite-element methods (FEM)
61.
finite-element methods (FEMs)
62.
flow assessment methods
63.
formal methods
64.
frontier methods
65.
Gauss-Newton-type methods
66.
Gauss–Newton-type methods
67.
generalized Nörlund methods
68.
geometric methods
69.
graphic methods
70.
hybrid methods
71.
integration methods
72.
interaction methods
73.
interactive teaching methods
74.
interpretation methods
75.
invasive methods
76.
linear and nonlinear unsupervised methods
77.
material characterization methods
78.
Mathematical methods
79.
matrix methods
80.
methods
81.
Methods of Classification
82.
methods of measuring
83.
methods of study
84.
methods: data analysis
85.
Methods: statistical
86.
mixed methods
87.
mixed-methods
88.
model-free methods
89.
modulation methods
90.
Monte Carlo methods
91.
multi-criteria decision-making methods
92.
nearest neighbor methods
93.
numerical methods
94.
optic methods
95.
optimization methods
96.
outlier’s detection methods
97.
physico-chemical methods
98.
phytoplankton detection methods
99.
plan-driven methods
100.
polynomial methods
101.
practical teaching methods
102.
prediction methods
103.
pseudospectral methods
104.
qualitative methods
105.
qualitative research methods
106.
quantitative methods
107.
regular matrix methods
108.
research methods
109.
reversal methods
110.
sampling methods
111.
selection methods
112.
separation methods
113.
shootthrough control methods
114.
shoot-through control methods
115.
stability prediction methods
116.
standardized methods
117.
state space methods
118.
Statistical methods
119.
statistics methods
120.
substation testing methods
121.
Taguchi methods
122.
teaching methods
123.
testing methods
124.
timber construction (construction methods)
125.
tracer gas methods
126.
transmission line matrix methods
127.
Tree-based methods
128.
variational methods
129.
verification methods
130.
visual methods
131.
visualization design and evaluation methods
132.
X-ray methods
133.
X-ray methods B
134.
finite element methods
×
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