30,856 research outputs found
Strongly Normalizing Audited Computation
Full text linkAuditing is an increasingly important operation for computer programming, for example in security (e.g. to enable history-based access control) and to enable reproducibility and accountability (e.g. provenance in scientific programming). Most proposed auditing techniques are ad hoc or treat auditing as a second-class, extralinguistic operation; logical or semantic foundations for auditing are not yet well-established. Justification Logic (JL) offers one such foundation; Bavera and Bonelli introduced a computational interpretation of JL called that supports auditing. However, is technically complex and strong normalization was only established for special cases. In addition, we show that the equational theory of is inconsistent. We introduce a new calculus that is simpler than , consistent, and strongly normalizing. Our proof of strong normalization is formalized in Nominal Isabelle
The Study of the Helix-Coil Transition of Polyglutamic Acid in the Presence of the Cupric Ion
No full textSince Pauling and Corey (1) proposed the well ordered helix conformation of polyamino acids, great interest has been shown concerning their behavior in solvent systems. Doty et. al,, (2) in 1957 showed evidence that solvent conditions, including pH, could effect this helical structure. There was strong evidence that the helical structure, if its environment were changed enough, would undergo a conformational change to a random coil, the random coil being a considerably less ordered structure. It was evident that when this conformational change took place, the physical properties of this system also changed. | It is an interesting study in itself to examine and evaluate the different methods of measuring or observing this helix-coil transition. Probably the most obvious indication of the conformational change is the viscosity. (2) While this physical property shows the transition well, it does not enable one to calculate what percent of the total number of polymer residues is involved in the helix, and what part is involved in the coil. Such a method was proposed (3), however, which correlates the helix content with the optical rotatory dispersion (ORD). At the present time, the ORD method is taken as the standard procedure for determining helix content. By use of the ORD, the percent helicity has been related to other physical properties and their changes for systems undergoing the transition.ProQuest Traditional Publishing Optio
Strongly Normalizing Higher-Order Relational Queries
Full text linkLanguage-integrated query is a powerful programming construct allowing database queries and ordinary program code to interoperate seamlessly and safely. Language-integrated query techniques rely on classical results about monadic comprehension calculi, including the conservativity theorem for nested relational calculus. Conservativity implies that query expressions can freely use nesting and unnesting, yet as long as the query result type is a flat relation, these capabilities do not lead to an increase in expressiveness over flat relational queries. Wong showed how such queries can be translated to SQL via a constructive rewriting algorithm, and Cooper and others advocated higher-order nested relational calculi as a basis for language-integrated queries in functional languages such as Links and F#. However there is no published proof of the central strong normalization property for higher-order nested relational queries: a previous proof attempt does not deal correctly with rewrite rules that duplicate subterms. This paper fills the gap in the literature, explaining the difficulty with a previous proof attempt, and showing how to extend the ⊤⊤-lifting approach of Lindley and Stark to accommodate duplicating rewrites. We also sketch how to extend the proof to a recently-introduced calculus for heterogeneous queries mixing set and multiset semantics
Cheney Sentinel, February 28,1897
No full textThe Cheney Sentinel was published by D.H. Stewart and George W. Stewart as of 1888. According to Orin Oliphant\u27s collection Sources of the History of Cheney, Washington , the newspaper started in 1882. It started as a weekly and was briefly turned into a daily in 1886 under the management of a Mr. Spencer. Spencer relinquished ownership in 1887. In 1890, the newspaper merged with the Cheney Enterprise under the ownership of James Fitzgerald.https://dc.ewu.edu/cheney_sentinel/1155/thumbnail.jp
Cheney Sentinel, August 10, 1900
No full textThe Cheney Sentinel was published by D.H. Stewart and George W. Stewart as of 1888. According to Orin Oliphant\u27s collection Sources of the History of Cheney, Washington , the newspaper started in 1882. It started as a weekly and was briefly turned into a daily in 1886 under the management of a Mr. Spencer. Spencer relinquished ownership in 1887. In 1890, the newspaper merged with the Cheney Enterprise under the ownership of James Fitzgerald.https://dc.ewu.edu/cheney_sentinel/1235/thumbnail.jp
Cheney Sentinel, October 26, 1900
No full textThe Cheney Sentinel was published by D.H. Stewart and George W. Stewart as of 1888. According to Orin Oliphant\u27s collection Sources of the History of Cheney, Washington , the newspaper started in 1882. It started as a weekly and was briefly turned into a daily in 1886 under the management of a Mr. Spencer. Spencer relinquished ownership in 1887. In 1890, the newspaper merged with the Cheney Enterprise under the ownership of James Fitzgerald.https://dc.ewu.edu/cheney_sentinel/1246/thumbnail.jp
Cheney Sentinel, December 7, 1900
No full textThe Cheney Sentinel was published by D.H. Stewart and George W. Stewart as of 1888. According to Orin Oliphant\u27s collection Sources of the History of Cheney, Washington , the newspaper started in 1882. It started as a weekly and was briefly turned into a daily in 1886 under the management of a Mr. Spencer. Spencer relinquished ownership in 1887. In 1890, the newspaper merged with the Cheney Enterprise under the ownership of James Fitzgerald.https://dc.ewu.edu/cheney_sentinel/1251/thumbnail.jp
Cheney Sentinel, April 4, 1902
No full textThe Cheney Sentinel was published by D.H. Stewart and George W. Stewart as of 1888. According to Orin Oliphant\u27s collection Sources of the History of Cheney, Washington , the newspaper started in 1882. It started as a weekly and was briefly turned into a daily in 1886 under the management of a Mr. Spencer. Spencer relinquished ownership in 1887. In 1890, the newspaper merged with the Cheney Enterprise under the ownership of James Fitzgerald.https://dc.ewu.edu/cheney_sentinel/1256/thumbnail.jp
Cheney Sentinel, June 21, 1902
No full textThe Cheney Sentinel was published by D.H. Stewart and George W. Stewart as of 1888. According to Orin Oliphant\u27s collection Sources of the History of Cheney, Washington , the newspaper started in 1882. It started as a weekly and was briefly turned into a daily in 1886 under the management of a Mr. Spencer. Spencer relinquished ownership in 1887. In 1890, the newspaper merged with the Cheney Enterprise under the ownership of James Fitzgerald.https://dc.ewu.edu/cheney_sentinel/1268/thumbnail.jp
Cheney Sentinel, February 10, 1899
No full textThe Cheney Sentinel was published by D.H. Stewart and George W. Stewart as of 1888. According to Orin Oliphant\u27s collection Sources of the History of Cheney, Washington , the newspaper started in 1882. It started as a weekly and was briefly turned into a daily in 1886 under the management of a Mr. Spencer. Spencer relinquished ownership in 1887. In 1890, the newspaper merged with the Cheney Enterprise under the ownership of James Fitzgerald.https://dc.ewu.edu/cheney_sentinel/1176/thumbnail.jp
- …
