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
534
Vaata veel..
(3/49)
Ekspordi
ekspordi kõik päringu tulemused
(534)
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
176
artikkel kogumikus EST
/
artikkel kogumikus ENG
Flexibly graded monads and graded algebras
McDermott, Dylan
;
Uustalu, Tarmo
Mathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings
2022
/
p. 102-128 : ill
https://doi.org/10.1007/978-3-031-16912-0_4
Conference Proceeding at Scopus
Article at Scopus
Article at WOS
Conference proceeding at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
177
artikkel kogumikus EST
/
artikkel kogumikus ENG
Floor selection proposal for automated travel with smart elevator
Reinsalu, Uljana
;
Robal, Tarmo
;
Leier, Mairo
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
https://doi.org/10.1007/978-3-030-57672-1_4
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
178
artikkel kogumikus EST
/
artikkel kogumikus ENG
Forecasting available demand-side flexibility
Ahmadiahangar, Roya
;
Rosin, Argo
;
Palu, Ivo
;
Azizi, Aydin
Demand-side flexibility in smart grid
2020
/
p. 39-49
https://doi.org/10.1007/978-981-15-4627-3_4
Journal metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
179
artikkel kogumikus EST
/
artikkel kogumikus ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
180
artikkel kogumikus EST
/
artikkel kogumikus 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
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
181
artikkel kogumikus EST
/
artikkel kogumikus ENG
Formation number of vortex rings
Danaila, Ionut
;
Kaplanski, Felix
;
Sazhin, Sergei
Vortex Ring Models
2021
/
p. 121-139
https://doi.org/10.1007/978-3-030-68150-0_6
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
182
artikkel kogumikus EST
/
artikkel kogumikus ENG
Framework for peer-to-peer data sharing over Web browsers
Pattanaik, Vishwajeet
;
Sharvadze, Ioane
;
Draheim, Dirk
Future Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings
2019
/
p. 207-225 : ill
https://doi.org/10.1007/978-3-030-35653-8_14
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
183
artikkel kogumikus EST
/
artikkel kogumikus ENG
A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of Nigeria
Akaba, Temofe Isaac
;
Norta, Alexander
;
Udokwu, Chibuzor
;
Draheim, Dirk
Responsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I
2020
https://doi.org/10.1007/978-3-030-44999-5_1
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
184
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Frameworks for collective intelligence : a systematic literature review
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Draheim, Dirk
ACM computing surveys
2020
/
art. 14, p. 1−36
https://doi.org/10.1145/3368986
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
2
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
185
artikkel kogumikus EST
/
artikkel kogumikus ENG
Freely combining partial knowledge in multiple dimensions (extended abstract)
Draheim, Dirk
Future Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings
2018
/
p. 3-11
https://doi.org/10.1007/978-3-030-03192-3_1
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
186
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Frictional wear and corrosion behavior of AlCoCrFeNi high-entropy alloy coatings synthesized by atmospheric plasma spraying
Mu, Yongkun
;
Zhang, Liangbo
;
Xu, Long
;
Prashanth, Konda Gokuldoss
;
Zhang, Nizhen
;
Ma, Xindi
;
Jia, Yuefei
;
Xu, Yulai
;
Jia, Yandong
;
Wang, Gang
Entropy
2020
/
art. 740
https://doi.org/10.3390/e22070740
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
187
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
From bench to bedside
Arezzo, Alberto
;
Kruusmaa, Maarja
;
Mylonas, George
IEEE Transactions on Medical Robotics and Bionics
2022
/
p. 297 - 299
https://doi.org/10.1109/TMRB.2022.3172013
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
188
artikkel kogumikus EST
/
artikkel kogumikus ENG
From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applications
Draheim, Dirk
;
Tammet, Tanel
Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I
2020
/
p. 3-19
https://doi.org/10.1007/978-3-030-59003-1_1
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
189
artikkel kogumikus EST
/
artikkel kogumikus ENG
GK : Implementing full first order default logic for commonsense reasoning (system description)
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings
2022
/
p. 300-309
https://doi.org/10.1007/978-3-031-10769-6_18
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
190
artikkel kogumikus EST
/
artikkel kogumikus ENG
GKC: A reasoning system for large knowledge bases
Tammet, Tanel
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
2019
/
p. 538-549
https://doi.org/10.1007/978-3-030-29436-6_32
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
191
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Global data on earthworm abundance, biomass, diversity and corresponding environmental properties
Phillips, Helen R. P.
;
Bach, Elizabeth M.
;
Bartz, Marie L. C.
;
Bennett, Joanne M.
;
Beugnon, Remy
;
Briones, Maria J. I.
;
Brown, George G.
;
Ferlian, Olga
;
Gongalsky, Konstantin B.
;
Ivask, Mari
Scientific data
2021
/
art. 136
https://doi.org/10.1038/s41597-021-00912-z
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
192
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A global database for metacommunity ecology, integrating species, traits, environment and space
Jeliazkov, Alienor
;
Mijatovic, Darko
;
Chantepie, Stephane
;
Reitalu, Triin
Scientific data
2020
/
art. 6 ; 12 p. : ill
https://doi.org/10.1038/s41597-019-0344-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
193
artikkel kogumikus EST
/
artikkel kogumikus ENG
Grand reports : a tool for generalizing association rule mining to numeric target values
Arakkal Peious, Sijo
;
Sharma, Rahul
;
Kaushik, Minakshi
;
Shah, Syed Attique
;
Ben Yahia, Sadok
Big Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020 : Proceedings
2020
/
p. 28-37
https://doi.org/10.1007/978-3-030-59065-9_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
194
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Grid-forming operation of energy-router based on model predictive control with improved dynamic performance
Najafzadeh, Mahdiyyeh
;
Strzelecka, Natalia
;
Husev, Oleksandr
;
Roasto, Indrek
;
Nassereddine, Kawsar
;
Vinnikov, Dmitri
;
Strzelecki, Ryszard
Energies
2022
/
14 p. : ill
https://doi.org/10.3390/en15114010
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Multifunctional energy router for residential applications = Multifunktsionaalne energiaruuter eramutele
195
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Gunshot acoustic event identification and shooter localization in a WSN of asynchronous multichannel acoustic ground sensors
Astapov, Sergei
;
Berdnikova, Julia
;
Ehala, Johannes
;
Kaugerand, Jaanus
;
Preden, Jürgo-Sören
Multidimensional systems and signal processing
2018
/
p. 563-595 : ill
https://doi.org/10.1007/s11045-017-0479-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
196
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Hairpin windings for electric vehicle motors : modeling and investigation of AC loss-mitigating approaches
Ghahfarokhi, Payam Shams
;
Podgornovs, Andrejs
;
Cardoso, Antonio J. Marques
;
Kallaste, Ants
;
Belahcen, Anouar
;
Vaimann, Toomas
Machines
2022
/
art. 1029
https://doi.org/10.3390/machines10111029
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
197
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Hardware-in-the-Loop test of an open loop fuzzy control method for decoupled electro-hydraulic antilock braking system
Aksjonov, Andrei
;
Ricciardi, Vincenzo
;
Augsburg, Klaus
;
Vodovozov, Valery
;
Petlenkov, Eduard
IEEE transactions on fuzzy systems
2020
/
p. 965-975: ill
https://doi.org/10.1109/TFUZZ.2020.2965868
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
198
artikkel kogumikus EST
/
artikkel kogumikus ENG
Harnessing cloud scalability to hadoop clusters
Koschel, Arne
;
Heine, Felix
;
Astrova, Irina
Information Systems 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018 : Limassol, Cyprus, October 4–5, 2018 : proceedings
2019
/
p. 59-71
https://doi.org/10.1007/978-3-030-11395-7_6
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
199
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Heat loss due to domestic hot water pipes
Hamburg, Anti
;
Mikola, Alo
;
Parts, Tuule Mall
;
Kalamees, Targo
Energies
2021
/
art. 6446
https://doi.org/10.3390/en14206446
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Realisation of energy renovation targets of Estonian apartment buildings = Eesti korterelamute renoveerimisel energiatõhususe eesmärkide saavutamine
200
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Heating sizing power reduction in buildings connected to district heating with dynamically controlled DHW setback and flow limiters
Hajian, Hatef
;
Simson, Raimo
;
Kurnitski, Jarek
Energies
2022
/
art. 5278
https://doi.org/10.3390/en15145278
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 534, kuvan
176 - 200
eelmine
4
5
6
7
8
9
10
11
12
13
järgmine
märksõna
42
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.
intuitsionism (matemaatika)
11.
isomorfismid (matemaatika)
12.
kategooriad (matemaatika)
13.
kongruentsid (matemaatika)
14.
konstruktiivne matemaatika
15.
korpused (matemaatika)
16.
kuju (matemaatika)
17.
kujutused (matemaatika)
18.
kõrgem matemaatika
19.
maatriksid (matemaatika)
20.
matemaatika
21.
moodulid (matemaatika)
22.
omaväärtused (matemaatika)
23.
paraboolid (matemaatika)
24.
pidevus (matemaatika)
25.
pii (matemaatika)
26.
piirväärtused (matemaatika)
27.
poolrühmad (matemaatika)
28.
puud (matemaatika)
29.
read (matemaatika)
30.
ringid (matemaatika)
31.
rühmad (matemaatika)
32.
seosed (matemaatika)
33.
Tallinna Tehnikaülikool. Matemaatika-loodusteaduskond
34.
tasand (matemaatika)
35.
tuletised (matemaatika)
36.
valemid (matemaatika)
37.
võred (matemaatika)
38.
väljad (matemaatika)
39.
väljateooria (matemaatika)
40.
Eesti NSV Teaduste Akadeemia. Füüsika- Matemaatika- ja Tehnikateaduste Osakond
41.
Eesti NSV Teaduste Akadeemia. Füüsika-Matemaatika- ja Tehnikateaduste Nõukog
42.
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