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
630
Vaata veel..
(1/10)
Ekspordi
ekspordi kõik päringu tulemused
(630)
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
51
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Bialgebraic foundations for the operational semantics of string diagrams
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Information and computation
2021
/
art. 104767, 22 p
https://doi.org/10.1016/j.ic.2021.104767
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
52
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolò
;
Weide, Niels van der
Mathematical Structures in Computer Science
2022
https://doi.org/10.1017/S0960129522000032
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
53
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Bidirectional twisted single-stage single-phase buck-boost DC-AC converter
Husev, Oleksandr
;
Matiushkin, Oleksandr
;
Roncero-Clemente, Carlos
;
Vinnikov, Dmitri
;
Chopyk, Vasiliy
Energies
2019
/
art. 3505, 14 p. : ill
https://doi.org/10.3390/en12183505
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Photovoltaic string converter with universal compatibility with AC and DC microgrids = Alalis- ja vahelduvvoolu mikrovõrkudega ühilduv universaalne muundur päikese-elektrijaamadele
54
artikkel kogumikus EST
/
artikkel kogumikus ENG
Bing-CF-IDF+ : a semantics-driven news recommender system
Brocken, Emma
;
Hartveld, Aron
;
Koning, Emma de
;
Hogenboom, Frederik
;
Frasincar, Flavius
;
Robal, Tarmo
Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings
2019
/
p. 32-47
https://doi.org/10.1007/978-3-030-21290-2_3
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
55
artikkel kogumikus EST
/
artikkel kogumikus ENG
Bing-CSF-IDF+: a semantics-driven recommender system for news
Huijsduijnen, Lies Hooft van
;
Hoogmoed, Thom
;
Keulers, Geertje
;
Langendoen, Edmar
;
Langendoen, Sanne
;
Vos, Tim
;
Hogenboom, Frederik
;
Frasincar, Flavius
;
Robal, Tarmo
New trends in databases and information systems : ADBIS 2020 short papers, Lyon, France, August 25–27, 2020 : proceedings
2020
/
p. 143−153
https://doi.org/10.1007/978-3-030-54623-6_13
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
56
artikkel kogumikus EST
/
artikkel kogumikus ENG
Blockchain technology for enabling transparent and traceable government collaboration in public project processes of developing economies
Abodei, Ebizimoh
;
Norta, Alexander
;
Azogu, Irene
;
Udokwu, Chibuzor
;
Draheim, Dirk
Digital Transformation for a Sustainable Society in the 21st Century18th IFIP WG 6.11 : Conference on e-Business, e-Services, and e-Society, I3E 2019Trondheim, Norway, September 18–20, 2019 : proceedings
2019
/
p. 464–475
https://doi.org/10.1007/978-3-030-29374-1_38
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
57
artikkel kogumikus EST
/
artikkel kogumikus ENG
Blockchain technology: Intrinsic technological and socio-economic barriers: FDSE'2020 Keynote
Buldas, Ahto
;
Draheim, Dirk
;
Nagumo, Takehiko
;
Vedešin, Anton
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020 : proceedings
2020
/
p. 3-27
https://doi.org/10.1007/978-3-030-63924-2_1
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
58
artikkel kogumikus EST
/
artikkel kogumikus ENG
A blockchain-assisted hash-based signature scheme
Buldas, Ahto
;
Laanoja, Risto
;
Truu, Ahto
Secure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings
2018
/
p. 138–153 : ill
https://doi.org/10.1007/978-3-030-03638-6_9
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
59
artikkel kogumikus EST
/
artikkel kogumikus ENG
The Blot
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
;
Bobrova, Angelina
;
Haydon, Nathan Joseph
;
Shafiei, Mohammad
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 225-238 : ill
https://doi.org/10.1007/978-3-030-54249-8_18
Conference proceedings at Scopus
Article at Scopus
Article at WOS
Conference proceedings at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
60
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Boundary state and output feedbacks for underactuated systems of coupled time-fractional PDEs with different space-dependent diffusivity
Chen, Juan
;
Tepljakov, Aleksei
;
Petlenkov, Eduard
;
Zhuang, Bo
International journal of systems science
2020
/
p. 2922-2942
https://doi.org/10.1080/00207721.2020.1803442
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
61
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The breaking of symmetry leads to chirality in cucurbituril-type hosts
Aav, Riina
;
Mishra, Kamini Atindrakumar
Symmetry
2018
/
26 p. : ill
https://doi.org/10.3390/sym10040098
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
62
artikkel kogumikus EST
/
artikkel kogumikus ENG
Business intelligence and analytics: On-demand ETL over document stores
Souibgui, Manel
;
Atigui, Faten
;
Ben Yahia, Sadok
;
Si-Said Cherfi, Samira
Research Challenges in Information Science : 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23-25, 2020 : Proceedings
2020
/
p. 556-561
https://doi.org/10.1007/978-3-030-50316-1_38
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
63
artikkel kogumikus EST
/
artikkel kogumikus ENG
Calculational proofs in relational graphical linear algebra
Paixao, Joao
;
Sobocinski, Pawel Maria
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings
2020
/
p. 83-100
https://doi.org/10.1007/978-3-030-63882-5_6
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
64
artikkel kogumikus EST
/
artikkel kogumikus ENG
Can I have a Mooc2Go, please? On the viability of mobile vs. stationary learning
Zhao, Yue
;
Robal, Tarmo
;
Lofi, Christoph
;
Hauff, Claudia
Lifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning : EC-TEL 2018, Leeds, UK, September 3-5, 2018 : proceedings
2018
/
p. 101-115 : ill
https://doi.org/10.1007/978-3-319-98572-5_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
65
artikkel kogumikus EST
/
artikkel kogumikus ENG
A canonical algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings
2021
/
p. 63-81
https://doi.org/10.1007/978-3-030-90636-8_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
66
artikkel kogumikus EST
/
artikkel kogumikus ENG
Capacity building in government : towards developing a standard for a functional specialist in AI for public services
Labanava, Alena
;
Dreyling, Richard Michael
;
Mortati, Marzia
;
Liiv, Innar
;
Pappel, Ingrid
Future Data and Security Engineering : Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022 : proceedings
2022
/
p. 503-516
https://doi.org/10.1007/978-981-19-8069-5_34
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
67
artikkel kogumikus EST
/
artikkel kogumikus ENG
Carroll diagrams : design and manipulation
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 32-35 : ill
https://doi.org/10.1007/978-3-319-91376-6_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
68
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Catalytic effect of oil shale ash on CO2 gasification of leached wheat straw and reed chars
Link, Siim
;
Tran, Khanh-Quang
;
Bach, Quang-Vu
;
Yrjas, Patrik
;
Rosin, Argo
Energy
2018
/
p. 906-913
https://doi.org/10.1016/j.energy.2018.04.013
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
69
artikkel kogumikus EST
/
artikkel kogumikus ENG
Certified Foata normalization for generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
2018
/
p. 299-314
https://doi.org/10.1007/978-3-319-77935-5_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
70
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Challenges of microgrids in remote communities: a STEEP model application
Akinyele, Daniel
;
Belikov, Juri
;
Levron, Yoash
Energies
2018
/
art. 432, 35 p. : ill
https://doi.org/10.3390/en11020432
Journal metrics at Scopus
Article at Scopus
Journal metric at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
71
artikkel kogumikus EST
/
artikkel kogumikus ENG
Challenges of smart grids implementation
Ahmadiahangar, Roya
;
Rosin, Argo
;
Palu, Ivo
;
Azizi, Aydin
Demand-side flexibility in smart grid
2020
/
p. 1-15
https://doi.org/10.1007/978-981-15-4627-3_1
Journal metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
72
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A chameleon algorithm for solving economic dispatch problem in microgrid system
Zahraoui, Younes
;
Alhamrouni, Ibrahim
;
Mekhilef, Saad
;
Korõtko, Tarmo
;
Jusoh, Awang
;
Sutikno, Tole
Bulletin of electrical engineering and informatics
2023
/
p. 1982-1992
https://doi.org/10.11591/eei.v12i4.4700
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
73
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Characterization of Amenable Groups by Besicovitch Pseudodistances
Capobianco, Silvio
;
Guillon, Pierre
Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings
2020
/
p. 99-110
https://doi.org/10.1007/978-3-030-61588-8_8
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
74
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Chiral auxiliaries and chirogenesis ii
Symmetry
2021
/
art. 1157
https://doi.org/10.3390/sym13071157
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
75
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Chiral heterocycle-based receptors for enantioselective recognition
Khose, Vaibhav N.
;
John, Marina E.
;
Pandey, Anita D.
;
Borovkov, Victor
;
Karnik, Anil V.
Symmetry
2018
/
75 p : ill
https://doi.org/10.3390/sym10020034
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 630, kuvan
51 - 75
eelmine
1
2
3
4
5
6
7
8
9
10
järgmine
võtmesõna
10
1.
Cognitive Mathematics
2.
computational mathematics
3.
foundations of mathematics
4.
Husserl and Peirce and the goals of mathematics
5.
mathematics
6.
mathematics and computing
7.
mathematics students learning habits
8.
matrix (mathematics)
9.
philosophy of mathematics
10.
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