Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Fabio d'Alessi"'
Autor:
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
Publikováno v:
Journal of Formalized Reasoning, Vol 12, Iss 1, Pp 11-51 (2019)
We develop the metatheory and the implementation of LF+, and discuss several applications. LF+ capitalizes on research work, carried out by the authors over more than a decade, on Logical Frameworks. It builds on various conservative extensions of LF
Externí odkaz:
https://doaj.org/article/bf5a22847c914ec6bcdc44be3cd63e39
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 307, Iss Proc. LFMTP 2019, Pp 8-23 (2019)
The Lax Logical Framework, LLFP, was introduced, by a team including the last two authors, to provide a conceptual framework for integrating different proof development tools, thus allowing for external evidence and for postponing, delegating, or fac
Externí odkaz:
https://doaj.org/article/93247161e4974eca8cd1653cb6a5a7a1
Publikováno v:
LFMTP@LICS
Electronic Proceedings in Theoretical Computer Science, Vol 307, Iss Proc. LFMTP 2019, Pp 8-23 (2019)
Electronic Proceedings in Theoretical Computer Science, Vol 307, Iss Proc. LFMTP 2019, Pp 8-23 (2019)
The Lax Logical Framework, LLFP, was introduced, by a team including the last two authors, to provide a conceptual framework for integrating different proof development tools, thus allowing for external evidence and for postponing, delegating, or fac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cef204144831c9d2f0523b94c75897eb
http://arxiv.org/abs/1910.10848
http://arxiv.org/abs/1910.10848
Autor:
Fabio Alessi
Publikováno v:
Theoretical Computer Science. 398(1-3):129-149
In this paper we introduce a new filter model, which is of a kind that has escaped investigation up to now: it is induced by an intersection type theory generated in a non-standard way, by a preorder which puts into relation an atom with an arrow typ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a769b2dffb575908f75026aaf283d7f
Publikováno v:
Theoretical Computer Science. 355(2):108-126
Invariance of interpretation by β-conversion is one of the minimal requirements for any standard model for the λ-calculus. With the intersection-type systems being a general framework for the study of semantic domains for the λ-calculus, the prese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3dcdf6e79bd623050be789fc413796a7
Autor:
Fabio D'alessi
Publikováno v:
Acta Botanica Gallica. 152:247-250
Large numbers of endangered carnivorous plants species are preserved in private collections. Every year the maintainers of such collections spend a considerable amount of time, effort and money to preserve the status of their collections. Unfortunate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6520dc64bbd5913c98e8358e9597de1b
https://doi.org/10.1080/12538078.2005.10515476
https://doi.org/10.1080/12538078.2005.10515476
Publikováno v:
Theoretical Computer Science. 316:25-47
We use intersection types as a tool for obtaining λ-models. Relying on the notion of easy intersection type theory, we successfully build a λ-model in which the interpretation of an arbitrary simple easy term is any filter which can be described by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6384fdaf963b78dcedc630a0483fe06a
https://doi.org/10.1016/j.tcs.2004.01.022
https://doi.org/10.1016/j.tcs.2004.01.022
Autor:
Fabio d’Alessi, Loizos Antoniades, Elżbieta Czarnowska, Nikos Protonotarios, Domenico Corrado, Cristina Basso, Andrea Nava, Thomas Wichter, William J. McKenna, Katharzyna Wlodarska, Gaetano Thiene, Guy Fontaine, Gian Antonio Danieli
Publikováno v:
European Heart Journal. 25:531-534
A multidisciplinary collaborative European study has been designed with the aim to investigate the clinical, pathological and genetic features of arrhythmogenic right ventricular cardiomyopathy (ARVC), which is a progressive, genetically determined d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cabd94287d4d549f45d2b56f4b10ab6d
https://doi.org/10.1016/j.ehj.2003.12.025
https://doi.org/10.1016/j.ehj.2003.12.025
Publikováno v:
Europe PubMed Central
Scopus-Elsevier
Scopus-Elsevier
Here we present a novel web tool for the statistical analysis of gene expression data in multiple tag sampling experiments. Differentially expressed genes are detected by using six different test statistics. Result tables, linked to the GenBank, UniG
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5359b680ef8f660bff36cd63bc684942
https://doi.org/10.1152/physiolgenomics.00096.2002
https://doi.org/10.1152/physiolgenomics.00096.2002
Publikováno v:
Bioinformatics. 17:1152-1157
Motivation: To perform a computational and statistical study on a large set of gene expression data pertaining six adult human tissues (brain, liver, skeletal muscle, ovary, retina and uterus) for analyzing the expression of ribosomal protein genes.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::951af805ef1853a2484a6f735eabf714
https://doi.org/10.1093/bioinformatics/17.12.1152
https://doi.org/10.1093/bioinformatics/17.12.1152