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
793
Look more..
(1/10)
Export
export all inquiry results
(793)
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
701
book article EST
/
book article ENG
Testing web services with model-based mutation
Siavashi, Faezeh
;
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
Software Technologies : 11th International Joint Conference, ICSOFT 2016 : Lisbon, Portugal, July 24–26, 2016 : revised selected papers
2017
/
p. 45-67
https://doi.org/10.1007/978-3-319-62569-0_3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
702
journal article EST
/
journal article ENG
The Baltic Sea Model Intercomparison Project (BMIP) - a platform for model development, evaluation, and uncertainty assessment
Gröger, Matthias
;
Placke, Manja
;
Meier, H. E. Markus
;
Börgel, Florian
;
Brunnabend, Sandra-Esther
;
Dutheil, Cyril
;
Gräwe, Ulf
;
Hieronymus, Magnus
;
Neumann, Thomas
;
Väli, Germo
Geoscientific model development
2022
/
p. 8613-8638
https://doi.org/10.5194/gmd-15-8613-2022
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
703
book article EST
/
book article ENG
The beauty of graphs
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 9-12
https://doi.org/10.1007/978-3-319-91376-6_2
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
704
book article EST
/
book article ENG
The data quality framework for the Estonian public sector and its evaluation : establishing a systematic process-oriented viewpoint on cross-organizational data quality
Tepandi, Jaak
;
Lauk, Mihkel
;
Linros, Janar
;
Raspel, Priit
;
Piho, Gunnar
;
Pappel, Ingrid
;
Draheim, Dirk
Transactions on large-scale data- and knowledge-centered systems XXXV
2017
/
p. 1-26 : ill
https://doi.org/10.1007/978-3-662-56121-8_1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
705
journal article EST
/
journal article ENG
The D-bar method for diffuse optical tomography : a computational study
Tamminen, Janne Pertti Olavi
;
Tarvainen, T.
;
Siltanen, Samuli
Experimental mathematics
2017
/
p. 225-240 : ill
https://doi.org/10.1080/10586458.2016.1157775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
706
book article EST
/
book article ENG
The digital archiving process in Estonia - assessment and future perspectives
Pappel, Ingrid
;
Oolu, Karin
;
Saarevet, Koit
;
Lauk, Mihkel
;
Draheim, Dirk
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
2017
/
p. 472-481 : ill
https://doi.org/10.1007/978-3-319-70004-5_34
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
707
book article EST
/
book article ENG
The future of the once-only principle in Europe
Krimmer, Robert Johannes
;
Prentza, Andriana
;
Mamrot, Szymon
;
Schmidt, Carsten
;
Cepilovs, Aleksandrs
The once-only principle : The TOOP project
2021
/
p. 225–236
https://doi.org/10.1007/978-3-030-79851-2_12
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
book article EST
/
book article ENG
708
journal article EST
/
journal article ENG
The influence of energy renovation on the change of indoor temperature and energy use
Hamburg, Anti
;
Kalamees, Targo
Energies
2018
/
art. 3179, p. 1-15 : ill
https://doi.org/10.3390/en11113179
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Realisation of energy renovation targets of Estonian apartment buildings = Eesti korterelamute renoveerimisel energiatõhususe eesmärkide saavutamine
709
journal article EST
/
journal article ENG
The nexus of world electricity and global sustainable development
Wittmann, Veronika
;
Arici, Elif
;
Meissner, Dieter
Energies
2021
/
art. 5843, 21 p. : ill
https://doi.org/10.3390/en14185843
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
710
book article EST
/
book article ENG
The potential of the Estonian e-Governance infrastructure in supporting displaced Estonian residents
Thurnay, Lörinc
;
Klasche, Benjamin
;
Nyman-Metcalf, Katrin Merike
;
Pappel, Ingrid
;
Draheim, Dirk
Electronic Government and the Information Systems Perspective : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017 : proceedings
2017
/
p. 236-250
https://doi.org/10.1007/978-3-319-64248-2_17
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
711
journal article EST
/
journal article ENG
The predictive power of power-laws : an empirical time-arrow based investigation
Andria, Joseph
;
Tollo, Giacomo di
;
Kalda, Jaan
Chaos, solitons & fractals
2022
/
art. 112425
https://doi.org/10.1016/j.chaos.2022.112425
Journal metrisc at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
712
book article EST
/
book article ENG
The smash product of monoidal theories
Hadzihasanovic, Amar
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings
2021
/
art. 9470575, 13 p
https://doi.org/10.1109/LICS52264.2021.9470575
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
713
journal article EST
/
journal article ENG
The structure of algebraic solitons and compactons in the generalized Korteweg–de Vries equation
Pelinovsky, Efim
;
Talipova, Tatyana
;
Soomere, Tarmo
Physica D : Nonlinear Phenomena
2021
/
art. 132785, 7 p. : ill
https://doi.org/10.1016/j.physd.2020.132785
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
714
book article EST
/
book article ENG
The technical challenges in OOP application across the European Union and the TOOP OOP architecture
Tepandi, Jaak
;
Rotuna, Carmen
;
Sellitto, Giovanni Paolo
;
Fieten, Sander
;
Prentza, Andriana
The once-only principle : The TOOP project
2021
/
p. 141−163
https://doi.org/10.1007/978-3-030-79851-2_8
Collection metrics at Scopus
Article at Scopus
Collection metrics at WOS
Article at WOS
book article EST
/
book article ENG
715
journal article EST
/
journal article ENG
A theme section on the central role of modeling in designing and explaining data-driven systems and software
Attiogbe, Christian
;
Ben Yahia, Sadok
;
Bellatreche, Ladjel
Software and Systems Modeling
2023
/
p. 1945-1947
https://doi.org/10.1007/s10270-023-01133-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
716
book article EST
/
book article ENG
Theoretical aspects of symbolic automata
Tamm, Hellis
;
Veanes, Margus
SOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings
2018
/
p. 428-441
https://doi.org/10.1007/978-3-319-73117-9_30
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
717
journal article EST
/
journal article ENG
Three-dimensional CFD analysis of liquid slug acceleration and impact in a voided pipeline with end orifice
He, Junling
;
Hou, Qingzhi
;
Lian, Jijian
;
Tijsseling, Arris S.
;
Bozkus, Zafer
;
Laanearu, Janek
;
Lin, Lei
Engineering Applications of Computational Fluid Mechanics
2022
/
p. 1444-1463
https://doi.org/10.1080/19942060.2022.2095440
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
718
book article EST
/
book article ENG
Three-dimensional visualization of legal acts : concept and prototype
Täks, Ermo
;
Kruuk, Helina
;
Draheim, Dirk
Future data and security engineering : big data, security and privacy, smart city and industry 4.0 applications : 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22–24, 2023, proceedings
2023
/
p. 3-17
https://doi.org/10.1007/978-981-99-8296-7_1
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
719
book article EST
/
book article ENG
3DLaneNAS : neural architecture search for accurate and light-weight 3D lane detection
Zoljodi, Ali
;
Loni, Mohammad
;
Abadijou, Sadegh
;
Alibeigi, Mina
;
Daneshtalab, Masoud
Artificial Neural Networks and Machine Learning - ICANN 2022 : proceedings. Part I
2022
/
p. 404-415
https://doi.org/10.1007/978-3-031-15919-0_34
Conference Proceedings at scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
720
journal article EST
/
journal article ENG
A three-phase simplex method for infeasible and unbounded linear programming problems
Übi, Evald
Journal of Mathematical and Computational Science
2020
/
p. 906-921
http://scik.org/index.php/jmcs/article/view/4387
https://doi.org/10.28919/jmcs/4387
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
721
journal article EST
/
journal article ENG
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, Bassel
;
Mogelberg, Rasmus Ejlers
;
Veltri, Niccolo
Logical Methods in Computer Science
2020
/
p. 17:1 - 17:31
https://doi.org/10.23638/LMCS-16(4:17)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
722
journal article EST
/
journal article ENG
Time-dependent variations in current harmonic emission by LED lamps in the low-voltage network
Iqbal, Muhammad Naveed
;
Kütt, Lauri
;
Asad, Bilal
;
Shabbir, Noman
;
Rasheed, Iftikhar
Electrical Engineering
2021
/
p. 1525-1539 : ill
https://doi.org/10.1007/s00202-020-01175-4
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
723
journal article EST
/
journal article ENG
Time-domain identification of one noninteger order plus time delay models from step response measurements
Alagoz, Baris Baykant
;
Tepljakov, Aleksei
;
Ates, Abdullah
;
Petlenkov, Eduard
;
Yeroglu, Celaleddin
International journal of modeling, simulation, and scientific computing
2019
/
art. 1941011, 22 p. : ill
https://doi.org/10.1142/S1793962319410113
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
724
book article EST
/
book article ENG
To i-vote or not to i-vote: drivers and barriers to the implementation of internet voting
Licht, Nathan
;
Duena Cid, David
;
Krivonosova, Iuliia
;
Krimmer, Robert Johannes
Electronic voting : 6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 5–8, 2021, Proceedings
2021
/
p. 91-105 : ill
https://doi.org/10.1007/978-3-030-86942-7_7
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
725
journal article EST
/
journal article ENG
To Peirce Hintikka's thoughts
Pietarinen, Ahti-Veikko
Logica Universalis
2019
/
p. 241–262
https://doi.org/10.1007/s11787-018-0203-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 793, displaying
701 - 725
previous
23
24
25
26
27
28
29
30
31
32
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