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
TalTech subject term
TalTech 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)
sõna
starts with
exact match
vabatekst
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
TalTech subject term
TalTech 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)
sõna
starts with
exact match
vabatekst
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
TalTech subject term
TalTech 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)
sõna
starts with
exact match
vabatekst
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
TalTech subject term
TalTech 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)
sõna
starts with
exact match
vabatekst
—
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
TalTech subject term
TalTech 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)
sõna
starts with
exact match
vabatekst
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1092
Look more..
(1/15)
Export
export all inquiry results
(1000*)
Save TXT 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
926
book article EST
/
book article ENG
Stenmap : framework for evaluating cybersecurity-related skills based on computer simulations
Mäses, Sten
;
Randmann, Liina
;
Maennel, Olaf Manuel
;
Lorenz, Birgy
Learning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II
2018
/
p. 492-504
https://doi.org/10.1007/978-3-319-91152-6_38
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
927
journal article EST
/
journal article ENG
Step-Up series resonant DC-DC converter with bidirectional-switch-based boost rectifier for wide input voltage range photovoltaic applications
Bakeer, Abualkasim Ahmed Ali
;
Chub, Andrii
;
Vinnikov, Dmitri
Energies
2020
/
Art. 3747
https://doi.org/10.3390/en13143747
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
928
book article EST
/
book article ENG
Streams of approximations, equivalence of recursive effectful programs
Veltri, Niccolo
;
Voorneveld, Niels Frits Willem
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
book article EST
/
book article ENG
929
journal article EST
/
journal article ENG
Strictly convex corners scatter
Päivärinta, Lassi Juhani
;
Salo, Mikko
;
Vesalainen, Esa V.
Revista matematica iberoamericana
2017
/
p. 1369-1396
https://doi.org/10.4171/rmi/975
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
930
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
931
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
932
journal article EST
/
journal article ENG
String diagrams for premonoidal categories
Roman Garcia, Mario
;
Sobocinski, Pawel Maria
Logical methods in computer science
2025
/
20 p. : ill
https://lmcs.episciences.org/15593/pdf
https://doi.org/10.46298/LMCS-21(2:9)2025
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
933
journal article EST
/
journal article ENG
Structural vector autoregressions with smooth transition in variances
Lütkepohl, Helmut
;
Netšunajev, Aleksei
Journal of economic dynamics and control
2017
/
p. 43-57 : ill
https://doi.org/10.1016/j.jedc.2017.09.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
934
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
935
journal article EST
/
journal article ENG
Structured development of implementations for divide-and-conquer specifications
Bortin, Maksym
Science of computer programming
2024
/
art. 103011, 15 p. : ill
https://doi.org/10.1016/j.scico.2023.103011
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
936
book article EST
/
book article ENG
Student’s behavior in free learning environment and formal education system
Kukk, Vello
Learning technology for education in Cloud : MOOC and Big Data : third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014 : proceedings
2014
/
p. 187-194
https://doi.org/10.1007/978-3-319-10671-7_19
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
937
journal article EST
/
journal article ENG
Study of bearing currents in induction machine : diagnostic possibilities, fault detection, and prediction
Kudelina, Karolina
;
Raja, Hadi Ashraf
;
Naseer, Muhammad Usman
;
Autsou, Siarhei
;
Asad, Bilal
;
Vaimann, Toomas
;
Kallaste, Ants
Electrical engineering
2024
/
14 p. : ill
https://doi.org/10.1007/s00202-024-02411-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Artificial intelligence driven approaches for fault prognostics of electrical machines using vibration spectrum analysis = Tehisintellektil põhinevad lähenemisviisid elektrimasinate rikete prognoosimiseks vibratsioonispektri analüüsi abil
938
book article EST
/
book article ENG
A study on immediate automatic usability evaluation of web application user interfaces
Marenkov, Jevgeni
;
Robal, Tarmo
;
Kalja, Ahto
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings
2016
/
p. 257-271 : ill
https://doi.org/10.1007/978-3-319-40180-5_18
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
939
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
940
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
941
book article EST
/
book article ENG
Success in eVoting - success in eDemocracy? The Estonian paradox
Toots, Maarja
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
Electronic Participation : 8th IFIP WG 8.5 International Conference, ePart 2016, Guimaraes, Portugal, September 5-8, 2016 : proceedings
2016
/
p. 55-66 : ill
https://doi.org/10.1007/978-3-319-45074-2_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
942
journal article EST
/
journal article ENG
Summer thermal comfort : compliance assessment and overheating prevention in new apartment buildings in Estonia
Simson, Raimo
;
Kurnitski, Jarek
;
Maivel, Mikk
Journal of building performance simulation
2017
/
p. 378-391 : ill
https://doi.org/10.1080/19401493.2016.1248488
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
943
journal article EST
/
journal article ENG
The supplement of the diagnostic tool for assessment the implemented performance management systems : theoretical approach
Kadak, Tarmo
International journal of mathematics and computers in simulation
2013
/
p. 187-197 : ill
https://www.researchgate.net/publication/292833919_The_supplement_of_the_diagnostic_tool_for_assessment_the_implemented_performance_management_systems_Theoretical_approach
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
944
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
945
journal article EST
/
journal article ENG
Surjective cellular automata far from the Garden of Eden
Capobianco, Silvio
;
Guillon, Pierre
;
Kari, Jarkko
Discrete mathematics and theoretical computer science
2013
/
p. 41-60 : ill
https://www.researchgate.net/publication/264932675_Surjective_cellular_automata_far_from_the_Garden_of_Eden
https://doi.org/10.46298/dmtcs.618
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
946
journal article EST
/
journal article ENG
Survey on architectural attacks : a unified classification and attack model
Ghasempouri, Tara
;
Raik, Jaan
;
Reinbrecht, Cezar
;
Hamdioui, Said
;
Hamdioui, Said
ACM Computing Surveys
2023
/
art. 42
https://doi.org/10.1145/3604803
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
947
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
948
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
949
book article EST
/
book article 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
book article EST
/
book article ENG
950
book article EST
/
book article 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
book article EST
/
book article ENG
Number of records 1092, displaying
926 - 950
previous
34
35
36
37
38
39
40
41
42
43
next
keyword
15
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.
skills assessment of programming and mathematics
15.
univalent mathematics
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT