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
Mathematics. Theoretical 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
276
Look more..
(2/20)
Export
export all inquiry results
(276)
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
201
book article EST
/
book article ENG
Random forests hydrodynamic flow classification in a vertical slot fishway using a bioinspired artificial lateral line probe
Fukuda, Shinji
;
Tuhtan, Jeffrey Andrew
;
Fuentes-Pérez, Juan Francisco
;
Schletterer, Martin
;
Kruusmaa, Maarja
Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016 : proceedings. Part II
2016
/
P. 297-307 : ill
https://doi.org/10.1007/978-3-319-43518-3_29
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
202
journal article EST
/
journal article ENG
Realization of nonlinear input-output equations in controller canonical form
Kaldmäe, Arvo
;
Kotta, Ülle
Kybernetika
2018
/
p. 736-747
https://doi.org/10.14736/kyb-2018-4-0736
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
203
journal article EST
/
journal article ENG
Reconstruction of an order of derivative and a source term in a fractional diffusion equation from final measurements
Janno, Jaan
;
Kinash, Nataliia
Inverse problems
2018
/
art. 025007, 19 p. : ill
https://doi.org/10.1088/1361-6420/aaa0f0
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
204
book article EST
/
book article ENG
Residuation in existential graphs
Haydon, Nathan Joseph
;
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings
2021
/
p. 229−237
https://doi.org/10.1007/978-3-030-86062-2_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
205
book article EST
/
book article ENG
Revisiting Peirce’s rules of transformation for Euler-Venn diagrams
Bhattacharjee, Reetu
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings
2021
/
p. 166–182 : ill
https://doi.org/10.1007/978-3-030-86062-2_14
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
206
journal article EST
/
journal article ENG
A roadside unit deployment framework for enhancing transportation services in Maghrebian cities
Chaabene, Seif Ben
;
Yeferny, Taoufik
;
Ben Yahia, Sadok
Concurrency and Computation: Practice and Experience
2021
/
art. e5611
https://doi.org/10.1002/cpe.5611
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
207
book article EST
/
book article ENG
The role of digital transformation in fostering transparency : an e-court system case study
Ahmed, Rozha Kamal
;
Ahmed, Omer
;
Pappel, Ingrid
;
Reitsakas, Aleksander
;
Draheim, Dirk
The Role of Digital Technologies in Shaping the Post-Pandemic World : 21st IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2022, Newcastle upon Tyne, UK, September 13–14, 2022 : proceedings
2022
/
p. 219–230
https://doi.org/10.1007/978-3-031-15342-6_17
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Digital transformation of court processes : driving forces, success factors, regulations and technology acceptance = Kohtuprotsesside digitaalne ümberkujundamine : liikumapanevad jõud, edu tegurid, regulatsioonid ja tehnoloogia vastuvõtmine
208
journal article EST
/
journal article ENG
Rule algebras for adhesive categories
Behr, Nicolas
;
Sobocinski, Pawel Maria
Logical methods in computer science
2020
/
p. 2:1−2:38
https://doi.org/10.23638/LMCS-16(3:2)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
209
book article EST
/
book article ENG
Runners for interleaving algebraic effects
Voorneveld, Niels
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 407-424
https://doi.org/10.1007/978-3-031-17715-6_26
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
210
book article EST
/
book article ENG
Security risk management in the aviation turnaround sector
Matulevičius, Raimundas
;
Norta, Alexander
;
Udokwu, Chibuzor
;
Nõukas, Rein
Future Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings
2016
/
p. 119-140 : ill
https://doi.org/10.1007/978-3-319-48057-2_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
211
book article EST
/
book article ENG
Selection of a green logical data warehouse schema by anti-monotonicity constraint
Ghabri, Issam
;
Bellatreche, Ladjel
;
Ben Yahia, Sadok
SOFSEM 2020: Theory and Practice of Computer Science : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020 : Proceedings
2020
/
p. 350-361
https://doi.org/10.1007/978-3-030-38919-2_29
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
212
book article EST
/
book article ENG
Self assessment tool to bridge the gap between XR Technology, SMEs, and HEIs
Köse, Ahmet
;
Tepljakov, Aleksei
;
Alsaleh, Saleh Ragheb Saleh
;
Petlenkov, Eduard
Extended Reality : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part I
2022
/
p. 296–311 : ill
https://doi.org/10.1007/978-3-031-15546-8_25
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at Scopus
book article EST
/
book article ENG
213
book article EST
/
book article ENG
Semi-parametric approach to random forests for high-dimensional bayesian optimisation
Kuzmanovski, Vladimir
;
Hollmén, Jaakko
Discovery Science : 25th International Conference, DS 2022, Montpellier, France, October 10–12, 2022, Proceedings
2022
/
p. 418 - 428
https://doi.org/10.1007/978-3-031-18840-4_30
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
214
book article EST
/
book article ENG
Sentence writing test for Parkinson disease modeling: comparing predictive ability of classifiers
Netšunajev, Aleksei
;
Nõmm, Sven
;
Toomela, Aaro
;
Medijainen, Kadri
;
Taba, Pille
Intelligent Information and Database Systems : 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020 : proceedings, Part I
2020
/
p. 345-357
https://doi.org/10.1007/978-3-030-41964-6_30
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
215
journal article EST
/
journal article ENG
Sentiment analysis for hotel reviews : a systematic literature review
Ameur, Asma
;
Hamdi, Sana
;
Ben Yahia, Sadok
ACM Computing Survey
2023
/
art. 51
https://doi.org/10.1145/3605152
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
216
journal article EST
/
journal article ENG
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Electronic notes in theoretical computer science
2018
/
p. 345-370
https://doi.org/10.1016/j.entcs.2018.11.017
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
217
book article EST
/
book article ENG
A server-assisted hash-based signature scheme
Buldas, Ahto
;
Laanoja, Risto
;
Truu, Ahto
Secure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017 : proceedings
2017
/
p. 3-17 : ill
https://doi.org/10.1007/978-3-319-70290-2_1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
218
book article EST
/
book article ENG
Server-supported decryption for mobile devices
Kirss, Johanna Maria
;
Laud, Peeter
;
Snetkov, Nikita
;
Vakarjuk, Jelizaveta
Security and Trust Management : 18th International Workshop, STM 2022 Copenhagen, Denmark, September 29, 2022 : proceedings
2023
/
p. 71-81
https://doi.org/10.1007/978-3-031-29504-1_4
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
219
book article EST
/
book article ENG
Server-supported RSA signatures for mobile devices
Buldas, Ahto
;
Kalu, Aivo
;
Laud, Peeter
;
Oruaas, Mart
Computer Security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11–15, 2017 : proceedings, part I
2017
/
p. 315-333 : ill
https://doi.org/10.1007/978-3-319-66402-6_19
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
220
book EST
/
book ENG
Service-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers
2016
https://doi.org/10.1007/978-3-662-50539-7
Conference Proceedings at Scopus
Article at Scopus
book EST
/
book ENG
221
book article EST
/
book article ENG
Simple infeasibility certificates for attack trees
Buldas, Ahto
;
Lenin, Aleksandr
;
Villemson, Jan
;
Charnamord, Anton
Advances in Information and Computer Security : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017 : proceedings
2017
/
p. 39-55 : ill
https://doi.org/10.1007/978-3-319-64200-0_3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
222
book article EST
/
book article ENG
Situational states influence on team workload demands in cyber defense exercise
Ask, Torvald F.
;
Sütterlin, Stefan
;
Knox, Benjamin James
;
Lugo, Ricardo Gregorio
HCI International 2021 - late breaking papers : cognition, inclusion, learning, and culture : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings
2021
/
p. 3-20 : ill
https://doi.org/10.1007/978-3-030-90328-2_1
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
223
book article EST
/
book article ENG
Sniper line-of sight calculations for route planning in asymmetric military environments
Kreison, Ove
;
Ruuben, Toomas
Modelling and Simulation for Autonomous Systems : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers
2016
/
p. 359-370 : ill
https://doi.org/10.1007/978-3-319-47605-6_29
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
224
book article EST
/
book article ENG
A Software Prototype for Multidimensional Design of Data Warehouses Using Ontologies
Zekri, Manel
;
Ben Yahia, Sadok
;
Hilali-Jaghdam, Ines
Computational Collective Intelligence : 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019 : proceedings, part II
2019
/
p. 273-284 : ill
https://doi.org/10.1007/978-3-030-28374-2_24
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
225
book article EST
/
book article ENG
Specification and verification of a linear-time temporal logic for graph transformation
Gadducci, Fabio
;
Laretto, Andrea
;
Trotta, Davide
Graph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings
2023
/
p. 22-42 : ill
https://doi.org/10.1007/978-3-031-36709-0_2
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 276, displaying
201 - 225
previous
3
4
5
6
7
8
9
10
11
12
next
keyword
19
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
Cognitive Mathematics
6.
computational mathematics
7.
foundations of mathematics
8.
Husserl and Peirce and the goals of mathematics
9.
mathematics
10.
mathematics and computing
11.
mathematics students learning habits
12.
matrix (mathematics)
13.
philosophy of mathematics
14.
univalent mathematics
15.
theoretical analysis
16.
theoretical framework
17.
theoretical models
18.
theoretical perspectives
19.
theoretical rigor
subject term
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
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