Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,802 papers from all fields of science
Search
Sign In
Create Free Account
ATS
Known as:
ATS language
ATS (Applied Type System) is a programming language designed to unify programming with formal specification. ATS has support for combining theorem…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Buffer overflow
C++
Dependent ML
Dependent type
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
COLLIMATION AND β∗ REACH
R. Bruce
,
S. Redaelli
2014
Corpus ID: 189860857
The reach in β∗ of the LHC depends on a number of different parameters, including both the collimation hierarchy and the…
Expand
2013
2013
Measurement and Prediction of Fluid Viscosities at High Shear Rates
J. K. Rameshwaram
,
T. Dao
2013
Corpus ID: 51859284
Polymeric materials in general are viscoelastic in nature because they exhibit strong depend‐ ence of deformation and flow on…
Expand
2012
2012
Investigating an active rockslide by long-range laser scanner: alignment strategy and displacements identification
Eleonora Bertacchini
,
A. Capra
,
C. Castagnetti
,
Riccardo Rivola
2012
Corpus ID: 53971722
2012
2012
Life Cycle Environmental Impacts Resulting from the Manufacture of the Heliostat Field for a Reference Power Tower Design in the United States: Preprint
G. Heath
,
John J. Burkhardt
,
C. Turchi
2012
Corpus ID: 112919668
Life cycle assessment (LCA) is recognized as a useful analytical approach for quantifying environmental impacts of renewable…
Expand
2010
2010
Suing Private Military Contractors for Torture: How to Use the Alien Tort Statute Without Granting Sovereign Immunity-Related Defenses
Efrain Staino
2010
Corpus ID: 152838121
2009
2009
Development and application of new test technologies in ATS
Ri-Jie Yang
2009
Corpus ID: 113394044
Basic concept,progress and application of new ATS(automatic test system) testing technologies developed in recent years were…
Expand
2007
2007
Using Data Mining Technique for Coefficient Tuning of an Adaptive Tabu Search
Elena Ikonomovska
,
D. Gjorgjevik
,
Suzana Loskovska
EUROCON Conference
2007
Corpus ID: 17108989
This paper describes the Adaptive Tabu Search algorithm (A-TS), an improved tabu search algorithm for combinatorial optimization…
Expand
2007
2007
Interference Management of OFDMA Uplinks
Patrick Hosein
IEEE Vehicular Technology Conference
2007
Corpus ID: 8893609
The next generation of wireless networks will use OFDMA (orthogonal frequency division multiple access) technology in the uplink…
Expand
2006
2006
Arithmetic transforms for compositions of sequential and imprecise datapaths
K. Radecka
,
Ž. Žilić
IEEE Transactions on Computer-Aided Design of…
2006
Corpus ID: 9584837
This paper addresses the issue of obtaining compact canonical representations of datapath circuits with sequential elements for…
Expand
1996
1996
Titanium incorporated ATS and AFI type aluminophosphate molecular sieves
D. Akolekar
,
R. Ryoo
1996
Corpus ID: 96721100
Titanium aluminophosphate molecular sieves of ATS and AFI (with two different titanium levels in the framework) have been…
Expand