Physical Sciences and Mathematics Commons^™

Usa: Wolf Connection And Inclusive, Safe Spaces For All, Patrick Fuery, Kelli Fuery

CCI Books and Book Chapters

"Wolf Connection is a wolf sanctuary located on the outskirts of a rural town, Acton, California, nestled in the Angeles National Forest. The sanctuary consists of 165 acres of stunning woodland and high desert mountains, including a year-round stream. It is located within a one-hour drive from Los Angeles. Wolf Connection runs a series of programmes based around issues of mental health, addressing social and economic inequality, and providing strategies for resilience and well-being. Wolf Connection identifies the following as its core business activities: Providing Animal Rescue and Wildlife Preservation; At-Risk Youth Education and Empowerment; Community Empowerment; and Environmental Awareness …

Extreme Development Of Dragon Fruit Agriculture With Nighttime Lighting In Southern Vietnam, Shenyue Jia, Son V. Nghiem, Seung-Hee Kim, Laura Krauser, Andrea E. Gaughan, Forest R. Stevens, Menas Kafatos, Khanh D. Ngo

Institute for ECHO Faculty Books and Book Chapters

Dragon fruit is widely grown in Southeast Asia and other tropical or subtropical regions. As a high-value cash crop ideal for exportation, dragon fruit cultivation has boomed during the past decade in southern Vietnam. Light supplementing during the winter months using artificial lighting sources is a widely adopted cultivation technique to boost productivity in the major dragon fruit planting regions of Vietnam. The application of electric lighting at night leads to a significant increase of nighttime light (NTL) observable by satellite sensors. The strong seasonality signal of NTL in dragon fruit cultivation enables identifying dragon fruit plantations using NTL images. …

On The Representation Of Boolean Magmas And Boolean Semilattices, Peter Jipsen, M. Eyad Kurd-Misto, James Wimberley

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

A magma is an algebra with a binary operation ·, and a Boolean magma is a Boolean algebra with an additional binary operation · that distributes over all finite Boolean joins. We prove that all square-increasing (x ≤ x²) Boolean magmas are embedded in complex algebras of idempotent (x = x²) magmas. This solves a problem in a recent paper [3] by C. Bergman. Similar results are shown to hold for commutative Boolean magmas with an identity element and a unary inverse operation, or with any combination of these properties.

A Boolean semilattice is …

Data For "Subtype-Selective Positive Modulation Of Sk Channels Depends On The Ha/Hb Helices", Miao Zhang, Meng Cui

Pharmacy Faculty Data Sets

In the activated state of small-conductance Ca²⁺-activated potassium (SK) channels, calmodulin interacts with the HA/HB helices and the S4-S5 linker. CyPPA potentiates SK2a and SK3 channel activity but not the SK1 and IK subtypes. Here, we report that the subtype-selectivity of CyPPA relies on the HA/HB helices. Mutating residues in the HA (V420) and HB (K467) helices of SK2a channels to their equivalent residues in IK channels diminished the potency of CyPPA. CyPPA elicited prominent responses on mutant IK channels with an arginine residue in the HB helix substituted for its equivalent lysine residue in the SK2a channels …

Commutative Doubly-Idempotent Semirings Determined By Chains And By Preorder Forests, Natanael Alpay, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

A commutative doubly-idempotent semiring (cdi-semiring) (S,V,·,0,1) is a semilattice (S,V,0) with x V 0 = x and a semilattices (S,·,1) with identity 1 such that x0 = 0, and x(y V z) = xy V xz holds for all x, y, z ϵ S. Bounded distributive lattices are cdi-semirings that satisfy xy = x ^ y, and the variety of cdi-semirings covers the variety of bounded distributive lattices. Chajda and Länger showed in 2017 that the variety of all cdi-semirings is generated by a 3-element cdi-semiring. We show that there are seven cdi-semirings with a V-semilattice of height …

Weakening Relation Algebras And Fl2-Algebras, Nikolaos Galatos, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

FL²-algebras are lattice-ordered algebras with two sets of residuated operators. The classes RA of relation algebras and GBI of generalized bunched implication algebras are subvarieties of FL²-algebras. We prove that the congruences of FL²-algebras are determined by the congruence class of the respective identity elements, and we characterize the subsets that correspond to this congruence class. For involutive GBI-algebras the characterization simplifies to a form similar to relation algebras.

For a positive idempotent element p in a relation algebra A, the double division conucleus image p/A/p is an (abstract) weakening relation algebra, …

Foreword To Relativizing Newton, Vernon L. Smith

Economics Faculty Books and Book Chapters

A foreword to Ramzi Suleiman's book Relativizing Newton.

Logics For Rough Concept Analysis, Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and subformula property. These calculi modularly extend the multi-type calculi for rough algebras to a ‘nondistributive’ (i.e. general lattice-based) setting.

