1,753 research outputs found
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 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 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
- …