A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Refinement-oriented probability for CSP
1996
Formal Aspects of Computing
Preserved Fulltext
A simple communications protocol is used to illustrate the probabilistic algebra, and several suggestions are made for accommodating and controlling nondeterminism when probability is present. ...
That in turn leads to some interesting interaction between probability and nondeterminism. ...
Acknowledgements We thank Paul Gardiner for his energetic and relentless skepticism, and the referees for their very careful reading and useful suggestions. ...
doi:10.1007/bf01213492
fatcat:5j5vliqvfrcmhawqgayud5z67y
Structure of 2,2,6,6-tetramethyl-4-oxaheptanedinitrile
1994
Acta Crystallographica Section C: Crystal Structure Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The mean principal dimensions include N~Csp 1.13 (1), Csp--Cw3 1.46 (1) and Csp3--O 1.410 (6) A. The two nitrile groups are oriented cis to one another [N=Csp... ...
Csp:--N 4.4o(5) °] and the intramolecular N.-.N separation is 4.70 (1) A. t Present address: Abstract Infinite polar chains of molecules with strong intermolecular hydrogen bonds (O--H...N and O--H...O ...
The angle between the C32-and C72--Csp 3 --Csp~N planes is 2.6 (6) °. ...
doi:10.1107/s0108270193007188
fatcat:447df7rfa5fvzcr524flcnip7u
Forthcoming Papers
2001
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Methods for knowledge initialization, knowledge refinement and knowledge extraction are introduced. We, also, prove that these methods address perfectly the constraints imposed by nonmonotonicity. ...
On the other hand, a hybrid learning system provides an explanation capability to trained Neural Networks through acquiring symbolic knowledge of a domain, refining it using a set of classified examples ...
The paper also discusses various techniques in setting up the CSP encodings, planning specific improvements to CSP solvers, and strategies for variable and value selection heuristics for solving the CSP ...
doi:10.1016/s0004-3702(01)00148-5
fatcat:bmjptgxrobak3gzslktogfieju
3β,11α-Dihydroxy-12-ursen-3-yl palmitate
2011
Acta Crystallographica Section E
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Supplementary data and figures for this paper are available from the IUCr electronic archives (Reference: BX2380). ...
s is used for estimating e.s.d.'s involving l.s. planes. Refinement. Refinement of F 2 against ALL reflections. ...
Displacement ellipsoids are drawn at the 50% probability level. ...
doi:10.1107/s1600536811047106
pmid:22199849
pmcid:PMC3239000
fatcat:elcpgxxdknbtxarxtuobumj4nm
cis-2,2-Dimethyl-1,3-diphenyl-2,3-dihydro-1H-benzo[c]silole
2007
Acta Crystallographica Section E
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The displacement ellipsoids for the atoms in the fused benzene ring suggest a probable disorder, but no satisfactory disorder model could be found. ...
The Si-Csp 3 bond distance is 1.886 (2) A ˚, and the corresponding Csp 3 -Si-Csp 3 angle is 93.0 (1) . ...
Supplementary data and figures for this paper are available from the IUCr electronic archives (Reference: FJ2035). ...
doi:10.1107/s1600536807030620
fatcat:forv3c7kk5btnogtkbmjhuutf4
1α,11α,15β-Triacetoxy-7β-hydroxy-7α,20-epoxy-ent-kaur-16-en-6-one
2009
Acta Crystallographica Section E
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
s is used for estimating e.s.d.'s involving l.s. planes. Refinement. Refinement of F 2 against ALL reflections. ...
Displacement ellipsoids are drawn at the 50% probability level. ...
doi:10.1107/s1600536809041828
pmid:21578364
pmcid:PMC2971301
fatcat:6rg6o7fs3jhkdi7nt5yszbrs5u
An approach to refinement checking of SysML requirements
2011
ETFA2011
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Being just a modeling language, SysML does not provide integrated means of verification and validation for its models. Therefore, additional efforts are needed for checking consistency of models. ...
This work shows efforts towards integrating embedded systems modeling with verification measures, namely, with refinement checking (checking whether a system description is really an implementation of ...
Integrated Refinement Checking
Communicating Sequential Processes CSP [6] is a mathematical modelling language oriented basically on the description of concurrent systems and interaction between them ...
doi:10.1109/etfa.2011.6059147
dblp:conf/etfa/MakartetskiyS11
fatcat:2p33gvd5jffrzpzwhqitx33wna
In situ structures of the segmented genome and RNA polymerase complex inside a dsRNA virus
2015
Nature
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
when converted from q-CPV to t-CPV, leading to formation of the RNA template entry channel and access to the Users may view, print, copy, and download text and data-mine the content in such documents, for ...
refinement. ...
We thank Peng Ge for carrying out a Relion reconstruction without an initial model as an independent verification step, Stan Schein and Laurie Wang for proofreading the paper, and Pavel Afonine for model ...
doi:10.1038/nature15767
pmid:26503045
pmcid:PMC5086257
fatcat:t3k6nyccgfbe7agfj7h57kqdsu
2,2′-Bis(1-phenyl-1H-tetrazol-5-ylsulfanyl) ether
2005
Acta Crystallographica Section E
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Key indicators Single-crystal X-ray study T = 293 K Mean (C-C) = 0.005 Å R factor = 0.058 wR factor = 0.119 Data-to-parameter ratio = 15.9 For details of how these key indicators were automatically derived ...
Displacement ellipsoids are drawn at the 30% probability level. Refinement. Refinement of F 2 against ALL reflections. ...
The threshold expression of F 2 > σ(F 2 ) is used only for calculating R-factors(gt) etc. and is not relevant to the choice of reflections for refinement. ...
doi:10.1107/s1600536805013784
fatcat:olzteu7lqfgxlh6zdfjkfvqqra
Various strategies of using residual dipolar couplings in NMR-driven protein docking: Application to Lys48-linked di-ubiquitin and validation against 15N-relaxation data
2005
Proteins: Structure, Function, and Bioinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The advantage of the latter for docking is that they directly define the relative orientation of the molecules. ...
) data in combination with orientational restraints from residual dipolar couplings (RDCs) when available. ...
University) for data and helpful discussions. ...
doi:10.1002/prot.20476
pmid:15937902
fatcat:guyeflpzefbhdbcwdikho7oxqi
Texture Evolution and Control of 2524 Aluminum Alloy and Its Effect on Fatigue Crack Propagation Behavior
2021
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Reducing coarse second-phase particles (CSPs) is conducive to the formation of a strong deformation texture during cold rolling. ...
The influences of cold rolling and subsequent heat treatment on the microstructure evolution of 2524 alloy were investigated using an orientation distribution function (ODF) and electron back-scattered ...
orientations can be quantified (for deviation angles ≤20 • ), as listed in Table 1 . ...
doi:10.3390/app11125550
fatcat:syouiwoyjrhadjftsrhnji6zja
17-Oxo-5β-hydroxyandrostan-3β-yl acetate
2005
Acta Crystallographica Section E
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Key indicators Single-crystal X-ray study T = 292 K Mean (C-C) = 0.003 Å R factor = 0.032 wR factor = 0.092 Data-to-parameter ratio = 8.1 For details of how these key indicators were automatically derived ...
(1) and 1.46 (1) Å , and Csp 2 O = 1.199 (7) and 1.194 (18) Å , for molecules 1 and 2, respectively. ...
s is used for estimating e.s.d.'s involving l.s. planes. Refinement. Refinement of F 2 against ALL reflections. ...
doi:10.1107/s1600536805008895
fatcat:hsuul7tz5jfkxibseheh25gfli
Self inclusion in a calix[5]arene structure; structure of the cone conformer of a pentahydroxy-p-tert-butylcalix[5]arene
1994
Acta Crystallographica Section C: Crystal Structure Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The angle between the C32-and C72--Csp 3 --Csp~N planes is 2.6 (6) °. ...
Table 3 . 3 Summary of the 0...0 separations (lk) (range
and mean) and aromatic ring orientations (o) (range and
mean)for the reported calix[5]arenes
O-• .O
Aromatic ring orientations
Range
Mean ...
doi:10.1107/s0108270193007152
fatcat:um26pgbi4jamzdlpjqvlqoko2u
A CSP Account of Event-B Refinement
2011
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
To this end, we define a CSP semantics for Event-B and show how the different forms of Event-B refinement can be captured as CSP refinement. ...
In this paper, we give a CSP account of Event-B refinement, with a treatment for the first time of splitting events and of anticipated events. ...
The aim of this paper is to give a precise account of Event-B refinement in terms of CSP's behaviour-oriented process refinement. ...
doi:10.4204/eptcs.55.9
fatcat:a2nx7i2ogneajgr7d5vzzovf5u
Oxonium (R)-O-acetylmandelate
1992
Acta Crystallographica Section C: Crystal Structure Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Only one of the two tx)ssible orientations for the methyl H atoms is shown. ...
The non-H atoms are shown with thermal ellipsoids drawn at the 50% probability level. For clarity the H atoms are drawn as small spheres of an arbitrary size. ...
Data reduction, program used to solve and refine structure, software used to prepare material for publication: NRCVAX (Gabe, Le Page, Charland, Lee & White, 1989) . ...
doi:10.1107/s0108270192008199
fatcat:jvpw56piqbhmdehfrsc7ag5gim
« Previous
Showing results 1 — 15 out of 3,597 results