Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,858,930 papers from all fields of science
Search
Sign In
Create Free Account
S-expression
Known as:
S-expressions
, S-exp
, S expression
Expand
In computing, s-expressions, sexprs or sexps (for "symbolic expression") are a notation for nested list (tree-structured) data, invented for and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Arc (programming language)
Base64
Binary tree
Block (programming)
Expand
Broader (1)
Lisp
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Capitalising on Inherent Ambiguities in Symbolic Expressions of Generality Capitalising on Inherent Ambiguities in Symbolic Expressions of Generality
D. Samson
2011
Corpus ID: 54185506
There is a lot of ambiguity present in the different algebraic expressions, which somehow related to the pictorial and symbolic…
Expand
2002
2002
Presentation of the linear fractional representation toolbox (LFRT)
J. Magni
Proceedings of the IEEE International Symposium…
2002
Corpus ID: 62143739
This paper presents a toolbox for use with MATLAB for modeling and manipulation of systems in LFT form. With this toolbox, LFT…
Expand
2002
2002
Approximate Symbolic Analysis of Hierarchically Decomposed Analog Circuits
O. Guerra
,
E. Roca
,
Francisco V. Fernández
,
Á. Rodríguez-Vázquez
2002
Corpus ID: 58077399
This paper presents a methodology for the symbolic analysis of large analog integrated circuits using a hierarchical approach…
Expand
2000
2000
Symbolic Cache Analysis for Real-Time Systems
Johann Blieberger
,
T. Fahringer
,
Bernhard Scholz
Real-time systems
2000
Corpus ID: 14123465
Caches impose a major problem for predicting execution times of real-time systems since the cache behavior depends on the history…
Expand
2000
2000
Subsymbolic methods for data mining in hydraulic engineering
A. Minns
2000
Corpus ID: 60661968
This paper describes the results of experiments with artificial neural networks (ANNs) and genetic programming (GP) applied to…
Expand
1995
1995
Symbolic Singular Value Decomposition for Simple Redundant Manipulators and Its Application to Robot Control
M. Kircanski
Int. J. Robotics Res.
1995
Corpus ID: 20457582
Solving the inverse kinematic problem in the vicinity of singu larities by the use of the damped least squares method is one of…
Expand
1982
1982
Surface-enhanced second-harmonic generation at a metallic grating
G. Agarwal
,
S. S. Jha
1982
Corpus ID: 73705400
The theory of surface-enhanced second-harmonic generation at a metallic grating is developed. Using the form of the nonlinear…
Expand
1981
1981
FORMALIZING CONFLICT RESOLUTION IN POLICY MAKING
M. Shakun
1981
Corpus ID: 62713672
Conflict and its resolution in the context of policy making is formalized. A conflict is a problem which, as initially defined by…
Expand
Highly Cited
1979
Highly Cited
1979
The Application of Program Verification to Hardware Verification
J. Darringer
Design Automation Conference
1979
Corpus ID: 2868074
The growing complexity of machine designs and costs of engineering changes are increasing the demand for tools and methods to…
Expand
Highly Cited
1971
Highly Cited
1971
Pair Grammars, Graph Languages and String-to-Graph Translations
T. W. Pratt
Journal of computer and system sciences (Print)
1971
Corpus ID: 205894879
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