English
Related papers

Related papers: Associative string functions

200 papers

I review some of the recent progress in two-dimensional string theory, which is formulated as a sum over surfaces embedded in one dimension.

High Energy Physics - Theory · Physics 2008-02-03 Igor R. Klebanov

String analysis is the problem of reasoning about how strings are manipulated by a program. It has numerous applications including automatic detection of cross-site scripting (XSS). A popular string analysis technique includes symbolic…

Logic in Computer Science · Computer Science 2020-11-02 Lukas Holik , Petr Janku , Anthony W. Lin , Philipp Rümmer , Tomas Vojnar

Strings are widely used in programs, especially in web applications. Integer data type occurs naturally in string-manipulating programs, and is frequently used to refer to lengths of, or positions in, strings. Analysis and testing of…

Logic in Computer Science · Computer Science 2020-07-15 Taolue Chen , Matthew Hague , Jinlong He , Denghang Hu , Anthony Widjaja Lin , Philipp Rummer , Zhilin Wu

The main problem we address in this paper is whether function determines form when a society of agents organizes itself for some purpose or whether the organizing method is more important than the functionality in determining the structure…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Tanya Araujo , R. Vilela Mendes

This article characterizes the associativity of two-place functions $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=f^{(-1)}(F(f(x),f(y)))$ where $F:[0,1]^2\rightarrow[0,1]$ is a triangular norm (even a triangular subnorm), $f:…

General Mathematics · Mathematics 2024-09-17 Yun-Mao Zhang , Xue-ping Wang

Inspired by biological neurons, the activation functions play an essential part in the learning process of any artificial neural network commonly used in many real-world problems. Various activation functions have been proposed in the…

Machine Learning · Computer Science 2022-12-29 Ameya D. Jagtap , George Em Karniadakis

We define the ``shift-match number'' for a binary string and we compute the probability of occurrence of a given string as a subsequence in longer strings in terms of its shift-match number. We thus prove that the string matching…

Genomics · Quantitative Biology 2007-05-23 A. H. Bilge , A. Erzan , D. Balcan

We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide…

Logic in Computer Science · Computer Science 2025-08-20 Elena Di Lavore , Giovanni de Felice , Mario Román

We introduce strings in metric spaces and define string complexes of metric spaces. We describe the class of 2-dimensional topological spaces which arise in this way from finite metric spaces.

Metric Geometry · Mathematics 2024-04-17 Vladimir Turaev

Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic…

Logic in Computer Science · Computer Science 2023-06-22 Brendan Fong , Fabio Zanasi

This study introduces a procedure to obtain general expressions, $y = f(x)$, subject to linear constraints on the function and its derivatives defined at specified values. These constrained expressions can be used describe functions with…

Optimization and Control · Mathematics 2017-05-18 Daniele Mortari

Special kind of closed strings is considered. It is shown that these closed strings behave as two (an even number of) open strings at the classical level and one open string at the quantum level. They contain massless vector field in their…

High Energy Physics - Theory · Physics 2007-06-13 Shervgi Shahverdiyev

We define a function by refining Stern's diatomic sequence. We name it the {\it assembly function}. It is strictly increasing continuous. The first and the second main theorems are on an action to the function. The third theorem is on…

Number Theory · Mathematics 2020-04-02 Yasuhisa Yamada

This paper have two parts. In the first part we discuss word embeddings. We discuss the need for them, some of the methods to create them, and some of their interesting properties. We also compare them to image embeddings and see how word…

Machine Learning · Computer Science 2016-10-27 Amit Mandelbaum , Adi Shalev

We consider correlation functions for string theory on AdS_3. We analyze their singularities and we provide a physical interpretation for them. We explain which worldsheet correlation functions have a sensible physical interpretation in…

High Energy Physics - Theory · Physics 2016-09-06 Juan Maldacena , Hirosi Ooguri

A virtual string is a scheme of self-intersections of a closed curve on a surface. We introduce virtual strings and study their geometric properties and homotopy invariants. We also discuss connections between virtual strings, Gauss words,…

Geometric Topology · Mathematics 2007-05-23 Vladimir Turaev

We propose general principles for semantic networks allowing them to be implemented as dynamical neural networks. Major features of our scheme include: (a) the interpretation that each node in a network stands for a bound integration of the…

Neurons and Cognition · Quantitative Biology 2013-03-19 Garrett N. Evans , John C. Collins

Interaction with services provided by an execution environment forms part of the behaviours exhibited by instruction sequences under execution. Mechanisms related to the kind of interaction in question have been proposed in the setting of…

Programming Languages · Computer Science 2010-10-19 J. A. Bergstra , C. A. Middelburg

First-order learning involves finding a clause-form definition of a relation from examples of the relation and relevant background information. In this paper, a particular first-order learning system is modified to customize it for finding…

Artificial Intelligence · Computer Science 2014-11-17 J. R. Quinlan

Network systems and their control are highly important and appear in a variety of applications, including vehicle platooning and formation con- trol. Especially vehicle platoons are highly investigated and an interesting problem that arises…

Systems and Control · Computer Science 2017-02-21 S. Stuedli , M. M. Seron , R. H. Middleton