Physical Sciences and Mathematics Commons^™

Simple Epoxide Formation For The Organic Laboratory Using Oxone, John J. Esteb

Scholarship and Professional Work - LAS

We present an epoxide formation experiment for a second-semester organic chemistry laboratory. This oxidation utilizes Oxone, a commercially available oxidizing agent, in the industrially relevant process of epoxide formation. The oxidant performing the oxidation is dimethyldioxirane, which is formed in situ. This experiment demonstrates a simple synthesis of an epoxide and formation of a secondary oxidizing agent.

Cautionary Comments (Author Response), John J. Esteb, Anne M. Wilson

Scholarship and Professional Work - LAS

Reply to concerns about a safety factor in the paper, “A Solvent-Free Oxidation of Alcohols in an Organic Laboratory."

Arbitration And Litigation Of Employment Claims: An Empirical Comparison, Theodore Eisenberg, Elizabeth Hill

Cornell Law Faculty Publications

The authors conducted empirical research comparing court case and arbitrated outcomes for employment disputes. In cases not involving civil rights claims, they found little evidence that arbitrated outcomes materially differed from trial outcomes where the claimant was a higher-paid employee. Moreover, they found no statistically significant differences between employee win rates or in the median or mean awards in arbitration and litigation. They also reported evidence indicating that arbitrated disputes conclude more quickly than litigated disputes.

A Novel Tiq2-Assisted Solar Photocatalytic Batch-Process Disinfection Reactor For The Treatment Of Biological And Chemical Contaminants In Domestic Drinking Water In Developing Countries, E. F. Duffy, F. Al Touati, S. C. Kehoe, O. A. Mcloughlin, L. W. Gill, W. Gernjak, I. Oller, M. I. Maldonado, S. Malato, John Cassidy, R. H. Reed, K. G. Mcguigan

Articles

