# formula

(1976 results)

Select:
Content Type:

### 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

### 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

### 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

### Formal Specification of Object-Oriented Design

January 1, 2012 12:00am PST

Software architectures and designs "Notations" are typically based on bubble-and-arc diagrams. Embellishing these diagrams may increase their information content but does not make a language. A...

Provided by: Concordia University

### On the Decidability and Complexity of Identity Knowledge Representation

December 21, 2011 12:00am PST

Identity knowledge is the knowledge that relates to various aspects of the identification of real-world objects. It can be acquired through the process of identifying objects from a knowledge...

Provided by: Johannes Kepler University Linz

### How can I autofill a find duplicates formula?

December 12, 2011 2:37pm PST

How can I autofill a find duplicates formula? Formula is: =IF(COUNTIF(D\$2:D\$2,D2)>1,"Duplicated","") =IF(COUNTIF(D\$2:D\$3,D2)>1,"Duplicated","") =IF(COUNTIF(D\$2:D\$4,D2)>1,"Duplicated","") finding...

3 Started by robys@...  |  Latest comment by datta4office

### 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

### Performance Analysis of Flow-Based Traffic Splitting Strategy on Cluster-Mesh Sensor Networks

December 3, 2011 12:00am PST

Performance analysis is crucial for designing predictable and cost-efficient sensor networks. Based on the network calculus theory, the authors propose a flow-based traffic splitting strategy and...

Provided by: Hindawi Publishing

### Computational Complexity Analysis of Advanced Physical Layers Based on Multicarrier Modulation

December 2, 2011 12:00am PST

In this paper, the authors thoroughly analyze the computational effort necessary to implement a multicarrier based physical layer for wireless communications. They consider two variations of this...

Provided by: Technische Universitat Ilmenau

### Use conditional formatting in Excel to highlight important dates

November 30, 2011 7:08am PST

If you don't want events slipping up on you, or past you, use Excel's conditional formatting as an alert system.

4 Latest comment by Robiisan

### 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

### Use Earned Value Management (EVM) to determine project status

November 20, 2011 9:20pm PST

Use Earned Value Management (EVM) to determine project status article root Important EVM formulas Find out important EVM formulas to learn here:...

1 Started by user_786@...  |

### 10 ways to improve Excel performance

November 18, 2011 7:52am PST

10 ways to improve Excel performance article root Congratulations! Great hints, truly helpful! forward referencing "Formulas should always reference forward, to the right or below. Avoid...

23 Started by david.mapelli  |  Latest comment by Rob-dawg!

### 10 ways to improve Excel performance

November 18, 2011 6:51am PST

You don't have to live with sluggish workbooks. Try these tricks for a noticeable boost in performance.

23 Latest comment by Rob-dawg!

### 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

### Use SUMIFS() to sum by multiple conditions in Excel

November 15, 2011 8:24am PST

Use SUMIFS() to sum by multiple conditions in Excel article root syntax in sumifs Susan: I used the wizard and this is what my formula looked like: "=SUMIFS(\$C\$6:\$C\$13,\$A\$6:\$A\$13,D\$1)". (the...

8 Started by zimmerwoman  |  Latest comment by peter.r7

### 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...

### 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

### Frequency Division Duplex Time Reversal

October 18, 2011 12:00am PDT

In this paper, the authors propose a new pre-coding technique called Frequency Division Duplex Time Reversal (FDD TR) for Multiple Input Multiple Output (MIMO) wireless communications, in...