Miracle-dz/UniFAR-FTUs huggingface dataset:
Interactive design and stability analysis of decorative joinery for furniture

High-quality hand-made furniture often employs intrinsic joints that geometrically interlock along mating surfaces. Such joints increase the structural integrity of the furniture and add to its visual appeal. We present an interactive tool for designing such intrinsic joints. Users draw the visual appearance of the joints on the surface of an input furniture model as groups of two-dimensional (2D) regions that must belong to the same part. Our tool automatically partitions the furniture model into a set of solid 3D parts that conform to the user-specified 2D regions and assemble into the furniture. If the input does not merit assemblable solid 3D parts, then our tool reports the failure and suggests options for redesigning the 2D surface regions so that they are assemblable. Similarly, if any parts in the resulting assembly are unstable, then our tool suggests where additional 2D regions should be drawn to better interlock the parts and improve stability. To perform this stability analysis, we introduce a novel variational static analysis method that addresses shortcomings of the equilibrium method for our task. Specifically, our method correctly detects sliding instabilities and reports the locations and directions of sliding and hinging failures. We show that our tool can be used to generate over 100 joints inspired by traditional woodworking and Japanese joinery. We also design and fabricate nine complete furniture assemblies that are stable and connected using only the intrinsic joints produced by our tool.
Learning Partial-Order Macros from Solutions

Despite recent progress in AI planning, many problems remain challenging for current planners. In many domains, the performance of a planner can greatly be improved by discovering and exploiting information about the domain structure that is not explicitly encoded in the initial PDDL formulation. In this paper we present an automated method that learns relevant information from previous experience in a domain and uses it to solve new problem instances. Our approach produces a small set of useful macro-operators as a result of a training process. For each training problem, a structure called a solution graph is built based on the problem solution. Macro-operators with partial ordering of moves are extracted from the solution graph. A filtering and ranking procedure selects the most useful macro-operators, which will be used in future searches. We introduce a heuristic technique that uses only the most promising instantiations of a selected macro for node expansion. Our results indicate an impressive reduction of the search effort in complex domains where structure information can be inferred.
Clinical Utility of Echocardiography for the Diagnosis and Prognosis in Children with Bronchopulmonary Dsyplasia

Background Bronchopulmonary dysplasia (BPD) may result in chronic pulmonary artery hypertension and right ventricular (RV) dysfunction. Various echocardiographic assessments of RV dysfunction have been used to determine whether echocardiographic measurements of premature infants with BPD could provide sensitive measures of RV function that correlates with BPD severity. Methods Twenty-eight control subjects without BPD (non BPD group), 28 patients with mild BPD, 11 patients with moderate BPD, and six patients with severe BPD underwent echocardiograms with standard measurement such as ejection fraction by M-mode, tricuspid regurgitation pressure gradient, myocardial performance index (MPI) derived from pulse Doppler, and tissue Doppler imaging (TDI) measurements. BPD severity was classified by the NICHD/NHLBI/ORD workshop rating scale. Twenty-eight control subjects without BPD (non BPD group), 28 patients with mild BPD, 11 patients with moderate BPD, and six patients with severe BPD underwent echocardiograms with standard measurement such as ejection fraction by M-mode, tricuspid regurgitation pressure gradient, myocardial performance index (MPI) derived from pulse Doppler, and TDI measurements. BPD severity was classified by the NICHD/NHLBI/ORD workshop rating scale. Results None of the standard echocardiographic findings was significantly different between the control group and BPD groups. However, mean septal TDI-MPI of the severe BPD group (0.68 ± 0.06) was significantly (p < 0.01) higher than that of the non-BPD (0.58 ± 0.10) or the mild BPD group (0.59 ± 0.12). In addition, mean RV TDI-MPI of the severe BPD group (0.71 ± 0.13) was significantly (p < 0.05) higher than that of the non-BPD group (0.56 ± 0.08) or the mild BPD group (0.60 ± 0.125). Linear regression showed a good correlation between the severity of BPD and RV TDI-MPI (p = 0.01, R = 0.30) or septal TDI-MPI (p = 0.04, R = 0.24). Conclusion Echocardiographic evaluation of RV function based on an assessment of RV TDI-MPI can provide RV dysfunction parameter in premature infants with BPD.
Formation of feldspathic and metallic melts by shock in enstatite chondrite Reckling Peak A80259

