Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Matemaatika (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
981
Vaata veel..
(3/51)
Ekspordi
ekspordi kõik päringu tulemused
(981)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
451
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
452
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
453
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
454
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
455
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
456
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
457
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
458
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
459
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
460
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
461
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
462
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
463
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
464
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
465
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
466
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
467
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
468
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
469
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
470
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
471
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
472
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
473
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
474
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
475
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 981, kuvan
451 - 475
eelmine
15
16
17
18
19
20
21
22
23
24
järgmine
märksõna
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
TTÜ struktuuriüksus
4
1.
matemaatika ja mehaanika kateeder
2.
matemaatika ja teoreetilise mehaanika kateeder
3.
matemaatika kateeder
4.
matemaatika-loodusteaduskond
autor
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
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT