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 publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 1002
Look more.. (3/51)
Export

export all inquiry results (1000*)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
326

journal article EST / journal article ENG

A flapped paddle-fin for improving underwater propulsive efficiency of oscillatory actuationSimha, Ashutosh; Gkliva, Roza; Kotta, Ülle; Kruusmaa, MaarjaIEEE robotics and automation letters2020 / p. 3176-3181 https://doi.org/10.1109/LRA.2020.2975747 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 1
- Novel mechanisms of robot locomotion : variable stiﬀness actuators for underwater and multi-phase environments = Robotite uudsed liikumismehhanismid : muutuva jäikusega täiturid veealustes ja mitmefaasilistes keskkondades
327

book article EST / book article ENG

Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / 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

book article EST / book article ENG
328

book article EST / book article ENG

Floor selection proposal for automated travel with smart elevatorReinsalu, Uljana; Robal, Tarmo; Leier, MairoDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 https://doi.org/10.1007/978-3-030-57672-1_4 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
329

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
330

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
331

journal article EST / journal article ENG

The Foldy-Lax approximation of the scattered waves by many small bodies for the Lamé systemChalla, Durga Prasad; Sini, MouradMathematische Nachrichten2015 / p. 1834-1872 https://doi.org/10.1002/mana.201400137 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
332

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
333

book article EST / book article ENG

FoREnSiC– an automatic debugging environment for C programsBloem, Roderick; Raik, Jaan; Repinski, UrmasEighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]2013 / p. 260-265 : ill https://doi.org/10.1007/978-3-642-39611-3_24 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
334

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
335

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
336

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
337

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
Related publications 1
- A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
338

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
339

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
Related publications 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
340

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
341

journal article EST / journal article ENG

A framework for comprehensive impact assessment in the case of an extreme winter scenario, considering integrative aspects of systemic vulnerability and resilienceMolarius, Riitta; Tuomaala, Pekka; Piira, Kalevi; Räikkönen, Minna; Aubrecht, Christoph; Polese, Maria; Zuccaro, Giulio; Pilli-Sihvola, Karoliina; Rannat, KalevCMES - Computer Modeling in Engineering and Sciences2015 / p. 131 - 158 https://www.techscience.com/CMES/v109-110n2/27295 https://doi.org/10.3970/cmes.2015.109.131 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
342

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
343

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
Related publications 1
- Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
344

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
345

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
Related publications 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
346

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
347

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
348

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
349

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
350

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

Number of records 1002, displaying 326 - 350

previous
10
11
12
13
14
15
16
17
18
19
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. 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

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

TalTech 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