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
Advanced search
My bookmarks
0
Mathematics (category)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
791
Look more..
(1/10)
Export
export all inquiry results
(791)
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
B-spline based finite element method in one-dimensional discontinuous elastic wave propagation
Kolman, Radek
;
Okrouhlik, M.
;
Berezovski, Arkadi
;
Gabriel, Dusan
;
Kopačka, J.
;
Plešek, J.
Applied mathematical modelling
2017
/
p. 382-395 : ill
https://doi.org/10.1016/j.apm.2017.01.077
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
77
book article EST
/
book article 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
book article EST
/
book article ENG
78
book article EST
/
book article 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
book article EST
/
book article ENG
79
book article EST
/
book article 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
book article EST
/
book article ENG
80
book article EST
/
book article ENG
Can K-12 students learn how to program with just two hours?
Umbleja, Kadri
Learning Technology for Education in Cloud : The Changing Face of Education : 5th International Workshop, LTEC 2016, Hagen, Germany, July 25-28, 2016 : proceedings
2016
/
p. 250-264 : ill
https://doi.org/10.1007/978-3-319-42147-6_21
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
81
book article EST
/
book article 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
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
82
book article EST
/
book article ENG
Capacity building in government : towards developing a standard for a functional specialist in AI for public services
Labanava, Alena
;
Dreyling III, 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
book article EST
/
book article ENG
83
book article EST
/
book article 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
book article EST
/
book article ENG
84
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
85
book article EST
/
book article 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
book article EST
/
book article ENG
86
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
87
book article EST
/
book article 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
book article EST
/
book article ENG
88
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
89
book article EST
/
book article 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
book article EST
/
book article ENG
90
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
91
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
92
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
93
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
94
book article EST
/
book article 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 2017Edinburgh, 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
book article EST
/
book article ENG
95
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
96
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
97
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
98
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
99
book article EST
/
book article 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
book article EST
/
book article ENG
100
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
Number of records 791, 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