Abstract— The enstatite chondrite reckling peak (rkp) a80259 contains feldspathic glass, kamacite, troilite, and unusual sets of parallel fine‐grained enstatite prisms that formed by rapid cooling of shock melts. Metallic Fe,Ni and troilite occur as spherical inclusions in feldspathic glass, reflecting the immiscible Fe‐Ni‐S and feldspathic melts generated during the impact. The Fe‐Ni‐S and feldspathic liquids were injected into fractures in coarse‐grained enstatite and cooled rapidly, resulting in thin (≤ 10 μm) semicontinuous to discontinuous veins and inclusion trails in host enstatite. Whole‐rock melt veins characteristic of heavily shocked ordinary chondrites are conspicuously absent. Raman spectroscopy shows that the feldspathic material is a glass. Elevated MgO and SiO2 contents of the glass indicate that some enstatite and silica were incorporated in the feldspathic melt. Metallic Fe,Ni globules are enclosed by sulfide and exhibit Nienrichment along their margins characteristic of rapid crystallization from a Fe‐Ni‐S liquid. Metal enclosed by sulfide is higher in Si and P than metal in feldspathic glass and enstatite, possibly indicating lower O fugacities in metal/sulfide than in silicate domains. Fine‐grained, elongate enstatite prisms in troilite or feldspathic glass crystallized from local pyroxene melts that formed along precursor grain boundaries, but most of the enstatite in the target rock remained solid during the impact and occurs as deformed, coarsegrained crystals with lower CaO, Al2O3, and FeO than the fine‐grained enstatite. Reckling Peak A80259 represents an intermediate stage of shock melting between unmelted E chondrites and whole‐rock shock melts and melt breccias documented by previous workers. The shock petrogenesis of RKPA80259 reflects the extensive impact processing of the enstatite chondrite parent bodies relative to those of other chondrite types.
DNA Methylation, Its Mediators and Genome Integrity

DNA methylation regulates many cellular processes, including embryonic development, transcription, chromatin structure, X-chromosome inactivation, genomic imprinting and chromosome stability. DNA methyltransferases establish and maintain the presence of 5-methylcytosine (5mC), and ten-eleven translocation cytosine dioxygenases (TETs) oxidise 5mC to 5-hydroxymethylcytosine (5hmC), 5-formylcytosine (5fC) and 5-carboxylcytosine (5caC), which can be removed by base excision repair (BER) proteins. Multiple forms of DNA methylation are recognised by methyl-CpG binding proteins (MeCPs), which play vital roles in chromatin-based transcriptional regulation, DNA repair and replication. Accordingly, defects in DNA methylation and its mediators may cause silencing of tumour suppressor genes and misregulation of multiple cell cycles, DNA repair and chromosome stability genes, and hence contribute to genome instability in various human diseases, including cancer. Thus, understanding functional genetic mutations and aberrant expression of these DNA methylation mediators is critical to deciphering the crosstalk between concurrent genetic and epigenetic alterations in specific cancer types and to the development of new therapeutic strategies.
ILP-based cost-optimal DSP synthesis with module selection and data format conversion

In high-level synthesis, a data flow graph (DFG) description of an algorithm is mapped onto a register transfer level description of an architecture. Each node of the DFG is scheduled to a specific time and allocated to a processor. In this paper, we present new integer linear programming (ILP) models which generate a blocked schedule for a DFG with automatic retiming, pipelining, and unfolding while performing module selection and dataformat conversion. A blocked schedule is a schedule which overlaps multiple iterations of the DFG to guarantee a processor optimal schedule. During module selection an appropriate processor is chosen from a library of processors to construct a cost optimal architecture. Furthermore, we also include the cost and latency of data format conversions between processors of different implementation styles. We also present a new formulation for minimizing the unfolding factor of the blocked schedule. The approach presented in this paper is the only systematic approach proposed so far to include implicit unfolding and to perform synthesis using nonuniform processor styles and data format converters.
Total parser combinators

A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is similar to those of many other parser combinator libraries, with two important differences: one is that the interface clearly specifies which parts of the constructed parsers may be infinite, and which parts have to be finite, using dependent types and a combination of induction and coinduction; and the other is that the parser type is unusually informative. The library comes with a formal semantics, using which it is proved that the parser combinators are as expressive as possible. The implementation is supported by a machine-checked correctness proof.
Syntaxin 16: Unraveling cellular physiology through a ubiquitous SNARE molecule

Syntaxin 16 (Syx16) is member of the soluble N‐ethylmaleimide sensitive factor attachment protein receptor (SNARE) family of molecules that functions in membrane fusion in eukaryotic cells. A rather ubiquitously expressed, tail‐anchored membrane protein localized mainly at the trans‐Golgi network (TGN), it mediates primarily retrograde endosomal‐TGN transport. In spite of its ubiquitous expression, Syx16 has specific and interesting roles in the physiology of specialized cells, including Glut4 dynamics, dendritic outgrowth‐related membrane traffic, and cytokinesis. We discussed these physiological functions of Syx16 in the light of what is known of its subcellular localization, vesicular trafficking pathways involved, cognate SNARE partners and other interacting proteins. Further, we speculate on some possible pathophysiological roles of Syx16. J. Cell. Physiol. 225: 326–332, 2010. © 2010 Wiley‐Liss, Inc.
Assessing constraints on the path of regulatory sequence evolution

Structural and functional constraints are known to play a major role in restricting the path of evolution of protein activities. However, constraints acting on evolving transcriptional regulatory sequences, e.g. enhancers, are largely unknown. Recently, we elucidated how a novel expression pattern of the Neprilysin-1 (Nep1) gene in the optic lobe of Drosophila santomea evolved via co-option of existing enhancer activities. Drosophila santomea, which has diverged from Drosophila yakuba by approximately 400 000 years has accumulated four fixed mutations that each contribute to the full activity of this enhancer. Recreating and testing the optic lobe enhancer of the ancestor of D. santomea and D. yakuba revealed that the strong D. santomea enhancer activity evolved from a weak ancestral activity. Because each mutation on the path from the D. yakuba/santomea ancestor to modern-day D. santomea contributes to the newly derived optic lobe enhancer activity, we sought here to use this system to study the path of evolution of enhancer sequences. We inferred likely paths of evolution of this enhancer by observing the transcriptional output of all possible intermediate steps between the ancestral D. yakuba/santomea enhancer and the modern D. santomea enhancer. Many possible paths had epistatic and cooperative effects. Furthermore, we found that several paths significantly increased ectopic transcriptional activity or affected existing enhancer activities from which the novel activity was co-opted. We suggest that these attributes highlight constraints that guide the path of evolution of enhancers.
A Learner Corpus-based Approach to Verb Suggestion for ESL

We propose a verb suggestion method which uses candidate sets and domain adaptation to incorporate error patterns produced by ESL learners. The candidate sets are constructed from a large scale learner corpus to cover various error patterns made by learners. Furthermore, the model is trained using both a native corpus and the learner corpus via a domain adaptation technique. Experiments on two learner corpora show that the candidate sets increase the coverage of error patterns and domain adaptation improves the performance for verb suggestion.
Threshold Effect, Financial Intermediation and Macroeconomic Performance

This paper analyzes the theoretical finance-growth nexus in the case of developing countries. Using the Neoclassical growth framework, our contribution is threefold. First, we show that entrepreneurship is a growth-enhancing factor in both financial intermediary equilibrium and financial market equilibrium. Second, we show that agent’s saving is a main determinant of the optimal proportion of long-term investment and hence, we characterize the traditional role of bank as financial intermediary (deposits and investments). Third, our model is characterized by the existence of multiple steady states equilibrium with the threshold effect of capital stock, as development trap problem, which impedes the economy to reach the higher long-run steady state equilibrium. We show that financial intermediary is better than financial market in order to reduce threshold effect, and to ensure the existence and uniqueness of a higher long-run steady state equilibrium of capital stock by promoting long-term investment.
Future Directions

Technological progress of last few decades has made cosmology a data-rich scientific enterprise cosmology today is driven more and more by observation than ever before. Every new experiment provides another opportunity to have a better understanding of our universe. Over the years cosmology has seen a noticeable improvement in quality of CMB data. Experiments such as ACT [115], SPT [116], ACBAR [117] and QUaD [118] provide reasonably accurate Cl. And a modelindependent angular power spectrum estimation of each set of these data can provide valuable insights.
Surface displacement of the March 26, 1997 Kagoshima‐Ken‐Hokuseibu Earthquake in Japan from synthetic aperture radar interferometry

A JERS 1 differential L‐band synthetic aperture radar (SAR) interferogram of the March 26,1997 Kagoshima‐ken‐hokuseibu earthquake (Mw=6.1) in southwestern Japan shows about 9 cm peak‐to‐peak coseismic surface displacement in the radar line‐of‐sight (LOS) direction. A permanent GPS array detected 1 to 2 cm horizontal displacements from this earthquake. By inverting the SAR and GPS data together, we estimated a fault mechanism without any seismological data. A theoretical radar LOS displacement pattern from a single fault model of the earthquake motion matches the SAR and GPS observations closely. The model assumes left lateral slip of 0.46 cm with rake angle of 19° on a rectangular fault plane of dimensions 11 km (width) by 12 km (length). We demonstrate that L‐band SAR interferometry can describe several cm surface displacement in detail and construct a fault model. However, despite the acquisitions being during the cold season, there are apparent water vapor signatures in the interferogram with equivalent path delays of up to 1.5 cm.
Emissions from nine heavy trucks fueled by diesel and biodiesel blend without engine modification

Biodiesel, a fuel that can be made from renewable biological sources such as vegetable oils or animal fats, has been recognized recently as an environment friendly alternative fuel for diesel engines. In this paper, we describe a study that compared exhaust emissions from in-use heavy trucks fueled with a biodiesel blend with those from trucks fueled with petroleum diesel. The biodiesel blend tested is a mixture of 35% biodiesel and 65% petroleum diesel, a blend designated as B35. The study is based on the field test results from West Virginia University's Transportable Heavy Duty Chassis Dynamometer Emissions Testing Laboratory and sponsored by the U.S. Department of Energy. The heavy trucks we tested performed well when the originally equipped compression-ignition engine (diesel engine) was fueled with B35 without any engine modifications. Fuel economy (in terms of gallon per mile) of the two fuels was about the same. The emissions test results have shown that the heavy trucks fueled by B35 emitted sign.
Purification and Characterization of an Acid Amidase Selective for N-Palmitoylethanolamine, a Putative Endogenous Anti-inflammatory Substance*

N-Arachidonoylethanolamine (anandamide) is cannabimimetic, and N-palmitoylethanolamine is anti-inflammatory and immunosuppressive. We found an amidase that is more active with the latter than the former in contrast to the previously known anandamide amidohydrolase for whichN-palmitoylethanolamine is a poor substrate. Proteins solubilized by freezing and thawing from the 12,000 ×g pellet of various rat organs hydrolyzed [14C]N-palmitoylethanolamine to palmitic acid and ethanolamine. The specific enzyme activity was higher in the order of lung > spleen > small intestine > thymus > cecum, and high activity was found in peritoneal and alveolar macrophages. The enzyme with a molecular mass of 31 kDa was purified from rat lung to a specific activity of 1.8 μmol/min/mg protein. Relative reactivities of the enzyme with variousN-acylethanolamines (100 μm) were as follows:N-palmitoylethanolamine, 100%;N-myristoylethanolamine, 48%;N-stearoylethanolamine, 21%; N-oleoylethanolamine, 20%;N-linoleoylethanolamine, 13%; anandamide, 8%. The enzyme was the most active at pH 5 and was activated 7-fold by Triton X-100. The enzyme was almost insensitive to methyl arachidonyl fluorophosphonate, which inhibited anandamide amidohydrolase potently. Thus, the new enzyme referred to asN-palmitoylethanolamine hydrolase was clearly distinguishable from anandamide amidohydrolase.
An accelerated algorithm for minimizing convex compositions

We describe a new proximal algorithm for minimizing compositions of ﬁnite-valued convex functions with smooth mappings. When applied to convex optimization problems having an additive composite form, the algorithm reduces to FISTA. The method both realizes the best known complexity bound of O (1 /(cid:15) ) in optimality conditions whenever the objective function has bounded domain, and achieves the accelerated rate O (1 / √ (cid:15) ) in function values under standard convexity assumptions. A natural convexity parameter of the composition quantiﬁes the transition between the two modes of convergence.
An asynchronous rule-based approach for business process automation using obligations

The Edee architecture provides a mechanism for explicitly and uniformly capturing business occurrences, and provisions of contracts, policies, and law. Edee is able to reason about the interactions of intra-, inter-, and extra-organizational policy, and execute business procedures informed by the combined legal effects of these diverse rules. We show through an example how Edee's asynchronous approach, namely to initiate actions only after consulting the database to determine active obligations, differs from the traditional synchronous approach in which procedural side-effects are initiated when clauses of rules are evaluated. The example show-cases both conflict detection and resolution in Edee. Edee's novel mechanism for business process automation is based on assessment of legal status and directives, and can be contrasted to the conventional task-dependency and process-synchronization approach employed in other workflow systems.
Effect of Antibiotics Overuse in Animal Food and its Link with Public Health Risk

Antibiotics are a group of antimicrobial substances that are used in treatment of bacterial infections and prevent diseases. Use of antibiotics in poultry have been observed since 1940, the purpose of the usage was initially for treatment of infection but gradually taking this drug increased dramatically in animal husbandries especially in poultry in the second half of the twentieth century for increasing economic benefits because these antibiotics have ability to work as hormone growths. Meanwhile at the end of the century, more than 70 percent of all produced antibiotics consumed in animal husbandries. Overuse and abuse of these medications in poultry have dangerous effect on human health as consumers of these products because of strong relationship between use of antibiotic in animal food and it’s resistance in human's body. In this paper we focused on different types of antibiotics used in poultry and discussed possible overuse of antibiotics in animal husbandries which result in threatening human health in order to encourage establishing organizations Supporting Restrictions on the Use of antibiotics in animal husbandries to save human health in this order.
Intracerebral transplantation for neurological disorders. Lessons from developmental, experimental, and clinical studies

The use of human pluripotent stem cells (PSCs) for cell therapy faces a number of challenges that are progressively answered by results from clinical trials and experimental research. Among these is the control of differentiation before transplantation and the prediction of cell fate after administration into the human brain, two aspects that condition both the safety and efficacy of the approach. For neurological disorders, this includes two steps: firstly, the identification of the optimal maturation stage for transplantation along the continuum that transforms PSCs into fully differentiated neural cell types, together with the derivation of robust protocols for large-scale production of biological products, and, secondly, the understanding of the effects of environmental cues and their possible interference with transplanted cells commitment. This review will firstly summarize our knowledge on developmental processes that have been applied to achieve robust in vitro differentiation of PSCs into neural progenitors. In a second part, we summarize results from experimental and clinical transplantation studies that help understanding the dialogue that establishes between transplanted cells and their host brain.