Miracle-dz/UniFAR-FTUs huggingface dataset:
Making FF Faster in ADL Domains

The fast-forward planning system (FF), which obtains heuristics via a relaxed planning graph to guide the enforced hill-climbing search strategy, has shown excellent performance in most STRIPS domains. When it comes to ADL domains, FF handles actions with conditional effects in a way similar to factored expansion. The result is that enforced hill-climbing guided by the relaxed Graphplan always fails in some ADL domains. We have discovered that the reason behind this issue is the relaxed Graphplan's inability to handle relationships between actions' components. We propose a novel approach called delayed partly reasoning on a naive conditional-effects planning graph (DP-CEPG). We do not ignore action's delete effects and consider restricted induced component mutual exclusions between factored expanded actions. Preliminary results show that enforced hill-climbing while guided by DP-CEPG gains obvious improvements in most ADL problems in terms of both solution length and runtime.
INTRACORNEAL SILICONE FLUID.

Introduction A variety of different plastic materials have been used as experimental intracorneal lenses or membranes. 6-11 Resultant clouding and vascularization of the cornea or degeneration of stromal tissue have been disappointing. It was thought that fluid silicone might be better tolerated and less impair nutritional exchange. The possibility was entertained that by injecting silicone fluid between the layers of corneal stroma the change in corneal curvature might be sufficient to correct a major portion of the refractive error in aphakia. We were also interested in determining if a thin intracorneal layer of the silicone might serve as a barrier to the passage of fluid through the cornea from the anterior chamber in the presence of an injured or diseased endothelium. Materials and Methods The liquid silicone used in this study was one of the Dow Corning "200 fluids" having 1,000 centistoke viscosity and a refractive index of 1.4035. The
Acoustic Topology Optimization of a Truck Cab Based on Coupled Panel Contribution Analysis

Computer simulation technology is of increasing importance in the vibro-acoustic analysis and design of complex mechanical systems, such as vehicles, ships, aircraft, etc. In this paper, an acoustic topology optimization method based on coupled panel contribution analysis of cab is proposed. The finite element structure model and cavity model of a real heavy duty truck cab are built. The structural modes, cavity modes and the structural--acoustic coupling modes are analyzed. Then the panel acoustic contribution analysis is carried out to find the panels which contribute most to the sound pressure inside the cab. Finally, the panel's shape modification is proposed with acoustics topology optimized. The result shows the sound pressure level on the side of the driver's right ear can be reduced by 5 dB at most. Necessary tests are also administered to validate the models.
Registration algorithm of point clouds based on multiscale normal features

Abstract. The point cloud registration technology for obtaining a three-dimensional digital model is widely applied in many areas. To improve the accuracy and speed of point cloud registration, a registration method based on multiscale normal vectors is proposed. The proposed registration method mainly includes three parts: the selection of key points, the calculation of feature descriptors, and the determining and optimization of correspondences. First, key points are selected from the point cloud based on the changes of magnitude of multiscale curvatures obtained by using principal components analysis. Then the feature descriptor of each key point is proposed, which consists of 21 elements based on multiscale normal vectors and curvatures. The correspondences in a pair of two point clouds are determined according to the descriptor’s similarity of key points in the source point cloud and target point cloud. Correspondences are optimized by using a random sampling consistency algorithm and clustering technology. Finally, singular value decomposition is applied to optimized correspondences so that the rigid transformation matrix between two point clouds is obtained. Experimental results show that the proposed point cloud registration algorithm has a faster calculation speed, higher registration accuracy, and better antinoise performance.
ENZYMIC ACTIVITIES IN DISSOCIATED NEURONS DIFFERENTIATED IN CULTURES IN VITRO

Abstract— The appearance of the enzymes succinate dehydrogenase, lactate dehydrogenase, acid phosphatase, monoamine oxidase and acetylcholinesterase in cultures of dissociated spinal cord, dorsal root ganglia and cerebellum removed at different stages of development have been studied. The neurons differentiated in vitro have morphological and cytochemical characteristics similar to those of the normally developing neurons. On the basis of the results obtained, it is argued that in this experimental model the histogenetic determination of the neuroblasts at the time of the explant may start and bring to an end the morphological and biochemical differentiation of the various types of neurons even under conditions extremely different from those of normal development.
Research on Image Denoising Adaptive Algorithm for UAV Based on Visual Landing

