Sciweavers

1512 search results - page 103 / 303
» connection 2006
Sort
View
LOGCOM
2006
105views more  LOGCOM 2006»
15 years 6 months ago
A Hybrid Intuitionistic Logic: Semantics and Decidability
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
Rohit Chadha, Damiano Macedonio, Vladimiro Sassone
FOCM
2007
48views more  FOCM 2007»
15 years 6 months ago
Integration and Optimization of Multivariate Polynomials by Restriction onto a Random Subspace
Abstract. We consider the problem of efficient integration of an n-variate polynomial with respect to the Gaussian measure in Rn and related problems of complex integration and opt...
Alexander I. Barvinok
FSS
2007
116views more  FSS 2007»
15 years 6 months ago
Smooth transition autoregressive models and fuzzy rule-based systems: Functional equivalence and consequences
In this work we will explore the theoretical connections existing between fuzzy rule-based systems (FRBS) applied on univariate time series and two statistical reference tools, th...
José Luis Aznarte, José Manuel Ben&i...
MP
2006
88views more  MP 2006»
15 years 6 months ago
Bounds on linear PDEs via semidefinite optimization
Using recent progress on moment problems, and their connections with semidefinite optimization, we present in this paper a new methodology based on semidefinite optimization, to ob...
Dimitris Bertsimas, Constantine Caramanis
IEICET
2007
72views more  IEICET 2007»
15 years 6 months ago
Beam Scanning Comb-Line Antenna Loading Movable Dielectric Plate
This paper describes a beam scanning antenna loading a movable dielectric plate on a microstrip comb-line antenna. This antenna uses the mechanical system that has the characteris...
Kazuhiro Kitatani, Takahiko Terada, Yasuyuki Okamu...