The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation

We study the computational complexity of problems that arise in abstract argumentation in the context of dynamic argumentation, minimal change, and aggregation. In particular, we consider the following problems where always an argumentation framework F and a small positive integer k are given. - The Repair problem asks whether a given set of arguments can be modified into an extension by at most k elementary changes (i.e., the extension is of distance k from the given set). - The Adjust problem asks whether a given extension can be modified by at most k elementary changes into an extension that contains a specified argument. - The Center problem asks whether, given two extensions of distance k, whether there is a "center" extension that is a distance at most (k-1) from both given extensions. We study these problems in the framework of parameterized complexity, and take the distance k as the parameter. Our results covers several different semantics, including admissible, complete, preferred, semi-stable and stable semantics

Fixed parameter tractable algorithms in combinatorial topology

To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an exponential-time enumeration. However, asymptotically most graphs do not result in any 3-manifold triangulation, which leads to significant "wasted time" in topological enumeration algorithms. Here we give a new algorithm to determine whether a given face pairing graph supports any 3-manifold triangulation, and show this to be fixed parameter tractable in the treewidth of the graph. We extend this result to a "meta-theorem" by defining a broad class of properties of triangulations, each with a corresponding fixed parameter tractable existence algorithm. We explicitly implement this algorithm in the most generic setting, and we identify heuristics that in practice are seen to mitigate the large constants that so often occur in parameterised complexity, highlighting the practicality of our techniques.Comment: 16 pages, 9 figure

Moderate Resolution Spectroscopy For The Space Infrared Telescope Facility (SIRTF)

A conceptual design for an infrared spectrometer capable of both low resolution (λ/Δ-λ = 50; 2.5-200 microns) and moderate resolution (1000; 4-200 microns) and moderate resolution (1000; 4-200 microns) has been developed. This facility instrument will permit the spectroscopic study in the infrared of objects ranging from within the solar system to distant galaxies. The spectroscopic capability provided by this instrument for SIRTF will give astronomers orders of magnitude greater sensitivity for the study of faint objects than had been previously available. The low resolution mode will enable detailed studies of the continuum radiation. The moderate resolution mode of the instrument will permit studies of a wide range of problems, from the infrared spectral signatures of small outer solar system bodies such as Pluto and the satellites of the giant planets, to investigations of more luminous active galaxies and QS0s at substantially greater distances. A simple design concept has been developed for the spectrometer which supports the science investigation with practical cryogenic engineering. Operational flexibility is preserved with a minimum number of mechanisms. The five modules share a common aperture, and all gratings share a single scan mechanism. High reliability is achieved through use of flight-proven hardware concepts and redundancy. The design controls the heat load into the SIRTF cryogen, with all heat sources other than the detectors operating at 7K and isolated from the 4K cold station. Two-dimensional area detector arrays are used in the 2.5-120μm bands to simultaneously monitor adjacent regions in extended objects and to measure the background near point sources

Acetic Acid Aldol Reactions in the Presence of Trimethylsilyl Trifluoromethanesulfonate

In the presence of TMSOTf and a trialkylamine base, acetic acid undergoes aldol addition to non-enolizable aldehydes under exceptionally mild conditions. Acidic workup yields the β-hydroxy carboxylic acid. The reaction appears to proceed via a three-step, one-pot process, including in situ trimethylsilyl ester formation, bis-silyl ketene acetal formation, and TMSOTf-catalyzed Mukaiyama aldol addition. Independently synthesized TMSOAc also undergoes aldol additions under similar conditions

Buttressing staples with cholecyst-derived extracellular matrix (CEM) reinforces staple lines in an ex vivo peristaltic inflation model

