Searching - TalTech Research Portal

display

sort

26

journal article

Graph coloring by self-organizing algorithmKirt, ToomasInternational transactions on systems science and applications2006 / 3, p. 309-313 https://www.researchgate.net/publication/220675838_Graph_Coloring_by_Self-Organizing_Algorithm

journal article

27

book article

Graph embedding in boolean hypercubeFomina, Jelena; Zakrevskij, ArkadijBEC 2006 : 2006 International Baltic Electronics Conference : Tallinn University of Technology, October 2-4, 2006, Tallinn, Estonia : proceedings of the 10th Biennial Baltic Electronics Conference2006 / p. 131-134 : ill

book article

28

journal article EST / journal article ENG

A graphical deep inference system for intuitionistic logicPietarinen, Ahti-Veikko; Ma, MinghuiLogique et analyse2019 / p. 73-114 https://doi.org/10.2143/LEA.245.0.3285706 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

29

journal article EST / journal article ENG

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

30

journal article

Graphs and lattice varietiesBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1998 / 2, p. 100-109

journal article

31

journal article

Graphs as effective models of the worldVõhandu, LeoBaltic horizons2007 / December, p. 17-22

journal article

32

book article

Heuristic algorithms for weighted graph partitioningAasma, AllanBEC 2004 : Baltic Electronics Conference : Post-Graduate Student Session : Tallinn University of Technology, October 3-6, 2004, Tallinn, Estonia2004 / p. 9 : ill

book article

33

book article

Hierarchical test generation based on alternative graph modelUbar, Raimund-JohannesProceedings of the Second Workshop on Hierarchical Test Generation : Microelectronics Technology Park, Duisburg, Germany, September 25-26, 19951995 / p. 18

book article

34

book article

Hierarchical test generation for finite state machinesBrik, Marina; Ubar, Raimund-JohannesBEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 11994 / p. 319-324: ill

book article

35

book article

Hierarchical test synthesis for digital systems using alternative graph modelUbar, Raimund-JohannesQuantitative aspects of designing and validating dependable computing systems1995

book article

36

book article

Implementation of sorting algorithms in reconfigurable hardwareSkliarova, Iouliia; Sklyarov, Valery; Mihhailov, Dmitri; Sudnitsõn, Aleksander2012 IEEE Mediterranean Electrotechnical Conference (MELECON 2012) : Yasmine Hammamet, Tunisia, March 25-28, 20122012 / p. 107-110 : ill https://ieeexplore.ieee.org/document/6196391

book article

37

journal article

Improving the maximum clique finding applications by using artificial intelligence principlesKumlander, DenissWSEAS transactions on computers2006 / 8, p. 1726-1732 https://www.researchgate.net/publication/288446461_Improving_the_maximum_clique_finding_applications_by_using_artificial_intelligence_principles

journal article

38

book article

Improving the maximum-weight clique algorithm for the dense graphsKumlander, DenissProceedings of the WSEAS Conference : 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 20062006 / p. 938-943

book article

39

book article

Introduction to the Theory of Existential Graphs and Volume 1Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. 14-36 https://doi.org/10.1515/9783110651409-002

book article

40

book article

Introduction to Volume 2/1: The Logical TractsPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 69-100 https://doi.org/10.1515/9783110651423-003

book article

41

journal article

Linear algorithms for recognizing and parsing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesFacta Universitatis [Niš]. Series electronics and energetics2011 / p. 325-339 : ill http://dx.doi.org/10.2298/FUEE1103325P

journal article

42

book article

Linear algorithms for testing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesProceedings of the Reed-Muller 2011 Workshop : May 25-26, 2011, Tuusula, Finland2011 / p. 111-118 : ill

book article

43

book

Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell LecturesPeirce, Charles S.2021 https://doi.org/10.1515/9783110740462

book

44

book article

Logical consequence in the diagrammatic system of assertive graphs [Online resource]Chiffi, Daniele; Pietarinen, Ahti-VeikkoHandbook of the 6th World Congress and School on Universal Logic2018 / p. 262-263 http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

book article

45

book article

Loogikaskeemid ja binaardiagrammidBuldas, AhtoAastaraamat 1994 - 1996 / Eesti Matemaatika Selts1999 / lk. 6-11

book article

46

dissertation

Monoidal width = Monoidiline laiusDi Lavore, Elena2023 https://doi.org/10.23658/taltech.55/2023 https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502 https://www.ester.ee/record=b5645383*est

dissertation

Seotud publikatsioonid 3

47

book article EST / book article ENG

A new test suite reduction approach based on hypergraph minimal transversal miningTrabelsi, Shaima; Bennani, Mohamed Taha; Ben Yahia, SadokFuture Data and Security Engineering : 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27–29, 2019, Proceedings2019 / p. 15-30 https://doi.org/10.1007/978-3-030-35653-8_2 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

48

book article

NP-hard graph problems' algorithms testing guidelines : artificial intelligence principles and testing as a serviceKumlander, DenissAdvances in computer and information sciences and engineering2008 / p. 114-118 : ill https://link.springer.com/chapter/10.1007/978-1-4020-8739-4_20

book article

49

book article

NP-hard graph problems' algorithms testing guidlines : artificial intelligence principles and testing as a serviceKumlander, DenissInnovative techniques in instruction technology, e-learning, e-assessment, and education2008 / p. 112-116 https://link.springer.com/chapter/10.1007/978-1-4020-8739-4_20

book article

50

journal article EST / journal article ENG

On linear existential graphsBellucci, Francesco; Liu, Xinwen; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 261 - 296 https://doi.org/10.2143/LEA.251.0.3288641 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

graafid (subject term)

types of item

subject term 2