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
Mathematics (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
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
536
Vaata veel..
(1/8)
Ekspordi
ekspordi kõik päringu tulemused
(536)
Salvesta TXT fail
Salvesta PDF 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
451
artikkel kogumikus EST
/
artikkel kogumikus ENG
Streams of approximations, equivalence of recursive effectful programs
Veltri, Niccolo
;
Voorneveld, Niels
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
2022
/
p. 198-221 : ill
https://doi.org/10.1007/978-3-031-16912-0_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
452
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
String diagram rewrite theory II : rewriting with symmetric monoidal structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
p. 511 - 541
https://doi.org/10.1017/S0960129522000317
Journal at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
453
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
String diagram rewrite theory III : confluence with and without Frobenius
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
p. 829-869
https://doi.org/10.1017/S0960129522000123
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
454
artikkel kogumikus EST
/
artikkel kogumikus ENG
The structure of concurrent process histories
Nester, Chad Mitchell
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings
2021
/
p. 209−224
https://doi.org/10.1007/978-3-030-78142-2_13
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
455
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Studying upwelling phases in the Kazakhstan part of the Caspian sea
Rakisheva, Zaure Bayanovna
;
Delpeche-Ellmann, Nicole Camille
;
Sakhayeva, Aigerim
International journal of mathematics and physics
2020
/
p. 45−50 : ill
https://doi.org/10.26577/ijmph.2020.v11.i1.06
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
456
artikkel kogumikus EST
/
artikkel kogumikus ENG
Success and success factors of the Estonian E-Residency from the state and entrepreneur perspective
Sallam, Mohammed Saber H. A.
;
Lips, Silvia
;
Draheim, Dirk
Electronic Governance and Open Society: Challenges in Eurasia : 8th International Conference, EGOSE 2021, Saint Petersburg, Russia, November 24-25, 2021 : proceedings
2022
/
p. 291-304
https://doi.org/10.1007/978-3-031-04238-6_22
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
457
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Supramolecular Chirogenesis in bis-porphyrin: crystallographic structure and CD spectra for a complex with a chiral guanidine derivative
Osadchuk, Irina
;
Konrad, Nele
;
Truong, Khai-Nghi
;
Rissanen, Kari
;
Clot, Eric
;
Aav, Riina
;
Kananovich, Dzmitry
;
Borovkov, Victor
Symmetry
2021
/
14 p. : ill
https://doi.org/10.3390/sym13020275
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
458
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A survey on artificial intelligence approaches in supporting frontline workers and decision makers for the COVID-19 pandemic
Rasheed, Jawad
;
Jamil, Akhtar
;
Draheim, Dirk
Chaos, solitons & fractals
2020
/
art. 110337, 17 p
https://doi.org/10.1016/j.chaos.2020.110337
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
459
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Sustainable rural electrification : harnessing a cosmolocal wind
Troullaki, Katerina
;
Rozakis, Stelios
;
Latoufis, Kostas
;
Giotitsas, Christos
;
Priavolou, Christina
;
Freire, Fausto
Energies
2022
/
art. 4659
https://doi.org/10.3390/en15134659
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
460
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sweedler theory of monads
McDermott, Dylan
;
Rivas, Exequiel
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
2022
/
p. 428-448
https://doi.org/10.1007/978-3-030-99253-8_22
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
461
artikkel kogumikus EST
/
artikkel kogumikus ENG
Synthesis of implementations for divide-and-conquer specifications
Bortin, Maksym
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings
2022
/
p. 73-88
https://doi.org/10.1007/978-3-031-22476-8_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
462
artikkel kogumikus EST
/
artikkel kogumikus ENG
Systematic literature review of methods for maintaining data integrity
Kask, Marten
;
Piho, Gunnar
;
Ross, Peeter
Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 259–268
https://doi.org/10.1007/978-3-030-87657-9_20
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
463
artikkel kogumikus EST
/
artikkel kogumikus ENG
Systematic support for full knowledge management lifecycle by advanced semantic annotation across information system boundaries
Pattanaik, Vishwajeet
;
Norta, Alexander
;
Felderer, Michael
;
Draheim, Dirk
Information Systems in the Big Data Era : CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings
2018
/
p. 66−73
https://doi.org/10.1007/978-3-319-92901-9_7
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
464
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Zonal modeling of air distribution impact on the long-range airborne transmission risk of SARS-CoV-2
Aganovic, Amar
;
Cao, Guangyu
;
Kurnitski, Jarek
;
Melikov, Arsen Kriko
;
Wargocki, Pawel
Applied mathematical modelling
2022
/
p. 800-821
https://doi.org/10.1016/j.apm.2022.08.027
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
465
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Techno-economic analysis and energy forecasting study of domestic and commercial photovoltaic system installations in Estonia
Shabbir, Noman
;
Kütt, Lauri
;
Raja, Hadi Ashraf
;
Jawad, Muhammad
;
Allik, Alo
;
Husev, Oleksandr
Energy
2022
/
art. 124156
https://doi.org/10.1016/j.energy.2022.124156
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Residential energy management system to support increased renewable penetration = Taastuvenergiaallikate kasutustihedust toetav energiahaldussüsteem
466
artikkel kogumikus EST
/
artikkel kogumikus ENG
Temporal multi-view contracts for efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
2022
/
p. 136–151
https://doi.org/10.1007/978-3-031-09850-5_10
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
467
artikkel kogumikus EST
/
artikkel kogumikus ENG
Testing generic strong accessibility of nonlinear control systems via polynomial (quadratic) immersion
Carravetta, Francesco
;
Sarafrazi, Mohammad Amin
;
Bartosiewicz, Zbigniew
;
Kotta, Ülle
61st IEEE Conference on Decision and Control, CDC 2022, Cancun, 6 December - 9 December 2022, proceedings
2022
/
p. 1841-1846
https://doi.org/10.1109/CDC51059.2022.9992952
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
468
artikkel kogumikus EST
/
artikkel kogumikus ENG
Testing the applicability of digital decision support on a nationwide EHR
Metsallik, Janek
;
Ross, Peeter
Digital Economy. Emerging Technologies and Business Innovation : 6th International Conference on Digital Economy, ICDEc 2021, Tallinn, Estonia, July 15–17, 2021 : proceedings
2021
/
p. 134−146
https://doi.org/10.1007/978-3-030-92909-1_9
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
469
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The Baltic Sea Model Intercomparison Project (BMIP) - a platform for model development, evaluation, and uncertainty assessment
Gröger, Matthias
;
Placke, Manja
;
Meier, H. E. Markus
;
Börgel, Florian
;
Brunnabend, Sandra-Esther
;
Dutheil, Cyril
;
Gräwe, Ulf
;
Hieronymus, Magnus
;
Neumann, Thomas
;
Väli, Germo
Geoscientific model development
2022
/
p. 8613-8638
https://doi.org/10.5194/gmd-15-8613-2022
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
470
artikkel kogumikus EST
/
artikkel kogumikus ENG
The beauty of graphs
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 9-12
https://doi.org/10.1007/978-3-319-91376-6_2
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
471
artikkel kogumikus EST
/
artikkel kogumikus ENG
The future of the once-only principle in Europe
Krimmer, Robert Johannes
;
Prentza, Andriana
;
Mamrot, Szymon
;
Schmidt, Carsten
;
Cepilovs, Aleksandrs
The once-only principle : The TOOP project
2021
/
p. 225–236
https://doi.org/10.1007/978-3-030-79851-2_12
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
472
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The influence of energy renovation on the change of indoor temperature and energy use
Hamburg, Anti
;
Kalamees, Targo
Energies
2018
/
art. 3179, p. 1-15 : ill
https://doi.org/10.3390/en11113179
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Realisation of energy renovation targets of Estonian apartment buildings = Eesti korterelamute renoveerimisel energiatõhususe eesmärkide saavutamine
473
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The nexus of world electricity and global sustainable development
Wittmann, Veronika
;
Arici, Elif
;
Meissner, Dieter
Energies
2021
/
art. 5843, 21 p. : ill
https://doi.org/10.3390/en14185843
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
474
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The predictive power of power-laws : an empirical time-arrow based investigation
Andria, Joseph
;
Tollo, Giacomo di
;
Kalda, Jaan
Chaos, solitons & fractals
2022
/
art. 112425
https://doi.org/10.1016/j.chaos.2022.112425
Journal metrisc at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
475
artikkel kogumikus EST
/
artikkel kogumikus ENG
The smash product of monoidal theories
Hadzihasanovic, Amar
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings
2021
/
art. 9470575, 13 p
https://doi.org/10.1109/LICS52264.2021.9470575
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 536, kuvan
451 - 475
eelmine
13
14
15
16
17
18
19
20
21
22
järgmine
võtmesõna
8
1.
Cognitive Mathematics
2.
foundations of mathematics
3.
Husserl and Peirce and the goals of mathematics
4.
mathematics
5.
mathematics and computing
6.
mathematics students learning habits
7.
philosophy of mathematics
8.
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