Artifacts in the Raymond Powell Collection from East Texas

In March 2010, Raymond Powell of Mansfield, Louisiana, allowed the examination and photographic documentation of several artifacts in his possession. The specimens were given to him approximately 60 years ago by a friend who reportedly excavated them from a burial located in either Cass County or Titus County in East Texas. The collection consists of six ceramic vessels and three stone artifacts. The vessels appear to relate to both the Late Caddo Titus phase (ca. A.D. 1430-1680) as well as to contemporaneous sites in Bowie and Cass counties on the Red River near the Great Bend area, and the lower Sulphur River, that have been associated with the Nasoni Caddo

Unification and Logarithmic Space

We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof theory and more specifically linear logic and Geometry of Interaction. We show how unification can be used to build a model of computation by means of specific subalgebras associated to finite permutations groups. We then prove that whether an observation (the algebraic counterpart of a program) accepts a word can be decided within logarithmic space. We also show that the construction can naturally represent pointer machines, an intuitive way of understanding logarithmic space computing

Title IX Effectiveness at American Universities

The purpose of this research is to contribute to and improve existing university knowledge of the effectiveness of the University Title IX reporting process. After discussing experiences with Title IX with students at ERAU, it is apparent that there is a negative connotation among university students with this program. This research will build off of the research completed last year in which ERAU Title IX processes were compared to that of Occidental College and CalTech. This research aims to provide clarity to Title IX offices at the University to aid in successfully adapting their program to the needs of the students reporting Title IX cases by using policies from other universities to identify best practices. This research will also make information about Title IX on the ERAU campus more accessible through programs aimed at the freshman and resident student communities through the Housing and Residence Life Department. POSTER PRESENTATION IGNITE AWAR

Subjective experience of episodic memory and metacognition: a neurodevelopmental approach.

Episodic retrieval is characterized by the subjective experience of remembering. This experience enables the co-ordination of memory retrieval processes and can be acted on metacognitively. In successful retrieval, the feeling of remembering may be accompanied by recall of important contextual information. On the other hand, when people fail (or struggle) to retrieve information, other feelings, thoughts, and information may come to mind. In this review, we examine the subjective and metacognitive basis of episodic memory function from a neurodevelopmental perspective, looking at recollection paradigms (such as source memory, and the report of recollective experience) and metacognitive paradigms such as the feeling of knowing). We start by considering healthy development, and provide a brief review of the development of episodic memory, with a particular focus on the ability of children to report first-person experiences of remembering. We then consider neurodevelopmental disorders (NDDs) such as amnesia acquired in infancy, autism, Williams syndrome, Down syndrome, or 22q11.2 deletion syndrome. This review shows that different episodic processes develop at different rates, and that across a broad set of different NDDs there are various types of episodic memory impairment, each with possibly a different character. This literature is in agreement with the idea that episodic memory is a multifaceted process

A Logical Product Approach to Zonotope Intersection

We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron domain. While abstract transfer functions are still rather inexpensive and accurate even for interpreting non-linear computations, we are able to also interpret tests (i.e. intersections) efficiently. This fixes a known drawback of zonotopic methods, as used for reachability analysis for hybrid sys- tems as well as for invariant generation in abstract interpretation: intersection of zonotopes are not always zonotopes, and there is not even a best zonotopic over-approximation of the intersection. We describe some examples and an im- plementation of our method in the APRON library, and discuss some further in- teresting combinations of zonotopes with non-linear or non-convex domains such as quadratic templates and maxplus polyhedra

Time-dependent photoionization of azulene: Competition between ionization and relaxation in highly excited states

Pump-probe photoionization has been used to map the relaxation processes taking place from highly vibrationally excited levels of the S2 state of azulene, populated directly or via internal conversion from the S4 state. Photoelectron spectra obtained by 1+2’ two-color time-resolved photoelectron imaging are invariant (apart from in intensity) to the pump-probe time delay and to pump wavelength. This reveals a photoionization process which is driven by an unstable electronic state (e.g. doubly excited state) lying below the ionization potential. This state is postulated to be populated by a probe transition from S2 and to rapidly relax via an Auger like process onto highly vibrationally excited Rydberg states. This accounts for the time invariance of the photoelectron spectrum. The intensity of the photoelectron spectrum is proportional to the population in S2. An exponential energy gap law is used to describe the internal conversion rate from S2 to S0. The vibronic coupling strength is found to be larger than 60±5 μeV

Assessment of wind power predictability as a decision factor in the investment phase of wind farms

International audienceThe ability to predict wind power production over the next few hours to days is prerequisites for the secure and economic operation of power systems with high wind power penetration. From the point of view of a producer participating in the day-ahead electricity market, lack of predictability at a wind power production site results in imbalance costs. This paper aims at quantifying the impact on market revenue of, respectively, the predictability and the capacity factor of a wind farm or a cluster of wind farms. This is done through a real-life case study in West Denmark, including wind farm production data and market data. Finally, we make a prospective analysis under the assumption that the imbalance price settlement mechanism will remain the sam

Lazy Abstraction-Based Controller Synthesis

We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-layered ABCS pre-computes multiple finite-state abstractions of varying granularity and applies reactive synthesis to the coarsest abstraction whenever feasible, but adaptively considers finer abstractions when necessary. Lazy ABCS improves this technique by constructing abstractions on demand. Our insight is that the abstract transition relation only needs to be locally computed for a small set of frontier states at the precision currently required by the synthesis algorithm. We show that lazy ABCS can significantly outperform previous multi-layered ABCS algorithms: on standard benchmarks, lazy ABCS is more than 4 times faster