Miracle-dz/UniFAR-FTUs huggingface dataset:
An Approach to Planning with Incomplete Information

Classical planners presuppose complete and correct information about the world. This paper provides the syntax and semantics for uwl, a representation for goals and actions that facilitates planning with incomplete information about the world's state. While the expressive power of uwl is limited compared to previous work on logics of knowledge and belief, uwl has the advantage of being easily incorporated into planning algorithms. We describe a provably correct planning algorithm based on uwl. To demonstrate uwl's expressive power we encode a subset of the UNIX domain (planning to achieve UNIX goals, using UNIX shell commands as primitive actions), which is di cult to capture using existing planning languages. Authors' names are listed alphabetically within two status-oriented equivalence classes. Our research was funded in part by National Science Foundation Grants IRI-8957302 and IRI{9008670, O ce of Naval Research Grants 92-J-1946, 90-J-1904, a NASA Graduate Student Researcher's Fellowship, an O ce of Naval Research Graduate Fellowship, and a grant from the Xerox corporation. We thank Ernie Davis, Mark Drummond, Keiji Kanazawa, Craig Knoblock, Leora Morgenstern, Alicia P erez, Rich Segal, and the anonymous reviewers for helpful comments on previous drafts. 1UNIX is a trademark of AT&T Bell Labs.
End-to-End Lip Synchronisation

The goal of this work is to synchronise audio and video of a talking face using deep neural network models. Existing works have trained networks on proxy tasks such as cross-modal similarity learning, and then computed similarities between audio and video frames using a sliding window approach. While these methods demonstrate satisfactory performance, the networks are not trained directly on the task. To this end, we propose an end-to-end trained network that can directly predict the offset between an audio stream and the corresponding video stream. The similarity matrix between the two modalities is first computed from the features, then the inference of the offset can be considered to be a pattern recognition problem where the matrix is considered equivalent to an image. The feature extractor and the classifier are trained jointly. We demonstrate that the proposed approach outperforms the previous work by a large margin on LRS2 and LRS3 datasets.
Comparison of Basal Gene Expression in Cultured Primary Rat Hepatocytes and Freshly Isolated Rat Hepatocytes

Cultured primary hepatocytes are one of the most suitable in vitro models for hepatic toxicological studies. Unfortunately, there is a temporal loss of liver-specific function in culture that limits their utility for some applications. Plating hepatocytes on a substratum has been shown to stabilize the differentiated phenotype for short-term culture. In order to identify the substratum that best supports in vivo basal hepatocyte gene expression profiles in vitro, the gene expression profiles of primary rat hepatocytes plated on collagen I in hepatocyte maintenance medium (HMM) or hepatocyte culture medium (HCM), or on matrigel in HMM medium for 2 h, 16 h, or 72 h were compared to the expression profiles of freshly isolated rat hepatocytes using the Atlas rat stress array. After 16 h in culture, there were differences in gene expression between cultured primary hepatocytes and freshly isolated hepatocytes, but no apparent substratum effects. At 72 h, the expression of 9 genes was altered in hepatocytes plated on either substratum compared to expression in freshly isolated hepatocytes. However, there were an additional 13 genes with increased expression in hepatocytes plated on collagen I that were expressed at low or non-detectable levels in freshly isolated hepatocytes or primary hepatocytes plated on matrigel. In summary, after 72 h, primary hepatocytes plated on matrigel had basal gene expression patterns more similar to patterns in freshly isolated hepatocytes than did hepatocytes cultured on collagen. In addition, culture on matrigel suppressed the expression of atypical genes in culture. These preliminary studies suggest that culture on matrigel may be preferable for longer-term in vitro toxicological studies.
A taxonomy for image authentication techniques and its application to the current state of the art

In this paper we propose a taxonomy for image authentication techniques that takes into account three different features: the level of integrity verification, the approach to the generation of the authenticator and the capability of localizing manipulated areas. The goal is to revise the current and very heterogeneous bibliography on this topic, and to define a set of basic requirements for an authentication service, in order to identify which ones have already been met and which ones remain challenging. The major algorithms proposed in the last decade are examined according to the classification criteria; advantages and drawbacks of the possible approaches are reported. In particular, we investigate the relationship between the well established digital signature techniques and the emerging watermarking approaches. As a result, we propose a methodological approach to the design of robust, secure and efficient authentication algorithms.
Análisis Del Cambio De Uso Del Suelo En Una Región Del Altiplano Mexicano. Retos E Impactos: 1986 – 2011

