Results 11 to 20 of about 185,880 (279)
Optimal Constant-Time Approximation Algorithms and (Unconditional) Inapproximability Results for Every Bounded-Degree CSP [PDF]
Raghavendra (STOC 2008) gave an elegant and surprising result: if Khot's Unique Games Conjecture (STOC 2002) is true, then for every constraint satisfaction problem (CSP), the best approximation ratio is attained by a certain simple semidefinite ...
Yoshida, Yuichi
core +1 more source
On ADS-B Sensor Placement for Secure Wide-Area Multilateration
As automatic dependent surveillance–broadcast (ADS-B) becomes more prevalent, the placement of on-ground sensors is vital for Air Traffic Control (ATC) to control the airspace.
Ala’ Darabseh +3 more
doaj +1 more source
On regularity of Max-CSPs and Min-CSPs
We study approximability of regular constraint satisfaction problems, i.e., CSPs where each variable in an instance has the same number of occurrences. In particular, we show that for any CSP $ $, existence of an $ $ approximation algorithm for unweighted regular Max-CSP $ $ implies existence of an $ -o(1)$ approximation algorithm for weighted Max ...
openaire +2 more sources
Security protocols are designed to meet particular security properties. In order to analyse such protocols formally, it is necessary to provide a formal definition of the property that they are intended to provide. This paper is concerned with the property of anonymity.
Schneider, S, Sidiropoulos, A
openaire +2 more sources
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures.
Bodirsky, Manuel, Greiner, Johannes
core +1 more source
Background: Somatosensory deficits are common symptoms post stroke. Repetitive transcranial magnetic stimulation (rTMS) over the motor cortex is able to promote motor rehabilitation, whereby its impact on somatosensory functioning remains unknown.
Zhongming Gao +10 more
doaj +1 more source
Institutional Ownership and Corporate Social Performance: Empirical Evidence from Indonesian Companies [PDF]
Prior research on the relationships of institutional ownership and corporate social responsibility has focused on North American (U.S. and Canada) and European companies. With the passage of Indonesian Law No.
Fauzi , Hasan +2 more
core +2 more sources
Modeling Robustness in CSPs as Weighted CSPs
Many real life problems come from uncertain and dynamic environments, where the initial constraints and/or domains may undergo changes. Thus, a solution found for the problem may become invalid later. Hence, searching for robust solutions for Constraint Satisfaction Problems (CSPs) becomes an important goal.
Climent, Laura +3 more
openaire +2 more sources
A high-affinity antibody against the CSP N-terminal domain lacks Plasmodium falciparum inhibitory activity [PDF]
Malaria is a global health concern and research efforts are ongoing to develop a superior vaccine to RTS,S/AS01. To guide immunogen design, we seek a comprehensive understanding of the protective humoral response against Plasmodium falciparum ...
Bosch, A. +15 more
core +2 more sources
The characteristics, distributions, and trends of the aerosol optical depth (AOD) and dust aerosol optical depth (DAOD) of three major concentrating solar power (CSP)-plant project areas (Hami, Turpan, and Ruoqiang) in Xinjiang, China were investigated ...
Zengli Dai +6 more
doaj +1 more source

