formula News and Other Resources

Q&A

What formula in excel do i need?

January 25, 2012 1:24am PST

What formula in excel do i need? Hello I am stuck! When i type something in a cell eg. 1c, i need it to look at a block of cells, find the 1c in that block and then return the corrisponding...

2 Started by wolf24359 | Latest comment by Working IT

Q&A

Excel 2010 - blank cell but data show in formula bar

January 16, 2012 9:20pm PST

Excel 2010 - blank cell but data show in formula bar Hi there, i am now facing this issue INTERMITTENT. Half way using excel certain cells of my sheet will go white. when i point to formula bar i...

3 Latest comment by jamesmondtan@...

Whitepapers

Deducing Security Goals From Shape Analysis Sentences

January 13, 2012 12:00am PST

Guttman presented a model-theoretic approach to establishing security goals in the context of Strand Space theory. In his approach, a run of the Cryptographic Protocol Shapes Analyzer (CPSA)...

Provided by: Cornell University

Whitepapers

ProofPeer - A Cloud-Based Interactive Theorem Proving System

January 2, 2012 12:00am PST

Interactive Theorem Proving (ITP) has a long history. Most of that history, starting roughly around 1970, can be traced back to three systems: Automath, Edinburgh LCF, and Mizar. Probably the most...

Provided by: Cornell University

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

Podcasts

EnerNOC Consolidates & Improves Performance 5x on Exadata

January 1, 2012 12:00am PST

In this podcast, the speaker explains about the benefits of using Oracle Exadata Database Machine, which is the strategic component to its growth formula and TCO equation as it continues growth...

Provided by: Oracle

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

Whitepapers

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

Whitepapers

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

Q&A

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

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

Whitepapers

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

Whitepapers

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

Blog Post

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

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

Discussion Threads

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

Discussion Threads

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!