Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Matemaatika (category)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 847
Look more.. (3/50)
Export

export all inquiry results (847)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
276

journal article EST / journal article ENG

Flow velocity estimation using a fish-shaped lateral line probe with product-moment correlation features and a neural networkTuhtan, Jeffrey Andrew; Fuentes-Pérez, Juan Francisco; Toming, Gert; Kruusmaa, MaarjaFlow measurement and instrumentation2017 / p. 1-8 : ill https://doi.org/10.1016/j.flowmeasinst.2016.10.017 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
277

journal article EST / journal article ENG

Flow-relative control of an underwater robotSalumäe, Taavi; Kruusmaa, MaarjaProceedings of the Royal Society. A, Mathematical, physical & engineering sciences2013 / art. 20120671 https://doi.org/10.1098/rspa.2012.0671 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
278

book article EST / book article ENG

Forecasting available demand-side flexibilityAhmadiahangar, Roya; Rosin, Argo; Palu, Ivo; Azizi, AydinDemand-side flexibility in smart grid2020 / p. 39-49 https://doi.org/10.1007/978-981-15-4627-3_4 Journal metrics at Scopus Article at Scopus

book article EST / book article ENG
279

book article EST / book article ENG

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / 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

book article EST / book article ENG
280

journal article EST / journal article ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
281

journal article EST / journal article ENG

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG
282

book article EST / book article ENG

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / 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
Seotud publikatsioonid 1
- A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
283

book article EST / book article ENG

Formation number of vortex ringsDanaila, Ionut; Kaplanski, Felix; Sazhin, SergeiVortex Ring Models2021 / p. 121-139 https://doi.org/10.1007/978-3-030-68150-0_6 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG
284

journal article EST / journal article ENG

The Fourier, Hilbert, and Mellin transforms on a half-lineBlasten, Emilia; Päivärinta, Lassi Juhani; Sadique, SadiaSIAM Journal on Mathematical Analysis2023 / p. 7529-7548 https://doi.org/10.1137/23M1560628 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Seotud publikatsioonid 1
- Inverse scattering of acoustic and electromagnetic waves from flat screens and properties of integral transforms on a half axis = Akustiliste ja elektromagnetlainete pöördhajumine lameekraanilt ja integraalteisenduste omadused poolteljel
285

journal article EST / journal article ENG

Fractional order sliding mode controller based on supervised machine learning techniques for speed control of PMSMZahraoui, Younes; Zaihidee, Fardila M.; Kermadi, Mostefa; Mekhilef, Saad; Mubin, Marizan; Tang, Jing Rui; Zaihidee, Ezrinda M.Mathematics2023 / 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
286

book article EST / book article ENG

A framework for data-driven public service co-productionToots, Maarja; McBride, Keegan David Braun; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Government : 16th IFIP WG 8.5 International Conference : EGOV 2017, St. Petersburg, Russia, September 4-7, 2017 : proceedings2017 / p. 264-275 : ill https://doi.org/10.1007/978-3-319-64677-0_22 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
287

book article EST / book article ENG

Framework for peer-to-peer data sharing over Web browsersPattanaik, Vishwajeet; Sharvadze, Ioane; Draheim, DirkFuture Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings2019 / 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

book article EST / book article ENG
Seotud publikatsioonid 1
- Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
288

book article EST / book article ENG

A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of NigeriaAkaba, Temofe Isaac; Norta, Alexander; Udokwu, Chibuzor; Draheim, DirkResponsible 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 I2020 https://doi.org/10.1007/978-3-030-44999-5_1 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
289

journal article EST / journal article ENG

Frameworks for collective intelligence : a systematic literature reviewSuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkACM computing surveys2020 / 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

journal article EST / journal article 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
290

book article EST / book article ENG

Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / 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

book article EST / book article ENG
291

journal article EST / journal article ENG

Frictional wear and corrosion behavior of AlCoCrFeNi high-entropy alloy coatings synthesized by atmospheric plasma sprayingMu, Yongkun; Zhang, Liangbo; Xu, Long; Prashanth, Konda Gokuldoss; Zhang, Nizhen; Ma, Xindi; Jia, Yuefei; Xu, Yulai; Jia, Yandong; Wang, GangEntropy2020 / art. 740 https://doi.org/10.3390/e22070740 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
292

