Searching - TalTech Research Portal

display

sort

51

journal article EST / journal article ENG

On the logical philosophy of assertive graphsChiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of logic, language and information2020 / 21 p https://doi.org/10.1007/s10849-020-09315-6 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

52

journal article

Peirce and the logic of imagePietarinen, Ahti-VeikkoSemiotica2012 / p. 251-261 https://www.researchgate.net/publication/271417244_Peirce_and_the_logic_of_image

journal article

53

dissertation

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogikaHaydon, Nathan Joseph2024 https://www.ester.ee/record=b5685581*est https://digikogu.taltech.ee/et/Item/f7f55e15-7a58-4e7f-a112-910d6a943f7f https://doi.org/10.23658/taltech.31/2024

dissertation

Seotud publikatsioonid 4

54

book article

Permutations and bijectionsVõhandu, Leo; Peder, Ahti; Tombak, MatiInformation modelling and knowledge bases XXIII2012 / p. 419-437 : ill

book article

55

journal article

Problems of optimization : an exact algorithm for finding a maximum clique optimized for dense graphsKumlander, DenissProceedings of the Estonian Academy of Sciences. Physics. Mathematics2005 / 2, p. 79-86

journal article

56

book article

Processing N-ary trees in hardware circuitsSklyarov, Valery; Skliarova, Iouliia; Mihhailov, Dmitri; Sudnitsõn, Aleksander13th International Symposium on Integrated Circuits (ISIC) : Singapore, 12-14 December 2011 : proceedings2011 / p. 262-265 : ill https://ieeexplore.ieee.org/document/6131946

book article

57

journal article EST / journal article ENG

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

58

dissertation

Security protocols analysis in the computational model - dependency flow graphs-based approach = Turvaprotokollide analüüs arvutuslikul mudelil - sõltuvusgraafidel põhinev lähenemisviisTšahhirov, Ilja2008 https://www.ester.ee/record=b2449152*est

dissertation

59

book article

Self-organizing approach to graph vertex colouring in the applications of ad hoc networksKirt, Toomas; Võhandu, LeoProceedings of the 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 20062006 / ? p https://www.researchgate.net/publication/262353001_Self-organizing_approach_to_graph_vertex_colouring_in_the_applications_of_ad_hoc_networks

book article

60

journal article EST / journal article ENG

Some logical notations for pragmatic assertionsCarrara, Massimiliano; Chiffi, Daniele; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 297-315 https://doi.org/10.2143/LEA.251.0.3288642 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

61

journal article

Superpositional graphsPeder, Ahti; Tombak, MatiActa et commentationes Universitatis Tartuensis de mathematica2009 / p. 51-64 : ill

journal article

62

journal article

Synthesis of control automata using graph schemes of algorithmsBaranov, S.; Keevallik, AndresDigital Processes1980 / p. [?]

journal article

63

book article

Test generation for digital systems based on alternative graphsUbar, Raimund-JohannesDependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 1994 : proceedings1994 / p. 151-164: ill

book article

64

journal article

Test synthesis with alternative graphsUbar, Raimund-JohannesIEEE design & test of computers1996 / Spring, p. 48-57: ill

journal article

65

book article

Testide genereerimine loogikalülituste alternatiivsete graafide süsteemi mudeli abilSaarma, G.; Ubar, Raimund-JohannesXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 43 https://www.ester.ee/record=b2449987*est

book article

66

book article EST / book article ENG

The beauty of graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 9-12 https://doi.org/10.1007/978-3-319-91376-6_2 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

67

journal article

Transformations of graph schemes of algorithmsBaranov, S.; Keevallik, AndresDigital Processes1980 / p. [?]

journal article

68

book article EST / book article ENG

Two cognitive systems, two implications, and selection tasksBobrova, Angelina; Pietarinen, Ahti-VeikkoSoftware Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers2020 / p. 195 - 205 https://doi.org/10.1007/978-3-030-57506-9_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at Scopus Article at WOS

book article EST / book article ENG

69

book article

Using weighted graphs for fast architecture explorationEllervee, Peeter; Klaar, Tarmo; Kruus, Margus; Tammemäe, KalleBEC 2002 : proceedings of the 8th Biennial Baltic Electronics Conference : October 6-9, 2002, Tallinn, Estonia2002 / p. 111-114 : ill

book article

70

book article EST / book article ENG

A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 Conference Proceedings at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

71

journal article

Альтернативные графы и техническая диагностика дискретных объектовUbar, Raimund-JohannesЭлектронная техника. Серия 8, Управление качеством и стандартизация : научно-технический сборник1988 / с. 33-57

journal article

72

book article

Генерирование групповых тестов для цифровых схем на модели альтернативных графовKivi, E.; Ubar, Raimund-JohannesТезисы докладов XXXI студенческой научно-технической конференции1980 / с. 52-55 https://www.ester.ee/record=b1319482*est

book article

73

book article

Генерирование тестов для цифровых схем при помощи модели альтернативных графовUbar, Raimund-JohannesТруды по электротехнике и автоматике : сборник статей. 141976 / с. 75-81 https://www.ester.ee/record=b2190768*est https://digikogu.taltech.ee/et/Item/aa35e320-87b1-405b-9cac-3b90c51867d1

book article

74

journal article

Графы асинхронной машиныMežburd, VolfИзвестия высших учебных заведений. Электромеханика : учебно-образовательный и научно-технический журнал1970 / с. 956-960 https://www.ester.ee/record=b2144327*est

journal article

75

book article

Две вспомогательные функции оптимального приближения графа полными подграфами : (дополнение)Veiner, GuidoОбработка информации1975 / с. 17-21 https://www.ester.ee/record=b1327401*est https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987

book article

graafid (subject term)

types of item

subject term 2