El Altiplano Mexicano se caracteriza por su amplia diversidad ambiental, geografica, paisajistica y sociocultural. Sin embargo, por su ubicacion geografica, los procesos economicos y la dinamica demografica son factores que ocasionan cambios en el uso del suelo. Fue proposito de la investigacion, determinar el cambio de uso de suelo y los impactos que este ocasiona, analizando ocho categorias: bosques, agricultura de temporal, agricultura de riego, agricultura tecnificada controlada, pastizal, cuerpos de agua, suelos desprovistos de vegetacion y asentamientos humanos . El sustento teorico fue la identificacion y cuantificacion de los cambios ocurridos, las ganancias, las perdidas, los cambios totales e intercambios, estableciendo asociaciones con fundamentos de geografia ambiental (Bocco, 2007), geografia rural (Clout, 1976) y ecologia cultural (Steward, 1955). Fueron utilizadas imagenes de satelite, el software ArcGIS 9.3 y ArcGIS 10 en el modulo ArcMap y tabulacion cruzada. Los anos de analisis fueron 1986 y 2011. Los resultados muestran que en un lapso de 25 anos, los bosques y los pastizales, son las coberturas que han manfiestdo perdidas significativas. Se perdio el 29.8 % de bosques y el 26% de pastizal. De continuar esta tendencia, es posible que en la region ocurran impactos ambienales que afecten las condiciones de vida de las familias campesinas.
The influences of childhood and adult socioeconomic position on body mass index: A longitudinal Swedish cohort study

Background: Low socioeconomic position (SEP) in adulthood has been associated with overweight and obesity in high-income countries. However, little is known about the contribution of childhood SEP to weight change. Using a Swedish general population sample, this study aimed to examine the association between five-year weight gain among adults and socioeconomic position in childhood and adulthood. Methods: The data was drawn from the Scania Public Health Cohort and included 4244 individuals (1816 males and 2428 females) between the ages of 29 and 60 years, stratified by sex and age (29–39 and 40–60 years). General linear and logistic regression models were used to analyse the data. Results: Adult SEP was inversely correlated to BMI at baseline in males and older females. Childhood SEP showed no clear pattern regarding current BMI or the risk of being overweight at baseline, either in males or females. However, BMI increase between baseline and follow-up was greater in the highest adult SEP groups than in lowest ones for both males and females, although with a weaker trend among females. High childhood SEP was associated with a greater BMI increase in older males, but the pattern was the opposite in older females. Conclusions: Adult as well as childhood SEP influences weight gains, but differently among males and females and in different age groups. The findings suggest two waves of socioeconomic weight gain patterns in the Swedish population: one across generations and another contemporary one.
Design of cluster-wise optimal fuzzy logic controllers to model input-output relationships of some manufacturing processes

In the present study, fuzzy logic (FL)-based approaches have been developed to determine the input-output relationships of some manufacturing processes, which may be non-linear in nature. Moreover, the degree of non-linearity may not be the same over the entire range of the variables. The input-output space has been clustered based on the similarity of the data points and cluster-wise linear regressions have been carried out. Takagi and Sugeno's approach of fuzzy logic controller (FLC) has been implemented cluster-wise using the pre-determined regression equations. A genetic algorithm (GA) has been utilised to optimise both cluster-properties as well as knowledge base of the FLCs developed based on two types of clustering algorithm, namely entropy-based approach and fuzzy C-means algorithm. The performances of above two FLCs have been compared in the present work.
EyeBallGUI: A Tool for Visual Inspection and Binary Marking of Multi-channel Bio-signals

A wide range of studies in human neuroscience rely on the analysis of electrophysiological bio-signals such as electroencephalogram (EEG) where customized data analysis may require supervised artefact rejection, binary marking through visual inspection, selection of noise and artefact samples for pre-processing algorithms, and selection of clinically-relevant signal segments in neurological conditions. Nevertheless, the existing preprocessing tools do not provide the needed flexibility to handle such tasks efficiently. We therefore developed a free open-source Graphical User Interface (GUI), EyeBallGUI, that allows visualization and flexible, manual marking (binary classification) of multi-channel bio-signal data. EyeBallGUI, developed for MATLAB®, allows the user to interactively and accurately inspect and mark multi-channel digitized data with no restriction on marking periods of data in subsets of channels (a restriction in place in existing tools). The new tool facilitates precise, manual marking of bio-signals by allowing any desired segment of data to be marked in any subset of channels. It is therefore of utility in circumstances where such flexibility is essential. The developed GUI is an auxiliary analysis tool that shall facilitate neural signal (pre-)processing applications where it is desirable to perform accurate supervised artefact rejection, flexible data marking for increased data retention yield, extraction of specific signal segments by expert users from sample data, or labeling of data for clinical and scientific research purposes.
Transverse limb defect in a patient with Jacobsen syndrome: Concurrence of malformation and disruption

Transverse Limb Defect in a Patient With Jacobsen Syndrome: Concurrence of Malformation and Disruption Hideki Fujita, Tadahiro Yanagi, Rika Kosaki, Chiharu Torii, Masahiro Bamba, Takao Takahashi, and Kenjiro Kosaki* Division of Clinical Genetics and Molecular Medicine, National Center for Child Health and Development, Tokyo, Japan Department of Pediatrics, Keio University School of Medicine, Tokyo, Japan Department of Pediatrics, Yokosuka Kyosai Hospital, Yokosuka, Japan
Faster approximation algorithms for generalized flow

We present faster FPTAS’s for generalized versions of the maximum flow, multicommodity flow, minimum cost flow, and miniium cost multicommodity flow problems in lossy networks. We dominate the previous best known complexity bounds for all of these problems, some by as much as a factor of n2. Our generalized multicommodity FPTAS’s are now as fast as the best non-generalized _ones. We give a 0(m2) time FPTAS for the generalized maximum flow problem. This is faster than the previous best strongly-polynomial bound by a factor of n. We are also able to reduce the dependency on the error parameter from cm2 to log(l/r) in this case.
Two new metabolites from a soil fungus Curvularia affinis strain HS-FG-196

Two new metabolites, pyrenocine J (1) and pyrenochaetic acid D (2), together with two known metabolites, pyrenocine A (3) and pyrenochaetic acid A (4), were isolated from a soil fungus, Curvularia affinis strain HS-FG-196. Their structures were established by extensive spectroscopic analysis. Compound 1 showed cytotoxic activity against the human hepatic cancer cell line HepG2 with an IC50 value of 28.5 μg/ml.
Wage Determination in the Federal Government: The Role of Constituents and Bureaucrats

The existence of significant wage differentials among "similar" individuals employed by different agencies in the federal government is explored. The theoretical framework proposes that the underlying reason for these differentials may be linked to the political influence exhibited by the constituencies and bureaucracies of federal agencies. The empirical results indicate that employees in federal agencies with small and well-organized constituencies and with bureaucracies that apparently share common interests generally receive higher wage rates. In fact, a small number of variables measuring these political factors explains about two-thirds of interagency wage differentials.
Evaluation of survival rate and prognostic indicators for surgical treatment of left-to-right patent ductus arteriosus in dogs: 52 cases (1995-2003).

OBJECTIVE To determine factors associated with long-term survival in dogs treated surgically for patent ductus arteriosus (PDA). DESIGN Retrospective case series. Animals-52 dogs treated surgically for left-to-right shunting PDA. PROCEDURE Data pertaining to age, breed, sex, body weight, clinical examination findings, type and duration of medical treatment, results of thoracic radiography and echocardiography, and surgical and postoperative complications were collected from records. Follow-up information was obtained from medical records or telephone interviews with owners or referring veterinarians. RESULTS 22 dogs had mitral valve regurgitation. Mean weight and age were not significantly different between dogs with or without mitral valve regurgitation. Twenty-four (46.2%) dogs had clinical signs related to cardiac insufficiency. Left atrial dilatation was observed in 56.3% of dogs that were radiographed. Sonographic imaging was used to diagnose left atrial dilatation in 23 dogs and left ventricular dilatation in 25 dogs. The 1- and 2-year survival rates were 92% and 87%, respectively. Diagnosis of mitral valve regurgitation before surgery was not associated with the probability of survival. Age, weight, lethargy, preoperative treatment with angiotensin-converting enzyme inhibitors, and right atrial dilatation on radiographs at the time of surgery were negatively associated with probability of survival. CONCLUSIONS AND CLINICAL RELEVANCE Surgical treatment of PDA was curative in young dogs without clinical signs of heart failure. Surgical correction of PDA should be recommended as early as possible after diagnosis, and mitral valve regurgitation is not a contraindication for surgery.
The Zinc Finger Proteins Mxr1p and Repressor of Phosphoenolpyruvate Carboxykinase (ROP) Have the Same DNA Binding Specificity but Regulate Methanol Metabolism Antagonistically in Pichia pastoris*

