Sciweavers

1512 search results - page 103 / 303
» connection 2006
Sort
View
129
Voted
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
154
Voted
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
153
Voted
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...