Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Mathematics (category)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
630
Look more..
(1/10)
Export
export all inquiry results
(630)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
76
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
77
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
78
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
79
book article EST
/
book article 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
book article EST
/
book article ENG
80
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
81
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
82
book article EST
/
book article 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
book article EST
/
book article ENG
83
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
84
journal article EST
/
journal article ENG
Comparative assessment of heat recovery from treated wastewater in the district heating systems of the three capitals of the Baltic countries
Ziemele, Jelena
;
Volkova, Anna
;
Latõšov, Eduard
;
Murauskaitė, Lina
;
Džiuvė, Vytautas
Energy
2023
/
art. 128132
https://doi.org/10.1016/j.energy.2023.128132
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
85
journal article EST
/
journal article ENG
Comparative evaluation of common-ground converters for dual-purpose application
Hemmati Shahsavar, Tala
;
Rahimpour, Saeed
;
Vosoughi Kurdkandi, Naser
;
Fesenko, Artem
;
Matiushkin, Oleksandr
;
Husev, Oleksandr
;
Vinnikov, Dmitri
Energies
2023
/
art. 2977
https://doi.org/10.3390/en16072977
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Common-ground energy router structure with enhanced reliability and protection = Ühise nulljuhtmega suurendatud töökindluse ja kaitsega energiaruuter
86
journal article EST
/
journal article ENG
Comparative simulation study of pump system efficiency driven by induction and synchronous reluctance motors
Gevorkov, Levon
;
Dominguez-Garcia, Jose Luis
;
Rassõlkin, Anton
;
Vaimann, Toomas
Energies
2022
/
art. 4068
https://doi.org/10.3390/en15114068
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
87
journal article EST
/
journal article ENG
A comparative study of approaches of ontology driven software development
Haav, Hele-Mai
Informatica
2018
/
p. 439–466 : ill
https://doi.org/10.15388/Informatica.2018.175
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
88
journal article EST
/
journal article ENG
Comparison of district heating supply options for different CHP configurations
Rušeljuk, Pavel
;
Dedov, Andrei
;
Hlebnikov, Aleksandr
;
Lepiksaar, Kertu
;
Volkova, Anna
Energies
2023
/
art. 603, 14 p. : ill
https://doi.org/10.3390/en16020603
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Aricle at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Decarbonisation of fossil-fuel CHP based district heating system = Fossiilkütustel põhineva CHP kaugküttesüsteemi dekarboniseerimine
89
journal article EST
/
journal article ENG
Comparison of flux-switching and interior permanent magnet synchronous generators for direct-driven wind applications based on nelder–mead optimal designing
Prakht, Vladimir
;
Dmitrievskii, Vladimir
;
Kazakbaev, Vadim
;
Andriushchenko, Ekaterina
Mathematics
2021
/
art. 732
https://doi.org/10.3390/math9070732
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
90
journal article EST
/
journal article ENG
Complete genome sequencing of the luminescent bacterium, vibrio qinghaiensis sp. Q67 using PacBio technology
Gong, Liang
;
Wu, Yu
;
Jian, Qijie
;
Yin, Chunxiao
;
Gupta, Vijai Kumar
;
Duan, Xuewu
;
Jiang, Yueming
Scientific Data
2018
/
art. 170205
https://doi.org/10.1038/sdata.2017.205
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
91
book article EST
/
book article ENG
Composite surrogate for likelihood-free bayesian optimisation in high-dimensional settings of activity-based transportation models
Kuzmanovski, Vladimir
;
Hollmén, Jaakko
Advances in Intelligent Data Analysis XIX : 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021 : proceedings
2021
/
p. 171-183 : ill
https://doi.org/10.1007/978-3-030-74251-5_14
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
92
book article EST
/
book article ENG
Compositional diagrammatic first-order logic
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 402-418
https://doi.org/10.1007/978-3-030-54249-8_32
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
2
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
93
book article EST
/
book article ENG
A comprehensive approach for designing business-intelligence solutions with multi-agent systems in distributed environments
Qayumi, Karima
;
Norta, Alexander
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
2018
/
p. 113-150
https://doi.org/10.1007/978-3-662-57932-9_4
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
book article EST
/
book article ENG
94
journal article EST
/
journal article ENG
A comprehensive instrument for identifying critical information infrastructure services
Herrera, Luis-Carlos
;
Maennel, Olaf Manuel
International Journal of Critical Infrastructure Protection
2019
/
p. 50-61 : ill
https://doi.org/10.1016/j.ijcip.2019.02.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
95
book article EST
/
book article ENG
Computing data lineage and business semantics for data warehouse
Tomingas, Kalle
;
Järv, Priit
;
Tammet, Tanel
Knowledge Discovery, Knowledge Engineering and Knowledge Management :8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016 : Revised Selected Papers
2019
/
p. 101-124
https://doi.org/10.1007/978-3-319-99701-8_5
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
96
journal article EST
/
journal article ENG
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
p. 7:1-7:22 : ill
https://doi.org/10.46298/LMCS-19(1:7)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
97
journal article EST
/
journal article ENG
Cones with convoluted geometry that always scatter or radiate
Blåsten, Emilia L.K.
;
Pohjola, Valter
Inverse Problems
2022
/
Art. 125001
https://doi.org/10.1088/1361-6420/ac963c
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
98
book article EST
/
book article ENG
Confidences for commonsense reasoning.
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings
2021
/
p. 507–524
https://doi.org/10.1007/978-3-030-79876-5_29
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
99
book article EST
/
book article ENG
Confined vortex rings
Danaila, Ionut
;
Kaplanski, Felix
;
Sazhin, Sergei
Vortex Ring Models
2021
/
p. 103 - 119
https://doi.org/10.1007/978-3-030-68150-0_5
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
100
journal article EST
/
journal article ENG
Constructing higher inductive types as groupoid quotients
Veltri, Niccolo
;
Weide, Niels van der
Logical methods in computer science
2021
/
p. 8:1−8:42
https://doi.org/10.23638/LMCS-17(2:8)2021
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 630, displaying
76 - 100
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
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
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT