Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,569 papers from all fields of science
Search
Sign In
Create Free Account
Citation Style Language
Known as:
CSL
The Citation Style Language (CSL) is an open XML-based language to describe the formatting of citations and bibliographies. Reference management…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
CiteProc
Comparison of reference management software
Mendeley
Qiqqa
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Connecting the Dots: Mott for Emulsions, Collapse Models, Colored Noise, Frame Dependence of Measurements, Evasion of the “Free Will Theorem”
S. Adler
Foundations of physics
2018
Corpus ID: 59270093
We review the argument that latent image formation is a measurement in which the state vector collapses, requiring an enhanced…
Expand
2016
2016
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq
Izumi Asakura
,
Hidehiko Masuhara
,
Tomoyuki Aotani
Journal of Information Processing
2016
Corpus ID: 19419138
We design a concurrent separation logic for GPGPU, namely GPUCSL, and prove its soundness by using Coq. GPUCSL is based on a CSL…
Expand
2008
2008
Foreign Language Professional Standards and CSL: Achieving the 5 C's.
Darcy W. Lear
,
A. Abbott
2008
Corpus ID: 54189279
The professional standards in the field of foreign language pedagogy focus on communication, cultures, connections, comparisons…
Expand
2006
2006
Distributed disk-based algorithms for model checking very large Markov chains
Alexander Bell
,
B. Haverkort
Formal Methods Syst. Des.
2006
Corpus ID: 15008715
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability…
Expand
2006
2006
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools
Davide Cerotti
,
D. D'Aprile
,
S. Donatelli
,
Jeremy Sproston
International Conference on Application of…
2006
Corpus ID: 349596
Model-checking algorithms for continuous stochastic logic (CSL) properties have been introduced to facilitate the verification of…
Expand
2005
2005
O outro lado do comércio orientalizante: aspectos da produçao metalúrgica no pólo indígena, o caso das beiras portuguesas
Joao Carlos de Senna Martínez
2005
Corpus ID: 162771008
The research on Late Bronze Age developed during the last twenty years in Centre and North Portugal reveals a society which bears…
Expand
1998
1998
The mechanisms of action of insecticidal lectins from snowdrop (GNA) and jackbean (Concanavalin A) on tomato moth larvae
E. Fitches
1998
Corpus ID: 82650567
Artificial diet bioassays were carried out to investigate the impact of GNA and Con A upon the development of L. oleracea larvae…
Expand
1996
1996
Studies of spin relaxation and molecular dynamics in liquid crystals by two‐dimensional Fourier transform electron spin resonance. II. Perdeuterated‐tempone in butoxy benzylidene octylaniline and…
V. Sastry
,
A. Polimeno
,
R. H. Crepeau
,
J. Freed
1996
Corpus ID: 1066422
Two‐dimensional Fourier transform (2D‐FT)‐electron spin resonance (ESR) studies on the small globular spin probe perdeuterated…
Expand
1990
1990
Coincidence orientations of crystals in tetragonal systems, with applications to YBa2Cu3O7−δ
Anupam Singh
,
N. Chandrasekhar
,
A. King
1990
Corpus ID: 97935098
Caracterisation du reseau de sites de coincidence et des rotations de coincidence par la methode modifiee de Grimmer & Warrington…
Expand
Review
1988
Review
1988
Thor user''s manual: tutorial and commands
Robert Alverson
,
T. Blank
,
+4 authors
Thomas Rokicki
1988
Corpus ID: 59891368
THOR is a behavioral simulation environment intended for use with digital circuits at either the gate, register transfer, or…
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