Flaw Selection Strategies for Partial-Order Planning

Several recent studies have compared the relative efficiency of alternative flaw selection strategies for partial-order causal link (POCL) planning. We review this literature, and present new experimental results that generalize the earlier work and explain some of the discrepancies in it. In particular, we describe the Least-Cost Flaw Repair (LCFR) strategy developed and analyzed by Joslin and Pollack (1994), and compare it with other strategies, including Gerevini and Schubert's (1996) ZLIFO strategy. LCFR and ZLIFO make very different, and apparently conflicting claims about the most effective way to reduce search-space size in POCL planning. We resolve this conflict, arguing that much of the benefit that Gerevini and Schubert ascribe to the LIFO component of their ZLIFO strategy is better attributed to other causes. We show that for many problems, a strategy that combines least-cost flaw selection with the delay of separable threats will be effective in reducing search-space size, and will do so without excessive computational overhead. Although such a strategy thus provides a good default, we also show that certain domain characteristics may reduce its effectiveness.Comment: See http://www.jair.org/ for an online appendix and other files accompanying this articl

Nial and Nial-Based Composites Directionally Solidified by a Containerless Zone Process

A containerless electromagnetically levitated zone (CELZ) process has been used to directionally solidify NiAl and NiAl-based composites. The CELZ processing results in single crystal NiAl (HP-NiAl) having higher purity than commercially pure NiAl grown by a modified Bridgman process (CP-NiAl). The mechanical properties, specifically fracture toughness and creep strength, of the HP-NiAl are superior to binary CP-NiAl and are used as a base-line for comparison with the composite materials subsequently studied. Two-phase composite materials (NiAl-based eutectic alloys) show improvement in room temperature fracture toughness and 1200 to 1400 K creep strength over that of binary HP-NiAl. Metallic phase reinforcements produce the greatest improvement in fracture toughness, while intermetallic reinforcement produces the largest improvement in high temperature strength. Three-phase eutectic alloys and composite materials were identified and directionally solidified with the intent to combine the improvements observed in the two-phase alloys into one alloy. The room temperature fracture toughness and high temperature strength (in air) serve as the basis for comparison between all of the alloys. Finally, the composite materials are discussed in terms of dominant fracture mechanism observed by fractography

Active control of instabilities in laminar boundary-layer flow. Part 1: An overview

This paper (the first in a series) focuses on using active-control methods to maintain laminar flow in a region of the flow in which the natural instabilities, if left unattended, lead to turbulent flow. The authors review previous studies that examine wave cancellation (currently the most prominent method) and solve the unsteady, nonlinear Navier-Stokes equations to evaluate this method of controlling instabilities. It is definitely shown that instabilities are controlled by the linear summation of waves (i.e., wave cancellation). Although a mathematically complete method for controlling arbitrary instabilities has been developed (but not yet tested), the review, duplication, and physical explanation of previous studies are important steps for providing an independent verification of those studies, for establishing a framework for subsequent work which will involve automated transition control, and for detailing the phenomena by which the automated studies can be used to expand knowledge of flow control

DeWitt Wallace Library Annual Report 2013-2014

Summary of library and media services activities for 2013-201

Adversarial Stacked Auto-Encoders for Fair Representation Learning

Training machine learning models with the only accuracy as a final goal may promote prejudices and discriminatory behaviors embedded in the data. One solution is to learn latent representations that fulfill specific fairness metrics. Different types of learning methods are employed to map data into the fair representational space. The main purpose is to learn a latent representation of data that scores well on a fairness metric while maintaining the usability for the downstream task. In this paper, we propose a new fair representation learning approach that leverages different levels of representation of data to tighten the fairness bounds of the learned representation. Our results show that stacking different auto-encoders and enforcing fairness at different latent spaces result in an improvement of fairness compared to other existing approaches.Comment: ICML2021 ML4data Workshop Pape

Ground state study of simple atoms within a nano-scale box

Ground state energies for confined hydrogen (H) and helium (He) atoms, inside a penetrable/impenetrable compartment have been calculated using Diffusion Monte Carlo (DMC) method. Specifically, we have investigated spherical and ellipsoidal encompassing compartments of a few nanometer size. The potential is held fixed at a constant value on the surface of the compartment and beyond. The dependence of ground state energy on the geometrical characteristics of the compartment as well as the potential value on its surface has been thoroughly explored. In addition, we have investigated the cases where the nucleus location is off the geometrical centre of the compartment.Comment: 9 pages, 5 eps figures, Revte

Tbx20 Is Required in Mid-Gestation Cardiomyocytes and Plays a Central Role in Atrial Development.

RationaleMutations in the transcription factor TBX20 (T-box 20) are associated with congenital heart disease. Germline ablation of Tbx20 results in abnormal heart development and embryonic lethality by embryonic day 9.5. Because Tbx20 is expressed in multiple cell lineages required for myocardial development, including pharyngeal endoderm, cardiogenic mesoderm, endocardium, and myocardium, the cell type-specific requirement for TBX20 in early myocardial development remains to be explored.ObjectiveHere, we investigated roles of TBX20 in midgestation cardiomyocytes for heart development.Methods and resultsAblation of Tbx20 from developing cardiomyocytes using a doxycycline inducible cTnTCre transgene led to embryonic lethality. The circumference of developing ventricular and atrial chambers, and in particular that of prospective left atrium, was significantly reduced in Tbx20 conditional knockout mutants. Cell cycle analysis demonstrated reduced proliferation of Tbx20 mutant cardiomyocytes and their arrest at the G1-S phase transition. Genome-wide transcriptome analysis of mutant cardiomyocytes revealed differential expression of multiple genes critical for cell cycle regulation. Moreover, atrial and ventricular gene programs seemed to be aberrantly regulated. Putative direct TBX20 targets were identified using TBX20 ChIP-Seq (chromatin immunoprecipitation with high throughput sequencing) from embryonic heart and included key cell cycle genes and atrial and ventricular specific genes. Notably, TBX20 bound a conserved enhancer for a gene key to atrial development and identity, COUP-TFII/Nr2f2 (chicken ovalbumin upstream promoter transcription factor 2/nuclear receptor subfamily 2, group F, member 2). This enhancer interacted with the NR2F2 promoter in human cardiomyocytes and conferred atrial specific gene expression in a transgenic mouse in a TBX20-dependent manner.ConclusionsMyocardial TBX20 directly regulates a subset of genes required for fetal cardiomyocyte proliferation, including those required for the G1-S transition. TBX20 also directly downregulates progenitor-specific genes and, in addition to regulating genes that specify chamber versus nonchamber myocardium, directly activates genes required for establishment or maintenance of atrial and ventricular identity. TBX20 plays a previously unappreciated key role in atrial development through direct regulation of an evolutionarily conserved COUPT-FII enhancer

Active Control of Boundary-Layer Instabilities: Use of Sensors and Spectral Controller

Full Navier-Stokes equations were conducted to determine the feasibility of automating the control of wave instabilities within a flat plate boundary layer with sensors, actuators, and a spectral controller. The results indicate that a measure of wave cancellation can be obtained for small and large amplitude instabilities without feedback; however, feedback is required to optimize the control amplitude and phase for exact wave cancellation