We characterize the structural properties of dynamic inference in general update models, and show that these are exactly the ones of public update in epistemic logic. 1 DYNAMIC INFERENCE IN ABSTRACTO Logical dynamics is about actions that change information, such as information update in communication. At an abstract level, we view propositions A as partial functions TA taking input states meet...

The zinc-binding protein semenogelin I is the major structural component of the gelatinous coagulum that is formed in freshly ejaculated semen. Semenogelin I is a rapidly evolving protein with a primary structure that consists of six repetitive units, each comprising approximately 60 amino acid residues. We studied the secondary and tertiary structure of semenogelin I by circular dichroism (CD)...

The structural properties of all diagrammatic expansions developed so far can be analyzed systematically with the help of functional equations. In Chapter 3 we have seen that the correlation functions obtained from the functional derivatives of Z[j] via relation (2.14), and the generating functional itself, contain many disconnected parts. Ultimately, however, we shall be interested only in the...

Using the plasma oscillations theory of solids, 2 empirical relations have been proposed for the calculation of the structural properties such as bond-stretching central force constant (α) and bondbending non-central force constant (β) for II-VI and III-V group binary semiconductors. We find that α =D (ћωp) 2 and β = S (ћωp) 2 , where D and S are constants. The numerical values of D and S are r...

A kernel of a digraph is a set of vertices which is both independent and absorbant. Let D be a digraph such that every proper induced subdigraph has a kernel. If D has a kernel, then D is kernel perfect, otherwise D is critical kernel-imperfect (for short CKI-digraph). In this work we prove that if a CKI-digraph D is not 2-arc connected, then D − a is kernel perfect for any bridge a of D. If D ...

multiwall carbon nanotubes (mwcnts) are grown via chemical vapour deposition method directly on a stainless steel substrate. raman spectroscopy and transmission electron microscopy are the techniques chosen to characterize the structure of the synthesized carbon nanotubes: few structural defects are detected. after their removal from the stainless steel substrate, the as-grown mwcnts are then a...

in this work, for the first time, the rheological properties of nanofluids of lanthania nanoparticles (nps) in ethylene glycol (eg) as functions of shear rate, volume fraction, and temperature were measured. the results showed that both eg and the nanofluids behave as non-newtonian fluids at lower shear rates and transform to newtonian fluids at higher shear rates. the values of viscosity for b...

the electronic structure, energy band structure and electronic density of 2 sno ceramic in cubicphase have been investigated using first principle full potential-linearized augmented plane wave (fp-lapw)method within density functional theory (dft). local density approximation (lda) and the generalizedgradient approximation (gga), which are based on exchange- correlation energy optimization wer...

the high pressure behavior of the structural and electronic properties of kc1 is studied with use of the density functional pseudopotential method within local-density approximation. atzero pressure, the rocksalt phase is found to be lower in energy than cscl structure. however, we predict a phase transition into csci structure at a pressure of about 1.5 gpa. the calculated ground state propert...