Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,291,835 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
The rule of law at a crossroad: Enforcing corporate responsibility in international investment through the alien tort statute
J. Green
2014
Corpus ID: 152471596
Rape and forced labor as part of the construction of a natural gas pipeline project. Medical experimentation on children without…
Expand
Review
2014
Review
2014
HOW TO MAXIMIZE THE HL-LHC PERFORMANCE *
G. Arduini
,
D. Banfi
,
+26 authors
A. Valishev
2014
Corpus ID: 96442466
This contribution presents an overview of the parameter space for the HL-LHC [1] upgrade options that would maximize the LHC…
Expand
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
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
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
,
Z. Zilic
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
2002
2002
ATS/AGV-design, implementation and evaluation of a high performance AGV
J. Ploeg
,
Acm van der Knaap
,
D. Verburg
Intelligent Vehicle Symposium, . IEEE
2002
Corpus ID: 60486991
Within the framework of a full scale hardware-in-the-loop intelligent vehicle simulator called VEHIL, an automatic guided vehicle…
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