Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
graafiteooria (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
48
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(48)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
A new exact algorithm for the maximum-weight clique problem based on a heuristic vertex-coloring and a backtrack search
Kumlander, Deniss
Proceedings of the Forth International Conference on Engineering Computational Technology
2004
/
p. 137
artikkel kogumikus
2
artikkel kogumikus
A practical algorithm for the maximum clique finding
Kumlander, Deniss
Proceedings of the IADIS International Conference Applied Computing 2006 : San Sebastian, Spain, 2006, February 25-28
2006
/
p. 266-272
https://www.iadisportal.org/digital-library/a-practical-algorithm-for-the-maximum-clique-finding
artikkel kogumikus
3
artikkel ajakirjas
A simple and efficient algorithm for the maximum clique finding reusing a heuristic vertex colouring
Kumlander, Deniss
IADIS international journal on computer science and information system
2006
/
2, p. 32-49
https://www.iadisportal.org/ijcsis/papers/2006110203.pdf
artikkel ajakirjas
4
dissertatsioon
An algebraic approach to the structure of graphs
Buldas, Ahto
1999
http://www.ester.ee/record=b1273064*est
dissertatsioon
5
artikkel kogumikus
An extended comparison of the best known algorithms for finding the unweighted maximum clique
Kumlander, Deniss
Modelling, computation and optimization in information systems and management sciences
2008
/
p. 175-181
https://www.researchgate.net/publication/221451751_An_Extended_Comparison_of_the_Best_Known_Algorithms_for_Finding_the_Unweighted_Maximum_Clique
artikkel kogumikus
6
artikkel kogumikus
Anwendung der Graphentheorie zur Optimierung von Fertigungsprozessen
Küttner, Rein
;
Kochan, D.
Technishe Universität Dresden : Als Manuskript gedruckt = Труды ТУ Дрезден, № 14.10.1978
1978
/
S. 1-12
artikkel kogumikus
7
artikkel kogumikus
Artificial intelligence in the maximum clique finding problem applications
Kumlander, Deniss
Proceedings of the WSEAS Conference : 7th WSEAS International Conference on Automation & Information (ICAI'06) : Cavtat, Croatia, June 13-15, 2006
2006
/
p. 132-137
https://www.researchgate.net/publication/234778320_Artificial_intelligence_in_the_maximum_clique_finding_problem_applications
artikkel kogumikus
8
artikkel ajakirjas
Automation of chemical plant modelling
Aarna, Olav
Automatica
1980
/
p. 649-661
https://www.ester.ee/record=b1199422*est
https://doi.org/10.1016/0005-1098(80)90007-2
artikkel ajakirjas
9
artikkel kogumikus EST
/
artikkel kogumikus ENG
Beta assertive graphs
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 525-529
https://doi.org/10.1007/978-3-030-54249-8_49
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
10
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Beta assertive graphs : proofs of assertions with quantification
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Journal of applied logics : IfCoLog journal of logics and their applications
2021
/
23 p. : ill
https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
11
artikkel kogumikus EST
/
artikkel kogumikus ENG
The Blot
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
;
Bobrova, Angelina
;
Haydon, Nathan Joseph
;
Shafiei, Mohammad
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 225-238 : ill
https://doi.org/10.1007/978-3-030-54249-8_18
Conference proceedings at Scopus
Article at Scopus
Article at WOS
Conference proceedings at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
12
artikkel kogumikus
Comparing the best maximum clique finding algorithms, which are using heuristic vertex colouring
Kumlander, Deniss
Proceedings of the WSEAS Conference : 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 2006
2006
/
p. 932-937
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=6a835c6002434a8e0985d850356794d9bc74879e
artikkel kogumikus
13
artikkel kogumikus EST
/
artikkel kogumikus ENG
Compositional diagrammatic first-order logic
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 402-418
https://doi.org/10.1007/978-3-030-54249-8_32
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
2
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
14
artikkel kogumikus
Diagrammatic algebra of first order logic
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
LICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
2024
/
art. 16, p. 1-15 : ill
https://doi.org/10.1145/3661814.3662078
artikkel kogumikus
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
15
artikkel ajakirjas
Diagrammatic algebra of first order logic : [preprint]
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
arXiv.org
2024
/
34 p. : ill
https://doi.org/10.48550/arXiv.2401.07055
artikkel ajakirjas
16
raamat
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings
2018
https://doi.org/10.1007/978-3-319-91376-6
raamat
17
raamat
Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
https://doi.org/10.1007/978-3-030-54249-8
raamat
18
artikkel kogumikus
Distributed average integral control based energy management model
Shaukat, Neelofar
;
Khan, Bilal
;
Qureshi, Muhammad Bilal
;
Jawad, Muhammad
;
Shabbir, Noman
;
Daniel, Kamran
2023 IEEE International Conference on Energy Technologies for Future Grids (ETFG)
2023
/
5 p
https://doi.org/10.1109/ETFG55873.2023.10407358
artikkel kogumikus
19
artikkel kogumikus
Engineering of an effective automatic dynamic assertion mining platform
Ghasempouri, Tara
;
Malburg, Jan
;
Danese, Alessandro
;
Pravadelli, Graziano
;
Fey, Goerschwin
;
Raik, Jaan
VLSI-SoC 2019 : 27th IFIP/IEEE International Conference on Very Large Scale Integration : [proceedings]
2019
/
p. 111-116 : ill
https://doi.org/10.1109/VLSI-SoC.2019.8920331
artikkel kogumikus
20
artikkel kogumikus EST
/
artikkel kogumikus ENG
An experimental comparison of heuristic coloring algorithms in terms of found color classes on random graphs
Kumlander, Deniss
;
Kulitškov, Aleksei
WCGO 2019: Optimization of Complex Systems: Theory, Models, Algorithms and Applications
2020
/
p. 365-375
https://doi.org/10.1007/978-3-030-21803-4_37
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
21
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Failure consequence evaluation of uncontrollable district heating network
Mao, Ding
;
Wang, Peng
;
Ju, Yuchen
;
Ni, Long
Sustainable cities and society
2022
/
art. 103593, 16 p. : ill
https://doi.org/10.1016/j.scs.2021.103593
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
22
raamat
Graafid
Buldas, Ahto
;
Laud, Peeter
;
Villemson, Jan
2008
https://www.ester.ee/record=b2345899*est
raamat
23
raamat
Graafid
Buldas, Ahto
;
Laud, Peeter
;
Villemson, Jan
2003
https://www.ester.ee/record=b1804744*est
raamat
24
raamat
Graafiteooria elemente : loengukonspekt
Puusemp, Peeter
2000
https://www.ester.ee/record=b1462950*est
raamat
25
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Icons, interrogations, and graphs: On Peirce's integrated notion of abduction
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
Transactions of the Charles S. Peirce Society
2020
/
p. 43-61
https://doi.org/10.2979/trancharpeirsoc.56.1.03
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 48, kuvan
1 - 25
eelmine
1
2
järgmine
märksõna
1
1.
graafiteooria
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT