Giuseppe Longo

Alfonso Maria Ponsiglione

Biosyst., 2021

Studying length of stay in the Emergency Department of A.O.R.N. "Antonio Cardarelli" of Naples.

[BibT_eX]

[DOI]

Massimo Majolo

Proceedings of the ICBBS 2021: 10th International Conference on Bioinformatics and Biomedical Science, Xiamen, China, October 29, 2021

Analysis of voluntary departures from the Emergency Department of the hospital AORN "A. Cardarelli".

[BibT_eX]

[DOI]

Alfonso Maria Ponsiglione

Proceedings of the BECB 2021: 2021 International Symposium on Biomedical Engineering and Computational Biology, Nanchang, China, August 13, 2021

2018

SiCILIA - Silicon Carbide Detectors for Intense Luminosity Investigations and Applications.

[BibT_eX]

[DOI]

Sensors, 2018

stellar formation rates in galaxies using machine learning models.

[BibT_eX]

[DOI]

Proceedings of the 26th European Symposium on Artificial Neural Networks, 2018

Machine learning and data analysis in astroinformatics.

[BibT_eX]

[DOI]

Proceedings of the 26th European Symposium on Artificial Neural Networks, 2018

2017

From Logic to Biology via Physics: a survey.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

The web and its sorceries.

[BibT_eX]

[DOI]

AI Soc., 2017

The Astronomical Data Deluge: the Template Case of Photometric Redshifts.

[BibT_eX]

[DOI]

Massimo Brescia

Stefano Cavuoti

Proceedings of the Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017), 2017

Data Deluge in Astrophysics: Photometric Redshifts as a Template Use Case.

[BibT_eX]

[DOI]

Proceedings of the Data Analytics and Management in Data Intensive Domains, 2017

2016

Classical, quantum and biological randomness as relative unpredictability.

[BibT_eX]

[DOI]

Cristian S. Calude

Nat. Comput., 2016

Probability density estimation of photometric redshifts based on machine learning.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Cooperative photometric redshift estimation.

[BibT_eX]

[DOI]

Proceedings of the Astroinformatics 2016, Sorrento, Italy, October 19-25, 2016, 2016

METAPHOR: Probability density estimation for machine learning based photometric redshifts.

[BibT_eX]

[DOI]

Proceedings of the Astroinformatics 2016, Sorrento, Italy, October 19-25, 2016, 2016

2015

Feature Selection Based on Machine Learning in MRIs for Hippocampal Segmentation.

[BibT_eX]

[DOI]

Comput. Math. Methods Medicine, 2015

The Unconventionality of Nature: Biology, from Noise to Functional Randomness.

[BibT_eX]

[DOI]

Barbara Bravi

Proceedings of the Unconventional Computation and Natural Computation, 2015

2014

Debate on the concept of probability, and conclusions to this special issue on developments of the concepts of randomness, statistics and probability.

[BibT_eX]

[DOI]

Mioara Mugur-Schächter

Math. Struct. Comput. Sci., 2014

Preface to the special issue on developments of the concepts of randomness, statistics and probability.

[BibT_eX]

[DOI]

Mioara Mugur-Schächter

Math. Struct. Comput. Sci., 2014

Immersive and collaborative data visualization using virtual reality platforms.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014

2013

Randomness and multilevel interactions in biology.

[BibT_eX]

[DOI]

Marcello Buiatti

Theory Biosci., 2013

Feature Selection Strategies for Classifying High Dimensional Astronomical Data Sets.

[BibT_eX]

[DOI]

Michael Ting-Chang Yang

CoRR, 2013

Feature selection strategies for classifying high dimensional astronomical data sets.

[BibT_eX]

[DOI]

Michael Ting-Chang Yang

Proceedings of the 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 2013

2012

Incomputability in Physics and Biology.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

Data challenges of time domain astronomy.

[BibT_eX]

[DOI]

Distributed Parallel Databases, 2012

Genetic Algorithm Modeling with GPU Parallel Computing Technology.

[BibT_eX]

[DOI]

Proceedings of the Neural Nets and Surroundings - 22nd Italian Workshop on Neural Nets, 2012

No entailing laws, but enablement in the evolution of the biosphere.

[BibT_eX]

[DOI]

Stuart A. Kauffman

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

What is Turing's Comparison between Mechanism and Writing Worth?

[BibT_eX]

[DOI]

Jean Lassègue

Proceedings of the How the World Computes, 2012

Randomness Increases Order in Biological Evolution.

[BibT_eX]

[DOI]

Proceedings of the Computation, Physics and Beyond, 2012

2011

Protention and retention in biological systems.

