Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Artificial Intelligence

Deep Learning System to Screen Coronavirus Disease 2019 Pneumonia

Applied Intelligence
Artificial Intelligence
2020English

Higher-Order Pattern Anti-Unification in Linear Time

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

A Multi-Level Approach to Ubiquitous Modeling and Solving Constraints in Combinatorial Optimization Problems in Production and Distribution

Applied Intelligence
Artificial Intelligence
2017English

Point-Based Policy Transformation: Adapting Policy to Changing POMDP Models

Springer Tracts in Advanced Robotics
Electronic EngineeringElectricalArtificial Intelligence
2013English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Nested Abstract Syntax in Coq

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Finite Self-Information

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2012English

Shared Thoughts on Ivan Soskov (1954–2013)

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2014English

Mortality of Iterated Piecewise Affine Functions Over the Integers: Decidability and Complexity

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2015English

Editorial

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy