Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,394,725 papers from all fields of science
Search
Sign In
Create Free Account
Formula language
Known as:
Formula (disambiguation)
The Formula language is a scripting language used by Lotus Notes.It is often referred to as @Formula language (pronounced at-formula) because many…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Functional programming
IBM Notes
Icon
Lisp
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
IDENTIFICATION OF ACTIVE AREAS OF EARTHQUAKE BY THERMAL REMOTE SENSING
M. A. Nezammahalleh
,
A. Noori
,
+4 authors
S. K. Alavipanah
2013
Corpus ID: 130889109
The study investigates the ability of thermal remote sensing in identification of seismic active areas. The thermal…
Expand
Review
2013
Review
2013
FORMULA 2.0: A Language for Formal Specifications
Ethan K. Jackson
,
Wolfram Schulte
ICTAC Training School on Software Engineering
2013
Corpus ID: 2479153
FORMULA 2.0 is a novel formal specification language based on open-world logic programs and behavioral types. Its goals are 1…
Expand
2008
2008
21 – Dynamic Analysis
Ruwan A. Rajapakse
2008
Corpus ID: 262633228
2006
2006
Improved Software Defect Prediction
N. Fenton
2006
Corpus ID: 16698121
Although a number of approaches have been taken to quality prediction for software, none have achieved widespread applicability…
Expand
2005
2005
An Enhanced Spreadsheet Supporting Calculation-Structure Variants, and Its Application to Web-Based Processing
A. Lunzer
,
Kasper Hornbæk
Federation over the Web
2005
Corpus ID: 17815041
This paper reports our work towards an end user environment for building and experimenting with federations of Web-based…
Expand
2003
2003
Fair Constraint Merging Tableaux in Lazy Functional Programming Style
Reiner Hähnle
,
Niklas Sörensson
International Conference on Theorem Proving with…
2003
Corpus ID: 16786204
Constraint merging tableaux maintain a system of all closing substitutions of all subtableau up to a certain depth, which is…
Expand
2002
2002
Novel fabrication method for 3D microstructures using surface-activated bonding and its application to micro-mechanical parts
T. Yamada
,
Mutsuya Takahashi
,
T. Ozawa
,
Satoshi Tawara
,
T. Goto
SPIE Micro + Nano Materials, Devices, and…
2002
Corpus ID: 137023072
The purpose of this work is to demonstrate that a novel fabrication method for 3-D microstructures (FORMULA) is applicable to…
Expand
2000
2000
Pairing symmetry and spin-polarized quasiparticle transport in high-temperature superconducting cuprates
N. Yeh
,
C. Fu
,
Ching-Tzu Chen
,
Z. Huang
,
R. Vasquez
,
S. Tajima
SPIE Defense + Commercial Sensing
2000
Corpus ID: 56384018
The pairing symmetry and the superconducting gap in high- temperature superconducting cuprates are investigated as a function of…
Expand
1996
1996
Introduction to Spreadsheets: Calculations and Charts
R. Schmidt
,
Helen Wright
1996
Corpus ID: 63768735
When you have finished working through this chapter you should be able to Understand what a spreadsheet is, and how it can…
Expand
1968
1968
The Origin of Manning's Formula
R. Powell
1968
Corpus ID: 110610873
The formula for the resistance to the flow of water in open channels that Manning recommended in his address to the Institute of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE