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
Matemaatika (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 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
981
Look more..
(3/51)
Export
export all inquiry results
(981)
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
451
journal article EST
/
journal article ENG
Legally enforceable smart-contract languages : a systematic literature review
Dwivedi, Vimal Kumar
;
Pattanaik, Vishwajeet
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
;
Draheim, Dirk
ACM computing surveys
2022
/
art. 3453475, p. 1–34
https://doi.org/10.1145/3453475
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
452
book article EST
/
book article ENG
A legal-relationship establishment in smart contracts : ontological semantics for programming-language development
Dwivedi, Vimal Kumar
;
Norta, Alexander
Advances in Computing and Data Sciences : 5th International Conference, ICACDS 2021, Nashik, India, April 23–24, 2021, Revised Selected Papers, Part I : proceedings
2021
/
p. 660-676
https://doi.org/10.1007/978-3-030-81462-5_58
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
453
journal article EST
/
journal article ENG
The level of financial literacy among the high school students in the chosen regions of the Czech Republic
Pasekova, Marie
;
Redinova, Hana
;
Kallaste, Kaidi
International journal of mathematical models and methods in applied sciences
2013
/
p. 462-469 : ill
https://publikace.k.utb.cz/handle/10563/1003254
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
454
book article EST
/
book article ENG
Lewis Carroll’s almost diagrammatic logic notation
Englebretsen, George
;
Moktefi, Amirouche
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
2023
/
p. 151-168
https://doi.org/10.1007/978-3-030-94452-0_8
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
455
book article EST
/
book article ENG
Lie algebras with given properties of subalgebras and elements
Zusmanovich, Pasha
Algebra, geometry and mathematical physics : AGMP, Mulhouse, France, October 2011
2014
/
p. 99-109
https://doi.org/10.1007/978-3-642-55361-5_7
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
456
journal article EST
/
journal article ENG
Lifting twisted coreflections against delta lenses
Clarke, Bryce James
Theory and Applications of Categories
2024
/
p. 838 - 877 : ill
http://www.tac.mta.ca/tac/volumes/41/26/41-26abs.html
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
457
journal article EST
/
journal article ENG
A lightweight anonymous authentication scheme for secure cloud computing services
Hammami, Hamza
;
Ben Yahia, Sadok
;
Obaidat, Mohammad S.
The Journal of Supercomputing
2021
/
p. 1693-1713
https://doi.org/10.1007/s11227-020-03313-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
458
book article EST
/
book article ENG
Limiting adversarial budget in quantitative security assessment
Lenin, Aleksandr
;
Buldas, Ahto
Decision and Game Theory for Security : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014 : proceedings
2014
/
p. 155-174 : ill
https://doi.org/10.1007/978-3-319-12601-2_9
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
459
book article EST
/
book article ENG
Live enrolment for identity documents in Europe
Kalvet, Tarmo
;
Karlzén, Henrik
;
Hunstad, Amund
;
Tiits, Marek
Electronic Government : 17th IFIP WG 8.5 International Conference : EGOV 2018, Krems, Austria, September 3–5, 2018 : proceedings
2018
/
p. 29-39 : ill
https://doi.org/10.1007/978-3-319-98690-6_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
460
book article EST
/
book article ENG
A live virtual simulator for teaching cybersecurity to information technology students
Ernits, Margus
;
Kikkas, Kaido
Learning and Collaboration Technologies : Third International Conference, LCT 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings
2016
/
p. 474-486 : ill
https://doi.org/10.1007/978-3-319-39483-1_43
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
461
journal article EST
/
journal article ENG
Logical investigations on assertion and denial
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Journal of applied logic
2017
/
p. S1-S2
https://doi.org/10.1016/j.jal.2017.11.003
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
462
journal article EST
/
journal article ENG
Longitudinal wave propagation in axially graded Raylegh–Bishop nanorods
Arda, Mustafa
;
Majak, Jüri
;
Mehrparvar, Marmar
Mechanics of composite materials
2024
/
p. 1109-1128
https://doi.org/10.1007/s11029-023-10160-4
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
463
book article EST
/
book article ENG
Long-term secure commitments via extractable-binding commitments
Buldas, Ahto
;
Geihs, Matthias
;
Buchmann, Johannes
Information Security and Privacy : 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017 : Proceedings, Part I
2017
/
p. 65-81
https://doi.org/10.1007/978-3-319-60055-0_4
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
464
book article EST
/
book article ENG
Long-term secure time-stamping using preimage-aware hash functions : (short version)
Buldas, Ahto
;
Geihs, Matthias
;
Buchmann, Johannes
Provable Security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23–25, 2017 : proceedings
2017
/
p. 251-260 : ill
http://doi.org/10.1007/978-3-319-68637-0_15
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
465
book article EST
/
book article ENG
Lower bound methods for the size of nondeterministic finite automata revisited
Tamm, Hellis
;
Merwe, Brink van der
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings
2017
/
p. 261-272
https://doi.org/10.1007/978-3-319-53733-7_19
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
466
journal article EST
/
journal article ENG
Low-temperature waste heat enabling abandoning coal in Espoo district heating system
Hiltunen, Pauli
;
Syri, Sanna
Energy
2021
/
art. 120916, 11 p. : ill
https://doi.org/10.1016/j.energy.2021.120916
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
467
book article EST
/
book article ENG
LQG problem of descriptor systems and separation principle
Nosrati, Komeil
;
Belikov, Juri
;
Tepljakov, Aleksei
;
Petlenkov, Eduard
2024 IEEE 63rd Conference on Decision and Control (CDC)
2024
/
p. 1412 - 1417
https://doi.org/10.1109/CDC56724.2024.10886178
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
468
book article EST
/
book article ENG
Making e-government work : learning from the Netherlands and Estonia
Bharosa, Nitesh
;
Lips, Silvia
;
Draheim, Dirk
Electronic Participation : 12th IFIP WG 8.5 International Conference, ePart 2020, Linköping, Sweden, August 31 – September 2, 2020 : proceedings
2020
/
p. 41-53
https://doi.org/10.1007/978-3-030-58141-1_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
469
book article EST
/
book article ENG
Making sense of Schopenhauer's diagram of Good and Evil
Lemanski, Jens
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 721-724 : ill
https://doi.org/10.1007/978-3-319-91376-6_67
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
470
journal article EST
/
journal article ENG
Malicious accounts detection from online social networks : a systematic review of literature
Ben Sassi, Imen
;
Ben Yahia, Sadok
International Journal of General Systems
2021
/
p. 741−814
https://doi.org/10.1080/03081079.2021.1976773
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
471
journal article EST
/
journal article ENG
Management of national eID infrastructure as a state-critical asset and public-private partnership : learning from the case of Estonia
Lips, Silvia
;
Tsap, Valentyna
;
Bharosa, Nitesh
;
Krimmer, Robert Johannes
;
Tammet, Tanel
;
Draheim, Dirk
Information Systems Frontiers
2023
/
p.2439-2456
https://doi.org/10.1007/s10796-022-10363-5
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
472
journal article EST
/
journal article ENG
Managing energy consumption of linear delta robots using neural network models
Vodovozov, Valery
;
Lehtla, Madis
;
Raud, Zoja
;
Semjonova, Natalia
;
Petlenkov, Eduard
Energies
2024
/
art. 4081
https://doi.org/10.3390/en17164081
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
473
book article EST
/
book article ENG
Mapping brains on grids of features for schizophrenia analysis
Perina, Alessandro
;
Peruzzo, Denis
;
Kesa, Maria
;
Jojic, Nebojsa
;
Murino, Vittorio
;
Bellani, Mellani
;
Brambilla, Paolo
;
Castellani, Umberto
Medical Image Computing and Computer-Assisted Intervention –MICCAI 2014,17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part II
2014
/
p. 805-812 : ill
https://doi.org/10.1007/978-3-319-10470-6_100
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
474
book article EST
/
book article ENG
Mapping requirements specifications into a formalized blockchain-enabled authentication protocol for secured personal identity assurance
Leiding, Benjamin
;
Norta, Alexander
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
2017
/
p. 181-196 : ill
https://doi.org/10.1007/978-3-319-70004-5_13
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
475
journal article EST
/
journal article ENG
Mapping the types of modularity in open-source hardware
Gavras, Kosmas
;
Kostakis, Vasileios
Design Science
2021
/
e13
https://doi.org/10.1017/dsj.2021.11
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 981, displaying
451 - 475
previous
15
16
17
18
19
20
21
22
23
24
next
subject term
44
1.
bifurkatsioon (matemaatika)
2.
determinandid (matemaatika)
3.
diskreetne matemaatika
4.
Eesti Matemaatika Selts
5.
fuktsioonid (matemaatika)
6.
funktsioonid (matemaatika)
7.
harmooniline analüüs (matemaatika)
8.
hulgateooria (matemaatika)
9.
hüperboolid (matemaatika)
10.
ideaalid (matemaatika)
11.
intuitsionism (matemaatika)
12.
isomorfismid (matemaatika)
13.
juhukõnd (matemaatika)
14.
kategooriad (matemaatika)
15.
kongruentsid (matemaatika)
16.
konstruktiivne matemaatika
17.
korpused (matemaatika)
18.
kuju (matemaatika)
19.
kujutused (matemaatika)
20.
kõrgem matemaatika
21.
maatriksid (matemaatika)
22.
matemaatika
23.
moodulid (matemaatika)
24.
omaväärtused (matemaatika)
25.
paraboolid (matemaatika)
26.
pidevus (matemaatika)
27.
pii (matemaatika)
28.
piirväärtused (matemaatika)
29.
poolrühmad (matemaatika)
30.
puud (matemaatika)
31.
read (matemaatika)
32.
ringid (matemaatika)
33.
rühmad (matemaatika)
34.
seosed (matemaatika)
35.
Tallinna Tehnikaülikool. Matemaatika-loodusteaduskond
36.
tasand (matemaatika)
37.
tuletised (matemaatika)
38.
valemid (matemaatika)
39.
võred (matemaatika)
40.
väljad (matemaatika)
41.
väljateooria (matemaatika)
42.
Eesti NSV Teaduste Akadeemia. Füüsika- Matemaatika- ja Tehnikateaduste Osakond
43.
Eesti NSV Teaduste Akadeemia. Füüsika-Matemaatika- ja Tehnikateaduste Nõukog
44.
Eesti NSV Teaduste Akadeemia. Füüsika-Matemaatika- ja Tehnikateaduste Osakond
TalTech department
4
1.
matemaatika ja mehaanika kateeder
2.
matemaatika ja teoreetilise mehaanika kateeder
3.
matemaatika kateeder
4.
matemaatika-loodusteaduskond
author
3
1.
Tallinna Polütehniline Instituut, matemaatika kateeder
2.
Tallinna Polütehniline Instituut, vastuvõtukomisjon, matemaatika kateeder
3.
Tartu Riiklik Ülikool, Matemaatika- ja Füüsikakool
×
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