Miracle-dz/UniFAR-FTUs huggingface dataset:
Action Languages, Temporal Action Logics and the Situation Calculus

In the rst part of the paper, we investigate the relationship between the action description language C and the situation calculus. Action description languages are based on the model of time that includes only two time instants: 0 for the beginning of the execution of an action and 1 for the end. The ontology of time in the situation calculus is much more elaborate. We show how to bridge the gap between these two ontologies by deening a translation from C into the situation calculus. The second part of the paper relates C to the formalism of temporal action logics (TAL) by showing how a fragment of C can be embedded into TAL.
MATERNAL HISTORY OF ABUSE AS A MODERATOR OF EFFECTIVENESS IN A PARENTING INTERVENTION PROGRAM FOR ABUSED WOMEN

This study examined the effectiveness of a parenting intervention for abused women and their children called Mothers in MindTM. Based on models of cumulative effects of trauma, it was hypothesized that women who experienced continuous abuse (from childhood to adulthood) would have more parenting difficulties initially and be less receptive to treatment than women whose abuse experiences began later in life (in youth and/or adulthood). Fifty-seven women completed the intervention. Overall, parenting intervention significantly increased women’s parenting competence but did not significantly change mothers’ perceptions of their attachment with their children. Contrary to hypotheses, there were no significant differences in initial parenting difficulties between the two groups and timing of abuse (continuous versus late onset) did not significantly differentiate treatment effects. Contributions of other contextual variables, such as poverty and parental psychopathology, to variation in the effectiveness of intervention for this population of multiply disadvantaged women are discussed.
Binomial Distribution Sample Confidence Intervals Estimation 7 . Absolute Risk Reduction and ARR-like Expressions

Assessments of a controlled clinical trial suppose to interpret some key parameters as the controlled event rate, experimental event date, relative risk, absolute risk reduction, relative risk reduction, number needed to treat when the effect of the treatment are dichotomous variables. Defined as the difference in the event rate between treatment and control groups, the absolute risk reduction is the parameter that allowed computing the number needed to treat. The absolute risk reduction is compute when the experimental treatment reduces the risk for an undesirable outcome/event. In medical literature when the absolute risk reduction is report with its confidence intervals, the method used is the asymptotic one, even if it is well know that may be inadequate. The aim of this paper is to introduce and assess nine methods of computing confidence intervals for absolute risk reduction and absolute risk reduction – like function. Computer implementations of the methods use the PHP language. Methods comparison uses the experimental errors, the standard deviations, and the deviation relative to the imposed significance level for specified sample sizes. Six methods of computing confidence intervals for absolute risk reduction and absolute risk reduction-like functions were assessed using random binomial variables and random sample sizes. 1 http://lejpt.academicdirect. ro Binomial Distribution Sample Confidence Intervals Estimation 7. Absolute Risk Reduction and ARR-like Expressions Sorana BOLBOACĂ, Andrei ACHIMAŞ CADARIU The experiments shows that the ADAC, and ADAC1 methods obtains the best overall performance of computing confidence intervals for absolute risk reduction.
Designing Intrusion Detection to Detect Black Hole and Selective Forwarding Attack in WSN Based on Local Information

The wireless sensor networks (WSNs) are being deployed frequently in variety of environments such as military surveillance, forest fire monitoring, chemical leakage monitoring etc. Sensor nodes have limited communication capability and low computation resources so each node is weak entity that can be easily compromised by adversary by launching malicious software inside the network . Performance evaluation of wireless sensor network requires realistic modeling of Intrusion detection system since most of WSNs are application specific. In WSN, nodes have specific properties such as stable neighbors’ information that helps in detection of anomalies in network. Nodes monitor their neighborhood and collaborate with cluster head to detect malicious behavior. Even though nodes don’t have global view but they can still detect an intrusion with certain probability and report to cluster head. This paper introduces a specification based Intrusion Detection System for wireless sensor networks.
A Disposable Microfluidic Device for Controlled Drug Release from Thermal-Sensitive Liposomes by High Intensity Focused Ultrasound

