Logical foundations of nonmonotonic reasoning

In this paper we shall review the main appraches to nonmonotonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valued/partial models, and conditional. We shall be placing special emphasis on some of the prominent approaches. We shall also give hints on potential future directions and emphasize that more theoretical work is still needed before a move to application is made.     

ViStA: a visualization system for exploring Arabic text

Text visualization has become a significant tool that facilitates knowledge discovery and insightful presentation of large amounts of data. This paper presents a visualization system for exploring Arabic text called ViStA. We report about the design, the implementation and some of the experiments we conducted on the system. The development of such tools assists Arabic language analysts to effectively explore, understand, and discover interesting knowledge hidden in text data. We used statistical techniques from the field of Information Retrieval to identify the relevant documents coupled with sophisticated natural language processing (NLP) tools to process the text. For text visualization, the system used a hybrid approach combining latent semantic indexing for feature selection and multidimensional scaling for dimensionality reduction. Initial results confirm the viability of using this approach to tackle the problem of Arabic text visualization and other Arabic NLP applications.     

A soft robotics nonlinear hybrid position/force control for tendon driven catheters

Minimally invasive steerable catheters, commonly implemented in cardiac ablation, are currently operated by interventionalists exposing them to X-ray radiation and requiring the dexterity for accurate steering. To conduct robot-assisted cardiac ablation, highly accurate stable control platform for precise force/position control on the moving tissue is required. This paper introduces hybrid force/position control strategy to apply a constant force to the cardiac tissue while tracking the desired trajectory. The position controller is based on a nonlinear model predictive tracking control satisfying the input constraints. Cosserat rod theory is incorporated for the distal shaft modeling of tendon-driven catheters, and the model is reformulated for controller design and stability proof. Lyapunov-based stability analysis is conducted. To apply the controller, the force-displacement mapping of the cardiac tissue is obtained through ex vivo experimental tests. The performance of the controller is evaluated, and the catheter is capable of regulating the force with the RMSE of 4.9 mN and tracking the position with the RMSE of 0.89 mm. The promising results verify the potential of the application of the introduced approach in real applications including in vitro and clinical cardiac ablation.     

Retardation of Dredged Material Leachate in Foundation Soils

Contaminated dredged material is often placed in confined disposal facilities (CDFs) designed and managed to control environmental impacts of the disposed sediment. This note presents equations for use in a screening procedure to evaluate the impact of a CDF on groundwater. The hydrologic evaluation of leachate production and quality model was used to simulate leachate production and transport through the foundation considering a range of foundation soil characteristics and contaminant properties. The model results were used to develop predictive equations of contaminant attenuation and travel time in the foundation soils. When used with equations to predict dispersion in the aquifer, contaminant exposures at receptor locations can be predicted, which is essential in leachate screening applications. The approach does not consider degradation or permanent sequestration of contaminants. Therefore, the procedure is conservative in that it may overestimate actual leachate concentrations and underestimate actual travel times.     

Stochastic Model for Landfill Gas Transport and Energy Recovery

Predicting the amount of landfill gas (LFG) that will be recovered at a sanitary landfill is generally associated with a high level of uncertainty, which is primarily due to the uncertainty in the definition of the parameters that control the LFG generation rate and LFG transport. To quantify these uncertainties, a three-dimensional stochastic model for the generation and transport of LFG is proposed. Using Monte Carlo simulations, multiple realizations of key input parameters are generated. For each realization, LFG transport is simulated and then used to evaluate probabilistically the rates and efficiency of energy recovery. For demonstration, the stochastic model is applied to the Kemerburgaz landfill in Istanbul, Turkey. Uncertainty in the definition of three key parameters, namely: the LFG production rate, the waste gas permeability and the soil cover gas permeability were accounted for. Modeling results suggest that the collection system is sufficient to capture most of the generated gas, but that uncertainty in the factors controlling LFG production is the main source of uncertainty in the amount of energy that will be recovered.     

The Implications of Noncoding RNAs in the Evolution and Progression of Nonalcoholic Fatty Liver Disease (NAFLD)-Related HCC

