Development of a structured program for conversion to prenex normal form

The method of structured programming or program development using a top-down, stepwise refinement technique provides a systematic approach for the development of programs of considerable complexity. The aim of this paper is to present the philosophy of structured programming through a case study of a nonnumeric programming task. The problem of converting a well-formed formula in first-order logic into prenex normal form is considered. The program has been coded in the programming language PASCAL and implemented on a DEC-10 system. The program has about 500 lines of code and comprises 11 procedures.

Improving the phenomenology of Kl3 form factors with analyticity and unitarity

The shape of the vector and scalar K-l3 form factors is investigated by exploiting analyticity and unitarity in a model-independent formalism. The method uses as input dispersion relations for certain correlators computed in perturbative QCD in the deep Euclidean region, soft-meson theorems, and experimental information on the phase and modulus of the form factors along the elastic part of the unitarity cut. We derive constraints on the coefficients of the parameterizations valid in the semileptonic range and on the truncation error. The method also predicts low-energy domains in the complex t plane where zeros of the form factors are excluded. The results are useful for K-l3 data analyses and provide theoretical underpinning for recent phenomenological dispersive representations for the form factors.

Elämän ja entisyyden maisemat : Kolgujev nenetsien arjessa, muistelussa ja kerronnassa

The dissertation discusses the conceptions of place and landscape amongst Nenets living on the island of Kolguyev or being of Kolguyev descent. The conceptions are examined through the everyday life of the community, oral recollections and narration that unfold meanings related to the island. The research material has been collected in ethnographic fieldwork in 2000 2005. The duration of individual fieldworks varies from two weeks to three months and their total duration is nearly six months. The fieldwork has been conducted both on the island and in the city of Nar yan-Mar. The main methods have been participant observation and recorded and unrecorded informal interviews. In addition to the field work data, archive materials, travel accounts, and other historical texts by outsiders about Kolguyev or the Nenets living in the European side of Russia have been used as a research material. The analysis is based on the idea of the place as a meeting point of the physical features, experiences in them and collective narration about them. The concept sense of place is used to describe the interaction of these three. Lived space manifests individual s or collective sense of place. The places form different kinds of networks of meanings which are called landscapes. Hot spots are places where different meanings accumulate. Furthermore, the material is analysed using the concepts of Tale World and Story Realm by Katherine Young. The Tale World is a realm created during the Story Realm, i.e. the event of narrations. The Tale Worlds are true as such but become evaluated in the Story Realm. The Tale Worlds are seen to arise both from the physical features of a place and from oral tradition, but at the same time these worlds give meanings to the place. The Tale Worlds are one of the central ingredients for the sense of place. One of the most central hot spots in Kolguyev is the arok harbour, where most of the themes of the pre-Soviet Tale Worlds are placed: trade and interaction with the Russians, rituals of the popular religion and arrival of the first Nenets to the island. arok is also part of the landscape of the coast where the meetings of Nenets and the other(s) are generally connected. Furthermore, arok is connected to the network of amans graves but also more generally to the landscape of collective sacred and sacrificial places. Another hot spot is the population centre of Bugrino which unfolds through the evaluations of the Tale Worlds. It also is the centre of the everyday life of the community studied. The Tale Worlds of the radiant past fastens on the population centre which is described through the negative models within the genre of litany. Sacred places, that represent the possibility to meet the Otherworld or mark places were encounters with the Otherworld have taken place, generate many kinds of landscapes in the island. They fasten on the graves of the amans, sirtya tradition, and to collective sacred places with their associations. The networks are not closed systems but are given meanings and new associations continuously in narration and recollection. They form multi-level and significant landscapes which reflect the fastening of the Kolguyev Nenets in the tundra of the island. In the research material the holy places and the popular religiousness are emphasised which is one of the most significant research results. It can be seen to reflect collective resistance and the questioning of the atheistic propaganda of the Soviet years. The narration and the recollection often refer also to the discourse of the anti-religious propaganda or use its strategies. The centrality of the holy places is also based on the tenacity of the religious Tale Worlds and sense of place and to the collective significance of the religion in general.

Probing of unusual DNA structures in topologically constrained form V DNA: use of restriction enzymes as structural probe

The ability of DNA sequences to adopt unusual structures under the superhelical torsional stress has been studied. Sequences that are forced to adopt unusual conformation in topologically constrained pBR322 form V DNA (Lk=0) were mapped using restriction enzymes as probes. Restriction enzymes such as BamHI, Pstl, Aval and HindIII could not cleave their recognition sequences. The removal of topological constraint relieved this inhibition. The influence of neighbouring sequences on the ability of a given sequence to adopt unusual DNA structure, presumably left handed Z conformation, was studied through single hit analysis. Using multiple cut restriction enzymes such as Narl and Fspl, it could be shown that under identical topological strain, the extent of structural alteration is greatly influenced by the neighbouring sequences. In the light of the variety of sequences and locations that could be mapped to adopt non-6 conformation in pBR322 form V DNA, restriction enzymes appear as potential structural probes for natural DNA sequences.