Abstract UAV autonomous landing refers to the UAV lands on only depending on airborne navigation equipment and flight control system, and ultimately achieves a safe landing. To achieve self-landing, UAV must have the ability to self-navigation and positioning, so that the high-precision visual navigation positioning technology is the key to achieve UAV self-landing technology.This paper concentrating on the noise effects on the pictures obtained during visual landing process of UAV, it has introduced the gravity of classical physics to image pixel, come up with a mathematical expression for the strength of gravity between pixels, then conformed the adaptive window by the gravity between pixels and performed corresponding filtering processing. It is shown by the experimental results that this algorithm has a great improvement on image denoising and detail preserving when compared with the traditional median filtering and switching median filtering algorithms.
Specific impairments in self-regulation in children exposed to alcohol prenatally.

The present study utilizes a conceptual framework derived from theories of cognition to explain the pattern of behavioral and learning problems observed in subjects with fetal alcohol syndrome (FAS) and fetal alcohol effects (FAE). Based on a modern interpretation of Luria's theory of self-regulation, this study used a neuropsychological test battery to compare 10 subjects (mean age = 13 years) having FAS/FAE with 10 control subjects (mean age = 12 years and 9 months). Subjects with FAS/FAE were relatively high functioning and did not significantly differ from controls with respect to receptive vocabulary. However, those with FAS/FAE exhibited greater difficulty than controls on tasks that involved the manipulation of information and goal management in working memory (e.g., Planning, Controlled Oral Word Association, etc). Both groups performed equally well on some tasks that demanded rule learning (Delayed Response) and response inhibition (Go-No-Go). The above impairments were interpreted to be reflective of selective rather than generalized disruptions of neural networks that subserve working memory.
Suicide in Avon

Background Suicide rates among young men are rising. Further information about their contacts with services and possible associated stressful life events is necessary. Method The sample consisted of all cases where the coroner in the County of Avon had given an inquest verdict of suicide over a 20-month period, together with those who were categorised as suicide by a panel of psychiatrists even though they had received open or accidental inquest verdicts. The coroners dossiers and hospital notes were examined and the relevant general practitioners interviewed. Results Interpersonal stress in the last 72 hours was much higher in younger suicides. Young male suicides were also much less likely than others to seek help. Levels of alcohol misuse were no higher in younger than older suicides. Conclusions Various subgroups of suicide behave differently in the way they seek and utilise help. The implications of these findings for suicide prevention and service strategy are discussed.
32nm general purpose bulk CMOS technology for high performance applications at low voltage

This paper presents for the first time a full 32 nm CMOS technology for high data rate and low operating power applications using a conventional high-k with single metal gate stack. High speed digital transistors are demonstrated 22% delay reduction for ring oscillator (RO) at same power versus previous SiON technology. Significant matching factor (AVT) improvement (AVT~2.8 mV.um) and low 1/f noise aligned with poly SiON are reported. Excellent static noise margin (SNM) of 213 mV has been achieved at low voltage for a high density 0.157 um2 SRAM cell. Hierarchical BEOL based on extreme low k (ELK) dielectric (k~2.4) is presented allowing high density wiring with low RC delay. Reliability criteria have been met for hot carrier injection (HCI), gate dielectric break-down (TDDB) and bias temperature instability (BTI) extracted at 125degC.
Deep Inspection of Unreachable BitTorrent Swarms