This is the author's accepted manuscript. The final published article is available from the link below. Copyright @ Springer Science + Business Media, LLC 2008Background - Staple line leakage and bleeding are the most common problems associated with the use of surgical staplers for gastrointestinal resection and anastomotic procedures. These complications can be reduced by reinforcing the staple lines with buttressing materials. The current study reports the potential use of cholecyst-derived extracellular matrix (CEM) in non-crosslinked (NCEM) and crosslinked (XCEM) forms, and compares their mechanical performance with clinically available buttress materials [small intestinal submucosa (SIS) and bovine pericardium (BP)] in an ex vivo small intestine model. Methods - Three crosslinked CEM variants (XCEM0005, XCEM001, and XCEM0033) with different degree of crosslinking were produced. An ex vivo peristaltic inflation model was established. Porcine small intestine segments were stapled on one end, using buttressed or non-buttressed surgical staplers. The opened, non-stapled ends were connected to a peristaltic pump and pressure transducer and sealed. The staple lines were then exposed to increased intraluminal pressure in a peristaltic manner. Both the leak and burst pressures of the test specimens were recorded. Results - The leak pressures observed for non-crosslinked NCEM (137.8 ± 22.3 mmHg), crosslinked XCEM0005 (109.1 ± 14.1 mmHg), XCEM001 (150.1 ± 16.0 mmHg), XCEM0033 (98.8 ± 10.5 mmHg) reinforced staple lines were significantly higher when compared to non-buttressed control (28.3 ± 10.8 mmHg) and SIS (one and four layers) (62.6 ± 11.8 and 57.6 ± 12.3 mmHg, respectively) buttressed staple lines. NCEM and XCEM were comparable to that observed for BP buttressed staple lines (138.8 ± 3.6 mmHg). Only specimens with reinforced staple lines were able to achieve high intraluminal pressures (ruptured at the intestinal mesentery), indicating that buttress reinforcements were able to withstand pressure higher than that of natural tissue (physiological failure). Conclusions - These findings suggest that the use of CEM and XCEM as buttressing materials is associated with reinforced staple lines and increased leak pressures when compared to non-buttressed staple lines. CEM and XCEM were found to perform comparably with clinically available buttress materials in this ex vivo model.Enterprise Irelan

Simultaneous Water Vapor and Dry Air Optical Path Length Measurements and Compensation with the Large Binocular Telescope Interferometer

The Large Binocular Telescope Interferometer uses a near-infrared camera to measure the optical path length variations between the two AO-corrected apertures and provide high-angular resolution observations for all its science channels (1.5-13 $\mu$m). There is however a wavelength dependent component to the atmospheric turbulence, which can introduce optical path length errors when observing at a wavelength different from that of the fringe sensing camera. Water vapor in particular is highly dispersive and its effect must be taken into account for high-precision infrared interferometric observations as described previously for VLTI/MIDI or the Keck Interferometer Nuller. In this paper, we describe the new sensing approach that has been developed at the LBT to measure and monitor the optical path length fluctuations due to dry air and water vapor separately. After reviewing the current performance of the system for dry air seeing compensation, we present simultaneous H-, K-, and N-band observations that illustrate the feasibility of our feedforward approach to stabilize the path length fluctuations seen by the LBTI nuller.Comment: SPIE conference proceeding

STS in management education: connecting theory and practice

This paper explores the value of science and technology studies (STS) to management education. The work draws on an ethnographic study of second year management undergraduates studying decision making. The nature and delivery of the decision making module is outlined and the value of STS is demonstrated in terms of both teaching method and module content. Three particular STS contributions are identified and described: the social construction of technological systems; actor network theory; and ontological politics. Affordances and sensibilities are identified for each contribution and a discussion is developed that illustrates how these versions of STS are put to use in management education. It is concluded that STS has a pivotal role to play in critical management (education) and in the process offers opportunities for new forms of managin

Exoplanet science with the LBTI: instrument status and plans

The Large Binocular Telescope Interferometer (LBTI) is a strategic instrument of the LBT designed for high-sensitivity, high-contrast, and high-resolution infrared (1.5-13 $\mu$m) imaging of nearby planetary systems. To carry out a wide range of high-spatial resolution observations, it can combine the two AO-corrected 8.4-m apertures of the LBT in various ways including direct (non-interferometric) imaging, coronagraphy (APP and AGPM), Fizeau imaging, non-redundant aperture masking, and nulling interferometry. It also has broadband, narrowband, and spectrally dispersed capabilities. In this paper, we review the performance of these modes in terms of exoplanet science capabilities and describe recent instrumental milestones such as first-light Fizeau images (with the angular resolution of an equivalent 22.8-m telescope) and deep interferometric nulling observations.Comment: 12 pages, 6 figures, Proc. SPI