Littérature scientifique sur le sujet « Comonad »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Comonad ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Comonad"
El Kaoutit, L., and J. Vercruysse. "Cohomology for Bicomodules. Separable and Maschke functors." Journal of K-Theory 3, no. 1 (2007): 123–52. http://dx.doi.org/10.1017/is007011017jkt017.
Texte intégralDOŠEN, KOSTA, and ZORAN PETRIĆ. "Coherence for monoidal monads and comonads." Mathematical Structures in Computer Science 20, no. 4 (2010): 545–61. http://dx.doi.org/10.1017/s0960129510000034.
Texte intégralUustalu, Tarmo, and Tarmo Vene. "Signals and Comonads." JUCS - Journal of Universal Computer Science 11, no. (7) (2005): 1310–26. https://doi.org/10.3217/jucs-011-07-1311.
Texte intégralHO, WENG KIN. "Characterising E-projectives via Comonads." Mathematical Structures in Computer Science 27, no. 4 (2015): 491–506. http://dx.doi.org/10.1017/s0960129515000183.
Texte intégralBlanc, David, and Simona Paoli. "Comonad cohomology of track categories." Journal of Homotopy and Related Structures 14, no. 4 (2019): 881–917. http://dx.doi.org/10.1007/s40062-019-00235-2.
Texte intégralWISBAUER, ROBERT. "COMODULES AND CONTRAMODULES." Glasgow Mathematical Journal 52, A (2010): 151–62. http://dx.doi.org/10.1017/s0017089510000194.
Texte intégralPower, John, and Hiroshi Watanabe. "Combining a monad and a comonad." Theoretical Computer Science 280, no. 1-2 (2002): 137–62. http://dx.doi.org/10.1016/s0304-3975(01)00024-x.
Texte intégralMARMOLEJO, F., and A. VÁZQUEZ-MÁRQUEZ. "No-iteration mixed distributive laws." Mathematical Structures in Computer Science 27, no. 1 (2015): 1–16. http://dx.doi.org/10.1017/s0960129514000656.
Texte intégralPower, John, and Hiroshi Watanabe. "Distributivity for a monad and a comonad." Electronic Notes in Theoretical Computer Science 19 (1999): 102. http://dx.doi.org/10.1016/s1571-0661(05)80271-3.
Texte intégralHess, Kathryn, and Brooke Shipley. "The homotopy theory of coalgebras over a comonad." Proceedings of the London Mathematical Society 108, no. 2 (2013): 484–516. http://dx.doi.org/10.1112/plms/pdt038.
Texte intégralThèses sur le sujet "Comonad"
Kvamme, Sondre [Verfasser]. "Comonads and Gorenstein Homological Algebra / Sondre Kvamme." Bonn : Universitäts- und Landesbibliothek Bonn, 2017. http://d-nb.info/1149154241/34.
Texte intégralSirland, Jenny. "Realistisk restidsberäkning för comodal reseplanering." Thesis, Uppsala University, Department of Information Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-111166.
Texte intégralSvensson, Richard. "COMOBA : Counteract Motion Backrest." Thesis, Högskolan i Halmstad, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-31919.
Texte intégralnilsson, Kevin. "Material modeling in Sheet Metal Forming Simulations : Quality comparison between comonly used material models." Thesis, Blekinge Tekniska Högskola, Institutionen för maskinteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-18227.
Texte intégralSalem, M. A. "Accumulation and degradation of aliphatic nitrocompounds in Hippocrepis comosa and other legumes." Thesis, Swansea University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.638749.
Texte intégralGlaser, Norbert. "Contribution à l'acquisition et à la modélisation de connaissances dans un cadre multi-agents : l’approche CoMoMAS." Nancy 1, 1996. http://www.theses.fr/1996NAN10300.
Texte intégralHellström, Josefine. "Tårfilmen hos datoranvändare : En jämförande studie av tårsubstituten Systane och Hylo-Comod." Thesis, University of Kalmar, School of Pure and Applied Natural Sciences, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hik:diva-2277.
Texte intégralFouquet, Guillemette. "Régulation de l’érythropoïèse : rôle des récepteurs à la transferrine et d’un phytoestrogène." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS293.
Texte intégralJagenberg, Jan Tim [Verfasser], Reiner [Akademischer Betreuer] Anderl, and Michael [Akademischer Betreuer] Abramovici. "CoMoNo: A Communication Model and Notation Supporting the Analysis and Planning of Communication Infrastructure / Jan Tim Jagenberg. Betreuer: Reiner Anderl ; Michael Abramovici." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014. http://d-nb.info/1108094759/34.
Texte intégralClarens, Christophe. "Processus et contrôles de la sédimentation miocène à actuelle dans un bassin en extension : cas de la formation Comondu et du bassin Alfonso-El Carrizal (Basse Californie du Sud, Mexique)." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13206.
Texte intégralLivres sur le sujet "Comonad"
Andrad, Mario de. São Paulo! comocao de minha vida... Prefeitura de São Paulo Cultura, 2013.
Trouver le texte intégralMeza, J. Antonio Sequera. Coloquio de San Miguel de Comondú. Gobierno del Estado de Baja California Sur, Instituto Sudcaliforniano de Cultura, 2008.
Trouver le texte intégralOliva, Salvador Hinojosa. Cuaderno histórico del templo misional de Nuestro Señor de San José de Comondú. Gobierno del Estado de Baja California Sur, Instituto Sudcaliforniano de Cultura, 2009.
Trouver le texte intégralTorre, Giovanni La. La comoda menzogna: Il dibattito sulla crisi globale. Dedalo, 2011.
Trouver le texte intégralPițu, Luca. Fragmente dintr-un discurs in(?)comod. Institutul European, 1993.
Trouver le texte intégralGlaser, Norbert. Conceptual Modelling of Multi-Agent Systems: The CoMoMAS Engineering Environment. Springer US, 2002.
Trouver le texte intégralBoard, Engineering Industry Training. Engineering training guide: Welding and fabrication - comon skills. 2nd ed. EITB, 1988.
Trouver le texte intégralMicheline, Cariño Martha, ed. Opciones de desarrollo en el oasis de los Comondú, Baja California Sur, México. Gobierno del Estado de Baja California Sur, Instituto Sudcaliforniano de Cultura, 2013.
Trouver le texte intégralAgrosì, Giulia. La smart city e la città comoda: Una nuova realtà futurista "Smartiana". Mimesis, 2022.
Trouver le texte intégralChapitres de livres sur le sujet "Comonad"
McDermott, Dylan, Exequiel Rivas, and Tarmo Uustalu. "Sweedler Theory of Monads." In Lecture Notes in Computer Science. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_22.
Texte intégralAhman, Danel, James Chapman, and Tarmo Uustalu. "When Is a Container a Comonad?" In Foundations of Software Science and Computational Structures. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28729-9_5.
Texte intégralDawar, Anuj. "Constraint Satisfaction, Graph Isomorphism, and the Pebbling Comonad." In Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24117-8_18.
Texte intégralPientka, Brigitte, and Ulrich Schöpp. "Semantical Analysis of Contextual Types." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_26.
Texte intégralGehrke, Wolfgang. "Problems in rewriting applied to categorical concepts by the example of a computational comonad." In Rewriting Techniques and Applications. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59200-8_58.
Texte intégralDošen, Kosta. "Comonads." In Cut Elimination in Categories. Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-017-1207-1_6.
Texte intégralOrchard, Dominic, and Alan Mycroft. "A Notation for Comonads." In Implementation and Application of Functional Languages. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41582-1_1.
Texte intégralFukihara, Yōji, and Shin-ya Katsumata. "Generalized Bounded Linear Logic and its Categorical Semantics." In Lecture Notes in Computer Science. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_12.
Texte intégralClouston, Ranald, and Robert Goldblatt. "Covarieties of Coalgebras: Comonads and Coequations." In Theoretical Aspects of Computing – ICTAC 2005. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11560647_19.
Texte intégralAbramsky, Samson, Tomáš Jakl, and Thomas Paine. "Discrete Density Comonads and Graph Parameters." In Coalgebraic Methods in Computer Science. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10736-8_2.
Texte intégralActes de conférences sur le sujet "Comonad"
Abramsky, Samson, Anuj Dawar, and Pengming Wang. "The pebbling comonad in Finite Model Theory." In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. http://dx.doi.org/10.1109/lics.2017.8005129.
Texte intégralMontacute, Yoàv, and Nihil Shah. "The Pebble-Relation Comonad in Finite Model Theory." In LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2022. http://dx.doi.org/10.1145/3531130.3533335.
Texte intégralKatsumata, Shin-ya, Exequiel Rivas, and Tarmo Uustalu. "Interaction Laws of Monads and Comonads." In LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2020. http://dx.doi.org/10.1145/3373718.3394808.
Texte intégralDawar, Anuj, Tomas Jakl, and Luca Reggio. "Lovász-Type Theorems and Game Comonads." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470609.
Texte intégralFoner, Kenneth. "Functional pearl: getting a quick fix on comonads." In ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming. ACM, 2015. http://dx.doi.org/10.1145/2804302.2804310.
Texte intégralLee, Youngki, Younghyun Ju, Chulhong Min, Seungwoo Kang, Inseok Hwang, and Junehwa Song. "CoMon." In the 10th international conference. ACM Press, 2012. http://dx.doi.org/10.1145/2307636.2307641.
Texte intégralAbramsky, Samson, and Dan Marsden. "Comonadic semantics for guarded fragments." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470594.
Texte intégralГонсалес Франко, M. X., А. И. Юркина, О. В. Разумова, М. Г. Дивашук та Е. Д. Бадаева. "ЦИТОГЕНЕТИЧЕСКОЕ ИЗУЧЕНИЕ AEGILOPS COMOSA". У Биотехнология в растениеводстве, животноводстве и сельскохозяйственной микробиологии. Crossref, 2024. https://doi.org/10.48397/e4006-1919-2277-y.
Texte intégralMontacute, Yoàv, and Glynn Winskel. "Concurrent Games over Relational Structures: The Origin of Game Comonads." In LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2024. http://dx.doi.org/10.1145/3661814.3662075.
Texte intégralAbramsky, Samson, Rui Soares Barbosa, Martti Karvonen, and Shane Mansfield. "A comonadic view of simulation and quantum resources." In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2019. http://dx.doi.org/10.1109/lics.2019.8785677.
Texte intégralRapports d'organisations sur le sujet "Comonad"
Gehrke, Wolfgang. Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada288582.
Texte intégralBrookes, Stephen, and Kathryn Van Stone. Monads and Comonads in Intensional Semantics. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada266522.
Texte intégralContessi, Silvio, Pierangelo De Pace, and Massimo Guidolin. How Did the Financial Crisis Alter the Correlations of U.S. Yield Spreads? Federal Reserve Bank of St. Louis, 2013. http://dx.doi.org/10.20955/wp.2013.005.
Texte intégralDubcovsky, Jorge, Tzion Fahima, and Ann Blechl. Molecular characterization and deployment of the high-temperature adult plant stripe rust resistance gene Yr36 from wheat. United States Department of Agriculture, 2013. http://dx.doi.org/10.32747/2013.7699860.bard.
Texte intégral