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
978
Vaata veel..
(1/14)
Ekspordi
ekspordi kõik päringu tulemused
(978)
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
101
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
102
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
103
artikkel kogumikus EST
/
artikkel kogumikus ENG
Certified parsing of regular languages
Firsov, Denis
;
Uustalu, Tarmo
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
2013
/
p. 98 - 113
https://doi.org/10.1007/978-3-319-03545-1_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
104
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
105
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
106
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 : ill
https://doi.org/10.11591/eei.v12i4.4700
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
107
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
108
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Characterization of the ensemble of lignin-remodeling DyP-type Peroxidases from Streptomyces coelicolor A3(2)
Pupart, Hegne
;
Jõul, Piia
;
Bramanis, Melissa Ingela
;
Lukk, Tiit
Energies
2023
/
art. 1557, 15 p. : ill
https://doi.org/10.3390/en16031557
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Characterization of bacterial dye-decolorizing peroxidases = Bakteriaalsete värvi pleegitavate peroksüdaaside iseloomustamine
109
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
110
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
111
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Cities4ZERO approach to foresight for fostering smart energy transition on municipal level
Tatar, Merit
;
Kalvet, Tarmo
;
Tiits, Marek
Energies
2020
/
art. 3533
https://doi.org/10.3390/en13143533
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
112
artikkel kogumikus EST
/
artikkel kogumikus ENG
Classification of cross-sections for vascular skeleton extraction using convolutional neural networks
Lidayová, Kristína
;
Gupta, Anindya
;
Frimmel, Hans
;
Sintorn, Ida-Maria
;
Bengtsson, Ewert
;
Smedby, Örjan
Medical Image : Understanding and Analysis, 21st Annual Conference, MIUA 2017 Edinburgh, UK, July 11–13, 2017 : Proceedings
2017
/
p. 182-194
https://doi.org/10.1007/978-3-319-60964-5_16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
113
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Cleaning of floating photovoltaic systems : a critical review on approaches from technical and economic perspectives
Zahedi, Rafi
;
Ranjbaran, Parisa
;
Gharehpetian, Gevork B.
;
Mohammadi, Fazel
;
Ahmadiahangar, Roya
Energies
2021
/
art. 2018, 25 p. : ill
https://doi.org/10.3390/en14072018
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
114
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Closed-loop control system design for wireless charging of low-voltage EV batteries with time-delay constraints
Shevchenko, Viktor
;
Pakhaliuk, Bohdan
;
Zakis, Janis
;
Veligorskyi, Oleksandr
;
Luszcz, Jaroslaw
;
Husev, Oleksandr
;
Lytvyn, Oksana
;
Matiushkin, Oleksandr
Energies
2021
/
art. 3934, 21 p. : ill
https://doi.org/10.3390/en14133934
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
115
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A cluster of many small holes with negative imaginary surface impedances may generate a negative refraction index
Alsaedi, Ahmed
;
Ahmad, Bashir
;
Challa, Durga Prasad
;
Kirane, Mokhtar
;
Sini, Mourad
Mathematical methods in the applied sciences
2016
/
p. 3607-3622 : ill
https://doi.org/10.1002/mma.3805
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
116
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The CMS fast beam condition monitor for HL-LHC
Auzinger, G.
;
Bakhshiansohi, H.
;
Dabrowski, A.
;
Delannoy, A.G.
;
Dierlamm, A.
;
Dragicevic, M.
;
Gholami, A.
;
Gomez, G.
;
Jenihhin, Maksim
;
Shibin, Konstantin
Journal of instrumentation
2024
/
art. C03048, 10 p. : ill
https://doi.org/10.1088/1748-0221/19/03/C03048
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
117
artikkel kogumikus EST
/
artikkel kogumikus ENG
CNN based analysis of the Luria’s alternating series test for Parkinson’s disease diagnostics
Zarembo, Sergei
;
Nõmm, Sven
;
Medijainen, Kadri
;
Taba, Pille
;
Toomela, Aaro
Recent Challenges in Intelligent Information and Database Systems : 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7–10, 2021 : proceedings
2021
/
p. 3-13
https://doi.org/10.1007/978-981-16-1685-3_1
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
118
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Coalgebraic update lenses
Ahman, Danel
;
Uustalu, Tarmo
Electronic notes in theoretical computer science
2014
/
p. 25-48 : ill
https://doi.org/10.1016/j.entcs.2014.10.003
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
119
artikkel kogumikus EST
/
artikkel kogumikus ENG
A coalgebraic view of bar recursion and bar induction
Capretta, Venanzio
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
2016
/
p. 91-106
https://doi.org/10.1007/978-3-662-49630-5_6
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
120
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
p. 1-31
https://doi.org/10.23638/LMCS-14(4:6)2018
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
121
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Coends of higher arity
Loregian, Fosco
;
de Oliveira Santos, Theo
Applied categorical structures
2022
/
p. 173-221
https://doi.org/10.1007/s10485-021-09653-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
122
artikkel kogumikus EST
/
artikkel kogumikus ENG
Coherence via focusing for symmetric skew monoidal categories
Veltri, Niccolo
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
2021
/
p. 184-200
https://doi.org/10.1007/978-3-030-88853-4_12
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
123
artikkel kogumikus EST
/
artikkel kogumikus ENG
A combined method for error and complexity reduction in fuzzy rule-based classification
Riid, Andri
;
Preden, Jürgo-Sören
IEEE International Conference on Fuzzy Systems : August 2-5, 2015, Istanbul, Turkey
2015
/
[6] p. : ill
https://doi.org/10.1109/FUZZ-IEEE.2015.7337806
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
124
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Combining algebraic effect descriptions using the tensor of complete lattices
Voorneveld, Niels
Electronic notes in theoretical computer science
2020
/
p. 257-281
https://doi.org/10.1016/j.entcs.2020.09.013
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
125
artikkel kogumikus EST
/
artikkel kogumikus ENG
Combining fuzzy and probabilistic reasoning for crowd-sourced categorization and tagging
Tammet, Tanel
;
Luberg, Ago
Web Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings
2014
/
p. 247-248
https://link.springer.com/book/10.1007/978-3-319-11113-1
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 978, kuvan
101 - 125
eelmine
1
2
3
4
5
6
7
8
9
10
järgmine
võtmesõna
14
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.
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