Forcing Optimality And Brandt's Principle, Domenico Napoletani, Marco Panza, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

We argue that many optimization methods can be viewed as representatives of “forcing”, a methodological approach that attempts to bridge the gap between data and mathematics on the basis of an a priori trust in the power of a mathematical technique, even when detailed, credible models of a phenomenon are lacking or do not justify the use of this technique. In particular, we show that forcing is implied in particle swarms optimization methods, and in modeling image processing problems through optimization. From these considerations, we extrapolate a principle for general data analysis methods, what we call ‘Brandt’s principle’, namely the …

"Probing The Transition State Region In Catalytic Co Oxidation On Ru" Data Files, H. Öström, H. Öberg, H. Xin, Jerry L. Larue, M. Beye, M. Dell'angela, J. Gladh, M. L. Ng, J. A. Sellberg, S. Kaya, G. Mercurio, D. Nordlund, W. F. Schlotter, A. Föhlisch, M. Wolf, W. Wurth, M. Persson, J. K. Nørskov, F. Abild-Pedersen, H. Ogasawara, L. G. M. Pettersson, A. Nilsson

Biology, Chemistry, and Environmental Sciences Faculty Data Sets

Femtosecond x-ray laser pulses are used to probe the CO oxidation reaction on Ru initiated by an optical laser pulse. On a timescale of a few hundred femtoseconds, the optical laser pulse excites motions of CO and O on the surface allowing the reactants to collide and, with a transient close to a picosecond (ps), new electronic states appear in the O K-edge x-ray absorption spectrum. Density functional theory calculations indicate that these result from changes in the adsorption site and bond-formation between CO and O with a distribution of OC—O bond lengths close to the transition state (TS). After …

Preface To "Intertwingled: The Work And Influence Of Ted Nelson", Douglas R. Dechow, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

This is the preface to "Intertwingled: The Work and Influence of Ted Nelson", which examines and honors the work and influence of the computer visionary and re-imagines its meaning for the future. Emerging from a conference held in 2014 at Chapman University, it includes contributions from world-renowned computer scientists and media figures.

The full text of this book is available on an open access basis at Springer.

The blog for the Intertwingled Conference can be read here.

Using Mapreduce Streaming For Distributed Life Simulation On The Cloud, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Distributed software simulations are indispensable in the study of large-scale life models but often require the use of technically complex lower-level distributed computing frameworks, such as MPI. We propose to overcome the complexity challenge by applying the emerging MapReduce (MR) model to distributed life simulations and by running such simulations on the cloud. Technically, we design optimized MR streaming algorithms for discrete and continuous versions of Conway’s life according to a general MR streaming pattern. We chose life because it is simple enough as a testbed for MR’s applicability to a-life simulations and general enough to make our results applicable …

Distributed Simulated Annealing With Mapreduce, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Simulated annealing’s high computational intensity has stimulated researchers to experiment with various parallel and distributed simulated annealing algorithms for shared memory, message-passing, and hybrid-parallel platforms. MapReduce is an emerging distributed computing framework for large-scale data processing on clusters of commodity servers; to our knowledge, MapReduce has not been used for simulated annealing yet. In this paper, we investigate the applicability of MapReduce to distributed simulated annealing in general, and to the TSP in particular. We (i) design six algorithmic patterns of distributed simulated annealing with MapReduce, (ii) instantiate the patterns into MR implementations to solve a sample TSP problem, and …

Melting Of Major Glaciers In Himalayas: Role Of Desert Dust And Anthropogenic Aerosols, Anup K. Prasad, Hesham El-Askary, Ghassem R. Asrar, Menas Kafatos, Ashok Jaswal

Biology, Chemistry, and Environmental Sciences Faculty Books and Book Chapters

The Himalayan and Tibet Glaciers, that are among the largest bodies of ice and fresh water resource outside of the polar ice caps, face a significant threat of accelerated meltdown in coming decades due to climate variability and change. The rate of retreat of these glaciers and changes in their terminus (frontal dynamics) is highly variable across the Himalayan range. These large freshwater sources are critical to human activities for food production, human consumption and a whole host of other applications, especially over the Indo-Gangetic (IG) plains. They are also situated in a geo-politically sensitive area surrounded by China, India, …

Analyzing Black Cloud Dynamics Over Cairo, Nile Delta Region And Alexandria Using Aerosols And Water Vapor Data, Hesham El-Askary, Anup K. Prasad, George Kallos, Mohamed El Raey, Menas Kafatos

Biology, Chemistry, and Environmental Sciences Faculty Books and Book Chapters