Background: Transcriptional regulation of alcohol oxidase gene expression in Pichia pastoris by two zinc finger transcription factors is described. Results: An activator and a repressor interact with the same promoter sequences. Conclusion: Methanol metabolism by a transcriptional repressor in a nutrient-rich medium but not minimal medium is regulated differentially. Significance: This is the first report of a transcriptional repressor of methanol metabolism in any yeast species. The methanol-inducible alcohol oxidase I (AOXI) promoter of the methylotrophic yeast, Pichia pastoris, is used widely for the production of recombinant proteins. AOXI transcription is regulated by the zinc finger protein Mxr1p (methanol expression regulator 1). ROP (repressor of phosphoenolpyruvate carboxykinase, PEPCK) is a methanol- and biotin starvation-inducible zinc finger protein that acts as a negative regulator of PEPCK in P. pastoris cultured in biotin-deficient, glucose-ammonium medium. The function of ROP during methanol metabolism is not known. In this study, we demonstrate that ROP represses methanol-inducible expression of AOXI when P. pastoris is cultured in a nutrient-rich medium containing yeast extract, peptone, and methanol (YPM). Deletion of the gene encoding ROP results in enhanced expression of AOXI and growth promotion whereas overexpression of ROP results in repression of AOXI and growth retardation of P. pastoris cultured in YPM medium. Surprisingly, deletion or overexpression of ROP has no effect on AOXI gene expression and growth of P. pastoris cultured in a minimal medium containing yeast nitrogen base and methanol (YNBM). Subcellular localization studies indicate that ROP translocates from cytosol to nucleus of cells cultured in YPM but not YNBM. In vitro DNA binding studies indicate that AOXI promoter sequences containing 5′ CYCCNY 3′ motifs serve as binding sites for Mxr1p as well as ROP. Thus, Mxr1p and ROP exhibit the same DNA binding specificity but regulate methanol metabolism antagonistically in P. pastoris. This is the first report on the identification of a transcriptional repressor of methanol metabolism in any yeast species.
The cannabinoid receptor agonist nabilone for the treatment of dementia‐related agitation

The management of dementia-related agitation can be challenging. Antipsychotic medications are associated with significant risks and regulatory agencies have advised against the use of antipsychotics in patients with dementia. Alternative pharmacotherapeutic options are urgently required. This case report chronicles a patient with dementia whose behavioural symptoms improved significantly upon introduction of the cannabinoid receptor agonist nabilone.
Observer-based adaptive tracking control of rigid-link flexible-joint robot manipulators

Joint flexibility is an important factor to consider in the robot control design if high performance is expected for the robot manipulators. Research works on control of rigid-link flexible-joint (RLFJ) robot in literature have assumed that the kinematics of the robot is known exactly. There have been few results that can deal with the kinematics uncertainty in RLFJ robot. In this paper, we propose an adaptive tracking control method which can deal with the kinematics uncertainty and uncertainties in both link and actuator dynamics of the RLFJ robot system. Nonlinear observers are designed to avoid accelerations measurement due to the fourth-order overall system dynamics. Asymptotic stability of the closed-loop system is shown and sufficient conditions are presented to guarantee the stability.
Cluster validation methods for localization of spatial rainfall data in the northeast region of Thailand

In order to develop spatial interpolation models for a large area, localization is required to partition global spatial data into local areas. Fuzzy c-means clustering are normally used to perform this task. However, the method needs prior information to determine the most proper number of cluster. This study proposes the use of two cluster validation methods, statistic-based method and simulation-based method to determine the optimal number of cluster for spatial data. The statistic-based method analyzes standard deviation of spatial data to determine the number of cluster, whereas the simulation-based method analyzes the training performance of artificial neural network. The proposed methods were applied to the spatial rainfall data in the northeast region of Thailand. The experimental results demonstrated that the proposed methods could provide reasonable results. The statistic-based method is statistically explainable for human analysts, whereas the simulation-based is an easy-to-use technique for cluster validation.
Hardiness Scales in Iranian Managers: Evidence of Incremental Validity in Relationships with the Five Factor Model and with Organizational and Psychological Adjustment

This study examined the incremental validity of Hardiness scales in a sample of Iranian managers. Along with measures of the Five Factor Model and of Organizational and Psychological Adjustment, Hardiness scales were administered to 159 male managers (M age = 39.9, SD = 7.5) who had worked in their organizations for 7.9 yr. (SD = 5.4). Hardiness predicted greater Job Satisfaction, higher Organization-based Self-esteem, and perceptions of the work environment as being less stressful and constraining. Hardiness also correlated positively with Assertiveness, Emotional Stability, Extraversion, Openness to Experience, Agreeableness, and Conscientiousness and negatively with Depression, Anxiety, Perceived Stress, Chance External Control, and a Powerful Others External Control. Evidence of incremental validity was obtained when the Hardiness scales supplemented the Five Factor Model in predicting organizational and psychological adjustment. These data documented the incremental validity of the Hardiness scales in a non-Western sample and thus confirmed once again that Hardiness has a relevance that extends beyond the culture in which it was developed.
Bootstrap confidence Intervals for steady-State Availability

Steady-state availability, denoted by A, has been widely used as a measure to evaluate the reliability of a repairable system. In this paper, we develop new confidence intervals for steady-state availability based on four bootstrap methods; standard bootstrap confidence interval, percentile bootstrap confidence interval, bootstrap-t confidence interval, and bias-corrected and accelerated confidence interval. We also investigate the accuracy of these bootstrap confidence intervals by calculating the coverage probability and the average length of intervals.