English
Related papers

Related papers: Pattern Discovery and Validation Using Scientific …

200 papers

The difficulties of automatic extraction of definitions and methods from scientific documents lie in two aspects: (1) the complexity and diversity of natural language texts, which requests an analysis method to support the discovery of…

Computation and Language · Computer Science 2023-07-06 Yutian Sun , Hai Zhuge

Deductive verification is an effective method to ensure that a given system exposes the intended behavior. In spite of its proven usefulness and feasibility in selected projects, deductive verification is still not a mainstream technique.…

Software Engineering · Computer Science 2026-01-26 Lea Salome Brugger , Xavier Denis , Peter Müller

The validation of a data-driven model is the process of assessing the model's ability to generalize to new, unseen data in the population of interest. This paper proposes a set of general rules for model validation. These rules are designed…

Methodology · Statistics 2026-01-30 José Camacho

Security patterns are a means to encapsulate and communicate proven security solutions. They are well-established approaches for introducing security into the software development process. Our objective is to explore the research efforts on…

Software Engineering · Computer Science 2018-12-03 Abbas Javan Jafari , Abbas Rasoolzadegan

Consistent confirmations obtained independently of each other lend credibility to a scientific result. We refer to results satisfying this consistency as reproducible and assume that reproducibility is a desirable property of scientific…

Other Statistics · Statistics 2019-06-19 Berna Devezer , Luis G. Nardin , Bert Baumgaertner , Erkan Buzbas

Scientific fraud is an increasingly vexing problem. Many current programs for fraud detection focus on image manipulation, while techniques for detection based on anomalous patterns that may be discoverable in the underlying numerical data…

Quantitative Methods · Quantitative Biology 2013-11-22 Joel H Pitt , Helene Z Hill

Validation is often defined as the process of determining the degree to which a model is an accurate representation of the real world from the perspective of its intended uses. Validation is crucial as industries and governments depend…

Data Analysis, Statistics and Probability · Physics 2015-06-26 D. Sornette , A. B. Davis , K. Ide , K. R. Vixie , V. Pisarenko , J. R. Kamm

Statistically sound pattern discovery harnesses the rigour of statistical hypothesis testing to overcome many of the issues that have hampered standard data mining approaches to pattern discovery. Most importantly, application of…

Methodology · Statistics 2019-01-07 Wilhelmiina Hämäläinen , Geoffrey I. Webb

Scientific discovery concerns finding patterns in data and creating insightful hypotheses that explain these patterns. Traditionally, this process required human ingenuity, but with the galloping advances in artificial intelligence (AI) it…

Artificial Intelligence · Computer Science 2022-11-01 Julian Skirzynski , Yash Raj Jain , Falk Lieder

Pattern discovery algorithms in the music domain aim to find meaningful components in musical compositions. Over the years, although many algorithms have been developed for pattern discovery in music data, it remains a challenging task. To…

Sound · Computer Science 2020-10-26 Iris Ren , Anja Volk , Wouter Swierstra , Remco C. Veltkamp

The use of patterns in predictive models is a topic that has received a lot of attention in recent years. Pattern mining can help to obtain models for structured domains, such as graphs and sequences, and has been proposed as a means to…

Artificial Intelligence · Computer Science 2011-11-29 Björn Bringmann , Siegfried Nijssen , Albrecht Zimmermann

Scientific discoveries are often made by finding a pattern or object that was not predicted by the known rules of science. Oftentimes, these anomalous events or objects that do not conform to the norms are an indication that the rules of…

