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
Mathematics (kategooria)
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
—
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)
sõna
algab
täpne vaste
vabatekst
—
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
1092
Vaata veel..
(1/15)
Ekspordi
ekspordi kõik päringu tulemused
(1000*)
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
751
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Jallouli, Rim
;
Tobji, Mohamed Anis Bach
;
Mcheick, Hamid
;
Piho, Gunnar
Digital Economy. Emerging Technologies and Business Innovation : 6th International Conference on Digital Economy, ICDEc 2021, Tallinn, Estonia, July 15–17, 2021 : proceedings
2021
/
p. v–vi
https://link.springer.com/content/pdf/bfm:978-3-030-92909-1/1
Collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
752
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Attiogbe, Christian
;
Ben Yahia, Sadok
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. v-vi
https://doi.org/10.1007/978-3-030-78428-7
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
753
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Robal, Tarmo
;
Haav, Hele-Mai
;
Penjam, Jaan
;
Matulevičius, Raimundas
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
/
p. v-vi
https://doi.org/10.1007/978-3-030-57672-1
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
754
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Pietarinen, Ahti-Veikko
;
Chapman, Peter
;
Bosveld-de Smet, Leonie
Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. v - vi
https://doi.org/10.1007/978-3-030-54249-8
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
755
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Fischer, Bernd
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings
2018
/
p. V-VI
https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf
https://www.ester.ee/record=b5174218*est
https://doi.org/10.1007/978-3-030-02508-3
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
756
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Preface of the special issue on advances in data-driven engineering
Ben Yahia, Sadok
;
Attiogbé, Christian
International Journal of General Systems
2023
/
p. 203-205
https://doi.org/10.1080/03081079.2023.2204251
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
757
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Pregnancy associated breast cancer gene expressions : new insights on their regulation based on rare correlated patterns
Bouasker, Souad
;
Inoubli, Wissem
;
Ben Yahia, Sadok
;
Diallo, Gayo
IEEE/ACM transactions on computational biology and bioinformatics
2021
/
p. 1035−1048
https://doi.org/10.1109/TCBB.2020.3015236
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
758
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Premature failure of an additively manufactured material
Wang, Zhi
;
Xie, Meishen
;
Li, Yuanyuan
;
Zhang, Weiwen
;
Yang, Chao
;
Kollo, Lauri
;
Eckert, Jürgen
;
Prashanth, Konda Gokuldoss
Npg Asia materials
2020
/
art. 30, 10 p. : ill
https://doi.org/10.1038/s41427-020-0212-0
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
759
artikkel kogumikus EST
/
artikkel kogumikus ENG
The present and future of large-scale systems modeling and engineering
Draheim, Dirk
Future Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings
2016
/
p. 355-370 : ill
https://doi.org/10.1007/978-3-319-48057-2_25
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
760
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preventing data-security breaches and patient-safety risks in cross-blockchain e-healthcare systems
Kormiltsõn, Aleksandr
;
Norta, Alex
;
Nisar, Sanam
;
Dwivedi, Vimal
Management of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023, Revised Selected Papers
2024
/
p. 41-54
https://doi.org/10.1007/978-3-031-51643-6_4
Conference proceedings at scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
761
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Process-aware security monitoring in industrial control systems: A systematic review and future directions
Rehman, Muaan Ur
;
Bahsi, Hayretdin
International journal of critical infrastructure protection
2024
/
art. 100719, 19 p. : ill
https://doi.org/10.1016/j.ijcip.2024.100719
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
762
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Profunctor optics: a categorical update
Clarke, Bryce James
;
Elkins, Derek
;
Gibbons, Jeremy
;
Loregian, Fosco
;
Milewski, Bartosz
;
Pillmore, Emily
;
Roman Garcia, Mario
Compositionality
2024
/
39 p. : ill
https://doi.org/10.32408/compositionality-6-1
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
763
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Proof analysis of Peirce's alpha system of graphs
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Studia logica
2017
/
p. 625-647 : ill
https://doi.org/10.1007/s11225-016-9703-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
764
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
765
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Propagation of bankruptcy risk over scale-free economic networks
Andria, Joseph
;
di Tollo, Giacomo
;
Kalda, Jaan
Entropy
2022
/
art. 1713
https://doi.org/10.3390/e24121713
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
766
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The prospects of strategic imagination in explaining international security challenges
Mölder, Holger
Quality & Quantity : International Journal of Methodology
2023
/
p. 55-76
https://doi.org/10.1007/s11135-022-01386-w
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
767
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Protocol choice and iteration for the free cornering
Nester, Chad Mitchell
;
Voorneveld, Niels Frits Willem
Journal of logical and algebraic methods in programming
2024
/
art. 100942, 30 p
https://doi.org/10.1016/j.jlamp.2023.100942
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
768
artikkel kogumikus EST
/
artikkel kogumikus ENG
A public, blockchain-based distributed smart-contract platform enabling mobile lite wallets using a proof-of-stake consensus algorithm
Norta, Alexander
;
Dai, Patrick
;
Mahi, Neil
;
Earls, Jordan
Business Information Systems Workshops : BIS 2018 : International Workshops, Berlin, Germany, July 18–20, 2018 : Revised Papers
2019
/
p. 368-380
https://doi.org/10.1007/978-3-030-04849-5_33
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
769
artikkel kogumikus EST
/
artikkel kogumikus ENG
Purely functional incremental computing
Firsov, Denis
;
Jeltsch, Wolfgang
Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings
2016
/
p. 62-77 : ill
https://doi.org/10.1007/978-3-319-45279-1_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
770
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Quadratic/linear rational spline histopolation
Hallik, Helle
;
Oja, Peeter
BIT numerical mathematics
2017
/
p. 629-648 : ill
https://doi.org/10.1007/s10543-017-0645-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
771
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A qualitative control approach to reduce energy costs of hybrid energy systems : utilizing energy price and weather data
Taebnia, Mehdi
;
Heikkilä, Marko
;
Kurnitski, Jarek
Energies
2020
/
art. 1401, 17 p. : ill
https://doi.org/10.3390/en13061401
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
772
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Quartic polynomial approximation for fluctuations of separation of trajectories in chaos and correlation dimension
Fouxon, Itzhak
;
Ainsaar, Siim
;
Kalda, Jaan
Journal of Statistical Mechanics : Theory and Experiment
2019
/
art. 083211, 26 p
https://doi.org/10.1088/1742-5468/ab3458
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
773
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Mathematical structures in computer science
2019
/
p. 67-92
https://doi.org/10.1017/s0960129517000184
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
774
artikkel kogumikus EST
/
artikkel kogumikus ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
2015
/
p. 110 - 125
https://doi.org/10.1007/978-3-319-25150-9_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
775
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Quotients and atoms of reversible languages
Tamm, Hellis
Theoretical Computer Science
2022
/
p. 33-45
https://doi.org/10.1016/j.tcs.2022.02.023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 1092, kuvan
751 - 775
eelmine
27
28
29
30
31
32
33
34
35
36
järgmine
võtmesõna
15
1.
applied mathematics
2.
Cognitive Mathematics
3.
computational mathematics
4.
foundations of mathematics
5.
history of mathematics
6.
Husserl and Peirce and the goals of mathematics
7.
mathematics
8.
mathematics and computing
9.
mathematics education
10.
mathematics students learning habits
11.
matrix (mathematics)
12.
non-linear mathematics
13.
philosophy of mathematics
14.
skills assessment of programming and mathematics
15.
univalent mathematics
×
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