English
Related papers

Related papers: Fingerprint databases for theorems

200 papers

After a clustering solution is generated automatically, labelling these clusters becomes important to help understanding the results. In this paper, we propose to use a Mutual Information based method to label clusters of journal articles.…

Information Retrieval · Computer Science 2017-02-28 Rob Koopman , Shenghui Wang

We propose Material Fingerprinting, a new method for the rapid discovery of mechanical material models from direct or indirect data that avoids solving potentially non-convex optimization problems. The core assumption of Material…

Computational Engineering, Finance, and Science · Computer Science 2025-12-09 Moritz Flaschel , Denisa Martonová , Carina Veil , Ellen Kuhl

Ultra-large chemical libraries are reaching 10s to 100s of billions of molecules. A challenge for these libraries is to efficiently check if a proposed molecule is present. Here we propose and study Bloom filters for testing if a molecule…

Chemical Physics · Physics 2023-04-12 Jorge Medina , Andrew D White

This work presents the first survey on fingerprint pore detection. The survey provides a general overview of the field and discusses methods, datasets, and evaluation protocols. We also present a baseline method inspired on the…

Computer Vision and Pattern Recognition · Computer Science 2022-11-29 Azim Ibragimov , Mauricio Pamplona Segundo

Inference on time series data is a common requirement in many scientific disciplines and internet of things (IoT) applications, yet there are few resources available to domain scientists to easily, robustly, and repeatably build such…

Mathematical Software · Computer Science 2016-09-16 Brett Naul , Stéfan van der Walt , Arien Crellin-Quick , Joshua S. Bloom , Fernando Pérez

Is it possible to make statistical inference broadly accessible to non-statisticians without sacrificing mathematical rigor or inference quality? This paper describes BayesDB, a probabilistic programming platform that aims to enable users…

Artificial Intelligence · Computer Science 2015-12-17 Vikash Mansinghka , Richard Tibbetts , Jay Baxter , Pat Shafto , Baxter Eaves

How do we most effectively treat a disease or condition? Ideally, we could consult a database of evidence gleaned from clinical trials to answer such questions. Unfortunately, no such database exists; clinical trial results are instead…

Computation and Language · Computer Science 2020-05-15 Jay DeYoung , Eric Lehman , Ben Nye , Iain J. Marshall , Byron C. Wallace

Contactless and online palmprint identfication offers improved user convenience, hygiene, user-security and is highly desirable in a range of applications. This technical report details an accurate and generalizable deep learning-based…

Computer Vision and Pattern Recognition · Computer Science 2019-01-01 Yang Liu , Ajay Kumar

Non-free data types are data types whose data have no canonical forms. For example, multisets are non-free data types because the multiset $\{a,b,b\}$ has two other equivalent but literally different forms $\{b,a,b\}$ and $\{b,b,a\}$.…

Programming Languages · Computer Science 2019-05-28 Satoshi Egi , Yuichi Nishiwaki

Linguistic typology aims to capture structural and semantic variation across the world's languages. A large-scale typology could provide excellent guidance for multilingual Natural Language Processing (NLP), particularly for languages that…

Computation and Language · Computer Science 2020-10-28 Edoardo Maria Ponti , Helen O'Horan , Yevgeni Berzak , Ivan Vulić , Roi Reichart , Thierry Poibeau , Ekaterina Shutova , Anna Korhonen

We learn a discriminative fixed length feature representation of fingerprints which stands in contrast to commonly used unordered, variable length sets of minutiae points. To arrive at this fixed length representation, we embed fingerprint…

Computer Vision and Pattern Recognition · Computer Science 2019-04-03 Joshua J. Engelsma , Kai Cao , Anil K. Jain

Many ground-breaking advancements in machine learning can be attributed to the availability of a large volume of rich data. Unfortunately, many large-scale datasets are highly sensitive, such as healthcare data, and are not widely available…

Machine Learning · Computer Science 2020-12-09 James Jordon , Alan Wilson , Mihaela van der Schaar

Probabilistic databases (PDBs) model uncertainty in data in a quantitative way. In the established formal framework, probabilistic (relational) databases are finite probability spaces over relational database instances. This finiteness can…

Databases · Computer Science 2023-06-22 Martin Grohe , Peter Lindner

Identifying similar materials, i.e., those sharing a certain property or feature, requires interoperable data of high quality. It also requires means to measure similarity. We demonstrate how a spectral fingerprint as a descriptor, combined…

Materials Science · Physics 2022-09-21 Martin Kuban , Šimon Gabaj , Wahib Aggoune , Cecilia Vona , Santiago Rigamonti , Claudia Draxl

A central concept within informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires an interpretation of logical formulae in terms of the…

Logic in Computer Science · Computer Science 2024-05-13 Alexander V. Gheorghiu , Tao Gu , David J. Pym

Database fingerprinting have been widely adopted to prevent unauthorized sharing of data and identify the source of data leakages. Although existing schemes are robust against common attacks, like random bit flipping and subset attack,…

Cryptography and Security · Computer Science 2021-07-23 Tianxi Ji , Emre Yilmaz , Erman Ayday , Pan Li

Background: Establishing traceability from requirements documents to downstream artifacts early can be beneficial as it allows engineers to reason about requirements quality (e.g. completeness, consistency, redundancy). However, creating…

Software Engineering · Computer Science 2023-11-22 Michael Unterkalmsteiner

With the increasing availability of online scholarly databases, publication records can be easily extracted and analysed. Researchers can promptly keep abreast of others' scientific production and, in principle, can select new collaborators…

Social and Information Networks · Computer Science 2020-09-30 Xiancheng Li , Luca Verginer , Massimo Riccaboni , Pietro Panzarasa

Scoring systems are linear classification models that only require users to add or subtract a few small numbers in order to make a prediction. They are used for example by clinicians to assess the risk of medical conditions. This work…

Human-Computer Interaction · Computer Science 2019-12-02 Hans-Jürgen Profitlich , Daniel Sonntag

Rapid advancements in high-throughput single-cell RNA-seq (scRNA-seq) technologies and experimental protocols have led to the generation of vast amounts of genomic data that populates several online databases and repositories. Here, we…

Genomics · Quantitative Biology 2024-04-17 Mahnoor N. Gondal , Saad Ur Rehman Shah , Arul M. Chinnaiyan , Marcin Cieslik
‹ Prev 1 4 5 6 7 8 10 Next ›