Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Andrè Hirsch"'
Autor:
Katja Günther, Frank Sonntag, Elmar Moritzer, Andrè Hirsch, Udo Klotzbach, Andrés Fabián Lasagni
Publikováno v:
Micromachines, Vol 8, Iss 8, p 246 (2017)
Micro Physiological Systems (MPS), also known as Multi-Organ-Chip, Organ-on-a-Chip, or Body-on-a-Chip, are advanced microfluidic systems that allow the cultivation of different types of cells and tissue in just one common circuit. Furthermore, they t
Externí odkaz:
https://doaj.org/article/ab168928269542008cf56399ac98f493
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)
By abstracting over well-known properties of De Bruijn's representation with nameless dummies, we design a new theory of syntax with variable binding and capture-avoiding substitution. We propose it as a simpler alternative to Fiore, Plotkin, and Tur
Externí odkaz:
https://doaj.org/article/b5f8337d6cbb41d380f2fc1f6a1bb843
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi. Generalising the reduction monads of Ahrens et al., we introduce transition monads, th
Externí odkaz:
https://doaj.org/article/58968be383f04ba8a56601c1941a0db9
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 2 (2021)
We present a device for specifying and reasoning about syntax for datatypes, programming languages, and logic calculi. More precisely, we study a notion of "signature" for specifying syntactic constructions. In the spirit of Initial Semantics, we de
Externí odkaz:
https://doaj.org/article/6dee9c3af7944403a8068cd53b861c21
Autor:
André Hirschowitz, Marco Maggesi
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 77, Iss Proc. FICS 2012, Pp 31-38 (2012)
We give a new general definition of arity, yielding the companion notions of signature and associated syntax. This setting is modular in the sense requested by Ghani and Uustalu: merging two extensions of syntax corresponds to building an amalgamated
Externí odkaz:
https://doaj.org/article/07906182604c4985a08f8b590ab67bfc
Publikováno v:
Zoologia (Curitiba), Vol 26, Iss 3, Pp 461-468 (2009)
We report 20 records of Priodontes maximus (Kerr, 1792) collected between 1990 and 2009 in three nature reserves located in forested areas of southeastern Brazil within the Atlantic Forest biome. Seventeen records were collected in Parque Estadual do
Externí odkaz:
https://doaj.org/article/0e6462e6fffb41dc907c3a07c5965371
Autor:
Rodrigo Lima Massara, Ana Maria de Oliveira Paschoal, Paul Francis Doherty, André Hirsch, Adriano Garcia Chiarello
Publikováno v:
PLoS ONE, Vol 10, Iss 11, p e0141333 (2015)
Forest fragmentation and habitat loss are detrimental to top carnivores, such as jaguars (Panthera onca) and pumas (Puma concolor), but effects on mesocarnivores, such as ocelots (Leopardus pardalis), are less clear. Ocelots need native forests, but
Externí odkaz:
https://doaj.org/article/07ad3e6648b24225aa5510c94996c6c8