Machine Learning · Computer Science 2026-02-17 Elizabeth G. Campolongo , Yuan-Tang Chou , Ekaterina Govorkova , Wahid Bhimji , Wei-Lun Chao , Chris Harris , Shih-Chieh Hsu , Hilmar Lapp , Mark S. Neubauer , Josephine Namayanja , Aneesh Subramanian , Philip Harris , Advaith Anand , David E. Carlyn , Subhankar Ghosh , Christopher Lawrence , Eric Moreno , Ryan Raikman , Jiaman Wu , Ziheng Zhang , Bayu Adhi , Mohammad Ahmadi Gharehtoragh , Saúl Alonso Monsalve , Marta Babicz , Furqan Baig , Namrata Banerji , William Bardon , Tyler Barna , Tanya Berger-Wolf , Adji Bousso Dieng , Micah Brachman , Quentin Buat , David C. Y. Hui , Phuong Cao , Franco Cerino , Yi-Chun Chang , Shivaji Chaulagain , An-Kai Chen , Deming Chen , Eric Chen , Chia-Jui Chou , Zih-Chen Ciou , Miles Cochran-Branson , Artur Cordeiro Oudot Choi , Michael Coughlin , Matteo Cremonesi , Maria Dadarlat , Peter Darch , Malina Desai , Daniel Diaz , Steven Dillmann , Javier Duarte , Isla Duporge , Urbas Ekka , Saba Entezari Heravi , Hao Fang , Rian Flynn , Geoffrey Fox , Emily Freed , Hang Gao , Jing Gao , Julia Gonski , Matthew Graham , Abolfazl Hashemi , Scott Hauck , James Hazelden , Joshua Henry Peterson , Duc Hoang , Wei Hu , Mirco Huennefeld , David Hyde , Vandana Janeja , Nattapon Jaroenchai , Haoyi Jia , Yunfan Kang , Maksim Kholiavchenko , Elham E. Khoda , Sangin Kim , Aditya Kumar , Bo-Cheng Lai , Trung Le , Chi-Wei Lee , JangHyeon Lee , Shaocheng Lee , Suzan van der Lee , Charles Lewis , Haitong Li , Haoyang Li , Henry Liao , Mia Liu , Xiaolin Liu , Xiulong Liu , Vladimir Loncar , Fangzheng Lyu , Ilya Makarov , Abhishikth Mallampalli , Chen-Yu Mao , Alexander Michels , Alexander Migala , Farouk Mokhtar , Mathieu Morlighem , Min Namgung , Andrzej Novak , Andrew Novick , Amy Orsborn , Anand Padmanabhan , Jia-Cheng Pan , Sneh Pandya , Zhiyuan Pei , Ana Peixoto , George Percivall , Alex Po Leung , Sanjay Purushotham , Zhiqiang Que , Melissa Quinnan , Arghya Ranjan , Dylan Rankin , Christina Reissel , Benedikt Riedel , Dan Rubenstein , Argyro Sasli , Eli Shlizerman , Arushi Singh , Kim Singh , Eric R. Sokol , Arturo Sorensen , Yu Su , Mitra Taheri , Vaibhav Thakkar , Ann Mariam Thomas , Eric Toberer , Chenghan Tsai , Rebecca Vandewalle , Arjun Verma , Ricco C. Venterea , He Wang , Jianwu Wang , Sam Wang , Shaowen Wang , Gordon Watts , Jason Weitz , Andrew Wildridge , Rebecca Williams , Scott Wolf , Yue Xu , Jianqi Yan , Jai Yu , Yulei Zhang , Haoran Zhao , Ying Zhao , Yibo Zhong

Finding patterns in data is one of the most challenging open questions in information science. The number of possible relationships scales combinatorially with the size of the dataset, overwhelming the exponential increase in availability…

Quantitative Methods · Quantitative Biology 2013-08-16 Deborah A. Striegel , Damian Wojtowicz , Teresa M. Przytycka , Vipul Periwal

Validation is often defined as the process of determining the degree to which a model is an accurate representation of the real world from the perspective of its intended uses. Validation is crucial as industries and governments depend…

Computational Physics · Physics 2016-09-08 Didier Sornette , Anthony B. Davis , James R. Kamm , Kayo Ide

Although the biostatistical scientific literature publishes new methods at a very high rate, many of these developments are not trustworthy enough to be adopted by the scientific community. We propose a framework to think about how a piece…

Methodology · Statistics 2023-02-08 Georg Heinze , Anne-Laure Boulesteix , Michael Kammer , Tim P. Morris , Ian R. White

Process discovery aims to discover descriptive process models from event logs. These discovered process models depict the actual execution of a process and serve as a foundational element for conformance checking, performance analyses, and…

Formal Languages and Automata Theory · Computer Science 2024-09-02 Ali Norouzifar , Marcus Dees , Wil van der Aalst

This paper describes a new technique, called "knowledge patterns", for helping construct axiom-rich, formal ontologies, based on identifying and explicitly representing recurring patterns of knowledge (theory schemata) in the ontology, and…

Artificial Intelligence · Computer Science 2020-05-12 Peter Clark , John Thompson , Bruce Porter

The accuracy of a classifier, when performing Pattern recognition, is mostly tied to the quality and representativeness of the input feature vector. Feature Selection is a process that allows for representing information properly and may…

Robotics · Computer Science 2022-09-08 Alysson Ribeiro da Silva , Camila Guedes Silveira

Reproducibility is a confused terminology. In this paper, I take a fundamental view on reproducibility rooted in the scientific method. The scientific method is analysed and characterised in order to develop the terminology required to…

Machine Learning · Computer Science 2022-01-19 Odd Erik Gundersen

State-of-the-art results in typical classification tasks are mostly achieved by unexplainable machine learning methods, like deep neural networks, for instance. Contrarily, in this paper, we investigate the application of rule learning…

Machine Learning · Computer Science 2024-03-11 Albert Nössig , Tobias Hell , Georg Moser
‹ Prev 1 2 3 10 Next ›