Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,250,718 papers from all fields of science
Search
Sign In
Create Free Account
Code 8
Known as:
Code 8 (2017 film)
Code 8 is a 2016 short sci-fi action film directed by Jeff Chan and written by Chan and Chris Paré. Starring Robbie Amell, Stephen Amell and Sung…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Autonomous robot
Crowdfunding
Indiegogo
Internet
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A unified Coq framework for verifying C programs with floating-point computations
T. Ramananandro
,
P. Mountcastle
,
Benoît Meister
,
R. Lethin
Certified Programs and Proofs
2016
Corpus ID: 207233575
We provide concrete evidence that floating-point computations in C programs can be verified in a homogeneous verification setting…
Expand
2015
2015
IN-SITU MEASURED DYNAMIC RESPONSE OF THE BELL TOWER OF AGIOS GERASIMOS IN LIXOURI-KEFALONIA, GREECE AND ITS UTILIZATION IN THE NUMERICAL PREDICTIONS OF ITS EARTHQUAKE RESPONSE
G. Manos
,
E. Kozikopoulos
2015
Corpus ID: 55086091
The dynamic and earthquake response of the bell tower of Agios Gerasimos, located at the city center of Lixouri in the island of…
Expand
2010
2010
A Closely Coupled Experimental and Numerical Approach for Hypersonic and High Enthalpy Flow Investigations Utilising the HEG Shock Tunnel and the DLR TAU Code
K. Hannemann
,
J. Schramm
,
A. Wagner
,
S. Karl
,
V. Hannemann
2010
Corpus ID: 56072106
Abstract : The High Enthalpy Shock Tunnel Goettingen (HEG) of the German Aerospace Center (DLR) is one of the major European…
Expand
Highly Cited
2007
Highly Cited
2007
Link Performance Abstraction based on Mean Mutual Information per Bit (MMIB) of the LLR Channel
K. Sayana
,
Jeff Zhuang
,
Kenneth A. Stewart
2007
Corpus ID: 61755230
Call
2003
2003
CONCERNS EXPRESSED BY STUDENT TEACHERS IN AGRICULTURE
C. Fritz
,
G. Miller
2003
Corpus ID: 23028642
The purpose of this study was to explore concerns (teaching and non-teaching) expressed by agricultural education student…
Expand
Review
2002
Review
2002
Long-Term Benefits of Stabilizing Soil Subgrades
T. Hopkins
,
T. Beckham
,
Liecheng Sun
,
B. Ni
,
B. Butcher
2002
Corpus ID: 137237036
Chemical admixtures have been used extensively since the mid-80s in Kentucky to improve bearing strengths of soil subgrades. Most…
Expand
Review
2001
Review
2001
The Consistency of Systematic Classroom Observations in Urban Schools.
N. Tollefson
,
S. Lee
,
L. Webber
2001
Corpus ID: 14090007
The present study investigated the consistency of classroom process variables. Four teachers representing the primary…
Expand
2000
2000
Issues Involved in the Development of an Open Standard for Data Link of Aviation Weather Information
R. Grappel
2000
Corpus ID: 12230857
This paper describes how an effective and efficient data link system for the dissemination of aviation weather information could…
Expand
1977
1977
Results of analyses performed on soil adjacent to penetrators emplaced into sediments at McCook, Nebraska, January 1976. [simulated penetration into wind-deposited sediments on Martian plains
M. B. Blanchard
,
T. Bunch
,
+4 authors
G. Polkowski
1977
Corpus ID: 127169404
During 1976 several penetrators (full and 0.58 scale) were dropped into a test site McCook, Nebraska. The McCook site was…
Expand
1975
1975
Design and evaluation of a sensor fail-operational control system for a digitally controlled turbofan engine
F. Hrach
,
D. J. Arpasi
,
W. M. Bruton
,
Lewis Research Center
1975
Corpus ID: 59440904
A self-learning, sensor fail-operational, control system for the TF30-P-3 afterburning turbofan engine was designed and evaluated…
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