Results 31 to 40 of about 5,873,667 (245)
Problems on Finite Automata and the Exponential Time Hypothesis
Algorithms, 2017 We study several classical decision problems on finite automata under the (Strong) Exponential Time Hypothesis. We focus on three types of problems: universality, equivalence, and emptiness of intersection.
Henning Fernau, Andreas Krebs
doaj +1 more source
Applied Sciences, 2022 Automatic intersection identification and extraction are an important foundation for urban road network updates and traffic network analysis and modeling.
Lei Gao, Lu Wei, Jian Yang, Jinhong Li
doaj +1 more source
Graph Logics with Rational Relations [PDF]
Logical Methods in Computer Science, 2013 We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications.
Pablo Barcelo +2 more
doaj +1 more source
Distributed Ellipsoidal Intersection Fusion Estimation for Multi-Sensor Complex Systems
Sensors, 2022 This paper investigates the problem of distributed ellipsoidal intersection (DEI) fusion estimation for linear time-varying multi-sensor complex systems with unknown input disturbances and measurement data transmission delays.
Peng Zhang +3 more
doaj +1 more source
Intersection Graphs of Rays and Grounded Segments
Journal of Graph Algorithms and Applications, 2018 We consider several classes of intersection graphs of line segments in the plane and prove new equality and separation results between those classes. In particular, we show that: • intersection graphs of grounded segments and intersection graphs
Jean Cardinal +4 more
doaj +1 more source
Tehnički Glasnik, 2022 This paper aims to conduct applications of intersection method for multi-objective optimization in optimal test design with desirable response variable.
Maosheng Zheng, Haipeng Teng, Yi Wang
doaj +1 more source
Transversal Intersection Curves of Two Surfaces in Minkowski 3-Space
Selecciones Matemáticas, 2018 In this paper, we study the differential geometry of the transversal intersection curve of two surfaces in Minkowski 3-space, where each pair satisfies the following types spacelike-lightlike, timelike-lightlike and lightlike-lightlike.
Osmar Alêssio +5 more
doaj +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Engineering peptides into antibodies—opportunities and strategies for therapeutic innovation
FEBS Letters, EarlyView.Peptides and antibodies occupy complementary therapeutic niches. Peptides recognize difficult targets in a compact format, while antibodies add specificity, long half‐life, and effector functions. This review examines strategies that merge both modalities—peptide grafting into loops, terminal and Fc fusions, and bioconjugation—highlighting how ...
Jinling Wang +2 more
wiley +1 more source
Approximation hardness of optimization problems in intersection graphs of d-dimensional boxes [PDF]
, 2005 The Maximum Independent Set problem in d-box graphs, i.e., in the intersection graphs of axis-parallel rectangles in R d , is a challenge open problem. For any fixed d ≥ 2 the problem is NP-hard and no approximation algorithm with ratio o(log d−1 n) is ...
Chlebikova, Janka +5 more
core