The drug release triggered thermally by high intensity focused ultrasound (HIFU) has been considered a promising drug delivery strategy due to its localized energy and non-invasive characters. However, the mechanism underlying the HIFU-mediated drug delivery remains unclear due to its complexity at the cellular level. In this paper, micro-HIFU (MHIFU) generated by a microfluidic device is introduced which is able to control the drug release from temperature-sensitive liposomes (TSL) and evaluate the thermal and mechanical effects of ultrasound on the cellular drug uptake and apoptosis. By simply adjusting the input electrical signal to the device, the temperature of sample can be maintained at 37 °C, 42 °C and 50 °C with the deviation of ± 0.3 °C as desired. The flow cytometry results show that the drug delivery under MHIFU sonication leads to a significant increase in apoptosis compared to the drug release by incubation alone at elevated temperature of 42 °C. Furthermore, increased squamous and protruding structures on the surface membrane of cells were detected by atomic force microscopy (AFM) after MHIFU irradiation of TSL. We demonstrate that compared to the routine HIFU treatment, MHIFU enables monitoring of in situ interactions between the ultrasound and cell in real time. Furthermore, it can quantitatively analyze and characterize the alterations of the cell membrane as a function of the treatment time.
Perceptually-relevant Retrieval Of Figurative Images Profi Project Description

1. Project summary In this project we aim to invent and develop new techniques for the retrieval of figurative images (such as clip art, logos, signs) from large databases. Our techniques will be based on the extraction and matching of perceptually relevant shape features, thereby overcoming many of the limitations of existing methods. This project will develop and evaluate new algorithms for: • Perceptual segmentation of raw images, and grouping of shape elements. • Matching of geometrical patterns representing shape features. • Partial matching: fitting part of one shape with part of another. • Indexing shape features in huge databases of figurative images. • Indexing the relative spatial layout of shape features within these images. The project meets the objectives of the FET programme through a highly-innovative (and hence high-risk) programme to develop novel techniques for shape matching aimed at tackling one of the key problems limiting the effectiveness of current image retrieval techniques. Our project offers the possibility of significant advances at both the scientific and economic level. New in our approach is the primary role of perceptually relevant shape features, the emphasis on the unsolved problem of partial matching, and indexing over layout and shapes rather than over feature vectors. The newly developed algorithms will be experimentally verified in a prototype system, and subjected to rigorous evaluation on databases with independently-validated ground truth. 2. Project objectives espite over a decade of research into content-based image retrieval (CBIR), the task of finding a arious com n Tanase, 2001). Tec iq ly-produced images which incl e eived less attention, even tho e different techniques for effe v ally-produced (Eakins, 2001). • Accurate retrieval and management of such images is of major economic importance. • Figurative images provide an ideal vehicle for the development of improved shape retrieval techniques, which could be applicable to a much wider domain of images. Shape is probably the single most important feature used by human observers to characterize an image-psychological studies (e.g. Biederman, 1987) show that a whole range of familiar objects can be recognized as readily from stylised line drawings as from full-colour natural images. However, the process of automatically extracting image features that characterize these elements has proved remarkably difficult, as illustrated in Fig 1. Professional trademark examiners judge all of the following four images to be similar, because all can be perceived as a triangle enclosing a circle-even though they differ in …
Theory of Deformation of a Porous Viscoelastic Anisotropic Solid

Equations are established for the deformation of a viscoelastic porous solid containing a viscous fluid under the most general assumptions of anisotropy. The particular cases of transverse and complete isotropy are discussed. General solutions are also developed for the equations in the isotropic case. As an example the problem of the settlement of a loaded column is treated. The second-order effect of the change of permeability with deformation is also discussed.
Eliminating the address translation bottleneck for physical address cache

Two architectural techniques are presented and analyzed in this paper that aim at eliminating the Translation Lc&aside Buffer (TLB) access delay from the critical path of physical address cache-based scalar processors. The first technique, parallel address translation, masks the TLB access delay by using a set-associative virtual memory map to extend the cache size beyond the product of the cache associativity and the virtual memory page size. The second teehnique, lazy address translation, bypasses the TLB access completely by using the base register and offset in a memory reference as a caching mechanism for its corresponding physical page. Consequently the TLB access is needed only when this caching scheme fails. A trace-driven simulation study is conducted and the experimental results show that under the given workload the padel address translation scheme works best when the virtual memory is 16way set associative, and the penalty on the average cycle-per-instruction (CPI) due to lazy address translation is less than 1.3%.
Integrating Environment into the Linked Data Cloud

Currently, there are many environmental data sets a vailable; however, they lack homogeneity, since the y ave been created for very different purposes and in very dif ferent formats. In this paper we propose a model ca pable of integrating some of these data sets with EcoLexicon, an e-e vironment knowledge base. EcoLexicon can contr ibute to the development of the SEIS and SISE from both a li nguistic and knowledge representation perspective. It facilitates learning and communication and is also integrated i n an ontological model. This facilitates its integr ation in the Semantic Web, and, thus supports the development of i mplementation tools for SEIS, the main objective of the SISE. Our initial proposal within the framework of Linked Data is to integrate EcoLexicon with DBpedia, GeoN ames and GEMET.
Guiding Trajectory Optimization by Demonstrated Distributions

Trajectory optimization is an essential tool for motion planning under multiple constraints of robotic manipulators. Optimization-based methods can explicitly optimize a trajectory by leveraging prior knowledge of the system and have been used in various applications such as collision avoidance. However, these methods often require a hand-coded cost function in order to achieve the desired behavior. Specifying such cost function for a complex desired behavior, e.g., disentangling a rope, is a nontrivial task that is often even infeasible. Learning from demonstration (LfD) methods offer an alternative way to program robot motion. LfD methods are less dependent on analytical models and instead learn the behavior of experts implicitly from the demonstrated trajectories. However, the problem of adapting the demonstrations to new situations, e.g., avoiding newly introduced obstacles, has not been fully investigated in the literature. In this letter, we present a motion planning framework that combines the advantages of optimization-based and demonstration-based methods. We learn a distribution of trajectories demonstrated by human experts and use it to guide the trajectory optimization process. The resulting trajectory maintains the demonstrated behaviors, which are essential to performing the task successfully, while adapting the trajectory to avoid obstacles. In simulated experiments and with a real robotic system, we verify that our approach optimizes the trajectory to avoid obstacles and encodes the demonstrated behavior in the resulting trajectory.
An empirical study for ranking insurance firms using a hybrid of data envelopment analysis and neural network

Article history: Received June 26, 2012 Received in Revised form August, 12, 2012 Accepted 15 September 2012 Available online September 17 2012 One of the primary concerns with data envelopment analysis arises when the number of inputs and outputs increases. In such a case, required computations will become time consuming and there is a concern on developing some hybrid methods to increase the capability of this method. In this paper, a combination of data envelopment analysis and multi-layer neural network is proposed, in a case study, for predicting the performance of Alborz insurance subsidiaries in large cities in Automobile insurance firms. This research can be used in the future databases for performance prediction. On the other side, these results can aid Alborz insurance in its future investments as well as the performance index usage. © 2012 Growing Science Ltd. All rights reserved.
Symmetry-Based Observers for Some Water-Tank Problems

In this paper, we consider a tank containing fluid and we want to estimate the horizontal currents when the fluid surface height is measured. The fluid motion is described by shallow water equations in two horizontal dimensions. We build a simple nonlinear observer which takes advantage of the symmetries of fluid dynamics laws. As a result its structure is based on convolutions with smooth isotropic kernels, and the observer is remarkably robust to noise. We prove the convergence of the observer around a steady-state. In numerical applications local exponential convergence is expected. The observer is also applied to the problem of predicting the ocean circulation. Realistic simulations illustrate the relevance of the approach compared with some standard oceanography techniques.
Interaction sociale et usages d'Internet au Cameroun

Le comportement des individus est tres souvent influence par leur environnement, notamment le comportement de leurs pairs. A partir des donnees issues de l’enquete sur les usages des Technologies de l’Information et de la Communication (TIC) par les menages et citoyens camerounais, nous estimons les effets des pairs et les multiplicateurs sociaux des usages d’Internet. L’estimation du modele lineaire en moyenne par la methode de variables instrumentales (VI) fondee sur des restrictions d’exclusion confirme l’influence positive du voisinage social sur les usages d’Internet. Cette approche permet ainsi de trouver les multiplicateurs sociaux de 4,167 pour l’usage de la communication interpersonnelle, 10,204 pour la recherche et 7,692 pour le telechargement en ligne.
Sketch input of 3D models - current directions

In the last few years, there has been considerable interest in sketch input of 3D solid models. This paper summarises recent developments and discusses the directions these developments are taking. We consider three developments in particular: the move away from line labelling as a technique in recognition of the problem posed by extended vertices; the increasing use of symmetry detection as a tool for reconstruction; and progress towards interpretation of drawings depicting curved objects.
Accountability without Democracy: Solidary Groups and Public Goods Provision in Rural China

Review(s) of: Accountability without Democracy: Solidary Groups and Public Goods Provision in Rural China, by Lily L. Tsai, Cambridge: Cambridge University Press, 2007. xvi + 347 pp. 45.00/US$85.00 (hardcover), 15.99/US$29.99 (paperback).
Analiza chodu pacjentów po udarze mózgu — rozwiązanie własne

Wstep . Udary nalezą do najcześciej spotykanych zespolow wplywających na aparat ruchu. Niezbedne jest prowadzenie wiarygodnej i porownywalnej biomechanicznej analizy zaburzen lokomocji pacjenta we wszystkich fazach terapii po udarze mozgu. Jak dotąd nie udalo sie wypracowac jednej uniwersalnej metody analizy chodu pacjentow po udarze mozgu spelniającej wszystkie oczekiwane wymagania. Celem pracy byla ocena autorskiej metody analizy chodu. Material i metody . Grupe badaną stanowilo 60 pacjentow doroslych po przebytym udarze niedokrwiennym mozgu poddanych rehabilitacji metodą NDT-Bobath. Do badan wykorzystano opracowaną przez autorke, praktyczną i prostą metode polegającą na rejestracji wzorca chodu oraz pomiarze czasowo-przestrzennych parametrow chodu wraz z ich znormalizowanymi odpowiednikami. Pomiar dla kazdego pacjenta byl dokonywany 2-krotnie — przed rozpoczeciem terapii oraz po jej zakonczeniu. Wyniki . Zaobserwowane istotne statystycznie zmiany odzwierciedlają poprawe w zakresie wszystkich badanych zmiennych czasowo-dystansowych chodu: predkości chodu, tempa chodu, dlugości dwukroku, znormalizowanej predkości chodu, znormalizowanego tempa chodu i znormalizowanej dlugości dwukroku. Wnioski . Proponowana metodologia analizy chodu sprawdzila sie w praktyce klinicznej i moze sie stac inspiracją do dalszych badan w tym kierunku. Wykorzystanie jej pozwolilo potwierdzic efektywnośc metody NDT-Bobath w rehabilitacji chodu pacjentow doroslych po udarze niedokrwiennym mozgu. Udar Mozgu 2010; 12 (1–2): 20–26
Comparing Hardware Description Languages

We describe a comparison of several existing hardware description languages to determine their advantages and disadvantages with regards to abstraction, code reuse, and usability. To make this comparison we will implement a FIR-lter and a FIFO-queue in every language and evaluate the result according to these criteria. The languages that will be compared are VHDL, C aSH, Kansas Lava and MyHDL.
A novel wireless lighting control strategy using RBF neural networks and genetic algorithm

This paper presents an intelligent lighting control system based on a wireless sensor network (WSN). The novel concept of an illuminance matrix (I-matrix) is implemented in the lighting control system of a cockpit. The I-matrix of a target working plane is obtained from some wireless photosensors through an RBF (Radial Basis Function) neural network. Then a genetic algorithm (GA) is used to optimize the distribution and the number of sensors. Calculation results show that the proposed control strategy with I-matrix is more accurate than conventional control practices. Particularly, the application of the I-matrix is useful for the scenario requiring a high quality of illuminance (e. g. a cockpit or an operation room). As a criterion of illuminance quality, the I-matrix is a potential standard for high-quality lighting design, and opens new areas of research in lighting and human factors.
Stage-Specific Protein Composition Cell Receptors and Exhibit a B Cell Lipid Rafts Associate with Intracellular B

Lipid rafts serve as platforms for BCR signal transduction. To better deﬁne the molecular basis of these membrane microdomains, we used two-dimensional gel electrophoresis and mass spectrometry to characterize lipid raft proteins from mature as well as immature B cell lines. Of 51 speciﬁc raft proteins, we identiﬁed a total of 18 proteins by peptide mass ﬁngerprinting. Among them, we found vacuolar ATPase subunits (cid:1) -1 and (cid:2) -2, vimentin, (cid:3) -actin, mitoﬁlin, and prohibitin. None of these has previously been reported in lipid rafts of B cells. The differential raft association of three proteins, including a novel potential signaling molecule designated swiprosin-1, correlated with the stage-speciﬁc sensitivity of B cells to BCR-induced apoptosis. In addition, MHC class II molecules were detected in lipid rafts of mature, but not immature B cells. This intriguing ﬁnding points to a role for lipid rafts in regulating Ag presentation during B cell maturation. Finally, a fraction of the BCR in the B cell line CH27 was constitutively present in lipid rafts. Surprisingly, this fraction was neither expressed at the cell surface nor fully O -glycosylated. Thus, we conclude that partitioning the BCR into lipid rafts occurs in the endoplasmic reticulum/ cis -Golgi compartment and may represent a control mechanism for surface transport. The Journal of Immunology, 2005, 174: 3508–3517.
Fernando de Castro and the discovery of the arterial chemoreceptors

When de Castro entered the carotid body (CB) field, the organ was considered to be a small autonomic ganglion, a gland, a glomus or glomerulus, or a paraganglion. In his 1928 paper, de Castro concluded: “In sum, the Glomus caroticum is innervated by centripetal fibers, whose trophic centers are located in the sensory ganglia of the glossopharyngeal, and not by centrifugal [efferent] or secretomotor fibers as is the case for glands; these are precisely the facts which lead to suppose that the Glomus caroticum is a sensory organ. ” A few pages down, de Castro wrote: “The Glomus represents an organ with multiple receptors furnished with specialized receptor cells like those of other sensory organs [taste buds? ]…As a plausible hypothesis we propose that the Glomus caroticum represents a sensory organ, at present the only one in its kind, dedicated to capture certain qualitative variations in the composition of blood, a function that, possibly by a reflex mechanism would have an effect on the functional activity of other organs… Therefore, the sensory fiber would not be directly stimulated by blood, but via the intermediation of the epithelial cells of the organ, which, as their structure suggests, possess a secretory function which would participate in the stimulation of the centripetal fibers. ” In our article we will recreate the experiments that allowed Fernando de Castro to reach this first conclusion. Also, we will scrutinize the natural endowments and the scientific knowledge that drove de Castro to make the triple hypotheses: the CB as chemoreceptor (variations in blood composition), as a secondary sensory receptor which functioning involves a chemical synapse, and as a center, origin of systemic reflexes. After a brief account of the systemic reflex effects resulting from the CB stimulation, we will complete our article with a general view of the cellular-molecular mechanisms currently thought to be involved in the functioning of this arterial chemoreceptor.
Technical Efficiency and the Probability of Bank Failure among Agricultural and Non-Agricultural Banks Xiaofei

This study is designed to analyze bank failures from the technical efficiency standpoint under a stochastic cost frontier framework and evaluate the reliability of the technical efficiency measure as a determinant of the financial health of banks and probability to succeed or fail at the height of the current recessionary period. Results of this analysis confirm that successful agricultural banks have been operating more efficiently than surviving nonagricultural banks. This result helps to refute the contention that farm loans are at a relatively higher level of riskiness.