English
Related papers

Related papers: Temporal Phylogenetic Networks and Logic Programmi…

200 papers

Machine learning techniques using neural networks have achieved promising success for time-series data classification. However, the models that they produce are challenging to verify and interpret. In this paper, we propose an explainable…

Formal Languages and Automata Theory · Computer Science 2023-07-04 Danyang Li , Mingyu Cai , Cristian-Ioan Vasile , Roberto Tron

There has been a growing interest in extracting formal descriptions of the system behaviors from data. Signal Temporal Logic (STL) is an expressive formal language used to describe spatial-temporal properties with interpretability. This…

Logic in Computer Science · Computer Science 2024-05-16 Danyang Li , Mingyu Cai , Cristian-Ioan Vasile , Roberto Tron

Recent years have seen a rapid expansion of the model space explored in statistical phylogenetics, emphasizing the need for new approaches to statistical model representation and software development. Clear communication and representation…

Populations and Evolution · Quantitative Biology 2013-12-10 Sebastian Höhna , Tracy A. Heath , Bastien Boussau , Michael J. Landis , Fredrik Ronquist , John P. Huelsenbeck

How much data is required to learn the structure of a language via next-token prediction? We study this question for synthetic datasets generated via a Probabilistic Context-Free Grammar (PCFG) -- a tree-like generative model that captures…

Computation and Language · Computer Science 2024-10-30 Francesco Cagnetta , Matthieu Wyart

Large language models (LLMs) are capable of producing high quality information at unprecedented rates. As these models continue to entrench themselves in society, the content they produce will become increasingly pervasive in databases that…

Artificial Intelligence · Computer Science 2024-06-19 Hayden Helm , Brandon Duderstadt , Youngser Park , Carey E. Priebe

Evolution and propagation of the world's languages is a complex phenomenon, driven, to a large extent, by social interactions. Multilingual society can be seen as a system of interacting agents, where the interaction leads to a modification…

Social and Information Networks · Computer Science 2018-05-03 Tomasz Raducha , Tomasz Gubiec

A correspondence is established between the elements of logic reasoning systems (knowledge bases, rules, inference and queries) and the hardware and dynamical operations of neural networks. The correspondence is framed as a general…

Disordered Systems and Neural Networks · Physics 2007-05-23 Joao Martins , R. Vilela Mendes

Phylogenetic networks are a generalization of phylogenetic trees that are used in biology to represent reticulate or non-treelike evolution. Recently, several algorithms have been developed which aim to construct phylogenetic networks from…

Populations and Evolution · Quantitative Biology 2011-10-05 K. T. Huber , V. Moulton

A phylogenetic tree is an important way in Bioinformatics to find the evolutionary relationship among biological species. In this research, a proposed model is described for the estimation of a phylogenetic tree for a given set of data. To…

Populations and Evolution · Quantitative Biology 2025-09-03 S M Rafiuddin

The ever increasing adoption of mobile technologies and ubiquitous services allows to sense human behavior at unprecedented levels of details and scale. Wearable sensors are opening up a new window on human mobility and proximity at the…

Physics and Society · Physics 2015-06-15 Alain Barrat , Ciro Cattuto

We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be…

Programming Languages · Computer Science 2020-02-19 Flavio Cruz , Ricardo Rocha , Seth Copen Goldstein , Frank Pfenning

Networks are important representations in computer science to communicate structural aspects of a given system of interacting components. The evolution of a network has several topological properties that can provide us information on the…

Social and Information Networks · Computer Science 2020-04-30 Joao Pita Costa , Tihana Galinac Grbac

Temporal networks are increasingly being used to model the interactions of complex systems. Most studies require the temporal aggregation of edges (or events) into discrete time steps to perform analysis. In this article we describe a…

Social and Information Networks · Computer Science 2017-10-16 Andrew Mellor

In this paper, we discuss the relationship between natural language processing by computers (NLP) and the understanding of the human language capacity, as studied by linguistics and cognitive science. We outline the evolution of NLP from…

Computation and Language · Computer Science 2026-03-31 Andrei Popescu-Belis

In the wake of the recent resurgence of the Datalog language of databases, together with its extensions for ontological reasoning settings, this work aims to bridge the gap between the theoretical studies of DatalogMTL (Datalog extended…

Databases · Computer Science 2025-06-11 Luigi Bellomarini , Livia Blasi , Markus Nissl , Emanuel Sallinger

Language carries thought and coordination among humans but rarely reaches further along the spectrum of diverse intelligence. Yet non-neural systems -- from gene regulatory networks and microbial consortia to fungi -- are increasingly…

Machine Learning · Computer Science 2026-05-19 Yanbo Zhang , Michael Levin

Lexical semantic typology has identified important cross-linguistic generalizations about the variation and commonalities in polysemy patterns---how languages package up meanings into words. Recent computational research has enabled…

Computation and Language · Computer Science 2020-06-04 Ella Rabinovich , Yang Xu , Suzanne Stevenson

To fully exploit the potential of computational phylogenetic methods for cognate data one needs to leverage specific (complex) models an machine learning-based techniques. However, both approaches require datasets that are substantially…

Computation and Language · Computer Science 2025-07-02 Luise Häuser , Alexandros Stamatakis

Prompt engineering has emerged as a powerful technique for guiding large language models (LLMs) toward desired responses, significantly enhancing their performance across diverse tasks. Beyond their role as static predictors, LLMs…

Machine Learning · Computer Science 2025-03-27 Ryumei Nakada , Wenlong Ji , Tianxi Cai , James Zou , Linjun Zhang

Phylogenetic networks are a generalization of phylogenetic trees to leaf-labeled directed acyclic graphs that represent ancestral relationships between species whose past includes non-tree-like events such as hybridization and horizontal…

Combinatorics · Mathematics 2021-04-13 Janosch Döcker , Simone Linz , Charles Semple
‹ Prev 1 8 9 10 Next ›