Results 21 to 30 of about 146,057 (221)
Learning Regular Languages over Large Ordered Alphabets [PDF]
, 2015 This work is concerned with regular languages defined over large alphabets, either infinite or just too large to be expressed enumeratively. We define a generic model where transitions are labeled by elements of a finite partition of the alphabet.
Maler, Oded, Mens, Irini-Eleftheria
core +1 more source
Growth Series and Random Walks on Some Hyperbolic Graphs
, 2001 Consider the tesselation of the hyperbolic plane by m-gons, l per vertex. In its 1-skeleton, we compute the growth series of vertices, geodesics, tuples of geodesics with common extremities.
Bartholdi, Laurent +1 more
core +3 more sources
Formal Methods in Requirements Engineering: Survey and Future Directions
FME Workshop on Formal Methods in Software EngineeringRequirements engineering plays a pivotal role in the development of safety-critical systems. However, the process is usually a manual one and can lead to errors and inconsistencies in the requirements that are not easily detectable.
Robert Lorch +7 more
semanticscholar +1 more source
Algebraic optimization of recursive queries [PDF]
, 1992 Over the past few years, much attention has been paid to deductive databases. They offer a logic-based interface, and allow formulation of complex recursive queries.
Apers, Peter M.G. +2 more
core +5 more sources
A Formal Analysis of the NVIDIA PTX Memory Consistency Model
International Conference on Architectural Support for Programming Languages and Operating Systems, 2019 This paper presents the first formal analysis of the official memory consistency model for the NVIDIA PTX virtual ISA. Like other GPU memory models, the PTX memory model is weakly ordered but provides scoped synchronization primitives that enable GPU ...
Daniel Lustig +2 more
semanticscholar +1 more source
Advanced Science, EarlyView.This study highlights the significance of non‐canonical splicing variants in male infertility, a factor often overlooked during the analysis of high‐throughput sequencing data. Incorporating the non‐canonical splicing variants prioritization in the genetic analysis pipeline will increase the genetic diagnosis of patients with male infertility ...
Kuokuo Li +22 more
wiley +1 more source
Polyhedral Analysis using Parametric Objectives [PDF]
, 2012 The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables.
A. Miné +21 more
core +3 more sources
Intrinsic Mechanical Parameters and their Characterization in Solid‐State Lithium Batteries
Advanced Energy Materials, Volume 15, Issue 11, March 18, 2025.This review focuses on the intrinsic mechanical parameters and their associated characterization in solid‐state batteries. The physical significance of mechanics parameters is introduced with exhaustive classifications by elastic, plastic deformations and fracture in bulk, adhesion, friction at interfaces, and mechanical fatigue in cells ...
Shuai Hao +5 more
wiley +1 more source
Non-wellfounded trees in Homotopy Type Theory [PDF]
, 2015 We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable.
Ahrens, Benedikt +2 more
core +2 more sources
Annals of Gastroenterological Surgery, EarlyView.This review critically reassesses our prior hypothesis and proposes a revised anatomical model of the fusion fascia that is broadly applicable to GI cancer surgeries grounded in the principles of mesenteric resection. Our synthesis suggests that the fusion fascia is neither a dense connective tissue membrane nor a remnant of mesothelial fusion, but ...
Hisashi Shinohara +9 more
wiley +1 more source