Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

category theory (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 11
Vaata veel.. (1/161)
Ekspordi

ekspordi kõik päringu tulemused (11)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
3

artikkel kogumikus

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7

artikkel kogumikus
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
4

artikkel kogumikus EST / artikkel kogumikus ENG

Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 13 p. https://doi.org/10.1109/LICS56636.2023.10175726 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
5

artikkel kogumikus EST / artikkel kogumikus ENG

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
6

artikkel ajakirjas EST / artikkel ajakirjas ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
7

artikkel ajakirjas

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942

artikkel ajakirjas
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
8

artikkel kogumikus EST / artikkel kogumikus ENG

Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
9

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
10

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
11

artikkel kogumikus EST / artikkel kogumikus ENG

A survey of Compositional signal flow theoryBonchi, Filippo; Sobocinski, Pawel Maria; Zanasi, FabioAdvancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups2021 / p. 29–56 https://doi.org/10.1007/978-3-030-81701-5_2 Article collection metrics at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Kirjeid leitud 11, kuvan 1 - 11

1. category theory
2. bicategory theory
3. assessment category
4. bimonoidal category
5. closed category
6. cocomplete category
7. free monoidal category
8. Locally graded category
9. monoidal category
10. slice category
11. symmetric monoidal category
12. triangulated category
13. a coherent theory of proofs
14. activity theory
15. adaptive structuration theory (AST)
16. algebraic number theory
17. algebraic theory
18. algorithm design and theory
19. beam theory
20. catastrophe theory
21. chaos theory
22. coding theory
23. cognitive theory
24. commitment theory
25. communication channels (information theory)
26. complexity leadership theory
27. complexity theory
28. computation theory
29. computer softwaregraph theory
30. conservation of resources theory
31. Consumer Culture Theory
32. control theory
33. Cooper-Helmstetter cell cycle theory
34. cosmology: theory
35. critical theory of technology
36. cultural theory of international relations
37. dark matter theory
38. decision theory
39. Dempster-Shafer theory
40. Demster-Shafer Theory
41. density functional theory
42. density functional theory (DFT)
43. dependent type theory
44. design theory
45. development theory
46. Digital Government Theory: Development and Application
47. dispersive theory
48. domain theory
49. ecological systems theory
50. economic theory
51. end of theory
52. energetic impact theory
53. evolutionary theory of policy capacity
54. Flow theory
55. formal language theory
56. fully nonlinear potential theory
57. game theory
58. general systems theory
59. general theory of information transfer
60. general vibration theory
61. graph theory
62. gravitational waves / theory
63. grounded theory
64. group theory
65. group threat theory
66. higher-order beam theory
67. History and Theory
68. homotopy theory
69. homotopy type theory
70. housemoney effect prospect theory
71. iceberg theory of culture
72. image theory
73. information theory
74. innovation theory
75. institutional theory
76. intellectual capital theory
77. interdependence theory
78. inverse problem theory/applications
79. inverse problems theory/applications
80. job search theory
81. Lawvere theory
82. layer-wise displacement theory
83. linear systems theory
84. maritime investment theory
85. mechanism design theory
86. middle-range theory
87. modern portfolio theory
88. network theory
89. nonlinear shallow water theory
90. nonlinear shallow-water theory
91. nonlinear strip theory
92. nonlinear theory
93. normal torsion theory
94. number theory
95. organization theory
96. organizational theory
97. peer‐to‐peer theory
98. perceived customer value theory
99. phase field theory
100. picture theory
101. protection motivation theory
102. proto-theory of design
103. punctuated equilibrium theory
104. rational choice theory
105. real options theory
106. realization theory
107. reduction theory
108. refined zigzag theory
109. regulatory focus theory
110. sampling theory
111. scapegoat theory
112. search and matching theory
113. self-determination theory
114. self-determination theory of work motivation
115. set theory
116. shallow water theory
117. shallow‐water theory
118. sign theory
119. signalling theory
120. social identity theory
121. social practice theory
122. social presence theory
123. social representation theory
124. social system theory
125. social systems theory
126. sociological curriculum theory
127. speech-act theory
128. stakeholder theory
129. Stakeholder-oriented decision theory
130. State Theory
131. stimulus-organism-response theory
132. stochastic learning theory
133. strategic narrative theory
134. strategic narrative theory
135. Straussian theory model
136. structuration theory
137. switching theory
138. synchronous reference frame theory
139. system theory
140. systems theory
141. the RAT theory
142. theory
143. theory and practice of meta-modelling with application in healthcare
144. theory of accounting
145. Theory of computation
146. Theory Of Constraints (TOC)
147. theory of economic development
148. theory of inventive problem solving (TRIZ)
149. theory of natural disaster
150. Theory of paradox
151. theory of planned behavior
152. theory of planned behaviour
153. theory of signs
154. theory of value
155. ticked cubical type theory
156. time-dependent density functional theory (TD-DFT)
157. type theory
158. unified theory of acceptance and use of technology
159. value theory
160. virtual disc theory
161. 2D+T theory

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu