Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Computational Problems in Metric Fixed Point Theory and Their Weihrauch Degrees

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Multiobjective Approach to Homography Estimation

Computational Intelligence and Neuroscience
MedicineMathematicsComputer ScienceNeuroscience
2016English

Special Issue on “Wearable Computing Techniques for Smart Health”

Journal of Ambient Intelligence and Humanized Computing
Computer Science
2020English

Type Classes for Efficient Exact Real Arithmetic in Coq

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Linear Category of Polynomial Functors (Extensional Part)

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Exploiting Image Content in Location-Based Shopping Recommender Systems for Mobile Users

International Journal of Information Technology and Decision Making
Computer Science
2010English

A Modified Dragonfly Optimization Algorithm for Single- And Multiobjective Problems Using Brownian Motion

Computational Intelligence and Neuroscience
MedicineMathematicsComputer ScienceNeuroscience
2019English

A Thought-Operated Digital Random-Access Memory

Computational Intelligence and Neuroscience
MedicineMathematicsComputer ScienceNeuroscience
2019English

Understanding the Usage Patterns of Bicycle-Sharing Systems to Predict Users’ Demand: A Case Study in Wenzhou, China

Computational Intelligence and Neuroscience
MedicineMathematicsComputer ScienceNeuroscience
2018English

Indexed Induction and Coinduction, Fibrationally

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy