Searching - TalTech Research Portal

display

sort

751

book article EST / book article ENG

Model based approach for testing: distributed real-time systems augmented with online monitorsPal, Deepak; Vain, JüriDatabases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings2018 / p. 142-157 https://doi.org/10.1007/978-3-319-97571-9_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

752

book article EST / book article ENG

Model based Test framework for communications-critical internet of things systemsPal, Deepak; Vain, JüriDatabases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 20182019 / p. 79-94 https://www.ester.ee/record=b5203991*est https://doi.org/10.3233/978-1-61499-941-6-79 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

753

journal article EST / journal article ENG

Model predictive control for modeling human gait motions assisted by Vicon technologyVu, Trieu Minh; Tamre, Mart; Musalimov, Victor; Kovalenko, Pavel; Rubinshtein, Irina; Ovchinnikov, Ivan; Krcmarik, David; Moezzi, RezaJournal Europeen des systemes automatises2020 / p. 589−600 https://doi.org/10.18280/jesa.530501 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

754

journal article EST / journal article ENG

Model reference adaptive control scheme for retuning method-based fractional-order PID control with disturbance rejection applied to closed-loop control of a magnetic levitation systemTepljakov, Aleksei; Alagoz, Baris Baykant; Gonzalez, Emmanuel A.; Petlenkov, Eduard; Yeroglu, CelaleddinJournal of circuits, systems, and computers2018 / 1850176 https://doi.org/10.1142/S0218126618501761 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

755

book article EST / book article ENG

Model-based analysis of secure and patient-dependent pacemaker monitoring systemTsiopoulos, Leonidas; Kuusik, Alar; Vain, Jüri; Bahsi, HayretdinBody Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings2020 / p. 77-91 https://doi.org/10.1007/978-3-030-64991-3_6 Journal metrics at scopus Article at Scopus

book article EST / book article ENG

756

journal article EST / journal article ENG

A model-based approach for design and verification of Industrial Internet of ThingsMuthukumar, Natarajan; Sriniavsan, Seshadhri; Ramkumar, Kannan; Pal, Deepak; Vain, Jüri; Ramaswamy, SriniFuture generation computer systems2019 / p. 354-363 : ill https://doi.org/10.1016/j.future.2018.12.012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

757

journal article EST / journal article ENG

Model-based testing of autonomous robots using TestItKanter, Gert; Vain, JüriJournal of reliable intelligent environments2020 / p. 15-30 https://doi.org/10.1007/s40860-019-00095-w Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

758

book article EST / book article ENG

Model-based testing of real-time distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 272-286 : ill https://doi.org/10.1007/978-3-319-40180-5_19 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

759

journal article EST / journal article ENG

Modeling and robust control algorithms for a linear belt driven systemVu, Trieu Minh; Tamre, Mart; Sekhri, EvenOpen computer science2018 / p. 142-153 : ill https://doi.org/10.1515/comp-2018-0010 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

Seotud publikatsioonid 1

Fully automated tuning of microwave coaxial cavity filters = Mikrolaine-koaksiaalfiltrite täisautomaatne häälestamine

760

journal article EST / journal article ENG

Modeling and simulation of circuits with shared structurally synthesized BDDsUbar, Raimund-Johannes; Jürimägi, Lembit; Raik, Jaan; Viies, VladimirMicroprocessors and microsystems2017 / p. 56-61 : ill https://doi.org/10.1016/j.micpro.2016.09.006 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

761

journal article EST / journal article ENG

Modeling battery energy storage systems based on remaining useful lifetime through regression algorithms and binary classifiersGilbert Zequera, Rolando Antonio; Rjabtšikov, Viktor; Rassõlkin, Anton; Vaimann, Toomas; Kallaste, AntsApplied sciences2023 / art. 7597 https://doi.org/10.3390/app13137597 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

762

journal article EST / journal article ENG

Modelling anisotropy in non-oriented electrical steel sheet using vector Jiles-Atherton modelUpadhaya, Brijesh; Martin, Floran; Rasilo, Paavo; Handgruber, Paul; Belahcen, Anouar; Arkkio, AnteroCOMPEL : The international journal for computation and mathematics in electrical and electronic engineering2017 / p. 764-773 : ill https://doi.org/10.1108/COMPEL-09-2016-0399 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

763

journal article EST / journal article ENG

Modelling of consumption shares for small wind energy prosumersAnnuk, Andres; Yaïci, Wahiba; Blinov, Andrei; Märss, Maido; Trashchenkov, Sergei; Miidla, PeepSymmetry2021 / art. 647 https://doi.org/10.3390/sym13040647 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

764

journal article EST / journal article ENG

Modelling of nitrogen leaching from watersheds with large drained peat areasVassiljev, Anatoli; Kaur, Katrin; Annus, IvarAdvances in engineering software2018 / p. 94-100 : ill https://doi.org/10.1016/j.advengsoft.2018.03.007 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

765

book article EST / book article ENG

Modelling the impact of space situational awareness disruption on the European and Arctic security landscapeCarlo, Antonio; Boschetti, NicoloModelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022 : Revised Selected Papers2023 / p. 299-311 https://doi.org/10.1007/978-3-031-31268-7_18 Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

766

journal article EST / journal article ENG

Modelling wholesale company's supply chain using system dynamicsKiisler, Ain; Hilmola, Olli-Pekka KristianTransport and Telecommunication2020 / p. 149 - 158 https://doi.org/10.2478/ttj-2020-0012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

767

journal article EST / journal article ENG

Modern build automation for an insurance company tool selectionLange, Moritz; Tran, Kim Chi; Grunewald, Alexander; Koschel, Arne; Pakosch, Anna; Astrova, IrinaProcedia computer science2023 / p. 736-743 : ill https://doi.org/10.1016/j.procs.2023.01.346 Conference proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

768

journal article EST / journal article ENG

A modified dynamic model of single-sided linear induction motors considering longitudinal and transversal effectsHeidari, Hamidreza; Rassõlkin, Anton; Razzaghi, Arash; Vaimann, Toomas; Kallaste, Ants; Andriushchenko, Ekaterina; Belahcen, Anouar; Lukichev, DmitryElectronics2021 / art. 933, 14 p. : ill https://doi.org/10.3390/electronics10080933 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

769

journal article EST / journal article ENG

Modified technique of parameter identification of a permanent magnet synchronous motor with PWM inverter in the presence of dead-time effect and measurement noiseMamatov, Aleksandr; Lovlin, Sergey; Vaimann, Toomas; Rassõlkin, Anton; Vakulenko, Sergei; Abramian, AndreiElectronics2019 / art. 1200, 19 p https://doi.org/10.3390/electronics8101200 Journal metrics at Scopus Article at Scopus Journal metrics ar WOS Article at WOS

journal article EST / journal article ENG

770

journal article EST / journal article ENG

Moisture dry-out capability of steel-faced mineral wool insulated sandwich panelsKalbe, Kristo; Piikov, Hubert; Kalamees, TargoSustainability2021 / 18 p. : ill https://doi.org/10.3390/su12219020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

771

journal article EST / journal article ENG

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 https://doi.org/10.2168/LMCS-11(1:3)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

772

book article EST / book article ENG

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

773

journal article EST / journal article ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Monoidal width = Monoidiline laius

774

book article EST / book article ENG

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Monoidal width = Monoidiline laius

775

book article EST / book article ENG

MOOCs in logistics – preliminary data on university curricula coverageNiine, Tarvo; Cantoni, Franca; Cordova, MiguelEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 586-597 https://doi.org/10.1007/978-3-030-68198-2_54 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Computer Science (category)

types of item

keyword 130

subject term 6

author 1