Miracle-dz/UniFAR-FTUs huggingface dataset:
On graph classes with logarithmic boolean-width

Boolean-width is a recently introduced graph parameter. Many problems are fixed parameter tractable when parametrized by boolean-width, for instance "Minimum Weighted Dominating Set" (MWDS) problem can be solved in $O^*(2^{3k})$ time given a boolean-decomposition of width $k$, hence for all graph classes where a boolean-decomposition of width $O(\log n)$ can be found in polynomial time, MWDS can be solved in polynomial time. We study graph classes having boolean-width $O(\log n)$ and problems solvable in $O^*(2^{O(k)})$, combining these two results to design polynomial algorithms. We show that for trapezoid graphs, circular permutation graphs, convex graphs, Dilworth-$k$ graphs, circular arc graphs and complements of $k$-degenerate graphs, boolean-decompositions of width $O(\log n)$ can be found in polynomial time. We also show that circular $k$-trapezoid graphs have boolean-width $O(\log n)$, and find such a decomposition if a circular $k$-trapezoid intersection model is given. For many of the graph classes we also prove that they contain graphs of boolean-width $\Theta(\log n)$. Further we apply the results from \cite{boolw2} to give a new polynomial time algorithm solving all vertex partitioning problems introduced by Proskurowski and Telle \cite{TP97}. This extends previous results by Kratochv\'il, Manuel and Miller \cite{KMM95} showing that a large subset of the vertex partitioning problems are polynomial solvable on interval graphs.
Cellular arrhythmogenic effects of congenital and acquired long-QT syndrome in the heterogeneous myocardium.

BACKGROUND Certain alterations by mutations or drugs of the potassium currents I(Ks) and I(Kr) and the sodium current I(Na) give rise to several types of the long-QT syndrome. I(Ks) is heterogeneously distributed across the ventricular wall. METHODS AND RESULTS We investigated the effects of reducing I(Ks) or I(Kr) or enhancing late I(Na) (to simulate the 3 forms of long-QT syndrome) on action potential duration (APD) in the context of I(Ks) heterogeneity. We introduced I(Ks) heterogeneity in the Luo-Rudy dynamic cell model to simulate epicardial, endocardial, and midmyocardial (M) cells. Results demonstrated higher susceptibility of M cells to the development of arrhythmogenic early afterdepolarizations (EADs) in isolated cells and poorly coupled tissue. An important observation is that I(Kr) block or late I(Na) acts to increase APD differences between the cell types, whereas I(Ks) block minimizes such differences. Also, for normal transverse coupling, EADs develop in the endocardial region rather than in the M region as the result of strong electrotonic interaction. CONCLUSIONS I(Ks) heterogeneity and intercellular coupling strongly influence EAD development during interventions or disorders that prolong APD. M cells in isolation or in poorly coupled tissue are more susceptible to EAD development than epicardial or endocardial cells. In well-coupled myocardium, EAD formation in the subendocardium can be the source of focal arrhythmias or provide the trigger for reentrant excitation. The efficacy of I(Ks) block in minimizing APD dispersion could have important implications for antiarrhythmic therapy.
Evolutionary Approaches for Multi-Objective Next Release Problem

In software industry, a common problem that the companies face is to decide what requirements should be implemented in the next release of the software. This paper aims to address the multi-objective next release problem using search based methods such as multi-objective evolutionary algorithms for empirical studies. In order to achieve the above goal, a requirement-dependency-based multi-objective next release model (MONRP/RD) is formulated firstly. The two objectives we are interested in are customers' satisfaction and requirement cost. A popular multi-objective evolutionary approach (MOEA), NSGA-II, is applied to provide the feasible solutions that balance between the two objectives aimed. The scalability of the formulated MONRP/RD and the influence of the requirement dependencies are investigated through simulations as well. This paper proposes an improved version of the multi-objective invasive weed optimization and compares it with various state-of-the-art multi-objective approaches on both synthetic and real-world data sets to find the most suitable algorithm for the problem.
Link Approximation Performance Ratio and Average Convergence Rate

In practice, evolutionary algorithms are widely used to find good solutions to hard combinatorial optimization problems. In theory, it is necessary to answer the question of how good approximation solutions these algorithms can produce. This paper aims to estimate the approximation performance ratio in each generation. Using the average convergence rate of evolutionary algorithms, an exponential decay is proposed as a theoretical prediction for the approximation performance ratio. A theoretical analysis proves that the prediction is exact for some initialization and this is confirmed by experiments. However, experimental results also reveals that the prediction is not good for other initialization. Therefore, in order to improve the prediction, it is necessary to consider other transition probabilities.
Experimental demonstration of super-TDMA: A MAC protocol exploiting large propagation delays in underwater acoustic networks

The potential of exploiting large propagation delays in underwater acoustic (UWA) networks to maximize the network throughput is established in the recent past. Transmission scheduling strategies have been proposed to take advantage of large propagation delay. Super-TDMA is one among such Medium Access Control (MAC) strategies proposed. It is a form of Time Division Multiple Access (TDMA) protocol in which multiple transmissions are allowed in the same time slot and hence concurrently propagate in the medium. We present the implementation challenges of Super-TDMA on underwater acoustic modems and the experimental results demonstrating interference alignment, the crossing of simultaneously transmitted packets in water, and the time synchronization among the deployed nodes in the network.
Children, avian influenza H5N1 and preparing for the next pandemic

The emergence of avian influenza A/H5N1 viruses has driven pandemic preparations to become government priorities across Europe. To date these viruses have remained poorly adapted to humans and the risk of a pandemic based on H5N1 is unquantifiable. However, the risk of a future pandemic is 100%. Preparations are essential and without these many avoidable deaths will occur. Children will be affected at least as much as adults and may play an important role in amplifying transmission. Pharmacological and public health interventions focused on children will save lives through suggested community measures such as pre-emptive closures of schools, and need to be considered carefully, balancing benefits against negative consequences. Child health services will be hugely stressed by any pandemic but also have the potential to save many lives. The challenge will be to deliver core services in the face of major staff illnesses. Detailed local business continuity planning will be essential.
In vitro Evaluation of Anthelmintic Activity of Nauclea orientalis Leaves

Antianthelmintic activity of successive extracts (chloroform, acetone, ethanol and aqueous) of Nauclea orientalis leaves were evaluated separately on adult Indian earthworm (Pheretima posthuma) and compared with that of albendazole. It was found that the extracts exhibited, respectively dose-dependent action and inhibition of spontaneous motility (paralysis) and death of earthworms. The results indicated that the chloroform, ethyl acetate and ethanol extracts were more potent.
Theoretical Analysis of Subwavelength High Contrast Grating Reflectors References and Links

A simple analytic analysis of the ultra-high reflectivity feature of subwavelength dielectric gratings is developed. The phenomenon of ultra high reflectivity is explained to be a destructive interference effect between the two grating modes. Based on this phenomenon, a design algorithm for broadband grating mirrors is suggested. A surface-emitting laser incorporating a high index-contrast subwavelength grating, " Nat. Polarization mode control in high contrast subwavelength grating VCSEL " , Conference on Lasers and Electro-Optics (2008). Reliable polarization control of VCSELs through monolithically integrated surface gratings: a comparative theoretical and experimental study, " IEEE J. Shallow surface gratings for high-power VCSELs with one preferred polarization for all modes, " IEEE Photon. Surface-normal emission of a high-Q resonator using a subwavelength high-contrast grating, " Opt. Rigorous coupled wave analysis of planar grating diffraction, " J. Opt. Soc. Large fabrication tolerance for VCSELs using high contrast grating, " IEEE Photon.
Weighted Spiking Neural P Systems with Rules on Synapses

Spiking neural P systems (SN P systems, for short) with rules on synapses are a new variant of SN P systems, where the spiking and forgetting rules are placed on synapses instead of in neurons. Recent studies illustrated that this variant of SN P systems is universal working in the way that the synapses starting from the same neuron work in parallel (i.e., all synapses starting from the same neuron should apply their rules if they have rules to be applied). In this work, we consider SN P systems with rules on synapses working in another way: the synapses starting from the same neuron are restricted to work in a sequential way (i.e., at each step at most one synapse starting from the same neuron applies its rule). It is proved that the computational power of SN P systems with rules on synapses working in this way is reduced; specifically, they can only generate finite sets of numbers. Such SN P systems with rules on synapses are proved to be universal, if synapses are allowed to have weight at most 2 (if a rule which can generate n spikes is applied on a synapse with weight k, then the neuron linking to this synapse will receive totally nk spikes). Two small universal SN P systems with rules on synapses for computing functions are also constructed: a universal system with 26 neurons when using extended rules and each synapse having weight at most 2, and a universal system with 26 neurons when using standard rules and each synapse having weight at most 12. These results illustrate that the weight is an important feature for the computational power of SN P systems.
AN EFFICIENT METHOD FOR PREDICTIVE MODELING OF MEDICAL DATA USING A COMBINED APPROACH OF RANDOM FORESTS AND GENETIC ALGORITHM

Medical data mainly includes data of patients and their associated symptoms. Detecting a disease is becoming costly in terms of money and effort. Medical care will be much better if the predictions can be made with minimal efforts. Predictive modeling will help in detecting a disease early. Medical prediction methods which are computer based will help to improve diagnosis. These methods are the important components of decision support systems. This paper suggests the use of predictive modeling as a classifier. The records in dataset are used to construct classifiers using a combination of random forests and genetic algorithm. The inputs to the predictive model are records from the dataset. Genetic algorithm when used in field of computer science help to form methods that lead to a solution that is acceptable. The results of experimentation show that the random forests when used in combination with genetic algorithm gives better accuracy than random forests algorithm alone.
Software Tools for Design and Performance Evaluation of Intelligent Systems

Abstract : The objective of this effort was to leverage the principles of knowledge engineering in the ongoing development of a software tool for rapid design, simulation, prototyping and performance evaluation of Intelligent Systems in the Matlab/Simulink environment. In this paper, we have demonstrated the use of this software tool to design a cable robot, automatically generate the kinematic and dynamic relationships for this robot and develop an automatic on-line calibration scheme for this cable robot where traditional one-time or periodic calibration methods do not provide adequate measures of performance. Hence, from the standpoint of intelligent system design and performance metrics, through this example, we demonstrate the usefulness of leveraging the principles of knowledge engineering to develop domain specific knowledge. The models so developed can be used to evaluate the performance of such robotic systems and modified to improve the performance. For example, kinematic errors such as assembly errors are likely to be introduced in the construction; faults such as joint failures are likely to be introduced in the operation. Hence, automated on-line calibration of intelligent systems (such cable robots) becomes particularly important for continuous performance evaluation (positioning accuracy) and enhancement.
TDOA-Based Localization Using Interacting Multiple Model Estimator and Ultrasonic Transmitter/Receiver

This paper presents a novel indoor localization system using a self-built ultrasonic transmitter and a receiver. In comparison to commercial localization systems, our ultrasonic system is more robust against multipath propagation at indoor conditions and provides accurate time difference of arrival measurements. Besides, by improving the coverage of our ultrasonic system, the number of system components is significantly reduced. The actual position of the target is then determined by interacting multiple model estimator, which offers protection against the measurement noise at both line-of-sight and non-line-of-sight conditions through simultaneous running of extended Kalman filter and robust extended Kalman filter. The experimental results shows that our system is able to deliver the localization solution with higher accuracy compared to commercially available options.
Generating Text Summaries of Graph Snippets

With the availability of large entity-relationship graphs, finding the best relationship between entities is a problem that has attracted a lot of attention. Given two or more entities, the goal of most algorithms is to produce a graph structure of varying complexity (i.e., a simple path, a minimal weighted tree, or a dense subgraph etc.) as a way of characterizing the relationship between given entities. However, no attention is paid to the interpretability of these results -- i.e., the ability of humans to read these and comprehend the context in which these relationships exist. A key obstacle in this direction is the lack of necessary linguistic context and natural textual result formulations. We pursue the idea of using entity-centric summarization as a way of closing this gap. We aim to turn the resulting graph structures into one or more coherent textual snippets (or summaries) that can be easily read and interpreted. In this short position paper, we first outline two different scenarios that result in slightly different formulations of the problem. Based on preliminary experimental results, we discuss the challenges that are inherent in this setting.
Real time fuzzy personalized web stock information agent

The real time fuzzy personalized stock information agent is designed based on fuzzy logic, intelligent agent, personalization, Jakarta-Tomcat-3.2. 1 (Web sever) and Microsoft SQL Server 7.0 (database). In addition, a variety of languages, including Java, JSP (Java Sever Page), HTML, Java Servlet, XML, XSL (Extensible Stylesheet Language) are also used. The smart agent enables the users to create their own portfolios that contain the real time watch list of personalized stocks. The application refreshes each stock data in real time by accessing the appropriate database available on the Internet. This application enables the user to get accurate, real time information of a preselected list of favorite stocks. Using fuzzy reasoning, the Web stock agent is capable of ranking the "top 10 stocks" based on their real time stock information.
THREE Epithelial Cell Contributions to Intestinal Immunity

The epithelial surfaces of the mammalian intestine interface directly with the external environment and thus continuously encounter pathogenic bacteria, fungi, viruses, and parasites. The intestinal epithelium is also closely associated with complex communities of symbiotic microorganisms. Intestinal epithelial cells are thus faced with the unique challenge of directly interacting with enormous numbers of microbes that include both pathogens and symbionts. As a result, gut epithelia have evolved an array of strategies that contribute to host immunity. This chapter considers the various mechanisms used by epithelial cells to limit microbial invasion of host tissues, shape the composition of indigenous microbial communities, and coordinate the adaptive immune response to microorganisms. Study of intestinal epithelial cells has contributed fundamental insights into intestinal immune homeostasis and has revealed how impaired epithelial cell function can contribute to inflammatory disease.
Dexmedetomidine and Postoperative Delirium in the Adult Cardiac Surgical Population: A Systematic Review

Postoperative delirium (POD) is a major complication following surgery and is considered the most common complication among older adults following cardiac surgery; with up to 87% of patients being affected (Whitlock, Vannucci, & Avidan, 2011). Dexmedetomidine, a highly selective α2 agonist, inhibits the release of norepinephrine presynaptically causing analgesia and inhibits central nervous system stimulation in the postsynaptic neurons causing decreased blood pressure and heart rate; together, contributing to the effects of analgesia, anesthesia, and sedation (Naaz & Ozair, 2014). The purpose of this systematic review was to analyze the current literature and examine the effects of dexmedetomidine on POD in the adult cardiac surgical population. A comprehensive literature review was completed using CINAHL, PubMed, and Medline focusing on the pathology of postoperative delirium, the physiology of cardiac surgery, and the pharmacodynamics of dexmedetomidine. Guidelines set forth by PRISMA and Inouye and Charpentier’s multifactorial model were utilized to assist in the identification of eligible studies. Study analysis was completed by creating study specific and data outcome tables. Critical appraisal of individual RCTs was performed utilizing the Critical Appraisal Skills Programme (CASP) checklist. A cross study analysis table was also created comparing the results of all eligible studies against one another. The findings of this systematic review determined that in the adult cardiac surgical population, dexmedetomidine was associated with a decreased incidence of POD; however, the results for time to extubation, ICU LOS (length of stay), and hospital LOS varied amid the studies examined.
Development and diversification of retinal amacrine interneurons at single cell resolution

The vertebrate retina uses diverse neuronal cell types arrayed into complex neural circuits to extract, process, and relay information from the visual scene to the higher order processing centers of the brain. Amacrine cells, a class of interneurons, are thought to mediate much of the processing of the visual signal that occurs within the retina. Although amacrine cells display extensive morphological diversity, the molecular nature of this diversity is largely unknown. Furthermore, it is not known how this diversity arises during development. Here, we have combined in vivo genetic labeling, single cell genome-wide expression profiling, and classical birthdating to (i) identify specific molecular types of amacrine cells, (ii) demonstrate the molecular diversity of the amacrine cell class, and (iii) show that amacrine cell diversity arises at least in part through temporal patterning.
GReg : a domain speciﬁc language for the modeling of genetic regulator y mechanisms

Chemical and biological systems have similarities with ITsystems as they can be observed as sequences of events. Most available tools propose simulation frameworks to explore biological pathways (i.e., sequences of events). Simulation only explores a few of the most probable pathways in the system. On the contrary, techniques such as model checking, coming from IT-systems analysis, explore all the possible behaviors of the modeled systems, thus helping to identify interesting pathways. A main drawback from most model checking tools in the life sciences domain is that they take as input a language designed for computer scientists, that is not easily understood by non-expert users. We propose in this article an approach based on Domain Specific Languages. It provides a comprehensible language to describe the system while allowing the use of complex and powerful underlying model checking techniques.
A MATHEMATICAL ANALYSIS OF ACTOR-CRITIC ARCHITECTURES FOR LEARNING OPTIMAL CONTROLS THROUGH INCREMENTAL DYNAMIC PROGRAMMING (cid:3)

Combining elements of the theory of dynamic pro-grammingwith features appropriate for on-line learning has led to an approach Watkins has called incremental dynamic programming. Here we adopt this incremental dynamic programming point of view and obtain some preliminary mathematical results relevant to understanding the capabilities and limitations of actor-critic learning systems. Examples of such systems are Samuel's learning checker player, Hol-land's bucket brigade algorithm, Witten's adaptive controller, and the adaptive heuristic critic algorithm of Barto, Sutton, and Anderson. Particular emphasis here is on the e(cid:11)ect of complete asynchrony in the updating of the actor and the critic across individual states or state-action pairs. The main results are that, while convergence to optimal performance is not guaranteed in general, there are a number of situations in which such convergence is assured.
Procedure for determining aqueous medium absorption in biopolymers

ISO standards describe procedures for determining the amount of water absorbed by polymer specimens of defined dimensions, when immersed in water or when subjected to humid air under controlled conditions (ISO 62:2008). The study was to customize the standardized procedure for determination of aqueous medium absorption. The influence of the amorphous specimens pre-conditioning was also determined.
Optimizing service replication for mobile delay-sensitive applications in 5G edge network

Extending cloud infrastructure to the Network Edge represents a breakthrough to support delay-sensitive applications in next 5G cellular systems. In this context, to enable ultrashort response times, fast relocation of service instances between edge nodes is required to cope with user mobility. To face this issue, proactive service replication is considered a promising strategy to reduce the overall migration time and to guarantee the desired Quality of Experience (QoE). On the other hand, the provisioning of replicas over multiple edge nodes increases the resource consumption of constrained edge nodes and the relevant deployment cost. Given the two conflicting objectives, in this paper we investigate different optimization models for proactive service migration at the Network Edge, which can exploit prediction of user mobility patterns. In particular, we define two Integer Linear Problem optimization schemes, which aim at respectively minimizing the QoE degradation due to service migration, and the cost of replicas' deployment. Performance evaluation shows the effectiveness of our proposed solutions.