Filters








3,597 Hits in 3.1 sec

Refinement-oriented probability for CSP

Carroll Morgan, Annabelle McIver, Karen Seidel, J. W. Sanders
1996 Formal Aspects of Computing  
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

G. Ferguson, J. F. Gallagher, A. J. McAlees
1994 Acta Crystallographica Section C: Crystal Structure Communications  
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  
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

Yong-Liang Yuan, Su-Ping Bai, Hui-Juan Liang, Dan-Dan Ye
2011 Acta Crystallographica Section E  
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

Amanda J. Watson, Stephen K. Cope, Daniel S. Jones, Craig A. Ogle
2007 Acta Crystallographica Section E  
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

Fu-Lin Yan, Xue-Mei Di, Chuang Feng, Rei-Jie Hou
2009 Acta Crystallographica Section E  
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

Denis Makartetskiy, Riccardo Sisto
2011 ETFA2011  
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

Xing Zhang, Ke Ding, Xuekui Yu, Winston Chang, Jingchen Sun, Z. Hong Zhou
2015 Nature  
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

Wei Wang, Bing Zhao, Wen-Qin Zhang
2005 Acta Crystallographica Section E  
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

Aalt D.J. van Dijk, David Fushman, Alexandre M.J.J. Bonvin
2005 Proteins: Structure, Function, and Bioinformatics  
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

Yuqiang Chen, Chuang Xiong, Wenhui Liu, Suping Pan, Yufeng Song, Yang Liu, Biwu Zhu
2021 Applied Sciences  
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

L. C. R. Andrade, J. A. Paixão, M. J. M. de Almeida, E. J. Tavares da Silva, F. M. Fernandes Roleira
2005 Acta Crystallographica Section E  
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

J. F. Gallagher, G. Ferguson, V. Böhmer, D. Kraft
1994 Acta Crystallographica Section C: Crystal Structure Communications  
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

Steve Schneider, Helen Treharne, Heike Wehrheim
2011 Electronic Proceedings in Theoretical Computer Science  
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

G. Ferguson, J. F. Gallagher, R. Fullwood, D. Parker
1992 Acta Crystallographica Section C: Crystal Structure Communications  
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