Nonalcoholic fatty liver disease (NAFLD) is the most prevalent liver pathology worldwide. Meanwhile, liver cancer represents the sixth most common malignancy, with hepatocellular carcinoma (HCC) as the primary, most prevalent subtype. Due to the rising incidence of metabolic disorders, NAFLD has become one of the main contributing factors to HCC development. However, although NAFLD might account for about a fourth of HCC cases, there is currently a significant gap in HCC surveillance protocols regarding noncirrhotic NAFLD patients, so the majority of NAFLD-related HCC cases were diagnosed in late stages when survival chances are minimal. However, in the past decade, the focus in cancer genomics has shifted towards the noncoding part of the genome, especially on the microRNAs (miRNAs) and long noncoding RNAs (lncRNAs), which have proved to be involved in the regulation of several malignant processes. This review aims to summarize the current knowledge regarding some of the main dysregulated, noncoding RNAs (ncRNAs) and their implications for NAFLD and HCC development. A central focus of the review is on miRNA and lncRNAs that can influence the progression of NAFLD towards HCC and how they can be used as potential screening tools and future therapeutic targets.     

Characterizing cerebral oxygen metabolism employing oxygen-17 MRI/MRS at high fields

This article provides a comprehensive overview of oxygen (¹⁷O) magnetic resonance spectroscopy and imaging, including the advantages and challenges offered by the different methods developed thus far. The physiological role and relevance of oxygen, and its participation in aerobic metabolism, are addressed to emphasize the importance of the investigations and the efforts related to these developments. Furthermore, a number of methods employed in the determination of the cerebral metabolic rate of oxygen in neural cells will be presented, focusing primarily on methodologies enabling absolute quantification.     

Boron nitride-reinforced polysilazane-derived ceramic composites via direct-ink writing

In this study we investigate the use of hexagonal boron nitride (hBN) as a rheology modifier in polysilazane resin to enable direct-ink writing (DIW) of polysilazane-derived boron nitride-reinforced ceramic composites. hBN is shown to effectively modify the flow properties of the resin by imparting strong shear thinning and yield stress behavior, and to reduce the mass loss and shrinkage associated with the polymer-to-ceramic conversion process, when compared with unfilled polysilazane resin. DIW inks are formulated with 40 vol.% hBN and used print flexural specimens and complex structures with high resolution. Mechanical properties of the resulting polymer-derived ceramic composites were evaluated by 3-pt. flexure and Vickers microhardness. The printed composites exhibit flexural strength of 56.4 MPa and microhardness of 111.4 HV2.     

A Plan for the Development of Fusion Energy

This is the final report of a panel set up by the U.S. Department of Energy (DOE) Fusion Energy Sciences Advisory Committee (FESAC) in response to a charge letter dated September 10, 2002 from Dr. Ray Orbach, Director of the DOE's Office of Science. In that letter, Dr. Orbach asked FESAC to develop a plan with the end goal of the start of operation of a demonstration power plant in approximately 35 years. This report, submitted March 5, 2003, presents such a plan, leading to commercial application of fusion energy by mid-century. The plan is derived from the necessary features of a demonstration fusion power plant and from the time scale defined by President Bush. It identifies critical milestones, key decision points, needed major facilities and required budgets. The report also responds to a request from DOE to FESAC to describe what new or upgraded fusion facilities will best serve our purposes over a time frame of the next twenty years.     

An advanced reactive ion etching process for very high aspect-ratio sub-micron wide trenches in silicon

This paper reports on a practical modification of the two-step time-multiplexed plasma etching recipe (also known as the Bosch process) to achieve high aspect-ratio sub-micron wide trenches in silicon. Mixed argon and oxygen plasma depassivation steps are introduced in between the passivation and etching phases to promote the anisotropic removal of the passivation layer at the base of the trench. Argon does not chemically react with polymers and silicon and removes the passivation layer only by physical sputtering. Therefore, it results in a highly anisotropic polymer etching process. This recipe can be easily integrated on conventional ICP equipment and the scalloping on the trench sidewall can potentially be reduced in size to less than 50 nm. To clean up all the passivation residues, a short oxygen plasma step is also added at the end of the cycle that effectively improves the uniformity of the etching profile over various opening sizes. Excellent anisotropy of the inserted argon depassivation step facilitates narrow trenches down to 130 nm wide and gap aspect-ratios as high as 40:1, extending the application of deep reactive ion etching (DRIE) processes into a new broad regime.