journal article EST / journal article ENG

From bench to bedsideArezzo, Alberto; Kruusmaa, Maarja; Mylonas, GeorgeIEEE Transactions on Medical Robotics and Bionics2022 / 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

journal article EST / journal article ENG
293

book article EST / book article ENG

From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applicationsDraheim, Dirk; Tammet, TanelDatabase and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I2020 / 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

book article EST / book article ENG
294

book article EST / book article ENG

Future opportunities for systematic AI support in healthcareBertl, Markus; Piho, Gunnar; Draheim, Dirk; Ross, Peeter; Pechmann, Ludwig; Bucciarelli, Nicholas; Sharma, RahulBridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers2024 / p. 203 - 224 https://doi.org/10.1007/978-3-031-73741-1_13 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
295

journal article EST / journal article ENG

Genome-scale metabolic modeling reveals metabolic trade-offs associated with lipid production in Rhodotorula toruloidesReķena, Alina; Pinheiro, Marina J.; Bonturi, Nemailla; Belouah, Isma; Tammekivi, Eliise; Herodes, Koit; Kerkhoven, Eduard J.; Lahtvee, Petri-JaanPLoS computational biology2023 / art. e1011009 https://doi.org/10.1371/journal.pcbi.1011009 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
296

book article EST / book article ENG

GK : Implementing full first order default logic for commonsense reasoning (system description)Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings2022 / 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

book article EST / book article ENG
297

book article EST / book article ENG

GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / 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

book article EST / book article ENG
298

journal article EST / journal article ENG

Global data on earthworm abundance, biomass, diversity and corresponding environmental propertiesPhillips, 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, MariScientific data2021 / 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

journal article EST / journal article ENG
299

journal article EST / journal article ENG

A global database for metacommunity ecology, integrating species, traits, environment and spaceJeliazkov, Alienor; Mijatovic, Darko; Chantepie, Stephane; Reitalu, TriinScientific data2020 / 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

journal article EST / journal article ENG
300

book article EST / book article ENG

Grand reports : a tool for generalizing association rule mining to numeric target valuesArakkal Peious, Sijo; Sharma, Rahul; Kaushik, Minakshi; Shah, Syed Attique; Ben Yahia, SadokBig Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020 : Proceedings2020 / 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

book article EST / book article ENG

Number of records 847, displaying 276 - 300

previous
8
9
10
11
12
13
14
15
16
17
next

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. juhukõnd (matemaatika)
13. kategooriad (matemaatika)
14. kongruentsid (matemaatika)
15. konstruktiivne matemaatika
16. korpused (matemaatika)
17. kuju (matemaatika)
18. kujutused (matemaatika)
19. kõrgem matemaatika
20. maatriksid (matemaatika)
21. matemaatika
22. moodulid (matemaatika)
23. omaväärtused (matemaatika)
24. paraboolid (matemaatika)
25. pidevus (matemaatika)
26. pii (matemaatika)
27. piirväärtused (matemaatika)
28. poolrühmad (matemaatika)
29. puud (matemaatika)
30. read (matemaatika)
31. ringid (matemaatika)
32. rühmad (matemaatika)
33. seosed (matemaatika)
34. Tallinna Tehnikaülikool. Matemaatika-loodusteaduskond
35. tasand (matemaatika)
36. tuletised (matemaatika)
37. valemid (matemaatika)
38. võred (matemaatika)
39. väljad (matemaatika)
40. väljateooria (matemaatika)
41. Eesti NSV Teaduste Akadeemia. Füüsika- Matemaatika- ja Tehnikateaduste Osakond
42. Eesti NSV Teaduste Akadeemia. Füüsika-Matemaatika- ja Tehnikateaduste Nõukog
43. Eesti NSV Teaduste Akadeemia. Füüsika-Matemaatika- ja Tehnikateaduste Osakond

1. matemaatika ja mehaanika kateeder
2. matemaatika ja teoreetilise mehaanika kateeder
3. matemaatika kateeder
4. matemaatika-loodusteaduskond

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

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu