Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Open Publishing Association (kirjastus/väljaandja)

—

—

—

—

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 30
Vaata veel.. (2/82)
Ekspordi

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

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

Bicategories of automata, automata in bicategoriesBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 1-19 https://doi.org/10.4204/EPTCS.397.1 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
2

artikkel kogumikus EST / artikkel kogumikus ENG

Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 1-21 https://doi.org/10.4204/eptcs.380.1 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
3

artikkel kogumikus EST / artikkel kogumikus ENG

A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
4

artikkel kogumikus EST / artikkel kogumikus ENG

Categorical semantics for functional reactive programming with temporal recursion and corecursionJeltsch, WolfgangProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 127-142 : ill https://doi.org/10.4204/EPTCS.153.9 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
5

artikkel kogumikus EST / artikkel kogumikus ENG

A categorical semantics for hierarchical Petri NetsGenovese, Fabrizio; Herold, Jelle; Loregian, Fosco; Palombi, DanieleProceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 20212021 / p. 51−68 https://doi.org/10.48550/arXiv.2102.00096 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
6

artikkel kogumikus EST / artikkel kogumikus ENG

Coherence for skew-monoidal categoriesUustalu, TarmoProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 68-77 https://doi.org/10.4204/EPTCS.153.5 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
7

artikkel kogumikus EST / artikkel kogumikus ENG

Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
8

artikkel kogumikus EST / artikkel kogumikus ENG

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 Conference proceedings at Scopus Article at Scopus Article at WOS

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

artikkel kogumikus

Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMsAhman, Danel; Kääramees, MarkoEPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 20122012 / p. 115-129 : ill https://www.semanticscholar.org/paper/Constraint-Based-Heuristic-On-line-Test-Generation-Ahman-K%C3%A4%C3%A4ramees/c798ef6753277479b79652be2a5921a1db94c74c

artikkel kogumikus
10

artikkel kogumikus EST / artikkel kogumikus ENG

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
11

artikkel kogumikus EST / artikkel kogumikus ENG

Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
12

artikkel kogumikus EST / artikkel kogumikus ENG

Differential 2-rigsLoregian, Fosco; Trimble, ToddProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 159-182 : ill https://doi.org/10.4204/EPTCS.380.10 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
13

artikkel kogumikus EST / artikkel kogumikus ENG

Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 https://doi.org/10.4204/eptcs.207.5 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
14

artikkel kogumikus EST / artikkel kogumikus ENG

Duality of lattices associated to left and right quotientsBell, Jason; Smertnig, Daniel; Tamm, Hellis16th International Conference on Automata and Formal Languages, AFL 2023, Eger, 5 September - 7 September 20232023 / p. 35-50 https://doi.org/10.4204/EPTCS.386.5 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
15

artikkel kogumikus EST / artikkel kogumikus ENG

Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 224-236 : ill https://doi.org/10.4204/EPTCS.380.13 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
16

artikkel kogumikus EST / artikkel kogumikus ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
17

artikkel kogumikus EST / artikkel kogumikus ENG

Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill https://doi.org/10.4204/EPTCS.246.8 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
18

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
19

artikkel kogumikus EST / artikkel kogumikus ENG

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolò; Voorneveld, Niels F.W.Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
20

artikkel kogumikus EST / artikkel kogumikus ENG

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 Conference proceedings at Scopus Article at Scopus Article at WOS

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

artikkel kogumikus EST / artikkel kogumikus ENG

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized typesAbel, Andreas; Chapman, JamesProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 51-67 https://doi.org/10.4204/EPTCS.153.4 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
22

artikkel kogumikus EST / artikkel kogumikus ENG

Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
23

artikkel kogumikus EST / artikkel kogumikus ENG

Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 Conference proceedings at Scopus Article at Scopus Article at WOS

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

artikkel kogumikus EST / artikkel kogumikus ENG

Optics for premonoidal categoriesHefford, James; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 152-171 : ill https://doi.org/10.4204/EPTCS.397.10 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
25

artikkel kogumikus EST / artikkel kogumikus ENG

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

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

Kirjeid leitud 30, kuvan 1 - 25

eelmine
1
2
järgmine

1. FMI open data
2. fractional open circuit voltage
3. inventory of open stacks
4. linked open data
5. linked open statistical data
6. linked open statistics
7. open architecture for information exchange
8. open architecture model
9. open cast
10. open circuit fault
11. open cloud ecosystem
12. open cooperativism
13. open data
14. open data ecosystem
15. open data format
16. open data policies
17. open design
18. open education
19. open educational resources
20. Open Estonia Foundation
21. open games
22. open geospatial consortium
23. open government data
24. open government data (OGD)
25. open graphs
26. open habitat
27. open hardware
28. open induction
29. open innovation
30. Open Learning Resources (OLR)
31. open notes
32. open office
33. open online courses
34. open optical networking
35. open plan office
36. open pour concrete casting
37. open retail electricity market
38. open ring substrate
39. open self‐ventilated machines
40. Open Skies agreement
41. open society
42. open source
43. open source hardware
44. open source intelligence
45. Open Source Intelligence (OSINT)
46. open source intelligence tools
47. open source software
48. open source-based innovation
49. open transitions
50. open value network
51. open voting
52. open-economy dynamic general equilibrium model
53. open-loop stability
54. open-source
55. open-source components
56. open-source hardware
57. open-source technologies
58. OSV (open self‐ventilated) machines
59. TOGAF (The Open Group Architecture Framework)
60. topographic access to open stacks
61. ASEAN (Association of Southeast Asian Nations)
62. association
63. association of local-self government
64. association of local-self governments
65. association of undertakings
66. association rule
67. association rule mining
68. association rules
69. European-African Hepato-Pancreato-Biliary Association (E-AHPBA)
70. EU-Ukraine association agreement
71. genome-wide association study (GWAS)
72. numerical association rule mining
73. quantitative association rule mining
74. statine-fenofibrate association
75. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining

1. AI powered Data Curation & Publishing Virtual Assistant (AIDAVA)
2. Baltic Open
3. EuroScience Open Forum
4. Nõmme Open
5. Open Multilingual Wordnet
6. European Logistics Association
7. International Association for Management Development in Dynamic Societies

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