Cairo is the largest city of Africa and one of the world’s megacities, with a population of more than 20 million people and containing more than one third of the national industry. It is a rapidly expanding city which leads to many associated environmental problems. As a result, it is also one of the most air polluted megacities in the world (Molina and Molina, 2004). It suffers from high ambient concentrations of atmospheric pollutants including particulates (PM), carbon monoxide, nitrogen oxides, ozone and sulfur dioxide (Abu-Allaban et al., 2007, Abu-Allaban et al., 2002, El-Metwally et …

Shared Memory, Message Passing, And Hybrid Merge Sorts For Standalone And Clustered Smps, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

While merge sort is well-understood in parallel algorithms theory, relatively little is known of how to implement parallel merge sort with mainstream parallel programming platforms, such as OpenMP and MPI, and run it on mainstream SMP-based systems, such as multi-core computers and multi-core clusters. This is misfortunate because merge sort is not only a fast and stable sort algorithm, but it is also an easy to understand and popular representative of the rich class of divide-and-conquer methods; hence better understanding of merge sort parallelization can contribute to better understanding of divide-and-conquer parallelization in general. In this paper, we investigate three …

Digital Cs1 Study Pack Based On Moodle And Python, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

We believe that CS1 courses can be made more attractive to students:

• by teaching a highly interactive scripting language – Python
• by using an open source course management system - such as Moodle - to make all course resources available in a comprehensive digital study pack, and
• by offering detailed self-guided online labs

We have used Moodle [1] and Python [2] to develop a "Python First" digital study pack [3] which comprises a wealth of new, original learning modules: extensive e-texts, detailed self-guided labs, numerous sample programs, quizzes, and slides. Our digital study pack pedagogy is described in recent ITiCSE …

Direct Observation Of Phase Transition Dynamics In Suspensions Of Soft Colloidal Hydrogel Particles, Jae Kyu Cho, Zhiyong Meng, L. Andrew Lyon, Victor Breedveld

Biology, Chemistry, and Environmental Sciences Faculty Books and Book Chapters

Due to the tunability of their softness and volume as a function of temperature, poly(N-isopropylacrylamide) (pNIPAm) hydrogel particles have emerged as a model system for soft colloidal spheres. By introducing AAc as comonomer, one can also tune the particle volume via pH. We report on the phase behavior of these stimuli-responsive colloids as measured with a microdialysis cell. This device, which integrates microfluidics with Particle Tracking Video-microscopy allows for simple and quick investigation of the phase behavior of suspensions the soft colloidal hydrogel as a function of pH as well as its packing density. In particular, we demonstrate the existence …

Application Of Microgels For Optical Tagging, J. Michael Carthcart, L. Andrew Lyon, Marcus Weck, Robert D. Bock

Biology, Chemistry, and Environmental Sciences Faculty Books and Book Chapters

In this paper we present results from our research into the use of microgel-based photonic crystals in an optical tagging application. The basis for this research is the phenomena of self-assembly of hydrogel nano- and microparticles (i.e., microgels) into colloidal crystal Bragg reflectors. Previous research has demonstrated the assembly of Bragg structures that are sensitive in the visible spectral region. This current research focuses on the extension of this process into the infrared regime and the use of these infrared-sensitive structures in the creation of an optical tag. In particular, the research effort emphasizes two primary areas: the development of …

Derivation Of Secure Parallel Applications By Means Of Module Embedding, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.

The Non-Local Universe: The New Physics And Matters Of The Mind, Robert Nadeau, Menas Kafatos

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Classical physics states that physical reality is local, or that a measurement at one point in space cannot cannot influence what occurs at another beyond a fairly short distance. Until recently this seemed like an immutable truth in nature. However, in 1997 experiments were conducted in which light particles (photons) originated under certain conditions and traveled in opposite directions to detectors located about seven miles apart. The amazing results indicated that the photons "interacted" or "communicated" with one another instantly or "in no time," leading to the revelation that physical reality is non-local--a discovery that Robert Nadeau and Menas Kafatos …

Parallel Probabilistic Computations On A Cluster Of Workstations, Atanas Radenski, Andrew Vann, Boyana Norris

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Probabilistic algorithms are computationally intensive approximate methods for solving intractable problems. Probabilistic algorithms are excellent candidates for cluster computations because they require little communication and synchronization. It is possible to specify a common parallel control structure as a generic algorithm for probabilistic cluster computations. Such a generic parallel algorithm can be glued together with domain-specific sequential algorithms in order to derive approximate parallel solutions for different intractable problems.

In this paper we propose a generic algorithm for probabilistic computations on a cluster of workstations. We use this generic algorithm to derive specific parallel algorithms for two discrete optimization problems: the …

Development And Utilization Of Parallel Generic Algorithms For Scientific Computations, Atanas Radenski, Andrew Vann, Boyana Norris

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

We develop generic parallel algorithms as extensible modules that encapsulate related classes and parallel methods. Extensible modules define common parallel structures, such as meshes, pipelines, or master-server networks in problem-independent manner. Such modules can be extended with sequential domain-specific code in order to derive particular parallel applications. In this paper, we first outline the essence of extensible modules. Then, we focus on a case study of the cellular automaton, a message-parallel generic algorithm from which we derive diverse parallel scientific applications.

Is Oberon As Simple As Possible?, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

The design of the programming language Oberon was led by the quote by Albert Einstein: 'make it as simple as possible, but not simpler'. The objective of this paper is to analyze some design solutions and propose alternatives which could both simplify and strengthen the language without making it simpler than possible. The paper introduces one general concept, the module type, which can be used to represent records, modules, and eventually procedures. Type extension is redefined in terms of component nesting and incomplete designators. As a result, type extension supports multiple inheritance.

Ci Cygni Since The 1980 Eclipse, R. E. Stencel, Andrew G. Michalitsianos, Menas Kafatos

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Following the 1980 eclipse of the 855 day period symbiotic binary CI Cyg, we were confronted with a data set showing high excitation resonance lines which were largely uneclipsed but brightening on an orbital timescale, and intercombination lines exhibiting pronounced but nontotal eclipses and which were fading on an orbital timescale. Our model invoked a low density dissipating nebula surrounding the hot companion to explain the intercombination lines, and a shock between stellar winds to interpret the resonance lines. Subsequent synoptic observations have revealed continuing changes in the W emission line fluxes, consistent with those described above, except for the …

Observations And Analysis Of The Aquarii Jet, Menas Kafatos, Andrew G. Michalitsianos

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Ultraviolet, optical and radio observations of the symbiotic star R Aquarii are discussed in the light of the discovery of a bright radio and optical jet from this star. The star is probably a binary with a period of 44 years. The VLA maps of the jet reveal a protruding structure extending-10 arc sec from the central radio source with a position angle virtually identical to that of the optical jet observed at Lick. We interpret the observations of R Aqr as indicating the existence of an accretion disk around an unseen companion. The hot subdwarf has effective temperature ,(65,000 …

Uv Emission From The M1 Supergiant Tv Gem, Andrew G. Michalitsianos, Menas Kafatos

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Low and high dispersion ultraviolet spectra were obtained of the Ml supergiant TV Gem with IUE. Previous IUE observations of this late type supergiant revealed unexpected W continuum emission, perhaps arising from an early B companion. Low resolution spectra obtained approximately one year apart suggest that the strong Si I11 in-combination perhaps with 0 I at wavelengths % A1300 A varies considerably with time. Large variation the column density is required to explain these changes. Sporadic mass expulsion with mass loss rates dM/dt * 10-5 S y r - l from the M supergiant could lead to a dense circumstellar …

Preliminary Report On Iue Spectra Of Crab Nebula, K. Davidson, T. R. Gull, S. P. Maran, T. P. Stecher, Menas Kafatos, V. L. Trimble

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

The Crab Nebula is marginally observable with the IUE. Observations of the optically brightest filamentary regions, made with IUE in August 1979, show the C IV x1549, He II x1640, and C III] x1909 emission lines. The intensities of these lines have been compared with visual-wavelength data. It appears that carbon is not overabundant in the Crab; carbon/- oxygen is approximately "normal" oxygen is slightly scarcer than "normal" as a fraction of the total mass.

Iue Observations Of Two Late Type Stars Bx Mon (M4 + Pec) And Tv Gem (M1 Iab), Andrew G. Michalitsianos, R. W. Hobbs, Menas Kafatos

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

IUE observations of two late type stars BX Mon and TV Gem have been obtained that reveal the emission properties in the ultraviolet of subluminous companions. Analysis of the continuum emission observed from BX Mon suggests the companion is a middle A III star. High excitation emission lines observed between 1200 A and 2000 A (C IV, Si Ill], C III ) that generally do not typify emission observed in either late M type variables or A type stars are also detected. It is suggested that these strong high-excitation lines arise in a large volume of gas heated by non-radiation …

Ingress Observations Of The 1980 Eclipse Of The Symbiotic Star Ci Cygni, R. E. Stencel, Andrew G. Michalitsianos, Menas Kafatos, Alexander A. Boyarchuk

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

One of the major results from the IUE may prove to be the new knowledge gained by studies of the ultraviolet spectra of symbiotic stars. Symbiotics combine spectral features of a cool M giant-like photosphere with strong high excitation emission lines of nebular origin, superposed. An excellent pre-UV review has been given by Swings (i). The UV spectra are dominated by intense permitted and semi-forbidden emission lines and weak continua indicative of hot compact objects and accretion disks. Two symbiotics, AR Pay and CI Cyg are thought to be eclipsing binaries, and we have begun IUE observations during the predicted …