Discover open access scientific publications

Search, annotate, share and cite publications

A Verified Compiler From Isabelle/Hol to CakeML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

A Human De Novo Mutation inMYH10phenocopies the Loss of Function Mutation in Mice

Rare Diseases
2013English

Kinetics of Electron‐Positron Pair Plasmas Using an Adaptive Monte Carlo Method

Astrophysical Journal
AstrophysicsAstronomyPlanetary ScienceSpace
1997English

Probability Distributions and Orthogonal Polynomials Associated With the One-Parameter Fibonacci Group

Communications on Stochastic Analysis
StatisticsProbability
2016English

From a Point Cloud Survey to a Mass 3d Modelling: Renaissance Hbim in Poggio a Caiano

ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
2018English

The Function of Communication in Faculty Management

Social Change Review
2013English

Mobility as a First Class Function

2015English

A Family of Windschitl Type Approximations for Gamma Function

Journal of Mathematical Inequalities
Analysis
2018English

Analysis of Promoter Function in Aspergillus Fumigatus

Eukaryotic Cell
2012English

Management in the Function of Economic Growth

Trendovi u poslovanju
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy