25,169 research outputs found
Expanding an extended finite state machine to aid testability
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in order to bypass the infeasible path problem. The approach is developed for the specification language SDL but, in order to aid generality, the rewriting process is broken down into two phases: producing a normal form EFSM (NF-EFSM) from an SDL specification and then expanding this NF-EFSM
Recommended from our members
Removal of Refractory Dissolved Organic Carbon in the Amundsen Sea, Antarctica.
The removal mechanism of refractory deep-ocean dissolved organic carbon (deep-DOC) is poorly understood. The Amundsen Sea Polynya (ASP) serves as a natural test basin for assessing the fate of deep-DOC when it is supplied with a large amount of fresh-DOC and exposed to strong solar radiation during the polynya opening in austral summer. We measured the radiocarbon content of DOC in the water column on the western Amundsen shelf. The radiocarbon content of DOC in the surface water of the ASP reflected higher primary production than in the region covered by sea ice. The radiocarbon measurements of DOC, taken two years apart in the ASP, were different, suggesting rapid cycling of DOC. The increase in DOC concentration was less than expected from the observed increase in radiocarbon content from those at the greatest depths. Based on a radiocarbon mass balance, we show that deep-DOC is consumed along with fresh-DOC in the ASP. Our observations imply that water circulation through the surface layer, where fresh-DOC is produced, may play an important role in global DOC cycling
Postoperative irradiation after implant placement: A pilot study for prosthetic reconstruction
published_or_final_versio
Generating and Adding Flows on Locally Complete Metric Spaces
As a generalization of a vector field on a manifold, the notion of an arc
field on a locally complete metric space was introduced in \cite{BC}. In that
paper, the authors proved an analogue of the Cauchy-Lipschitz Theorem i.e they
showed the existence and uniqueness of solution curves for a time independent
arc field. In this paper, we extend the result to the time dependent case,
namely we show the existence and uniqueness of solution curves for a time
dependent arc field. We also introduce the notion of the sum of two time
dependent arc fields and show existence and uniqueness of solution curves for
this sum.Comment: 29 pages,6 figure
Diversity decoupled from ecosystem function and resilience during mass extinction recovery
The Chicxulub bolide impact 66 million years ago drove the near-instantaneous collapse of ocean ecosystems. The devastating loss of diversity at the base of ocean food webs probably triggered cascading extinctions across all trophic levels and caused severe disruption of the biogeochemical functions of the ocean, and especially disrupted the cycling of carbon between the surface and deep sea. The absence of sufficiently detailed biotic data that span the post-extinction interval has limited our understanding of how ecosystem resilience and biochemical function was restored; estimates of ecosystem ārecoveryā vary from less than 100 years to 10 million years. Here, using a 13-million-year-long nannoplankton time series, we show that post-extinction communities exhibited 1.8 million years of exceptional volatility before a more stable equilibrium-state community emerged that displayed hallmarks of resilience. The transition to this new equilibrium-state community with a broader spectrum of cell sizes coincides with indicators of carbon-cycle restoration and a fully functioning biological pump. These findings suggest a fundamental link between ecosystem recovery and biogeochemical cycling over timescales that are longer than those suggested by proxies of export production, but far shorter than the return of taxonomic richness. The fact that species richness remained low as both community stability and biological pump efficiency re-emerged suggests that ecological functions rather than the number of species are more important to community resilience and biochemical functions
SIS/aligned fibre scaffold designed to meet layered oesophageal tissue complexity and properties
With donor organs not readily available, the need for a tissue-engineered oesophagus remains high, particularly for congenital childhood conditions such as atresia. Previous attempts have not been successful, and challenges remain. Small intestine submucosa (SIS) is an acellular matrix material with good biological properties; however, as is common with these types of materials, they demonstrate poor mechanical properties. In this work, electrospinning was performed to mechanically reinforce tubular SIS with polylactic-co-glycolic acid (PLGA) nanofibres. It was hypothesised that if attachment could be achieved between the two materials, then this would (i) improve the SIS mechanical properties, (ii) facilitate smooth muscle cell alignment to support directional growth of muscle cells and (iii) allow for the delivery of bioactive molecules (VEGF in this instance). Through a relatively simple multistage process, adhesion between the layers was achieved without chemically altering the SIS. It was also found that altering mandrel rotation speed affected the alignment of the PLGA nanofibres. SIS-PLGA scaffolds performed mechanically better than SIS alone; yield stress improvement was 200% and 400% along the longitudinal and circumferential directions, respectively. Smooth muscle cells cultured on the aligned fibres showed resultant unidirectional alignment. In vivo the SIS-PLGA scaffolds demonstrated limited foreign body reaction judged by the type and proportion of immune cells present and lack of fibrous encapsulation. The scaffolds remained intact at 4āÆweeks in vivo, and good cellular infiltration was observed. The incorporation of VEGF within SIS-PLGA scaffolds increased the blood vessel density of the surrounding tissues, highlighting the possible stimulation of endothelialisation by angiogenic factor delivery. Overall, the designed SIS-PLGA-VEGF hybrid scaffolds might be used as a potential matrix platform for oesophageal tissue engineering. In addition to this, achieving improved attachment between layers of acellular matrix materials and electrospun fibre layers offers the potential utility in other applications. STATEMENT OF SIGNIFICANCE: Because of its multi-layered nature and complex structure, the oesophagus tissue poses several challenges for successful clinical grafting. Therefore, it is promising to utilise tissue engineering strategies to mimic and form structural compartments for its recovery. In this context, we investigated the use of tubular small intestine submucosa (SIS) reinforced with polylactic-co-glycolic acid (PLGA) nanofibres by using electrospinning and also, amongst other parameters, the integrity of the bilayered structure created. This was carried out to facilitate smooth muscle cell alignment, support directional growth of muscle cells and allow the delivery of bioactive molecules (VEGF in this study). We evaluated this approach by using in vitro and in vivo models to determine the efficacy of this new system
Maximizing total job value on a single machine with job selection
This paper describes a single machine scheduling problem of maximizing total job value with a machine availability constraint. The value of each job decreases over time in a stepwise fashion. Several solution properties of the problem are developed. Based on the properties, a branch-and-bound algorithm and a heuristic algorithm are derived. These algorithms are evaluated in the computational study and the results show that the heuristic algorithm provides effective solutions within short computation times
Generalized Bayesian Record Linkage and Regression with Exact Error Propagation
Record linkage (de-duplication or entity resolution) is the process of
merging noisy databases to remove duplicate entities. While record linkage
removes duplicate entities from such databases, the downstream task is any
inferential, predictive, or post-linkage task on the linked data. One goal of
the downstream task is obtaining a larger reference data set, allowing one to
perform more accurate statistical analyses. In addition, there is inherent
record linkage uncertainty passed to the downstream task. Motivated by the
above, we propose a generalized Bayesian record linkage method and consider
multiple regression analysis as the downstream task. Records are linked via a
random partition model, which allows for a wide class to be considered. In
addition, we jointly model the record linkage and downstream task, which allows
one to account for the record linkage uncertainty exactly. Moreover, one is
able to generate a feedback propagation mechanism of the information from the
proposed Bayesian record linkage model into the downstream task. This feedback
effect is essential to eliminate potential biases that can jeopardize resulting
downstream task. We apply our methodology to multiple linear regression, and
illustrate empirically that the "feedback effect" is able to improve the
performance of record linkage.Comment: 18 pages, 5 figure
- ā¦