A first-in-human, randomized, controlled, subject- and reviewer-blinded multicenter study of Actamax™ Adhesion Barrier

Purpose: Post-surgical adhesions remain a significant concern following abdominopelvic surgery. This study was to assess safety, manageability and explore preliminary efficacy of applying a degradable hydrogel adhesion barrier to areas of surgical trauma following gynecologic laparoscopic abdominopelvic surgery. Methods: This first-in-human, prospective, randomized, multicenter, subject- and reviewer-blinded clinical study was conducted in 78 premenopausal women (18–46 years) wishing to maintain fertility and undergoing gynecologic laparoscopic abdominopelvic surgery with planned clinically indicated second-look laparoscopy (SLL) at 4–12 weeks. The first two patients of each surgeon received hydrogel, up to 30 mL sprayed over all sites of surgical trauma, and were assessed for safety and application only (n = 12). Subsequent subjects (n = 66) were randomized 1:1 to receive either hydrogel (Treatment, n = 35) or not (Control, n = 31); 63 completed the SLL. Results: No adverse event was assessed as serious, or possibly device related. None was severe or fatal. Adverse events were reported for 17 treated subjects (17/47, 36.2%) and 13 Controls (13/31, 41.9%). For 95.7% of treated subjects, surgeons found the device “easy” or “very easy” to use; in 54.5%, some residual material was evident at SLL. For 63 randomized subjects who completed the SLL, adjusted between-group difference in the change from baseline adhesion score demonstrated a 41.4% reduction for Treatment compared with Controls (p = 0.017), with a 49.5% reduction (p = 0.008) among myomectomy subjects (n = 34). Conclusion: Spray application of a degradable hydrogel adhesion barrier during gynecologic laparoscopic abdominopelvic surgery was performed easily and safely, without evidence of clinically significant adverse outcomes. Data suggest the hydrogel was effective in reducing postoperative adhesion development, particularly following myomectomy

An open extensible tool environment for Event-B

Abstract. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated theorem provers can discharge most of the onerous trivial proof obligations that appear when modelling systems. In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.

High-Energy Tests of Lorentz Invariance

We develop a perturbative framework with which to discuss departures from exact Lorentz invariance and explore their potentially observable ramifications. Tiny non-invariant terms introduced into the standard model Lagrangian are assumed to be renormalizable (dimension $\le 4$), invariant under $SU(3)\otimes SU(2)\otimes U(1)$ gauge transformations, and rotationally and translationally invariant in a preferred frame. There are a total of 46 independent TCP-even perturbations of this kind, all of which preserve anomaly cancellation. They define the energy-momentum eigenstates and their maximal attainable velocities in the high-energy limit. The effects of these perturbations increase rapidly with energy in the preferred frame, more rapidly than those of TCP-odd perturbations. Our analysis of Lorentz-violating kinematics reveals several striking new phenomena that are relevant both to cosmic-ray physics ({\it e.g.,} by undoing the GZK cutoff) and neutrino physics ({\it e.g.,} by generating novel types of neutrino oscillations). These may lead to new and sensitive high-energy tests of special relativity.Comment: 33 pages, uses harvmac. This 2nd revision corrects two typos, an error in the Appendix, and includes further acknowledgement

Single-machine scheduling with stepwise tardiness costs and release times

We study a scheduling problem that belongs to the yard operations component of the railroad planning problems, namely the hump sequencing problem. The scheduling problem is characterized as a single-machine problem with stepwise tardiness cost objectives. This is a new scheduling criterion which is also relevant in the context of traditional machine scheduling problems. We produce complexity results that characterize some cases of the problem as pseudo-polynomially solvable. For the difficult-to-solve cases of the problem, we develop mathematical programming formulations, and propose heuristic algorithms. We test the formulations and heuristic algorithms on randomly generated single-machine scheduling problems and real-life datasets for the hump sequencing problem. Our experiments show promising results for both sets of problems

A Comparison of Snow Depth on Sea Ice Retrievals Using Airborne Altimeters and an AMSR-E Simulator

A comparison of snow depths on sea ice was made using airborne altimeters and an Advanced Microwave Scanning Radiometer for the Earth Observing System (AMSR-E) simulator. The data were collected during the March 2006 National Aeronautics and Space Administration (NASA) Arctic field campaign utilizing the NASA P-3B aircraft. The campaign consisted of an initial series of coordinated surface and aircraft measurements over Elson Lagoon, Alaska and adjacent seas followed by a series of large-scale (100 km ? 50 km) coordinated aircraft and AMSR-E snow depth measurements over portions of the Chukchi and Beaufort seas. This paper focuses on the latter part of the campaign. The P-3B aircraft carried the University of Colorado Polarimetric Scanning Radiometer (PSR-A), the NASA Wallops Airborne Topographic Mapper (ATM) lidar altimeter, and the University of Kansas Delay-Doppler (D2P) radar altimeter. The PSR-A was used as an AMSR-E simulator, whereas the ATM and D2P altimeters were used in combination to provide an independent estimate of snow depth. Results of a comparison between the altimeter-derived snow depths and the equivalent AMSR-E snow depths using PSR-A brightness temperatures calibrated relative to AMSR-E are presented. Data collected over a frozen coastal polynya were used to intercalibrate the ATM and D2P altimeters before estimating an altimeter snow depth. Results show that the mean difference between the PSR and altimeter snow depths is -2.4 cm (PSR minus altimeter) with a standard deviation of 7.7 cm. The RMS difference is 8.0 cm. The overall correlation between the two snow depth data sets is 0.59

Proposed astrophysical test of Lorentz invariance

Working in the context of a Lorentz-violating extension of the standard model we show that estimates of Lorentz symmetry violation extracted from ultra-high energy cosmic rays beyond the Greisen-Kuzmin-Zatsepin (GZK) cutoff allow for setting bounds on parameters of that extension. Furthermore, we argue that a correlated measurement of the difference in the arrival time of gamma-ray photons and neutrinos emitted from active galactic nuclei or gamma-ray bursts may provide a signature of possible violation of Lorentz symmetry. We have found that this time delay is energy independent, however it has a dependence on the chirality of the particles involved. We also briefly discuss the known settings where the mechanism for spontaneous violation of Lorentz symmetry in the context of string/M-theory may take place.Comment: Typos corrected. Version to appear in Phys. Rev.

Ownership and control in a competitive industry

We study a differentiated product market in which an investor initially owns a controlling stake in one of two competing firms and may acquire a non-controlling or a controlling stake in a competitor, either directly using her own assets, or indirectly via the controlled firm. While industry profits are maximized within a symmetric two product monopoly, the investor attains this only in exceptional cases. Instead, she sometimes acquires a noncontrolling stake. Or she invests asymmetrically rather than pursuing a full takeover if she acquires a controlling one. Generally, she invests indirectly if she only wants to affect the product market outcome, and directly if acquiring shares is profitable per se. --differentiated products,separation of ownership and control,private benefits of control

A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment

This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the dynamics induced by resource sharing in multiproject management. In order to achieve it the hierarchy of decisions in a multiproject organization is modeled and some resource allocation methods based on algorithms from the OR/AI domain are used. Other critical issues such as the hybrid nature of software production and the effects of measurement and control are also incorporated in the model. Some first results are presented.Ministerio de Ciencia e Innovación TIN2004-06689-C03-03Ministerio de Ciencia e Innovación TIN2007-67843-C06-0