Otsing - TalTech teadusportaal

kuva

reasta

101

artikkel kogumikus EST / artikkel kogumikus ENG

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

102

artikkel ajakirjas EST / artikkel ajakirjas ENG

Realization of nonlinear time-delay input–output equationsKaldmäe, Arvo; Kotta, Ülle; Tõnso, MarisIEEE Control Systems Letters2018 / p. 369-374 https://doi.org/10.1109/LCSYS.2018.2838456 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

103

artikkel kogumikus

Relativistic wave equations with weak discrete symmetrics and new algebrasLoide, Rein-Karl; Ots, I.; Saar, R.; Kiiranen, K.TU Wien, WigSym 5, 25-29 Aug. 1997 : program & abstracts1997 / p. 67

artikkel kogumikus

104

artikkel kogumikus EST / artikkel kogumikus ENG

Residuation in existential graphsHaydon, Nathan Joseph; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 229−237 https://doi.org/10.1007/978-3-030-86062-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

105

artikkel ajakirjas EST / artikkel ajakirjas ENG

Rule algebras for adhesive categoriesBehr, Nicolas; Sobocinski, Pawel MariaLogical methods in computer science2020 / p. 2:1−2:38 https://doi.org/10.23638/LMCS-16(3:2)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

106

artikkel kogumikus EST / artikkel kogumikus ENG

Runners for interleaving algebraic effectsVoorneveld, NielsTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 407-424 https://doi.org/10.1007/978-3-031-17715-6_26 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

107

artikkel kogumikus

Seminar "Algebra ja tema rakendused" : [2.-4. mail 2008 Viinistul]Puusemp, PeeterAastaraamat 2008 / Eesti Matemaatika Selts2010 / lk. 107-109 : fot

artikkel kogumikus

108

artikkel kogumikus

Seminar "Algebra ja tema rakendused" : Nelijärve, 7.-8. mai 2005Paal, Eugen; Puusemp, PeeterAastaraamat 2005 / Eesti Matemaatika Selts2006 / lk. 243-244

artikkel kogumikus

109

artikkel ajakirjas EST / artikkel ajakirjas ENG

Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

110

artikkel kogumikus EST / artikkel kogumikus ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

111

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

112

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

113

artikkel kogumikus EST / artikkel kogumikus ENG

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

114

artikkel kogumikus

Subdividing the positive cone (R+)γ by Voronoi perfect polyhedras and totally positive algebraic integersLeibak, Alar17th International conference on "Mathematical Modelling and Analysis" : June 6-9, 2012, Tallinn, Estonia : abstracts2012 / p. 78

artikkel kogumikus

115

artikkel kogumikus EST / artikkel kogumikus ENG

Supersymmetry : superfield equations of motionLoide, Rein-Karl; Suurvarik, Pavel3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014 / p. 1-7 https://doi.org/10.1088/1742-6596/532/1/012016 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

116

artikkel kogumikus EST / artikkel kogumikus ENG

Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings2022 / p. 428-448 https://doi.org/10.1007/978-3-030-99253-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

117

artikkel ajakirjas

TetracompositionKluge, Liivi; Paal, EugenCommunications in contemporary mathematics2002 / 3, p. 435-456

artikkel ajakirjas

118

artikkel kogumikus

The connection between different static state feedback linearizability conditions of discrete time nonlinear control systemsMullari, Tanel; Kotta, Ülle; Tõnso, MarisProceedings of the European Control Conference 2007, Kos, Greece, July 2-5, 20072007 / p. 4268−4275 http://ieeexplore.ieee.org/document/7068444/

artikkel kogumikus

119

artikkel kogumikus EST / artikkel kogumikus ENG

The smash product of monoidal theoriesHadzihasanovic, Amar36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings2021 / art. 9470575, 13 p https://doi.org/10.1109/LICS52264.2021.9470575 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

120

artikkel kogumikus EST / artikkel kogumikus ENG

3Quantum : Algebra Geometry InformationPaal, Eugen; Kuusk, Piret; Stolin, Alexander3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014 / p. 1-7 https://doi.org/10.1088/1742-6596/532/1/011001 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

121

raamat

3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014

raamat

122

artikkel ajakirjas EST / artikkel ajakirjas ENG

Transformation of nonlinear discrete-time state equations into the observer form : revisionMullari, Tanel; Kotta, ÜlleProceedings of the Estonian Academy of Sciences2023 / p. 1-5 https://doi.org/10.3176/proc.2023.1.01 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

123

artikkel ajakirjas

Transforming state equations into the generalized observer form : comparison of algebraic and differential geometric approachesKotta, Ülle; Mullari, Tanel; Tõnso, MarisProceedings of the Estonian Academy of Sciences2025 / p. 473-486 https://doi.org/10.3176/proc.2025.4.01

artikkel ajakirjas

124

artikkel ajakirjas EST / artikkel ajakirjas ENG

Triangulated factorization systems and t-structuresLoregian, Fosco; Virili, SimoneJournal of algebra2020 / p. 219-241 https://doi.org/10.1016/j.jalgebra.2019.12.021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

125

artikkel kogumikus

2D binary operadic Lax representation for harmonic oscillatorPaal, Eugen; Virkepu, JüriNoncommutative structures in mathematics and physics : 22-26 juli 20082010 / p. 209-216 https://www.researchgate.net/publication/1913785_2D_binary_operadic_Lax_representation_for_harmonic_oscillator

artikkel kogumikus

algebra (märksõna)

teaviku laadid

võtmesõna 32

märksõna 6