[BibT_eX]

[DOI]

Theory Biosci., 2011

Unruly codes with unruly distances raise (combinatorial) problems.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2011

DAME: A Distributed Data Mining & Exploration Framework within the Virtual Observatory

[BibT_eX]

[DOI]

CoRR, 2011

The DAME/VO-Neural Infrastructure: an Integrated Data Mining System Support for the Science Community

[BibT_eX]

[DOI]

CoRR, 2011

VOGCLUSTERS: an example of DAME web application

[BibT_eX]

[DOI]

CoRR, 2011

2010

A multilayer perceptron neural network-based approach for the identification of responsiveness to interferon therapy in multiple sclerosis patients.

[BibT_eX]

[DOI]

Giuseppe Calcagno

Antonino Staiano

Giuliana Fortunato

Vincenzo Brescia-Morra

Inf. Sci., 2010

DAME: A Web Oriented Infrastructure for Scientific Data Mining & Exploration

[BibT_eX]

[DOI]

CoRR, 2010

Mining Knowledge in Astrophysical Massive Data Sets

[BibT_eX]

[DOI]

Massimo Brescia

Fabio Pasian

CoRR, 2010

Incomputability in Physics.

[BibT_eX]

[DOI]

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

From exact sciences to life phenomena: Following Schrödinger and Turing on Programs, Life and Causality.

[BibT_eX]

[DOI]

Inf. Comput., 2009

Randomness and Determination, from Physics and Computing towards Biology.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008

Computability and the morphological complexity of some dynamics on continuous domains.

[BibT_eX]

[DOI]

Mathieu Hoyrup

Arda Kolçak

Theor. Comput. Sci., 2008

Astrophysics in S.Co.P.E

[BibT_eX]

[DOI]

CoRR, 2008

GRID-Launcher v.1.0

[BibT_eX]

[DOI]

CoRR, 2008

The VO-Neural project: recent developments and some applications

[BibT_eX]

[DOI]

CoRR, 2008

Bibliométrie et les tenants de l'orthodoxie (version française, version russe).

[BibT_eX]

[DOI]

Asya Willerval

Bull. dInformatique Approfondie et Appl., 2008

Design of Bandwidth Aware and Congestion Avoiding Efficient Routing Algorithms for Networks-on-Chip Platforms.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Networks-on-Chips, 2008

2007

Randomness and determinism in the interplay between the continuum and the discrete.

[BibT_eX]

[DOI]

Francis Bailly

Math. Struct. Comput. Sci., 2007

Symmetries in Foundations.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

2006

A multi-step approach to time series analysis and gene expression clustering.

[BibT_eX]

[DOI]

Bioinform., 2006

2005

Textural identification of carbonate rocks by image processing and neural network: Methodology proposal and examples.

[BibT_eX]

[DOI]

Comput. Geosci., 2005

NEC: A Hierarchical Agglomerative Clustering Based on Fisher and Negentropy Information.

[BibT_eX]

[DOI]

Proceedings of the Neural Nets, 16th Italian Workshop on Neural Nets, 2005

NEC for Gene Expression Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Logic and Applications, 6th International Workshop, 2005

Visualization, Clustering and Classification of Multidimensional Astronomical Data.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Computer Architectures for Machine Perception (CAMP 2005), 2005

2004

Mining Yeast Gene Microarray Data with Latent Variable Models.

[BibT_eX]

[DOI]

Proceedings of the Biological and Artificial Intelligence Environments, 2004

Probabilistic Principal Surfaces for Yeast Gene Microarray Data Mining.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Data Mining (ICDM 2004), 2004

2003

Proofs and Programs.

[BibT_eX]

[DOI]

Synth., 2003

Neural neZtworks in astronomy.

[BibT_eX]

[DOI]

Neural Networks, 2003

Introduction: Neural networks for analysis of complex scientific data: astronomy and geosciences.

[BibT_eX]

[DOI]

Neural Networks, 2003

Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation.

[BibT_eX]

[DOI]

Luca Aceto

Björn Victor

Math. Struct. Comput. Sci., 2003

New programs and open problems in the foundation of mathematics.

[BibT_eX]

[DOI]

P. Scott

Bull. Symb. Log., 2003

Neural Networks for Photometric Redshifts Evaluation.

[BibT_eX]

[DOI]

Roberto Tagliaferri

Stefano Andreon

Salvatore Capozziella

Ciro Donalek

Gerardo Giordano

Proceedings of the Neural Nets, 14th Italian Workshop on Neural Nets, 2003

Computer modelling and natural phenomena.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2000

Prototype Proofs in Type Theory.