Quinoxaline: Z `=1 form

A new Z' = 1 crystal structure of quinoxaline (or 1,4-diazanaphthalene), C8H6N2, with one-fifth the volume of the earlier known Z' = 5 structure was obtained by means of an in situ cryocrystallization technique.

Polypurine-polypyrimidine sequences adopt unwound structure in pBR322 form V DNA as probed by single-hit analysis of HpaII sites.

Structure at the polypurine-polypyrimidine sequences flanking the HpaII sites (CCGG) in pBR322 form V DNA was probed employing single-hit analysis using HpaII restriction endonuclease. Reduced cleavage efficiency of HpaII sites flanked by polypurine-polypyrimidine sequences suggested that under high torsional stress these sequences adopt unwound structures rendering these sites insensitive to restriction enzyme cleavage. In addition to polypurine-polypyrimidine sequences. HpaII sites flanked by alternating purine-pyrimidine sequence, a potential motif of left handed Z-DNA, were also found to be resistant to HpaII cleavage. Results obtained from various studies implicating structure sensitivity of restriction endonucleases and methylases were compiled and a direct correlation was observed between the occurrence of altered sites in a domain and its G/C content in pBR322 form V DNA.

Higher twist and higher order contributions to the pion electromagnetic form factor

The O(m(pi)4/(m(u) + (d))2Q2) and O(alpha(S)2) corrections to the leading term of the perturbative QCD calculation of the pion electromagnetic form factor are examined numerically. Both sets of terms provide significant corrections for values of Q2 between 1 and 15 GeV2/c2.

Observation of asymmetry in U�I characteristics of contacts of the form metal 1�superconductor�metal 2

During experiments carried out to find out a suitable contact metal for electronic components based on high-T(c) superconductor films (Y-Ba-Cu-O), it is observed that there is an asymmetry in the U-I characteristics if the two contacts are made of different metals. The asymmetry is more pronounced if one of the contact metals is aluminium. The asymmetry is lowest if one of the contact metals is silver and the other gold.

Organometallics of diphosphazanes. Part 10. Dinuclear group 6 metal carbonyl complexes bridged by a cyclodiphosphazane in its cis or trans form

Mononuclear Group 6 metal tetracarbonyl complexes containing a cyclodiphosphazane ligand, [PhNP(OC(6)H(4)Me-p)](2) (L), have been used as synthons to prepare homo- and hetero-bimetallic complexes in which the cyclodiphosphazane bridges the two metal centres in its cis or trans isomeric forms. The dimolybdenum complex [Mo-2(eta(5)-C5H5)(2)(CO)(4)(mu-L)] has also been synthesized. The trends in P-31 NMR chemical shifts and the structural features as revealed by X-ray crystallography are discussed.

Design issues and caching strategies for CD-ROM based multimedia storage

CD-ROMs have proliferated as a distribution media for desktop machines for a large variety of multimedia applications (targeted for a single-user environment) like encyclopedias, magazines and games. With CD-ROM capacities up to 3 GB being available in the near future, they will form an integral part of Video on Demand (VoD) servers to store full-length movies and multimedia. In the first section of this paper we look at issues related to the single- user desktop environment. Since these multimedia applications are highly interactive in nature, we take a pragmatic approach, and have made a detailed study of the multimedia application behavior in terms of the I/O request patterns generated to the CD-ROM subsystem by tracing these patterns. We discuss prefetch buffer design and seek time characteristics in the context of the analysis of these traces. We also propose an adaptive main-memory hosted cache that receives caching hints from the application to reduce the latency when the user moves from one node of the hyper graph to another. In the second section we look at the use of CD-ROM in a VoD server and discuss the problem of scheduling multiple request streams and buffer management in this scenario. We adapt the C-SCAN (Circular SCAN) algorithm to suit the CD-ROM drive characteristics and prove that it is optimal in terms of buffer size management. We provide computationally inexpensive relations by which this algorithm can be implemented. We then propose an admission control algorithm which admits new request streams without disrupting the continuity of playback of the previous request streams. The algorithm also supports operations such as fast forward and replay. Finally, we discuss the problem of optimal placement of MPEG streams on CD-ROMs in the third section.

Implications of the recent high statistics determination of the pion electromagnetic form factor in the timelike region

The recently evaluated two-pion contribution to the muon g - 2 and the phase of the pion electromagnetic form factor in the elastic region, known from pi pi scattering by Fermi-Watson theorem, are exploited by analytic techniques for finding correlations between the coefficients of the Taylor expansion at t = 0 and the values of the form factor at several points in the spacelike region. We do not use specific parametrizations, and the results are fully independent of the unknown phase in the inelastic region. Using for instance, from recent determinations, < r(pi)(2)> = (0.435 +/- 0.005) fm(2) and F(-1.6 GeV2) = 0.243(-0.014)(+0.022), we obtain the allowed ranges 3.75 GeV-4 less than or similar to c less than or similar to 3.98 GeV-4 and 9.91 GeV-6 less than or similar to d less than or similar to 10.46 GeV-6 for the curvature and the next Taylor coefficient, with a strong correlation between them. We also predict a large region in the complex plane where the form factor cannot have zeros.