he technical feasibility and performance of photocatalytic Ti02 coatings in batch-process solar disinfection (SODIS) reactors to improve potability of drinking water in developing countries have been studied. Borosilicate glass and PET plastic SODIS reactors fitted with flexible plastic inserts coated with Ti02 powder were shown to be 2(Jt1o and 25% more effective, respectively, than standard SODIS reactors for the inactivation of E. coli K12. Isopropanol at 100 ppm concentration levels was observed to be completely photodegraded after 24 h continuous exposure to lOG mW/cm2 simulated sunlight in a similar solar photocatalytic disinfector (SPC-DIS) reactor. The technique for p roducing the …

When Are Behaviour Networks Well-Behaved?, Bernhard Nebel, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

Agents operating in the real world have to deal with a constantly changing and only partially predictable environment and are nevertheless expected to choose reasonable actions quickly. This problem is addressed by a number of action-selection mechanisms. Behaviour networks as proposed by Maes are one such mechanism, which is quite popular. In general, it seems not possible to predict when behaviour networks are well-behaved. However, they perform quite well in the robotic soccer context. In this paper, we analyse the reason for this success by identifying conditions that make behaviour networks goal converging, i.e., force them to reach the goals …

Automatic Compilation Of Protocol Insecurity Problems Into Logic Programming, Alessandro Armondo, Luca Compagna, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

In this paper we show how protocol insecurity problems expressed in a multi-set rewriting formalism can be automatically translated into logic programming problems. The proposed translation paves the way to the construction of model-checkers for security protocols based on state-of-the-art solvers for logic programs. We have assessed the effectiveness of the approach by running the proposed reduction against a selection of insecurity problems drawn from the Clark & Jacob library of security protocols: by running state-of-the-art solvers against the resulting logic programming problems most of the (known) attacks on the considered protocols are found in a few seconds.

Sat-Based Answer Set Programming, Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

Computer Science Faculty Proceedings & Presentations

The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boost of SAT solvers during last years. Various translations from ASP to SAT are known but the resulting SAT formula either includes many new variables or may have an unpractical size. There are also well known results showing a one-to-one correspondence between the answer sets of a logic program and the models of its completion. Unfortunately, these results only work for specific classes of problems. In this paper we present a SAT-based decision procedure for …

Cmodels-2: Sat-Based Answer Set Solver Enhanced To Non-Tight Programs, Yuliya Lierler, Marco Maratea

Computer Science Faculty Proceedings & Presentations

Answer set programming is a new programming paradigm proposed in [1] and [2], and based on the answer set semantics of Prolog [3]. It is well known that an answer set for a logic program is also a model of the program’s completion [4]. The converse is true when the logic program is “tight” [6, 5]. Lin and Zhao [7] showed that for non-tight programs the models of completion which do not correspond to answer sets can be eliminated by adding to the completion what they called “loop formulas”. Nevertheless, their solver ASSAT¹ has some disadvantages: it can work …

A Sat-Based Polynomial Space Algorithm For Answer Set Programming, Enrico Giunchiglia, Marco Maratea, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boost of SAT solvers during last years. Various translations from ASP to SAT are known but the resulting SAT formula either includes many new variables or may have an unpractical size. There are also well known results showing a one-to-one correspondence between the answer sets of a logic program and the models of its completion. Unfortunately, these results only work for specific classes of problems.

In this paper we present a SAT-Based decision procedure for …

Discontinuities In The Icebox Formation (Ordovician), Williston Basin, North Dakota And Montana, Aaron J. Ulishney

Theses and Dissertations

The Ordovician Winnipeg Group is composed of three formations; in ascending order, the Black Island Formation, the Icebox Formation, and the Roughlock Formation. The Icebox Formation is largely composed of shale. This work shows that discontinuities and coarser facies exist within the Icebox Formation and that they are traceable throughout the subsurface of North Dakota and eastern Montana. This work also illustrates possible sea-level changes during the deposition of the Icebox Formation along with probable source areas providing detrital sediments into the study area.

Gamma-ray wireline logs were used to distinguish the formations of the Winnipeg Group from each other, …

ข่าว & กิจกรรมสิ่งแวดล้อม

Thai Environment

No abstract provided.

แนะนำโครงการสถาบันฯ: Initial Environmental Examination (Iee) Of The Stung Russey Chrum Kandal Hydro Power Project, ทวีวงศ์ ศรีบุรี

Thai Environment

No abstract provided.

เทคโนโลยีชีวภาพกับการบำบัดสารเคมีอันตราย( ตอนจบ), เอกวัล ลือพร้อมชัย

Thai Environment

No abstract provided.

เมืองน่าอยู่กับหนูตัวน้อย, ระหัตร โรจนประดิษฐ์

Thai Environment

No abstract provided.

มลพิษทางอากาศกับสุขภาพประชาชน : กรณีเมืองเทลอาวีฟและแอฌดอด, กนกธร ดำรงวัฒน

Thai Environment

No abstract provided.

ขยะอิเล็กทรอนิกส์, สิริพร แก่นสียา

Thai Environment

No abstract provided.

วิทยาศาสตร์เทคโนโลยีที่รักษาสิ่งแวดล้อม พร้อมประหยัดพลังงาน, กนกธร ดำรงวัฒน

Thai Environment

No abstract provided.

พลังงานกับการขนส่ง, สิริพร แก่นสียา

Thai Environment

No abstract provided.

สิ่งแวดล้อมน่ารู้

Thai Environment

No abstract provided.

สร้างโลกสวย

Thai Environment

No abstract provided.

Inclusive Photoproduction Of Lepton Pairs In The Parton Model, A. Psaker

Physics Faculty Publications

In the framework of the QCD parton model, we study unpolarized scattering of high energy real photons from a proton target into lepton pairs and a system of hadrons. For a given parametrization of parton distributions in the proton, we calculate the cross section of this process and show the cancellation of the interference terms.

Complete Measurement Of Three-Body Photodisintegration Of 3He For Photon Energies Between 0.35 And 1.55 Gev, H. Bagdasaryan, M. Bektasoglu, K. V. Dharmawardane, G. E. Dodge, T. A. Forest, G. Gavalian, N. Guler, C. E. Hyde-Wright, A. Klein, S. E. Kuhn, L. M. Qin, S. Stepanyan, L. B. Weinstein, J. Yun, Et Al., The Clas Collaboration

Physics Faculty Publications

The three-body photodisintegration of ³He has been measured with the CLAS detector at Jefferson Lab, using tagged photons of energies between 0.35 GeV and 1.55 GeV. The large acceptance of the spectrometer allowed us for the first time to cover a wide momentum and angular range for the two outgoing protons. Three kinematic regions dominated by either two- or three-body contributions have been distinguished and analyzed. The measured cross sections have been compared with results of a theoretical model, which, in certain kinematic ranges, have been found to be in reasonable agreement with the data.

Hyperon Photoproduction In The Nucleon Resonance Region, K. V. Dharmawardane, G. E. Dodge, C. E. Hyde-Wright, S. E. Kuhn, L. M. Qin, L. B. Weinstein, J. Yun, Et Al., Clas Collaboration

Physics Faculty Publications

High-statistics cross sections and recoil polarizations for the reactions γ+p → K⁺+ Λ and γ+p→K⁺+ Σ⁰ have been measured at CLAS for center-of-mass energies between 1.6 and 2.3 GeV. In the K+Λ channel we confirm a resonance-like structure near W = 1.9 GeV at backward kaon angles. Our data show more complex s- and u- channel behavior than previously seen, since structure is also present at forward angles, but not at central angles. The position and width change with angle, indicating that more than one resonance is playing a role. Large positive Λ polarization at …

Measurement Of Beam-Spin Asymmetries For Π⁺ Electroproduction Above The Baryon Resonance Region, K. V. Dharmawardane, G. E. Dodge, C. E. Hyde-Wright, S. E. Kuhn, L. M. Qin, F. Sabatié, L. B. Weinstein, J. Yun, Et Al., Clas Collaboration

Physics Faculty Publications

We report the first evidence for a nonzero beam-spin azimuthal asymmetry in the electroproduction of positive pions in the deep-inelastic kinematic region. Data for the reaction e^→pe'π⁺X have been obtained using a polarized electron beam of 4.3 GeV with the CEBAF Large Acceptance Spectrometer at the Thomas Jefferson National Accelerator Facility. The amplitude of the sin ᵠ modulation increases with the momentum of the pion relative to the virtual photon, z. In the range z = 0.5-0.8 the average amplitude is 0.038 ± 0.005 ± 0.003 for a missing mass M_x > 1.1 GeV and 0.037 …

Scattering Of Shock Waves In Qcd, Ian Balitsky

Physics Faculty Publications

The cross section of heavy-ion collisions is represented as a double functional integral with the saddle point being the classical solution of the Yang-Mills equations with boundary conditions/sources in the form of two shock waves corresponding to the two colliding ions. I develop the expansion of this classical solution in powers of the commutator of the Wilson lines describing the colliding particles and calculate the first two terms of the expansion.

An Inventory And Condition Survey Of The Pilbara Region, Western Australia, A M E Van Vreeswyk, K A. Leighton, A L. Payne, P Hennig

Technical Bulletins

The inventory and condition survey of the Pilbara region, undertaken by the Department of Agriculture, Western Australia between 1995 and 1999, describes and maps the natural resources of the region’s pastoral leasehold land. This survey report provides a baseline record of the existence and condition of the natural area’s resources, to assist with the planning and implementation of land management practices. The report identified and described the condition of soils, landforms, vegetation, habitat, ecosystems, and declared plants and animals. It also assessed the impact of pastoralism and made land management recommendations. The area surveyed covers about 181 723 km². Seven …

Magnetic Properties Of A Sediment Core From Andvord Drift, Emily Youcha, Stefanie A. Brachfeld

Department of Earth and Environmental Studies Faculty Scholarship and Creative Works

No abstract provided.

Applications Of Stochastic Calculus To Finance, Scott Stelljes

UNF Graduate Theses and Dissertations

Stochastic Calculus has been applied to the problem of pricing financial derivatives since 1973 when Black and Scholes published their famous paper "The Pricing of Options and Corporate Liabilities" in the Joumal of Political Economy. The purpose of this thesis is to show the mathematical principles underlying the methods applied to finance and to present a new model of the stock price process.

As part of this paper, we present proofs of Ito's Formula and Girsanov's Theorem which are frequently used in financial applications. We demonstrate the application of these theorems to calculating the fair price of a European call …

Access Control In A Distributed Decentralized Network: An Xml Approach To Network Security Using Xacml And Saml, Paul J. Mazzuca

Dartmouth College Undergraduate Theses

The development of eXtensible Distributed Access Control (XDAC) systems is influenced by the transference of data access and storage from the local computer to the network. In this distributed system, access control is determined by independent components which transmit requests and decisions over a network, utilizing XML signing capabilities found in the Security Assertion Markup Language (SAML). All resources in the XDAC system are protected by the first component, a Policy Enforcement Point (PEP), which acts as the main divider between the requesting entity and the requested resource. The PEP grants access to a resource only if the second component, …

Magnetic Susceptibility For The Paleocene-Eocene Boundary: Correlation Among Three Egyptian Sections, Kelli Willson

Honors Theses

No abstract provided.