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
Searching
My bookmarks
0
Computer Science (category)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
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..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1400
Look more..
(3/137)
Export
export all inquiry results
(1000*)
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
751
book article EST
/
book article ENG
Model based approach for testing: distributed real-time systems augmented with online monitors
Pal, Deepak
;
Vain, Jüri
Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings
2018
/
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 systems
Pal, Deepak
;
Vain, Jüri
Databases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 2018
2019
/
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 technology
Vu, Trieu Minh
;
Tamre, Mart
;
Musalimov, Victor
;
Kovalenko, Pavel
;
Rubinshtein, Irina
;
Ovchinnikov, Ivan
;
Krcmarik, David
;
Moezzi, Reza
Journal Europeen des systemes automatises
2020
/
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 system
Tepljakov, Aleksei
;
Alagoz, Baris Baykant
;
Gonzalez, Emmanuel A.
;
Petlenkov, Eduard
;
Yeroglu, Celaleddin
Journal of circuits, systems, and computers
2018
/
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 system
Tsiopoulos, Leonidas
;
Kuusik, Alar
;
Vain, Jüri
;
Bahsi, Hayretdin
Body Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings
2020
/
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 Things
Muthukumar, Natarajan
;
Sriniavsan, Seshadhri
;
Ramkumar, Kannan
;
Pal, Deepak
;
Vain, Jüri
;
Ramaswamy, Srini
Future generation computer systems
2019
/
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 TestIt
Kanter, Gert
;
Vain, Jüri
Journal of reliable intelligent environments
2020
/
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 systems
Vain, Jüri
;
Halling, Evelin
;
Kanter, Gert
;
Anier, Aivo
;
Pal, Deepak
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings
2016
/
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 system
Vu, Trieu Minh
;
Tamre, Mart
;
Sekhri, Even
Open computer science
2018
/
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 BDDs
Ubar, Raimund-Johannes
;
Jürimägi, Lembit
;
Raik, Jaan
;
Viies, Vladimir
Microprocessors and microsystems
2017
/
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 classifiers
Gilbert Zequera, Rolando Antonio
;
Rjabtšikov, Viktor
;
Rassõlkin, Anton
;
Vaimann, Toomas
;
Kallaste, Ants
Applied sciences
2023
/
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 model
Upadhaya, Brijesh
;
Martin, Floran
;
Rasilo, Paavo
;
Handgruber, Paul
;
Belahcen, Anouar
;
Arkkio, Antero
COMPEL : The international journal for computation and mathematics in electrical and electronic engineering
2017
/
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 prosumers
Annuk, Andres
;
Yaïci, Wahiba
;
Blinov, Andrei
;
Märss, Maido
;
Trashchenkov, Sergei
;
Miidla, Peep
Symmetry
2021
/
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 areas
Vassiljev, Anatoli
;
Kaur, Katrin
;
Annus, Ivar
Advances in engineering software
2018
/
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 landscape
Carlo, Antonio
;
Boschetti, Nicolo
Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022 : Revised Selected Papers
2023
/
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 dynamics
Kiisler, Ain
;
Hilmola, Olli-Pekka Kristian
Transport and Telecommunication
2020
/
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 selection
Lange, Moritz
;
Tran, Kim Chi
;
Grunewald, Alexander
;
Koschel, Arne
;
Pakosch, Anna
;
Astrova, Irina
Procedia computer science
2023
/
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 effects
Heidari, Hamidreza
;
Rassõlkin, Anton
;
Razzaghi, Arash
;
Vaimann, Toomas
;
Kallaste, Ants
;
Andriushchenko, Ekaterina
;
Belahcen, Anouar
;
Lukichev, Dmitry
Electronics
2021
/
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 noise
Mamatov, Aleksandr
;
Lovlin, Sergey
;
Vaimann, Toomas
;
Rassõlkin, Anton
;
Vakulenko, Sergei
;
Abramian, Andrei
Electronics
2019
/
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 panels
Kalbe, Kristo
;
Piikov, Hubert
;
Kalamees, Targo
Sustainability
2021
/
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 endofunctors
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
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 programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
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 width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
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 width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Proceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 2022
2023
/
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 coverage
Niine, Tarvo
;
Cantoni, Franca
;
Cordova, Miguel
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
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
Number of records 1400, displaying
751 - 775
previous
27
28
29
30
31
32
33
34
35
36
next
keyword
130
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
computer
6.
computer aided design
7.
computer aided diagnosis
8.
computer aided diagnostics
9.
computer aided instruction
10.
computer aided manufacturing
11.
computer aided testing
12.
computer algebra
13.
computer algebra system
14.
computer and education
15.
computer anxiety
16.
computer architecture
17.
computer assisted language learning
18.
computer based learning
19.
computer circuits
20.
computer control
21.
computer education
22.
computer engineering
23.
computer engineerng
24.
computer game
25.
computer graphics
26.
computer hardware
27.
computer integrated manufacturing
28.
computer network management
29.
computer network operations
30.
computer networks
31.
computer pipelines
32.
computer programming
33.
computer programs
34.
computer security
35.
computer simulation
36.
computer simulation environments
37.
computer simulations
38.
computer software
39.
computer softwaregraph theory
40.
computer systems
41.
Computer systems organization
42.
computer terminals
43.
computer vision
44.
computer workers
45.
computer-aided anthropometry
46.
computer-aided architectural design (CAAD)
47.
computer‐aided assessment
48.
computer-aided design
49.
computer-aided detection
50.
computer‐aided detection
51.
computer-aided diagnosis
52.
computer-aided drawing (CAD)
53.
computer-aided engineering
54.
computer-aided teaching
55.
Computer-Aided Tuning
56.
computer-aided tuning (CAT)
57.
computer-assisted language learning (CALL)
58.
computer-oriented technologies
59.
computer-supported decision-making
60.
computer-use
61.
control engineering computer applications
62.
distributed computer systems
63.
education in computer engineering
64.
fifth generation computer
65.
gateways (computer networks)
66.
high-performance computer systems
67.
human computer interaction
68.
human computer interaction (HCI)
69.
human-computer interaction
70.
Human-Computer Interaction (HCI)
71.
human-computer trust
72.
interactive computer graphics
73.
laptop computer
74.
single board computer
75.
single-board computer
76.
structure computer analysis
77.
ubiquitous computer technology
78.
Web and computer-based learning
79.
applied science
80.
chemistry and philosophy of science
81.
citizen science
82.
citizen science hub
83.
classical exact science
84.
computational social science
85.
data science
86.
data-science
87.
design science
88.
design science research
89.
design-science
90.
energy science and technology
91.
engineering pedagogy science
92.
environmental science
93.
ethics of science
94.
exact science
95.
food science
96.
materials science
97.
NATO. Science for Peace and Security Program
98.
non-classical exact science
99.
philosophy of science
100.
physics and philosophy of science
101.
planetary science
102.
political science
103.
popular science literature
104.
post normal science
105.
post-normal science
106.
Q science
107.
science
108.
science advisors
109.
science and arts
110.
science and technology libraries
111.
science and technology parks
112.
science fiction
113.
science gateway
114.
science integration
115.
science mapping
116.
science policy
117.
science technology innovation
118.
Science, Technology and Innovation Policy
119.
science-based industries
120.
science-driven models
121.
science-policy-society interface
122.
Social Science
123.
social science methodology
124.
sustainability science
125.
transdisciplinary science
126.
Web of Science
127.
World Academy of Art and Science (WAAS)
128.
ȹ-science
129.
φ-science
130.
ϕ-science
subject term
6
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Baltic Computer Systems
3.
National Computer Security Incident Response Teams (N-CSIRTs)
4.
Norwegian University of Science and Technology
5.
The European Federation of Food Science and Technology (EFFoST)
6.
Web of Science
author
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT