Publications related to String (computer science)

The DCU-EPFL Enhanced Dependency Parser at the IWPT 2021 Shared Task

We describe the DCU-EPFL submission to the IWPT 2021 Parsing Shared Task: From Raw Text to Enhanced Universal Dependencies. The task involves parsing Enhanced UD graphs, which are an extension of the basic dependency trees designed to be more facilitative ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2021

How Many CPU Cores is an FPGA Worth? Lessons Learned from Accelerating String Sorting on a CPU-FPGA System

Paolo Ienne, Mikhail Asiatici, Damian Maiorano

String sorting is a fundamental kernel of string matching and database index construction; yet, it has not been studied as extensively as fixed-length keys sorting. Because processing variable-length keys in hardware is challenging, it is no surprise that ...

SPRINGER2021

Out-of-equilibrium phase diagram of long-range superconductors

Within the ultimate goal of classifying universality in quantum many-body dynamics, understanding the relation between out-of-equilibrium and equilibrium criticality is a crucial objective. Models with power-law interactions exhibit rich well-understood cr ...

2020

Fractal-like Mechanical Resonators with a Soft-Clamped Fundamental Mode

Tobias Kippenberg, Sergey Fedorov, Alberto Beccari, Nils Johan Engelsen

Self-similar structures occur naturally and have been employed to engineer exotic physical properties. We show that acoustic modes of a fractal-like system of tensioned strings can display increased mechanical quality factors due to the enhancement of diss ...

AMER PHYSICAL SOC2020

Asymptotic decoupling and weak Gibbs measures for finite alphabet shift spaces

Charles Pfister

For the spaceXin a large class of finite alphabet shift spaces (lattice models) and the class of functionsfwith bounded total oscillations, we prove that each equilibrium measure nu atf=phi is a weak Gibbs measures for phi-P(phi). In addition, the empirica ...

2020

FPGAs in the Datacenters: the Case of Parallel Hybrid Super Scalar String Sample Sort

Paolo Ienne, Mikhail Asiatici, Damian Maiorano

String sorting is an important part of database and MapReduce applications; however, it has not been studied as extensively as sorting of fixed-length keys. Handling variable-length keys in hardware is challenging and it is no surprise that no string sorte ...

IEEE COMPUTER SOC2020

Reliability of photovoltaic modules : from indoor testing to long-term performance prediction

Eleonora Annigoni

A fundamental challenge with solar energy is improving the reliability, and increasing the lifetime, of photovoltaic modules. Typically, photovoltaic module manufacturers guarantee 80% of the nominal power of their modules for 25 years, but this type of gu ...

EPFL2018

An Update on Deductive Synthesis and Repair in the Leon Tool

Viktor Kuncak, Emmanouil Koukoutos, Etienne Kneuss

We report our progress in scaling deductive synthesis and repair of recursive functional Scala programs in the Leon tool. We describe new techniques, including a more precise mechanism for encoding the space of meaningful candidate programs. Our techniques ...

2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Andrew Joseph Reynolds

We prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...

Springer-Verlag Berlin2015

Mechanism of the Cassie-Wenzel transition via the atomistic and continuum string methods

Simone Meloni

The string method is a general and flexible strategy to compute the most probable transition path for an activated process (rare event). We apply here the atomistic string method in the density field to the Cassie-Wenzel transition, a central problem in th ...

Amer Inst Physics2015

Pattern-oriented memory interpolation of sparse historical rainfall records

Anton Schleiss, José Pedro Gamito de Saldanha Calado Matos, Théodora Cohen Liechti

The pattern-oriented memory (POM) is a novel historical rainfall interpolation method that explicitly takes into account the time dimension in order to interpolate areal rainfall maps. The method is based on the idea that rainfall patterns exist and can be ...

Elsevier2014

Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!

Heather Christine Klug, Philipp Haller

In this paper we show a general mechanism, called self-assembly, for lightweight language extensions (LLEs). LLEs allow users to define generic operations or properties that operate over a large class of types. With LLEs it is possible, for example, for us ...

2014

Scala Macros: Let Our Powers Combine!

Eugene Burmako

Compile-time metaprogramming has been proven immensely useful enabling programming techniques such as language virtualization, embedding of external DSLs, self-optimization, and boilerplate generation amongst many others. In the recent production release o ...

2013

What is the color of chocolate? - extracting color values of semantic expressions

Sabine Süsstrunk, Albrecht Johannes Lindner

We present a statistical framework to automatically determine an associated color for a given arbitrary semantic expression. The expression can not only be a color name but any word or character string. In addition to the color value, we are also able to c ...

2012

Searches For Periodic Neutrino Emission From Binary Systems With 22 And 40 Strings Of Icecube

Shirit Cohen, Mathieu Ribordy, Matthias Wolf, Xiaoxia Bai

In this paper, we present the results of searches for periodic neutrino emission from a catalog of binary systems. Such modulation, observed in the photon flux, would be caused by the geometry of these systems. In the analysis, the period is fixed by these ...

2012

Mixed Heuristic and Mathematical Programming Using Reference Points for Dynamic Data Types Optimization in Multimedia Embedded Systems

David Atienza Alonso, José Luis Risco Martin

New multimedia embedded applications are becoming increasingly dynamic. Thus, they cannot only rely on static data allocation, and must employ Dynamically-allocated Data Types (DDTs) to store their data and efficiently use the limited physical resources of ...

ACM Press2009

Disseminating Streaming Data in a Dynamic Environment: an Adaptive and Cost-Based Approach

In a distributed stream processing system, streaming data are continuously disseminated from the sources to the distributed processing servers. To enhance the dissemination efficiency, these servers are typically organized into one or more dissemination tr ...

Springer-Verlag2008

Center of Mass Encoding: A self-adaptive representation with adjustable redundancy for real-valued parameters

Dario Floreano, Claudio Mattiussi, Peter Dürr

In this paper we describe a new class of representations for real-valued parameters called Center of Mass Encoding (CoME). CoME is based on variable length strings, it is self-adaptive, and it permits the choice of the degree of redundancy of the genotype- ...

ACM Press2007

Data-Driven Estimation of the Infinity Norm of a Dynamical System

Dominique Bonvin, Alireza Karimi, Klaske van Heusden

The estimation of a system’s infinity norm using one set of measured input and output data is investigated. It is known that, if the data set is noise free, this problem can be solved using convex optimization. In the presence of noise, convergence of this ...

2007