Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,118,892 papers from all fields of science
Search
Sign In
Create Free Account
Grand Challenges
Known as:
Grand Challenge
, Grand Challenge problem
, NAE Grand Challenges
Expand
Grand Challenges were US policy terms set as goals in the late 1980s for funding high-performance computing and communications research in part in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Automated reasoning
BRAIN Initiative
Computational engineering
Computer vision
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Conquering the Low‐k Death Curve: Insulating Boron Carbide Dielectrics with Superior Mechanical Properties
B. J. Nordell
,
Thuong D. Nguyen
,
+11 authors
M. Paquette
2016
Corpus ID: 52086859
To enable the continued scaling of integrated circuits, the semiconductor industry faces ongoing struggles to implement better…
Expand
Highly Cited
2012
Highly Cited
2012
Conceptual design of a hypervelocity asteroid intercept vehicle (HAIV) and its flight validation mission
Alan Pitz
,
B. Kaplinger
,
G. Vardaxis
,
Tim Winkler
,
B. Wie
2012
Corpus ID: 371307
2011
2011
Rounding-o errors in matrix processes Universal Turing Machine
2011
Corpus ID: 15744334
The analysis of replication is an important problem. In this work, we prove the study of red-black trees. In this work, we…
Expand
2010
2010
Engineering Policy-Based Ubiquitous Systems
M. Sloman
,
Emil C. Lupu
Computer/law journal
2010
Corpus ID: 12930742
The advent of miniaturized sensors that can be carried on the body or embedded in the environment, together with ubiquitous…
Expand
Highly Cited
2009
Highly Cited
2009
STUDY ON EM SCATTERING FROM 2-D TARGET ABOVE 1-D LARGE SCALE ROUGH SURFACE WITH LOW GRAZING INCIDENCE BY PARALLEL MOM BASED ON PC CLUSTERS
Li-xin Guo
,
An-qi Wang
,
Jun Ma
2009
Corpus ID: 55276791
Abstract—Based on message passing interface (MPI) of the PC Clusters, the parallel method of moment (MOM) is applied to the…
Expand
2009
2009
A Software Certification Consortium and its Top 9 Hurdles
J. Hatcliff
,
M. Heimdahl
,
M. Lawford
,
Tom Maibaum
,
Alan Wassyng
,
F. L. Wurden
SafeCert@ETAPS
2009
Corpus ID: 6906450
Highly Cited
2007
Highly Cited
2007
Improving the quality of alerts and predicting intruder's next goal with Hidden Colored Petri-Net
Dong Yu
,
D. Frincke
Comput. Networks
2007
Corpus ID: 15421996
Highly Cited
2006
Highly Cited
2006
Improving the Face Recognition Grand Challenge Baseline Performance using Color Configurations Across Color Spaces
P. Shih
,
Chengjun Liu
International Conference on Information Photonics
2006
Corpus ID: 14469028
This paper presents a method that applies color information to improve face recognition performance of the face recognition grand…
Expand
Highly Cited
2002
Highly Cited
2002
A Grand Challenge Proposal for Formal Methods: A Verified Stack
J. Strother Moore
10th Anniversary Colloquium of UNU/IIST
2002
Corpus ID: 45744517
We propose a grand challenge for the formal methods community: build and mechanically verify a practical computing system, from…
Expand
2000
2000
Train station passenger flow study
Janice P. Li
Winter simulation conference : proceedings
2000
Corpus ID: 32765216
With the increasing demand for public transportation due to congested highways, trains have become one of the most viable…
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