Searching - TalTech Research Portal

display

sort

1

book article

A new exact algorithm for the maximum-weight clique problem based on a heuristic vertex-coloring and a backtrack searchKumlander, DenissProceedings of the Forth International Conference on Engineering Computational Technology2004 / p. 137

book article

2

book article

A practical algorithm for the maximum clique findingKumlander, DenissProceedings of the IADIS International Conference Applied Computing 2006 : San Sebastian, Spain, 2006, February 25-282006 / p. 266-272 https://www.iadisportal.org/digital-library/a-practical-algorithm-for-the-maximum-clique-finding

book article

3

journal article

A simple and efficient algorithm for the maximum clique finding reusing a heuristic vertex colouringKumlander, DenissIADIS international journal on computer science and information system2006 / 2, p. 32-49 https://www.iadisportal.org/ijcsis/papers/2006110203.pdf

journal article

4

dissertation

An algebraic approach to the structure of graphsBuldas, Ahto1999 http://www.ester.ee/record=b1273064*est

dissertation

5

book article

An extended comparison of the best known algorithms for finding the unweighted maximum cliqueKumlander, DenissModelling, computation and optimization in information systems and management sciences2008 / p. 175-181 https://www.researchgate.net/publication/221451751_An_Extended_Comparison_of_the_Best_Known_Algorithms_for_Finding_the_Unweighted_Maximum_Clique

book article

6

book article

Anwendung der Graphentheorie zur Optimierung von FertigungsprozessenKüttner, Rein; Kochan, D.Technishe Universität Dresden : Als Manuskript gedruckt = Труды ТУ Дрезден, № 14.10.19781978 / S. 1-12

book article

7

book article

Artificial intelligence in the maximum clique finding problem applicationsKumlander, DenissProceedings of the WSEAS Conference : 7th WSEAS International Conference on Automation & Information (ICAI'06) : Cavtat, Croatia, June 13-15, 20062006 / p. 132-137 https://www.researchgate.net/publication/234778320_Artificial_intelligence_in_the_maximum_clique_finding_problem_applications

book article

8

journal article

Automation of chemical plant modellingAarna, OlavAutomatica1980 / p. 649-661 https://www.ester.ee/record=b1199422*est https://doi.org/10.1016/0005-1098(80)90007-2

journal article

9

book article EST / book article ENG

Beta assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / 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

book article EST / book article ENG

10

journal article EST / journal article ENG

Beta assertive graphs : proofs of assertions with quantificationBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2021 / 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

journal article EST / journal article ENG

11

book article EST / book article ENG

The BlotPietarinen, Ahti-Veikko; Bellucci, Francesco; Bobrova, Angelina; Haydon, Nathan Joseph; Shafiei, MohammadDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / 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

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

12

book article

Comparing the best maximum clique finding algorithms, which are using heuristic vertex colouringKumlander, DenissProceedings of the WSEAS Conference : 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 20062006 / p. 932-937 https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=6a835c6002434a8e0985d850356794d9bc74879e

book article

13

book article EST / book article ENG

Compositional diagrammatic first-order logicHaydon, Nathan Joseph; Sobocinski, Pawel MariaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / 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

book article EST / book article ENG

Seotud publikatsioonid 2

14

book article

Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078

book article

Seotud publikatsioonid 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

15

journal article

Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055

journal article

16

book

Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings2018 https://doi.org/10.1007/978-3-319-91376-6

book

17

book

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 https://doi.org/10.1007/978-3-030-54249-8

book

18

book article

Distributed average integral control based energy management modelShaukat, Neelofar; Khan, Bilal; Qureshi, Muhammad Bilal; Jawad, Muhammad; Shabbir, Noman; Daniel, Kamran2023 IEEE International Conference on Energy Technologies for Future Grids (ETFG)2023 / 5 p https://doi.org/10.1109/ETFG55873.2023.10407358

book article

19

book article

Engineering of an effective automatic dynamic assertion mining platformGhasempouri, Tara; Malburg, Jan; Danese, Alessandro; Pravadelli, Graziano; Fey, Goerschwin; Raik, JaanVLSI-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

book article

20

book article EST / book article ENG

An experimental comparison of heuristic coloring algorithms in terms of found color classes on random graphsKumlander, Deniss; Kulitškov, AlekseiWCGO 2019: Optimization of Complex Systems: Theory, Models, Algorithms and Applications2020 / p. 365-375 https://doi.org/10.1007/978-3-030-21803-4_37 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

21

journal article EST / journal article ENG

Failure consequence evaluation of uncontrollable district heating networkMao, Ding; Wang, Peng; Ju, Yuchen; Ni, LongSustainable cities and society2022 / 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

journal article EST / journal article ENG

22

book article

Finding the description of structure by counting method : a case studyPeder, Ahti; Tombak, MatiSOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings2011 / p. 455-466 : ill https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38

book article

23

book

GraafidBuldas, Ahto; Laud, Peeter; Villemson, Jan2008 https://www.ester.ee/record=b2345899*est

book

24

book

GraafidBuldas, Ahto; Laud, Peeter; Villemson, Jan2003 https://www.ester.ee/record=b1804744*est

book

25

book

Graafiteooria elemente : loengukonspektPuusemp, Peeter2000 https://www.ester.ee/record=b1462950*est

book

graafiteooria (subject term)

types of item

subject term 1