- Subscribe to this page:
- RSS
- Email Alert
formula
(383 results)-
White Papers
The Characteristics Analysis of Hybrid Bridge Function Sequence in Multiuser UWB Communication System
May 1, 2012 12:00am PDT
Basing on bridge function sequence and Walsh sequence, a special sequence called hybrid bridge function sequence is obtained. The paper focuses on the analysis of its orthogonal property and cross...
Provided by: AICIT
-
White Papers
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties
April 24, 2012 12:00am PDT
The authors present a general approach for the symbolic analysis of security protocols that use Diffie-Hellman exponentiation to achieve advanced security properties. They model protocols as...
Provided by: ETH Zurich
-
White Papers
Estimation of Homodyne Crosstalk in Optical Network
April 2, 2012 12:00am PDT
The aim of this paper is to carry out an analysis of optical network by calculating Bit Error Rate (BER) as a function of signal to noise ratio by using Hermitian polynomial for different homodyne...
Provided by: Bhagwant University
-
White Papers
The Research of Software Project Risk Assessment With Triangular Fuzzy Information
April 1, 2012 12:00am PDT
The problem of evaluating the software project risk with triangular fuzzy information is the Multiple Attribute Group Decision Making (MAGDM) problems. In this paper, the authors investigate the...
Provided by: AICIT
-
White Papers
Efficient Arithmetic on Hessian Curves Over Fields of Characteristic Three
March 5, 2012 12:00am PST
This paper presents new explicit formulas for the point doubling, tripling and addition for Hessian curves and their equivalent Weierstrass curves over finite fields of characteristic three. The...
Provided by: North China University of Technology
-
-
White Papers
Ergodic Capacity Analysis of Cooperative Amplify-and-Forward Relay Networks Over Rice and Nakagami Fading Channels
February 1, 2012 12:00am PST
This paper investigates the efficacy of a novel Moment Generating Function (MGF) based analytical framework for calculating the ergodic channel capacities of Cooperative dual-hop...
Provided by: Academy & Industry Research Collaboration Center
-
White Papers
A New Approach for Mobility Enhancement of OLSR Protocol
February 1, 2012 12:00am PST
Nowadays, Mobile networks offer a lot of advantages in terms of usage flexibility. However, they suffer from several problems such as the rapid change of network topology caused by the high...
Provided by: Academy & Industry Research Collaboration Center
-
White Papers
Application of Erlang Formulae in Next Generation Networks
February 1, 2012 12:00am PST
The paper deals with the possibility of the Erlang B and Erlang C formula utilization in Next Generation Networks (NGN). Based on the common properties of synchronous and asynchronous networks it...
Provided by: mecs-press
-
White Papers
A Trust Method of MANETs Based on D-S Evidence Theory
February 1, 2012 12:00am PST
Mobile Ad hoc NETworks (MANETs), within which nodes can move arbitrarily, is a self-configuring network without infrastructure. The trust mechanism for MANETs had been proposed as a promising...
Provided by: AICIT
-
White Papers
Performance of Polarimetric Statistical MIMO Radar on Stealth Target Detection
January 1, 2012 12:00am PST
Multiple Input Multiple Output (MIMO) radar with widely separated antennas exploits spatial diversity to obtain more information about target while polarimetric radar offers improved performance...
Provided by: University of Electronic Science and Technology of China
-
White Papers
Reducing Behavioural to Structural Properties of Programs With Procedures
January 1, 2012 12:00am PST
There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a program graph rather than...
Provided by: INRIA
-
White Papers
Model Checking Duration Calculus: A Practical Approach
January 1, 2012 12:00am PST
Model checking of real-time systems with respect to Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. This task is difficult to automate....
Provided by: Ecole Polytechnique Federale de Lausanne
-
White Papers
ILC: A Foundation for Automated Reasoning About Pointer Programs
January 1, 2012 12:00am PST
This paper shows how to use Girard's intuitionistic linear logic extended with a classical sublogic to reason about pointer programs. More specifically, first, the paper defines the proof theory...
Provided by: Princeton University
-
White Papers
Unicode in Domain-Specific Programming Languages for Modeling & Simulation
December 8, 2011 12:00am PST
As recent programming languages provide improved conciseness and flexibility of syntax, the development of embedded or internal Domain-Specific Languages has increased. The field of Modeling and...
Provided by: Association for Computing Machinery
-
White Papers
Internet and the Erlang Formula
November 29, 2011 12:00am PST
The authors demonstrate that the Internet has a formula linking demand, capacity and performance that in many ways is the analogue of the Erlang loss formula of telephony. Surprisingly, this...
Provided by: Telecom ParisTech
-
White Papers
On Error Tolerance and Engineering Change With Partially Programmable Circuits
November 16, 2011 12:00am PST
The growing size, density and complexity of modern VLSI chips are contributing to an increase in hardware faults and design errors in the silicon, decreasing manufacturing yield and increasing the...
Provided by: University of Toronto
-
White Papers
A Mixture Gamma Distribution to Model the SNR of Wireless Channels
November 15, 2011 12:00am PST
The MG distribution to model the SNR of the wireless channels has been proposed. Theoretical results show it converges to any PDF, a justification of this model. It is not only ideal for composite...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
Typing the Numeric Tower
November 9, 2011 12:00am PST
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically typed relatives...
Provided by: Northeastern University
-
White Papers
An Explicit Solution for Optimal Two-Player Decentralized Control Over TCP Erasure Channels With State Feedback
October 10, 2011 12:00am PDT
The authors develop an optimal controller synthesis algorithm for decentralized control problems where control actions are transmitted through TCP-like erasure channels. They consider a simple...
Provided by: Stanford University
-
White Papers
Optimal and Suboptimal Multi Antenna Spectrum Sensing Techniques with Master Node Cooperation for Cognitive Radio Systems
October 1, 2011 12:00am PDT
In this paper, the authors consider the primary user detection problem in cognitive radio systems by using multi antenna at the cognitive radio receiver. An optimal linear combiner multi antenna...
Provided by: Academy Publisher