BitTorrent is one of the most popular P2P file sharing applications worldwide. Each BitTorrent network is called a swarm, and millions of peers may join multiple swarms. However, there are many unreachable peers (NATed (network address translated), firewalled, or inactive at the time of measurement) in each swarm; hence, existing techniques can only measure a part of all the peers in a swarm. In this paper, we propose an improved measurement method for BitTorrent swarms that include many unreachable peers. In essence, NATed peers and those behind firewalls are found by allowing them to connect to our crawlers by actively advertising our crawlers’ addresses. Evaluation results show that the proposed method increases the number of unique contacted peers by 112% compared to the conventional method. Moreover, the proposed method increases the total volume of downloaded pieces by 66%. We investigate the sampling bias among the proposed and conventional methods, and we find that different measurement methods yield significantly different results. key words: peer-to-peer networks, BitTorrent, network measurement, unreachable peers
Adaptive Prefetching Java Objects

This paper describes a novel adaptive prefetching technique that prefetches memory at the object granularity instead of the usual cache block granularity. Specifically our approach focuses on prefetching Java objects through a software manager called a Prefetch Module. The adaptive nature of our approach is that the Prefetch Module dynamically decides whether to profile, prefetch, or sleep by monitoring it’s prefetch prediction accuracy. For instance if the Prefetch Module detects high prediction accuracy, it will continue to prefetch, but if for low prediction accuracy, it will either decide to dynamically re-profile the application or to go to sleep. We integrated the Prefetch Module with the java.util. Hash* classes and evaluated it on five macro-benchmarks including the commercial benchmark TPC-W. Our results are very promising and show a prefetch prediction accuracy upwards of 75% and higher for some Prefetch Module configurations.
Comparing HiveQL and MapReduce methods to process fact data in a data warehouse

Today Big data is one of the most widely spoken about technology that is being explored throughout the world by technology enthusiasts and academic researchers. The reason for this is the enormous data generated every second of each day. Every webpage visited, every text message sent, every post on social networking websites, check-in information, mouse clicks etc. is logged. This data needs to be stored and retrieved efficiently, moreover the data is unstructured therefore the traditional methods of strong data fail. This data needs to be stored and retrieved efficiently There is a need of an efficient, scalable and robust architecture that needs stores enormous amounts of unstructured data, which can be queried as and when required. In this paper, we come up with a novel methodology to build a data warehouse over big data technologies while specifically addressing the issues of scalability and user performance. Our emphasis is on building a data pipeline which can be used as a reference for future research on the methodologies to build a data warehouse over big data technologies for either structured or unstructured data sources. We have demonstrated the processing of data for retrieving the facts from data warehouse using two techniques, namely HiveQL and MapReduce.
O-GlcNAcylation promotes migration and invasion in human ovarian cancer cells via the RhoA/ROCK/MLC pathway

O-GlcNAcylation is a dynamic and reversible post-translational modification associated with the regulation of multiple cellular functions. The addition and removal of O-Linked β-N-acetylglucosamine (O-GlcNAc) on target proteins is catalyzed by O-GlcNAc transferase (OGT) and O-GlcNAcase (OGA), respectively. Accumulating evidence suggests that O-GlcNAcylation is associated with the malignancy of several types of human cancer. To investigate the effect of O-GlcNAcylation on ovarian cancer phenotypes, global O-GlcNAc levels were decreased by OGT silencing through RNA interference and increased by inhibiting OGA activity with Thiamet-G. Transwell assay results demonstrated that OGT silencing inhibited the migration and invasion of SKOV3 and 59M ovarian cells in vitro, while Thiamet-G treatment promoted migration and invasion. Furthermore, a pull-down assay and western blot analysis demonstrated that Thiamet-G treatment enhanced RhoA activity and the phosphorylation of the Rho-associated protein kinase (ROCK) substrate, myosin light chain (MLC), while OGT silencing attenuated RhoA activity and MLC phosphorylation. In addition, RhoA silencing via RNA interference and inhibition of ROCK activity with Y-27632 prevented Thiamet-G-induced increases in cell migration and invasion. These data suggest that O-GlcNAcylation augments the motility of ovarian cancer cells via the RhoA/ROCK/MLC signaling pathway. Therefore, O-GlcNAcylation may be a potential target for the diagnosis and treatment of ovarian cancer.
Domesday Book as an Example of Embryonic Weberian Administration in a

The way in which accounting plays a key part in the creation and maintenance of governmental power has recently become a source of enquiry for accounting researchers. Napier’s (2006) survey of 30 years of historical accounting research identifies power, knowledge and government as one of the key themes of the new accounting history. Although attracting more attention of late, there is still surprisingly little work which seeks to explore the exploitation of accounting as a mechanism by which governmental power can be reinforced. In particular, there is only a limited literature which explores how accounting reflects and interacts with the social, economic and political forces of different, important historical eras. Important exceptions are Carpenter and Feroz (2001), Edwards, Coombs and Greener (2002), Neu (1999), Neu (2000) and Jones (2010).
Exposure of B-lineage Lymphoid Cells to Low Energy Electromagnetic Fields Stimulates Lyn Kinase (*)

Here, we present evidence that exposure of B-lineage lymphoid cells to low energy electromagnetic fields (EMF) stimulates the protein tyrosine kinases Lyn and Syk, results in tyrosine phosphorylation of multiple electrophoretically distinct substrates, and leads to downstream activation of protein kinase C (PKC). EMF exposure enhances protein tyrosine phosphorylation in Syk deficient but not in Lyn-deficient B-lineage lymphoid cells and stimulates Lyn kinase activity in wild-type as well as Syk-deficient B-lineage lymphoid cells. These results indicate that activation of Lyn kinase is sufficient and mandatory for EMF-induced tyrosine phosphorylation in B-lineage lymphoid cells. The PKC activity increases later than the Lyn activity and pretreatment with the PTK inhibitors genistein or herbimycin A abrogates the EMF-induced PKC signal. Thus, stimulation of Lyn is a proximal and mandatory step in EMF-induced activation of PKC in B-lineage lymphoid cells. Our observations prompt the hypothesis that a delicate growth regulatory balance might be altered in B-lineage lymphoid cells by EMF-induced activation of Lyn.
Gender differences in violent behaviors: relationship to clinical symptoms and psychosocial factors.

OBJECTIVE Men are more violent than women in the general population, but this has not been found to be the case among psychiatric inpatients. The reason for this exception is poorly understood. The present study investigated gender differences in violent behaviors among patients with major psychiatric disorders. It examined various clinical symptoms and psychosocial factors to determine their differential impact on violence in men and women. METHOD Physical assaults and verbal assaults committed by psychiatric inpatients were recorded prospectively. Patients whose violent incident occurred during their first 2 months of hospitalization were eligible for the study. Patient history of community violence was also obtained. Psychiatric symptoms and ward behaviors were assessed upon entry into the study and after 4 weeks. RESULTS A similar percentage of women and men had an incident of physical assault in the hospital. Among the patients entered into the study, the women had a much higher level of verbal assaults throughout the evaluation period and a higher level of early physical assaults (i.e., within the first 10 days of the 4-week study period). Positive psychotic symptoms were more likely to result in assaults in women than in men. Physical assaults in the community, on the other hand, were more common in men and were associated with substance abuse, property crime, and a history of school truancy. CONCLUSIONS There are gender differences in the patterns of violent behavior among patients with major psychiatric disorders. Furthermore, psychiatric symptoms and psychosocial risk factors have a different impact on this behavior in men and women. This has important implications for the prediction and differential treatment of violent behavior.
Increased Oxidant Stress and Inflammation in Patients with Chronic Schizophrenia

Background: Several lines of evidence, including postmortem studies, suggest increased oxidative stress and inflammation in patients with schizophrenia. Alteration of oxidative stress markers has been reported in schizoprenia studies, but with inconsistent results. Oxidized low-density lipoproteins (oxLDL) have been reported to be capable of eliciting neurocytotoxicity. On the other hand, paraoxonase (PON1), an arylesterase(ARE), plays a role in protection against oxidative modifications of LDL and is considered to be one of the antioxidant enzymes. There are no studies showing the changes in oxidative stress and inflammation together, nor the activities of PON1 and ARE in schizophrenic patients. In this study, we examined PON1, ARE activities and oxidative/anti-oxidative markers in patients with chronic schizophrenia and healthy controls. Methods: We recruited 30 male chronic schizophrenic patients and 30 male healthy control subjects and examined C-reactive protein(CRP), fibrinogen, PON1, ARE and plasma total antioxidant status (TAS) and total oxidant status (TOS), oxidative stress index(OSI) in both groups. Schizophrenia symptoms were assessed using the positive and negative syndrome scale (PANSS). The related routine lipid profile parameters including HDL were also examined. Results: Patients had significantly higher CRP, fibrinogen, TOS and OSI levels; but the patients and control subjects did not differ on activities of the antioxidant enzymes PON1 and ARE. Interestingly, there were not any group differences in the lipid profile parameters except the triglyceride levels, that increased significantly in the patient group. Conclusions: In the present study, reporting the ARE activities besides the PON1 activities in schizophrenic patients for the first time, we showed that PON1 and ARE enzyme activities were not statistically different in patients with chronic schizophrenia. This study provides additional evidence of increased oxidative stress and inflammation in chronic schizophrenia, but no alterations in the antioxidant status were observed. Our results suggest that other mechanisms than the high density lipoprotein(HDL)-disfunctionality, namely decreases in PON1 or ARE enzyme activities, are more important in oxidative or antioxidative pathophysiological processes in schizophrenia.
Analytical Hybrid Model for Flux Switching Permanent Magnet Machines

With the emergence of energy related issues in the automotive sector, there is a tendency to find new efficient solutions to replace existing electrical machinery. One promising candidate is the flux switching permanent magnet machine (FSPMM). Due to its challenging structure and nonlinear characteristic, in the investigation of the machine, generally finite element method (FEM), and rarely the magnetic equivalent circuit (MEC), are implemented. The following paper introduces an alternative analytical modeling technique by means of a hybrid model, which combines the advantages of the MEC and the Fourier analysis.
Synergistic effect of iontophoresis and soluble microneedles for transdermal delivery of methotrexate

The aim of this study was to investigate the transdermal iontophoretic delivery of methotrexate, alone or in combination with microneedles, in‐vitro and in‐vivo using intracutaneous microdialysis in the hairless rat. The average depth of the microdialysis probe in the skin was found to be 0.54 mm. Methotrexate was stable in the presence of an applied electric field as determined by cyclic voltammetry. A current density of 0.4 mA cm−2 applied for 60 min was used in combination with maltose microneedles to enhance delivery of methotrexate across the skin. Delivery was enhanced by iontophoresis and microneedles, both in‐vitro and in‐vivo. A synergistic 25‐fold enhancement of delivery was observed in‐vivo when a combination of microneedles and iontophoresis was used compared with either modality alone.
Heterologous modules for efficient and versatile PCR‐based gene targeting in Schizosaccharomyces pombe

We describe a straightforward PCR‐based approach to the deletion, tagging, and overexpression of genes in their normal chromosomal locations in the fission yeast Schizosaccharomyces pombe. Using this approach and the S. pombe ura4+ gene as a marker, nine genes were deleted with efficiencies of homologous integration ranging from 6 to 63%. We also constructed a series of plasmids containing the kanMX6 module, which allows selection of G418‐resistant cells and thus provides a new heterologous marker for use in S. pombe. The modular nature of these constructs allows a small number of PCR primers to be used for a wide variety of gene manipulations, including deletion, overexpression (using the regulatable nmt1 promoter), C‐ or N‐terminal protein tagging (with HA, Myc, GST, or GFP), and partial C‐ or N‐terminal deletions with or without tagging. Nine genes were manipulated using these kanMX6 constructs as templates for PCR. The PCR primers included 60 to 80 bp of flanking sequences homologous to target sequences in the genome. Transformants were screened for homologous integration by PCR. In most cases, the efficiency of homologous integration was ≥50%, and the lowest efficiency encountered was 17%. The methodology and constructs described here should greatly facilitate analysis of gene function in S. pombe. © 1998 John Wiley & Sons, Ltd.