Results 31 to 40 of about 3,007 (122)
Evaluation of the distance spectrum of variable-length finite-state codes
, 2010 International audienceThe class of variable-length finite-state joint source-channel codes is defined and a polynomial complexity algorithm for the evaluation of their distance spectrum presented.
Kieffer, Michel, Weidmann, Claudio
core +2 more sources
The progress, challenges, and perspectives of directed greybox fuzzing
Software Testing, Verification and Reliability, Volume 34, Issue 2, March 2024.Based on the investigation of 42 state‐of‐the‐art fuzzers that are closely related to directed greybox fuzzing (DGF), we conduct the first in‐depth study to summarize the empirical evidence on the research progress of DGF. By analyzing the benefits and limitations of DGF research, we try to identify gaps in current research.
Pengfei Wang +5 more
wiley +1 more source
CalcHEP 3.4 for collider physics within and beyond the Standard Model
, 2012 We present version 3.4 of the CalcHEP software package which is designed for effective evaluation and simulation of high energy physics collider processes at parton level.
Alexander Belyaev +54 more
core +1 more source
A Compression Technique Exploiting References for Data Synchronization Services [PDF]
, 2019 Department of Computer Science and EngineeringIn a variety of network applications, there exists significant amount of shared data between two end hosts. Examples include data synchronization services that replicate data from one node to another.
Nam, Wooseung
core
CORLEONE - Core Linguistic Entity Online Extraction [PDF]
, 2008 This report presents CORLEONE (Core Linguistic Entity Online Extraction) - a pool of loosely coupled general-purpose basic lightweight linguistic processing resources, which can be independently used to identify core linguistic entities and their ...
PISKORSKI JAKUB
core
A logical basis for constructive systems
, 2011 The work is devoted to Computability Logic (CoL) -- the philosophical/mathematical platform and long-term project for redeveloping classical logic after replacing truth} by computability in its underlying semantics (see http://www.cis.upenn.edu/~giorgi ...
Japaridze, Giorgi
core +1 more source
Codes for protection from synchronization loss and additive errors [PDF]
Codes for protection from synchronization loss and additive ...
Redinbo, G. R., Wintz, P. A.
core +1 more source
Introducing the Bonn Experiment System (BoXS) [PDF]
, 2012 Computerised experiments play a vital part in the modern economic and social sciences. As the technology advances, more complex and sophisticated experiments become feasible.
Seithe, Mirko
core
Internationalization Tag Set (ITS) version 2.0 [PDF]
, 2013 La tecnología descrita para el conjunto de etiquetas de internacionalización (ITS) 2.0 mejora el fundamento para integrar el procesamiento automático del lenguaje humano en tecnologías Web básicas. ITS 2.0 alberga muchas cosas en común con su predecesor,
World Wide Web Consortium
core
Protocol for quantitative analysis of RNA 3'-end processing induced by disassociated subunits using chromatin-associated RNA-seq data. [PDF]
STAR Protoc, 2023 Huang J, Bao L, Zhu J, Ji X.
europepmc +1 more source