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
Matemaatika. Üldmatemaatika (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)
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
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)
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
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)
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
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)
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
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)
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 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
152
Look more..
(3/51)
Export
export all inquiry results
(152)
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
51
book article EST
/
book article ENG
Formal-verification of smart-contract languages : a survey
Dwivedi, Vimal Kumar
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
2019
/
p. 738-747
https://doi.org/10.1007/978-981-13-9942-8_68
Conference proceedings at Scopus
Article at Scopus
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
52
journal article EST
/
journal article ENG
Fractional order sliding mode controller based on supervised machine learning techniques for speed control of PMSM
Zahraoui, Younes
;
Zaihidee, Fardila M.
;
Kermadi, Mostefa
;
Mekhilef, Saad
;
Mubin, Marizan
;
Tang, Jing Rui
;
Zaihidee, Ezrinda M.
Mathematics
2023
/
art. 1457
https://doi.org/10.3390/math11061457
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
53
journal article EST
/
journal article ENG
Guest editorial: New boundaries for robotics
Kruusmaa, Maarja
;
Tan, Xiaobo
;
Laschi, Cecilia
;
Fioroni, Paolo
;
Madhavan, Raj
Robotics and autonomous systems
2014
/
p. 1-2
https://doi.org/10.1016/j.robot.2012.12.002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
54
book article EST
/
book article ENG
Heightened cyber vulnerability to patients with cardiac implantable electronic devices
Torgersen, Leanne N.S.
;
Whitaker, Rupert E.D.
;
Lugo, Ricardo Gregorio
;
Sütterlin, Stefan
;
Schulz, Stefan M.
HCI International 2023 Posters : 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I
2023
/
p. 519-528
https://doi.org/10.1007/978-3-031-35989-7_66
Conference Proceedings at scopus
Article at Scopus
book article EST
/
book article ENG
55
journal article EST
/
journal article ENG
Helicene-based chiral auxiliaries and chirogenesis
Hasan, Mohammed
;
Borovkov, Victor
Symmetry
2018
/
48 p. : ill
https://doi.org/10.3390/sym10010010
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
56
journal article EST
/
journal article ENG
The Hermite - Minkowski domain of reduction of positive definite quadratic forms in six variables
Tammela, Paul
Journal of Soviet Mathematics
1976
/
p. 677-688 : ill
https://doi.org/10.1007/BF01092512
journal article EST
/
journal article ENG
57
book article EST
/
book article ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
13 p
https://doi.org/10.1109/LICS56636.2023.10175726
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
58
journal article EST
/
journal article ENG
Highly diastereoselective chelation-controlled 1,3-anti-allylation of (S)-3-(Methoxymethyl)hexanal enabled by hydrate of scandium triflate
Masiuk, Uladzimir
;
Mineyeva, Iryna
;
Kananovich, Dzmitry
Symmetry
2021
/
art. 470, 17 p
https://doi.org/10.3390/sym13030470
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
59
book article EST
/
book article ENG
How do NATO members define cyber operations?
Arik, Marko
HCI International 2023 – Late Breaking Posters |b 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I
2024
/
p. 8-14
https://doi.org/10.1007/978-3-031-49212-9_2
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
60
journal article EST
/
journal article ENG
Interfaces in micromorphic materials : wave transmission and reflection with numerical simulations
Berezovski, Arkadi
;
Giorgio, Ivan
;
Della Corte, Alessandro
Mathematics and mechanics of solids
2016
/
p. 37-51 : ill
https://doi.org/10.1177/1081286515572244
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
61
journal article EST
/
journal article ENG
An inverse problem for a generalized fractional derivative with an application in reconstruction of time- and space-dependent sources in fractional diffusion and wave equations
Kinash, Nataliia
;
Janno, Jaan
Mathematics
2019
/
art. 1138, p. 1-16
https://doi.org/10.3390/math7121138
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
62
journal article EST
/
journal article ENG
Inverse problem to determine two time-dependent source factors of fractional diffusion-wave equations from final data and simultaneous reconstruction of location and time history of a point source
Janno, Jaan
Mathematics
2023
/
art. 456, 17 p
https://doi.org/10.3390/math11020456
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
63
journal article EST
/
journal article ENG
Inverse problems for a perturbed time fractional diffusion equation with final overdetermination
Kinash, Nataliia
;
Janno, Jaan
Mathematical methods in the applied sciences
2018
/
p. 1925-1943 : ill
https://doi.org/10.1002/mma.4719
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
64
journal article EST
/
journal article ENG
Inverse problems with unknown boundary conditions and final overdetermination for time fractional diffusion-wave equations in cylindrical domains
Janno, Jaan
Mathematics
2021
/
art. 2541, 22 p
https://doi.org/10.3390/math9202541
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
65
journal article EST
/
journal article ENG
Inverse source problem with a posteriori boundary measurement for fractional diffusion equations
Janno, Jaan
;
Kian, Yavar
Mathematical methods in the applied sciences
2023
/
p. 15868-15882
https://doi.org/10.1002/mma.9432
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
66
book article EST
/
book article ENG
Investigating different sources of flexibility in power system
Ahmadiahangar, Roya
;
Rosin, Argo
;
Palu, Ivo
;
Azizi, Aydin
Demand-side flexibility in smart grid
2020
/
p. 27-37
https://doi.org/10.1007/978-981-15-4627-3_3
Journal metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
67
journal article EST
/
journal article ENG
Is it disgraceful to present a book of mathematics to a Queen?
Moktefi, Amirouche
The mathematical intelligencer
2019
/
p. 42–50 : ill
https://doi.org/10.1007/s00283-018-9843-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
68
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
69
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
70
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
71
journal article EST
/
journal article ENG
Mathematical and physical modelling of the dynamic fluidic impedance of arteries using electrical impedance equivalents
Giannoukos, Georgios
;
Min, Mart
Mathematical methods in the applied sciences
2014
/
p. 711 - 717 : ill
https://doi.org/10.1002/mma.2829
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
72
journal article EST
/
journal article ENG
Matrix transforms between sequence spaces defined by speeds of convergence
Aasma, Ants
;
Natarajan, Pinnangudi N.
Filomat
2023
/
p. 1029-1036
https://doi.org/10.2298/FIL2304029A
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
73
journal article EST
/
journal article ENG
Matrix transforms between subspaces of summability domains of matrices determined by speed of convergence
Aasma, Ants
;
Natarajan, Pinnangudi N.
Indian Journal of Mathematics
2023
/
p. 323-341
https://www.scopus.com/inward/record.uri?eid=2-s2.0-85185908862&partnerID=40&md5=68a63c99a7ea221800fbd95b5e6b032b
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
74
journal article EST
/
journal article ENG
Matrix transforms of A-statistically convergent sequences with speed
Aasma, Ants
Filomat
2013
/
p. 1385-1392
https://doi.org/10.2298/FIL1308385A
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
75
journal article EST
/
journal article ENG
Matrix transforms of subspaces of summability domains of matrices defined by speed of convergence
Aasma, Ants
;
Natarajan, Pinnangudi N.
Filomat
2023
/
p. 10209-10218
https://journal.pmf.ni.ac.rs/filomat/index.php/filomat/article/view/21559
https://doi.org/10.2298/FIL2330209A
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 152, displaying
51 - 75
previous
1
2
3
4
5
6
7
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