[BibT_eX]

[DOI]

Math. Log. Q., 2000

Coherence and transitivity of subtyping as entailment.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1999

Preface.

[BibT_eX]

[DOI]

Jonathan P. Seldin

Math. Struct. Comput. Sci., 1999

Neural nets and star/galaxy separation in wide field astronomical images.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference Neural Networks, 1999

1997

Neural networks for periodicity analysis of unevenly spaced data.

[BibT_eX]

[DOI]

Proceedings of International Conference on Neural Networks (ICNN'97), 1997

1995

A Calculus for Overloaded Functions with Subtyping

[BibT_eX]

[DOI]

Giuseppe Castagna

Giorgio Ghelli

Inf. Comput., February, 1995

Parametric and Type-Dependent Polymorphism.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

A Logic of Subtyping (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1995

1993

The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.

[BibT_eX]

[DOI]

Giuseppe Castagna

Giorgio Ghelli

Proceedings of the Typed Lambda Calculi and Applications, 1993

Types as Parameters.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992

Provable Isomorphisms of Types.

[BibT_eX]

[DOI]

Roberto Di Cosmo

Math. Struct. Comput. Sci., 1992

1991

Constructive Natural Deduction and its 'Omega-Set' Interpretation.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1991

A Semantic Basis for Quest.

[BibT_eX]

[DOI]

Luca Cardelli

J. Funct. Program., 1991

The new role of mathematical logic: A tool for computer scienc.

[BibT_eX]

[DOI]

Inf. Sci., 1991

Categories, types and structures - an introduction to category theory for the working computer scientist.

[BibT_eX]

Andrea Asperti

Foundations of computing, MIT Press, ISBN: 978-0-262-01125-9, 1991

1990

A Category-Theoretic Characterization of Functional Completeness.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

A Modest Model of Records, Inheritance and Bounded Quantification

[BibT_eX]

[DOI]

Inf. Comput., 1990

A Pragmatic Way Out of the Maze of Uncertainty Measures.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Knowledge Bases, 1990

Information and the Mind-Body Problem.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Knowledge Bases, 1990

1989

Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist Perspective.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 1989

1988

On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1988

1987

Type-free compiling of parametric types.

[BibT_eX]

Roberto M. Amadio

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986

Computability in Higher Types, P omega and the Completeness of Type Assignment.

[BibT_eX]

[DOI]

Simone Martini

Theor. Comput. Sci., 1986

The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations

[BibT_eX]

Roberto M. Amadio

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman.

[BibT_eX]

[DOI]

Andrea Asperti

Proceedings of the CAAP '86, 1986

1985

Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)

[BibT_eX]

[DOI]

Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

1984

Effectively Given Domains and Lambda-Calculus Models

[BibT_eX]

[DOI]

Paola Giannini

Inf. Control., July, 1984

On Combinatory Algebras and their Expansions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types.

[BibT_eX]

[DOI]

J. Symb. Log., 1984

Computability in Higher Types and the Universal Domain P_omega.

[BibT_eX]

[DOI]

Simone Martini

Proceedings of the STACS 84, 1984

Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II).

[BibT_eX]

[DOI]

Proceedings of the Semantics of Data Types, International Symposium, 1984

Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

Limits, Higher Type Computability and Type-Free Languages.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

Continuous Structures and Analytic Methods in Computer Science.

[BibT_eX]

Proceedings of the CAAP'84, 1984

1983

Set-theoretical models of λ-calculus: theories, expansions, isomorphisms.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Ann. Pure Appl. Log., 1983

Applicative Information Systems.

[BibT_eX]

[DOI]

Mario Coppo

Proceedings of the CAAP'83, 1983

1982

An application of informational divergence to Huffman codes.

[BibT_eX]

[DOI]

Guglielmo Galasso

IEEE Trans. Inf. Theory, 1982

1981

The error exponent for the noiseless encoding of finite ergodic Markov sources.

[BibT_eX]

[DOI]

Lee D. Davisson

IEEE Trans. Inf. Theory, 1981

1980

A<i>λδ</i>-calculus with an algorithmic<i>δ</i>.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

Arch. Math. Log., 1980

1979

The source coding theorem revisited: A combinatorial approach.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 1979

1976

A Theory of Computation with an Identity Discriminator.

[BibT_eX]

Marisa Venturini Zilli

Proceedings of the Third International Colloquium on Automata, 1976

1974

Complexity of theorem-proving procedures : some general properties.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

RAIRO Theor. Informatics Appl., 1974

1973

Two-step encoding for finite sources.

[BibT_eX]

[DOI]

János Körner