BIOGAS PRODUCTION BY ANAEROBIC DIGESTION OF COFFEE HUSKS AND CATTLE MANURE

Autor: Juliana L. Paes, Lenisa M. P. Costa, Pedro L. B. G. Fernandes, Beatriz C. Vargas, Daiane Cecchin

Publikováno v: Engenharia Agrícola, Vol 43, Iss spe (2023)

ABSTRACT The use of agricultural residues in anaerobic digestion (AD) for biogas production promotes environmental and socioeconomic benefits. This study aimed to evaluate the biogas production from dry coffee husks (DCH), wet coffee husks (WCH), and

Externí odkaz: https://doaj.org/article/78d864503eb24514a0f602e073fe9d7f

Λ-Symsym: An Interactive Tool for Playing with Involutions and Types

Autor: Honsell, F., Lenisa, M., Scagnetto, I.

We present the web portal Λ-symsym, available at http://158.110.146.197:31780/automata/, for experimenting with game semantics of λ^!-calculus, and its normalizing elementary sub-calculus, the λ^{EAL}-calculus. The λ^!-calculus is a generalizatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::477ca9b4003ded9878a01dd9f527899a

Complementation of coalgebra automata

Autor: Kissig, C., Venema, Y., Kurz, A., Lenisa, M., Tarlecki, A.

Publikováno v: Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings, 81-96
STARTPAGE=81;ENDPAGE=96;TITLE=Algebra and Coalgebra in Computer Science
Algebra and Coalgebra in Computer Science ISBN: 9783642037405
CALCO

Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This coalgebraic perspective on automata lays foundation to a universal theory of aut

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a08e955ff79040ddf64f76c03b9bc69
https://doi.org/10.1007/978-3-642-03741-2_7

Free Heyting Algebras

Autor: Gehrke, M., Bezhanishvili, N., Kurz, A., Lenisa, M., Tarlecki, A.

Publikováno v: Kurz, A.; Lenisa, M.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings, pp. 251-266
Kurz, A.; Lenisa, M.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings, 251-266. Berlin : Springer
STARTPAGE=251;ENDPAGE=266;ISSN=0302-9743;TITLE=Kurz, A.; Lenisa, M.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Contains fulltext : 75416.pdf (Publisher’s version ) (Closed access) Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings, 07 september 2009 457 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::64bbbf95cdc367f3fe8ee0a074f95515
https://hdl.handle.net/2066/75416

Traces, Executions and Schedulers, Coalgebraically

Autor: Jacobs, B.P.F., Sokolova, A., Kurz, A., Lenisa, M., Tarlecki, A.

Publikováno v: Algebra and Coalgebra in Computer Science ISBN: 9783642037405
CALCO
Proceedings of the 3rd International Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), 7-10 September 2009, Udine, Italy, 206-220
STARTPAGE=206;ENDPAGE=220;TITLE=Proceedings of the 3rd International Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), 7-10 September 2009, Udine, Italy

A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from executions, by projecting away states. These traces and executions are seq

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::35a004fc1ba3870b611f60d02e4825cd
https://doi.org/10.1007/978-3-642-03741-2_15