相关论文: Abstracts on Pattern Formation and Lattice-Gas Aut…

We present a passive automata learning algorithm that can extract automata from recurrent networks with very large or even infinite alphabets. Our method combines overapproximations from the field of Abstract Interpretation and passive…

Numerical simulations of quantum field theories on lattices serve as a fundamental tool for studying the non-perturbative regime of the theories, where analytic tools often fall short. Challenges arise when one takes the continuum limit or…

This volume is the proceedings of the second IFIP Working Conference on Domain-Specific Languages (DSL 2011). It contains 2 abstracts of invited presentations, 7 peer-reviewed articles selected by the program committee from 14 submissions,…

This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a variant of Automath). Updated 10/27/2016 with a version from…

Generalized mean-field analysis has been performed to study the ordering process in a half-filled square lattice-gas model with repulsive nearest neighbor interaction under the influence of a uniform electric field. We have determined the…

This volume constitutes the proceedings of LFMTP 2011, the Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. The LFMTP workshop series brings together designers, implementors, and practitioners to…

This is an informal overview of methods and results on the QCD phase diagram and lattice termodynamics aimed at specialists in nearby fields.

The analytical description of charts is an exciting and important research area with many applications in academia and industry. Yet, this challenging task has received limited attention from the computational linguistics research…

We introduce an algebraic concept of the frame for abstract conditional independence (CI) models, together with basic operations with respect to which such a frame should be closed: copying and marginalization. Three standard examples of…

These are notes from a 15 week course aimed at graduate mathematicians. They provide an essentially self-contained introduction to some of the ideas and terminology of QFT.

Pattern formation in reaction-diffusion systems is of great importance in surface micro-patterning [Grzybowski et al. Soft Matter. 1, 114 (2005)], self-organization of cellular micro-organisms [Schulz et al. Annu. Rev. Microbiol. 55, 105…

Contents: *News: April 1997 Joint APS/AAPT Meeting, by Beverly Berger The physics survey and committee on gravitational physics, by Jim Hartle *Research Briefs: Instability of rotating stars to axial perturbations, by Sharon Morsink LIGO…

We propose a general method for constructing a fuzzy cellular automaton from a given cellular automaton. Unlike previous approaches that use fuzzy distinctive normal form, whose update function is restricted to third-order polynomials, our…

These notes are a record of lectures given in the Workshop on Connections Between Algebra and Geometry at the University of Regina, May 29--June 1, 2012. The lectures were meant as an introduction to current research problems related to fat…

We describe our entry for the Systematic Review Information Extraction track of the 2018 Text Analysis Conference. Our solution is an end-to-end, deep learning, sequence tagging model based on the BI-LSTM-CRF architecture. However, we use…

These lectures provide an introduction to lattice methods for nonperturbative studies of Quantum Chromodynamics. Lecture 1 (Ch. 2): Basic techniques for QCD and results for hadron spectroscopy using the simplest discretizations; lecture 2…

The 11th workshop, Descriptional Complexity of Formal Systems 2009, is taking place in Magdeburg, Germany, on July 6-9, 2009. It is jointly organized by the IFIP Working Group 1.2 on Descriptional Complexity and by the Faculty of Computer…

We report on our observing program to obtain integrated spectrophotometry, intermediate and high resolution major axis spectra, and U,B,R surface photo- metry of a representative sample of ~200 galaxies in the nearby field. The main goal of…

This volume contains the proceedings of MARS 2024, the sixth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2024, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…

This paper provides a description of the algorithms employed by the Warwick AUTOMATA package for calculating the finite state automata associated with a short-lex automatic group. The aim is to provide an overview of the whole process,…