Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

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

artikkel kogumikus

2

artikkel kogumikus

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

artikkel kogumikus

3

artikkel ajakirjas

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

artikkel ajakirjas

4

dissertatsioon

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

dissertatsioon

5

artikkel kogumikus

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

artikkel kogumikus

6

artikkel kogumikus

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

artikkel kogumikus

7

artikkel kogumikus

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

artikkel kogumikus

8

artikkel ajakirjas

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

artikkel ajakirjas

9

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

10

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

11

artikkel kogumikus EST / artikkel kogumikus 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

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 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

artikkel kogumikus

13

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 2

14

artikkel kogumikus

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

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 MariaarXiv.org2024 / 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 : proceedings2018 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 : proceedings2020 https://doi.org/10.1007/978-3-030-54249-8

raamat

18

artikkel kogumikus

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

artikkel kogumikus

19

artikkel kogumikus

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

artikkel kogumikus

20

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

21

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

22

artikkel kogumikus

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

artikkel kogumikus

23

raamat

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

raamat

24

raamat

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

raamat

25

raamat

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

raamat

graafiteooria (märksõna)

teaviku laadid

märksõna 1