Searching - TalTech Research Portal

display

sort

1

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

2

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

3

book article

Abstraktse automaadi sünteesi programmid algoritmi graafskeemi aluselPops, M.; Salum, Kaja; Plaks, ToomasXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 91 https://www.ester.ee/record=b1322611*est

book article

4

book article

Alternatiivsete graafide mudel loogikalülituste funktsioonide kirjeldamiseks ja analüüsiksAnton, E.; Ubar, Raimund-JohannesXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 42-43 https://www.ester.ee/record=b2449987*est

book article

5

book article

Alternative graph based test design in digital systemsUbar, Raimund-JohannesProceedings of 11. NORCHIP seminar, Trondheim, Nov. 9-10, 19931993 / p. 48-62

book article

6

book article

Alternative graphs as a mathematical tool and knowledge representation for diagnosis purposes in digital systemsUbar, Raimund-JohannesBEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 11994 / p. 285-292: ill

book article

7

dissertation

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

dissertation

8

book article

Application of dependency graphs to security protocol analysisTšahhirov, Ilja; Laud, PeeterTrustworthy global computing2008 / p. 294-311 : ill https://link.springer.com/chapter/10.1007/978-3-540-78663-4_20

book article

9

book article

Applying AI and incomplete solution principles to solve NP-hard problems in the real-time systemsKumlander, DenissProceedings of the WSEAS Conference : 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 20062006 / p. 807-811 https://www.researchgate.net/publication/242103446_Applying_AI_and_Incomplete_Solution_Principles_to_Solve_NP-hard_Problems_in_the_Real-Time_Systems

book article

10

journal article EST / journal article ENG

Assertion and denial : a contribution from logical notationsPietarinen, Ahti-Veikko; Bellucci, FrancescoJournal of applied logic2017 / p. 1-22 : ill https://doi.org/10.1016/j.jal.2017.01.001 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

Assertive and existential graphs : a comparisonPietarinen, Ahti-Veikko; Chiffi, DanieleDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 565-581 https://doi.org/10.1007/978-3-319-91376-6_51 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

12

journal article EST / journal article ENG

Assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied non-classical logics2018 / p. 72–91 https://doi.org/10.1080/11663081.2017.1418101 Journal metrics at Scopus Aricle at Scopus

journal article EST / journal article ENG

13

journal article

Cliques of graphs using J-programming languageVõhandu, LeoBaltic Horizons2010 / p. 18-22

journal article

14

journal article

Comparability graphs and the structure of finite graphsBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1996 / 2/3, p. 117-127

journal article

15

book article

A comparative analysis of symbolic and deep learning based RDFS materializationTraagel, Mart; Carneiro Alves de Lima, Bruno Rucy; Cabral Pinheiro, Victor HenriqueAICCC '23: Proceedings of the 2023 6th artificial intelligence and cloud computing conference2023 / p. 60-65 https://doi.org/10.1145/3639592.3639601

book article

16

book article

Computer-aided module-level text generation for digital devices on the basis of thin alternative graph-modelPall, M.; Ubar, Raimund-JohannesPreprints the 2nd IFAC/IFIP Symposium on Software for Computer Control, SOCOCO, Prague, Czechoslovakia, June 11-15, 1979 ; Vol. 21979 / p. [?] https://www.ester.ee/record=b2041567*est

book article

17

journal article

Congruence lattice of a graphBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1997 / 3, p. 155-170: ill

journal article

18

journal article EST / journal article ENG

Correction to: On the Logical Philosophy of Assertive Graphs (Journal of Logic, Language and Information, (2020), 29, 4, (375-397), 10.1007/s10849-020-09315-6)Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of Logic, Language and Information2020 / p. 399 https://doi.org/10.1007/s10849-020-09316-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

19

book article

Creating graphs for optimization tasksRoosileht, IndrekBEC 2004 : Baltic Electronics Conference : Post-Graduate Student Session : Tallinn University of Technology, October 3-6, 2004, Tallinn, Estonia2004 / p. 8 : ill

book article

20

journal article

A distributed and incremental algorithm for large-scale graph clusteringInoubli, Wissem; Aridhi, Sabeur; Mezni, Haithem; Maddouri, Mondher; Mephu Nguifo, EngelbertFuture generation computer systems2022 / p. 334-347 https://doi.org/10.1016/j.future.2022.04.013

journal article

21

book article

Fault diagnosis of VLSI devices using alternative graph representationUbar, Raimund-JohannesProceedings of the 8th Symposium on Microcomputer and Microprocessor Applications, Budapest, October 12-14, 1994. Vol. 11994 / p. 34-44

book article

22

book article

Funktsionaalsete alternatiivsete graafide mudeli süntees digitaallülitusteleKivi, E.; Ubar, Raimund-JohannesXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 91 https://www.ester.ee/record=b1322611*est

book article

23

journal article EST / journal article ENG

Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / p. 3621–3650 : ill https://doi.org/10.1007/s11229-017-1390-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

24

book article

General unistor graph for active networks and its analysisFilaretov, V.V.Automation, simulation & measurement : ASM'91 : 3rd biennal conference, Tallinn, October 7-11, 1991. Section A. Section M / Tallinn Technical University1992 / p. 42-46: ill

book article

25

journal article

Graafide korrastamisest J-keele abilVõhandu, LeoA & A2001 / 5, lk. 51-56 ; 6, lk. 38-44

journal article

graafid (subject term)

types of item

subject term 2