Otsing - TalTech teadusportaal

kuva

reasta

1

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

2

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

3

artikkel kogumikus

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

artikkel kogumikus

4

artikkel kogumikus

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

artikkel kogumikus

5

artikkel kogumikus

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

artikkel kogumikus

6

artikkel kogumikus

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

artikkel kogumikus

7

dissertatsioon

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

dissertatsioon

8

artikkel kogumikus

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

artikkel kogumikus

9

artikkel kogumikus

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

artikkel kogumikus

10

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

11

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

artikkel kogumikus EST / artikkel kogumikus ENG

12

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

13

artikkel ajakirjas

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

artikkel ajakirjas

14

artikkel ajakirjas

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

artikkel ajakirjas

15

artikkel kogumikus

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

artikkel kogumikus

16

artikkel kogumikus

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

artikkel kogumikus

17

artikkel ajakirjas

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

artikkel ajakirjas

18

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

19

artikkel kogumikus

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

artikkel kogumikus

20

artikkel ajakirjas

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

artikkel ajakirjas

21

artikkel kogumikus

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

artikkel kogumikus

22

artikkel kogumikus

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

artikkel kogumikus

23

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

24

artikkel kogumikus

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

artikkel kogumikus

25

artikkel ajakirjas

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

artikkel ajakirjas

graafid (märksõna)

teaviku laadid

märksõna 2