Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,591,093 papers from all fields of science
Search
Sign In
Create Free Account
SO (complexity)
Known as:
SO
Second-order logic is an extension of first-order with second order quantifiers, hence the reader should first read FO (complexity) to be able to…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
17 relations
Algorithm
Co-NP
Complexity class
Descriptive complexity theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Second-order and higher-order logic
J. Väänänen
2019
Corpus ID: 213056815
2017
2017
Systemic Design for Second-Order Effects A Case Study in Sustainability
Evan Barba
2017
Corpus ID: 55786352
Second-order effects are changes within a system that are the result of changes made somewhere else in the system (the first…
Expand
2013
2013
Investigation of Pb(II) Removal from Aqueous Solutions Using Modified Nano Zero-Valent Iron Particles
A. Ramezanpour
,
A. Firouzi
,
A. Sayyad
2013
Corpus ID: 101843393
This research was conducted in experimental scale with the aim of investigation effect of polyacrylic acidstabilized zero-valent…
Expand
2005
2005
Block SAPOR: block second-order Arnoldi method for passive order reduction of multi-input multi-output RCS interconnect circuits
Bang Liu
,
Xuan Zeng
,
+4 authors
Dian Zhou
Proceedings of the ASP-DAC . Asia and South…
2005
Corpus ID: 1334041
Recently model order reduction techniques for second-order systems have obtained many research interests for the simulation of…
Expand
2004
2004
Diagnosing Manufacturing Variation Using Second-Order and Fourth-Order Statistics
Ho Young Lee
,
D. Apley
2004
Corpus ID: 15920626
This article discusses a method that can aid in diagnosing root causes of product and process variability in complex…
Expand
2002
2002
On equivalence between detectors obtained from second-order measures of performance
F. Abdallah
,
C. Richard
,
R. Lengellé
11th European Signal Processing Conference
2002
Corpus ID: 1208660
Second-order measures of performance are often used for deriving detectors. Many of these are related or equivalent. In this…
Expand
Highly Cited
1999
Highly Cited
1999
Toward a Theory of Second-Order Consequence
Augustín Rayo
,
G. Uzquiano
Notre Dame J. Formal Log.
1999
Corpus ID: 2651376
We develop an account of logical consequence for the second-order language of set theory in the spirit of Boolos's plural…
Expand
1999
1999
Improving Second-order Surface Estimation
N. Werghi
,
Robert B. Fisher
,
A. Ashbrook
,
C. Robertson
BMVC
1999
Corpus ID: 1053065
The paper proposes a reliable method for estimating second-order surfaces from 3D range data in the framework of object…
Expand
Highly Cited
1981
Highly Cited
1981
Categorization and Representation of Physics Problems by Experts and Novices
M. Chi
,
P. Feltovich
,
R. Glaser
Cogn. Sci.
1981
Corpus ID: 44436293
The representation of physics problems in relation to the organization of physics knowledge is investigated in experts and…
Expand
1954
1954
The Investigation Of Chemical Quality Of Water In Tidal Rivers
W. B. Keighton
1954
Corpus ID: 140648239
..................................................................... . Introduction…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE