Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
graafid (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
99
Vaata veel..
(1/2)
Ekspordi
ekspordi kõik päringu tulemused
(99)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
51
dissertatsioon
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Haydon, Nathan Joseph
2024
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
dissertatsioon
Seotud publikatsioonid
4
The Blot
Compositional diagrammatic first-order logic
Residuation in existential graphs
Diagrammatic algebra of first order logic
52
artikkel kogumikus
Permutations and bijections
Võhandu, Leo
;
Peder, Ahti
;
Tombak, Mati
Information modelling and knowledge bases XXIII
2012
/
p. 419-437 : ill
artikkel kogumikus
53
artikkel ajakirjas
Problems of optimization : an exact algorithm for finding a maximum clique optimized for dense graphs
Kumlander, Deniss
Proceedings of the Estonian Academy of Sciences. Physics. Mathematics
2005
/
2, p. 79-86
artikkel ajakirjas
54
artikkel kogumikus
Processing N-ary trees in hardware circuits
Sklyarov, Valery
;
Skliarova, Iouliia
;
Mihhailov, Dmitri
;
Sudnitsõn, Aleksander
13th International Symposium on Integrated Circuits (ISIC) : Singapore, 12-14 December 2011 : proceedings
2011
/
p. 262-265 : ill
https://ieeexplore.ieee.org/document/6131946
artikkel kogumikus
55
artikkel ajakirjas
Proof analysis of Peirce's alpha system of graphs
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Studia logica
2017
/
p. 625-647 : ill
https://doi.org/10.1007/s11225-016-9703-y
artikkel ajakirjas
56
dissertatsioon
Security protocols analysis in the computational model - dependency flow graphs-based approach = Turvaprotokollide analüüs arvutuslikul mudelil - sõltuvusgraafidel põhinev lähenemisviis
Tšahhirov, Ilja
2008
https://www.ester.ee/record=b2449152*est
dissertatsioon
57
artikkel kogumikus
Self-organizing approach to graph vertex colouring in the applications of ad hoc networks
Kirt, Toomas
;
Võhandu, Leo
Proceedings of the 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 2006
2006
/
? p
https://www.researchgate.net/publication/262353001_Self-organizing_approach_to_graph_vertex_colouring_in_the_applications_of_ad_hoc_networks
artikkel kogumikus
58
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Some logical notations for pragmatic assertions
Carrara, Massimiliano
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Logique et Analyse
2020
/
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
59
artikkel ajakirjas
Superpositional graphs
Peder, Ahti
;
Tombak, Mati
Acta et commentationes Universitatis Tartuensis de mathematica
2009
/
p. 51-64 : ill
artikkel ajakirjas
60
artikkel ajakirjas
Synthesis of control automata using graph schemes of algorithms
Baranov, S.
;
Keevallik, Andres
Digital Processes
1980
/
p. [?]
artikkel ajakirjas
61
artikkel kogumikus
Test generation for digital systems based on alternative graphs
Ubar, Raimund-Johannes
Dependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 1994 : proceedings
1994
/
p. 151-164: ill
artikkel kogumikus
62
artikkel ajakirjas
Test synthesis with alternative graphs
Ubar, Raimund-Johannes
IEEE design & test of computers
1996
/
Spring, p. 48-57: ill
artikkel ajakirjas
63
artikkel kogumikus
Testide genereerimine loogikalülituste alternatiivsete graafide süsteemi mudeli abil
Saarma, G.
;
Ubar, Raimund-Johannes
XXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid
1977
/
lk. 43
https://www.ester.ee/record=b2449987*est
artikkel kogumikus
64
artikkel kogumikus EST
/
artikkel kogumikus ENG
The beauty of graphs
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
65
artikkel ajakirjas
Transformations of graph schemes of algorithms
Baranov, S.
;
Keevallik, Andres
Digital Processes
1980
/
p. [?]
artikkel ajakirjas
66
artikkel kogumikus EST
/
artikkel kogumikus ENG
Two cognitive systems, two implications, and selection tasks
Bobrova, Angelina
;
Pietarinen, Ahti-Veikko
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
2020
/
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
67
artikkel kogumikus
Using weighted graphs for fast architecture exploration
Ellervee, Peeter
;
Klaar, Tarmo
;
Kruus, Margus
;
Tammemäe, Kalle
BEC 2002 : proceedings of the 8th Biennial Baltic Electronics Conference : October 6-9, 2002, Tallinn, Estonia
2002
/
p. 111-114 : ill
artikkel kogumikus
68
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Weakening of Alpha graphs : quasi-Boolean algebras
Pietarinen, Ahti-Veikko
;
Ma, Minghui
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
69
artikkel ajakirjas
Альтернативные графы и техническая диагностика дискретных объектов
Ubar, Raimund-Johannes
Электронная техника. Серия 8, Управление качеством и стандартизация : научно-технический сборник
1988
/
с. 33-57
artikkel ajakirjas
70
artikkel kogumikus
Генерирование групповых тестов для цифровых схем на модели альтернативных графов
Kivi, E.
;
Ubar, Raimund-Johannes
Тезисы докладов XXXI студенческой научно-технической конференции
1980
/
с. 52-55
https://www.ester.ee/record=b1319482*est
artikkel kogumikus
71
artikkel kogumikus
Генерирование тестов для цифровых схем при помощи модели альтернативных графов
Ubar, Raimund-Johannes
Труды по электротехнике и автоматике : сборник статей. 14
1976
/
с. 75-81
https://www.ester.ee/record=b2190768*est
https://digikogu.taltech.ee/et/Item/aa35e320-87b1-405b-9cac-3b90c51867d1
artikkel kogumikus
72
artikkel ajakirjas
Графы асинхронной машины
Mežburd, Volf
Известия высших учебных заведений. Электромеханика : учебно-образовательный и научно-технический журнал
1970
/
с. 956-960
https://www.ester.ee/record=b2144327*est
artikkel ajakirjas
73
artikkel kogumikus
Две вспомогательные функции оптимального приближения графа полными подграфами : (дополнение)
Veiner, Guido
Обработка информации
1975
/
с. 17-21
https://www.ester.ee/record=b1327401*est
https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987
artikkel kogumikus
74
artikkel kogumikus
Две вспомогательные функции оптимального приближения графа полными подграфами : (обобщения)
Veiner, Guido
Вопросы исследования графов, грамматик, функций
1976
/
с. 3-10 : илл
https://www.ester.ee/record=b1433013*est
https://digikogu.taltech.ee/et/Item/ab9b20b3-9208-4a18-88a2-da1e0f43137f
artikkel kogumikus
75
artikkel kogumikus
Две вспомогательные функции оптимального приближения графа полными подграфами
Veiner, Guido
Обработка информации. Функциональный анализ
1974
/
с. 49-53
https://www.ester.ee/record=b1347059*est
https://digikogu.taltech.ee/et/Item/0dd16355-1e9a-4ed9-b616-b6d162fa44a5
artikkel kogumikus
Kirjeid leitud 99, kuvan
51 - 75
eelmine
1
2
3
4
järgmine
märksõna
2
1.
graafid
2.
topoloogilised graafid
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT