Miracle-dz/UniFAR-FTUs huggingface dataset:
Data parallel implementation of surface-to-surface intersection

The sequential surface-to-surface intersection algorithm has been extensively studied in the past decade. With the advent of parallel processing machines, it is desirable to parallelize this algorithm to gain extra computation speed for real time applications. An earlier attempt to parallelize this algorithm was on shared memory parallel computer due to the highly shared model of data structure [Chang 1991]. A shared memory machine is not available at every location. Instead, we have implemented it on distributed parallel computer iPSC/860 with 32 processors. The initial development was done using PVM software in heterogeneous environment consisting of Sun workstations and 486's which are easily available. Also several improvements were made to the existing algorithm. The empirical results of speedup and processor efficiency of this prototype are presented.
Modelos actuales de procesamiento del número y el cálculo

The impairment of calculation and the use of numbers in general constitute a highly disabling condition. They are included in the concept of “acalculia” which involves different type of difficulties: semantic alterations that refer to the magnitudes, deficits in the understanding and expression of numbers, and disturbances in the execution of mathematical calculations. Therefore, this kind of alteration is a topic of clinical and theoretical interest. In order to understand this function, it is necessary to analyse the involved processes and to study them individually. Important advances have been achieved since the first case published in 1908 by Lewandowsy and Stadelman, particularly due to cognitive neuropsychology, in the delineation of refined processing models, specially the cognitive model published by McCloskey et al (1985) and the neurofunctional one published by Dehaene & Cohen (1995). Current contributions from neurosciences with functional images and those of the cognitive neuropsychology with clinical studies of acalculic patients allow to confirm the proposed models and to open new questions in an area until recently supedited to the study of other functions.
Actin cytoskeletal organization loss in the benign-to-malignant tumor transition in cultured human colonic epithelial cells.

The colonic epithelium in vivo is a highly indented sheet one cell thick. Culture methods have been developed to allow the normal cellular migration of the cells comprising this sheet to flatten it into a patch on the surface of a Petri dish [Friedman, E. A. , Higgins, P.J., Lipkin , M. , Shinya , H. , and Gelb , A.M., In Vitro (Rockville), 17: 632-644, 1981]. Actin cytoskeletal organization was analyzed in such epithelial "patches" derived from several human colonic adenocarcinomas and their precursors, adenomas (benign tumors). The actin cytoskeleton was visualized by fluorescence microscopy after the fixed, permeabilized cells were stained with rhodamine-conjugated phalloidin. This drug has a very high affinity for actin filaments and a much lower affinity for monomeric actin. Actin organization was scored from 0 (no cables) to 5 points (extensive intercellular cable network). The phalloidin-stained actin found in seven adenocarcinomas had a predominantly granular fluorescence pattern with very little cable organization, scoring an average of 0.9 +/- 0.8 (S. D.). Three established cell lines derived from human colon carcinomas contained no cables by this analysis, scoring 0.0 +/- 0.0. In marked contrast, all 12 of the cultured adenomas had extensive actin cable networks, scoring an average of 4.3 +/- 0.4. There was no statistical difference between adenomas of differing histopathology class and malignant potential. However, cytoskeletons of plasminogen-activator-secreting "late-stage" preneoplastic cells from adenomas became disorganized by exposure to 12-O-tetradecanoyl-phorbol-13-acetate or another tumor promoter, teleocidin B. They scored, respectively, average actin organization values of 0.0 +/- 0.0 and 0.4 +/- 0.6. In contrast, nonplasminogen -activator- secreting "early-stage" preneoplastic cells from less advanced benign tumors were unaffected by 12-O-tetradecanoyl-phorbol-13- acetate or teleocidin B and retained extensive actin organization. Most, if not all, adenocarcinomas arise from preexisting preneoplastic adenomatous cells. Thus, loss of actin organization appears to mark the transition of noninvasive benign colonic tumors to invasive malignant tumors in humans. This transition is mimicked in vitro by exposure of certain "late-stage" preneoplastic cells to a tumor promoter which induces secretion of a plasminogen activator.
Classification of motor imagery ecog signals using support vector machine for brain computer interface

Although brain-computer interface (BCI) methods have been evolving quickly in recent decades, there still a number of unsolved difficulties, such as enhancement of motor imagery (MI) classification. The most commonly used signals in BCI investigations is electroencephalography(EEG) recordings. EEG has restricted tenacity and needs extensive training and has restricted stability. Over the past ten years, an expanding number of studies has discovered the use of electrocorticography (ECoG) activity extracting signals from the surface of the mind. ECoG has attracted considerable and expanding interest, because its mechanical characteristics should readily support robust and chronic implementations of BCI systems in humans. In this paper, we suggest a hybrid algorithm to advance the classification achievement rate of MI-based electrocorticography (ECoG) in BCIs. To verify the effectiveness of the suggested classifier, we restore the SVM classifier with the identical features extracted from the cross-correlation method for the classification. The performances of those procedures are assessed with classification correctness through a 10-fold cross-validation procedure. We furthermore consider the performance of the suggested procedure by comparing it with existing system.
Heart-rate detection and tracking human body movements through walls at home

During sleep, we can detect human vital signs and heart rate which is very important as it can access the general physical health of a person and thus it will give us the details of that individual and with that details we can come to a conclusion. By determining respiration rate, we can detect our heart rate and he can detect many diseases such as sleep apnea and chronic obstructive pulmonary disease. In this paper we present heart rate detection and as well as detection of human body movements, using wireless signals through walls of a room. Here we discussed about two main technologies, both implemented using Wi-Fi router at home, namely Wi-Vi and Vital Radio. Wi-Vi is used for tracking human body movements and Vital Radio developed using Wi-Vi is used to track human heart rate and breathing pattern.
Research on no-load grid-connection control strategy for doubly-fed wind power system

With the single unit capacity of wind power is increasing, the grid-connection impact current can't be neglected now, that the grid-connection control technology should be had an in-depth study. In this paper the vector control based on the stator flux-oriented is transplanted to the grid-connection control, the no-lode grid-connection control strategies of AC excitation wind power generator is established, the decoupling control of the rotor side current and flux is achieved, and the purpose of the soft no-lode grid-connection is finished. The no-lode grid-connection simulation model based on Matlab/Simulink was established and analyzed, and an experiment was made on the simulated wind system platform of 11KW in the laboratory, the Simulation analysis and experimental results showed that the control strategy can effectively control the stator voltage frequency, amplitude and phase is the same as grid voltage, the feasibility of the control program is verified.
Plug-in electric vehicle control in smart grid

In this study, the penetration of Plug-in Electric Vehicle (PEV) is considered as a solution to minimize the variance of power load, as well as its ability to improve the efficiency and reliability of the power grid and to reduce carbon emission. The studied PEV is powered by Lithium-ion battery, which is characterized by its storage capacity and high energy densities. In this context, a new control strategy based on “PEV control algorithm” is investigated to detect the presence of the PEV and to monitor it into two operating modes: grid-to-vehicle (G2V) mode whose battery-involved PEV can absorb the excessive electric power from the grid in case of lack of load demand (during the off-peak hours), or vehicle-to-grid (V2G) mode whose PEV can feedback the stored power to the grid when the demand is high or in situations of poor electricity generation (during peak hours), ensuring consequently a smooth power load variance. The system is simulated by using MATLAB software and results are presented in order to show the efficiency of this control strategy.
Gender Differences in Elders’ Participation in the National Cancer Screening Program: Evidence from the Korean National Health and Nutrition Examination Survey 2010–12

Background: Cancer-screening programs are effective in reducing cancer prevalence and mortality; however, cancer remains the leading cause of death in elderly people in Korea. The aim of this study was to identify the factors associated with elders’ participation in the National Cancer Screening Program (NCSP) and differences in screening rates by gender. Methods: Original data from the Korea National Health and Nutrition and Examination Survey were analyzed by logistic regression analysis. The sample consisted of 5,505 elderly individuals over age 60. Selected demographic variables, cancer screening participation, physical and psychological health status, and lifestyle were examined. Results: The NCSP participation rates decreased in both men and women as age increased. Private medical insurance (OR 95% CI: 1.04–1.78), one or more chronic disease (OR 95% CI: 1.07–1.71), and current smoker (OR 95% CI: 0.52–0.94) had the strongest associations with cancer screening participation among men after multivariate adjustment. In contrast, cancer screening participation among women was significantly associated only with living place (OR 95% CI: 1.06–2.203) after multivariate adjustment. Conclusions: Effective health promoting interventions for elders require individualized programs that address gender-related factors associated with elders’ participation in cancer screening programs.
Rational Design and Synthesis of a Novel Anti-leukemic Agent Targeting

In a systematic effort to design potent inhibitors of the anti-apoptotic tyrosine kinase BTK (Bruton*s tyrosine kinase) as anti-leukemic agents with apoptosis-promoting and chemosensitizing properties, we have constructed a three-dimensional homology model of the BTK kinase domain. Our modeling studies revealed a distinct rectangular binding pocket near the hinge region of the BTK kinase domain with Leu, Tyr, Arg, and Asp residues occupying the corners of the rectangle. The dimensions of this rectangle are approximately 18 3 8 3 9 3 17 Å, and the thickness of the pocket is approximately 7 Å. Advanced docking procedures were employed for the rational design of leflunomide metabolite (LFM) analogs with a high likelihood to bind favorably to the catalytic site within the kinase domain of BTK. The lead compound LFM-A13, for which we calculated a Ki value of 1.4 mM, inhibited human BTK in vitro with an IC50 value of 17.2 6 0.8 mM. Similarly, LFMA13 inhibited recombinant BTK expressed in a baculovirus expression vector system with an IC50 value of 2.5 mM. The energetically favorable position of LFM-A13 in the binding pocket is such that its aromatic ring is close to Tyr, and its substituent group is sandwiched between residues Arg and Asp. In addition, LFM-A13 is capable of favorable hydrogen bonding interactions with BTK via Asp and Arg residues. Besides its remarkable potency in BTK kinase assays, LFM-A13 was also discovered to be a highly specific inhibitor of BTK. Even at concentrations as high as 100 mg/ml (;278 mM), this novel inhibitor did not affect the enzymatic activity of other protein tyrosine kinases, including JAK1, JAK3, HCK, epidermal growth factor receptor kinase, and insulin receptor kinase. In accordance with the anti-apoptotic function of BTK, treatment of BTK B-lineage leukemic cells with LFM-A13 enhanced their sensitivity to ceramideor vincristine-induced apoptosis. To our knowledge, LFM-A13 is the first BTK-specific tyrosine kinase inhibitor and the first anti-leukemic agent targeting BTK.
Squarefree polynomials and Mobius values in short intervals and arithmetic progressions

We calculate the mean and variance of sums of the Mobius function and the indicator function of the squarefrees, in both short intervals and arithmetic progressions, in the context of the ring of polynomials over a finite field of $q$ elements, in the limit $q\to \infty$. We do this by relating the sums in question to certain matrix integrals over the unitary group, using recent equidistribution results due to N. Katz, and then by evaluating these integrals. In many cases our results mirror what is either known or conjectured for the corresponding problems involving sums over the integers, which have a long history. In some cases there are subtle and surprising differences. The ranges over which our results hold is significantly greater than those established for the corresponding problems in the number field setting.
Fuzzy adaptive catfish particle swarm optimization

The catfish particle swarm optimization (CatfishPSO) algorithm is a novel swarm intelligence optimization technique.This algorithm was inspired by the interactive behavior of sardines and catfish. The observed catfish effect is applied toimprove the performance of particle swarm optimization (PSO). In this paper, we propose fuzzy CatfishPSO(F-CatfishPSO), which uses fuzzy to dynamically change the inertia weight of CatfishPSO. Ten benchmark functions with10, 20, and 30 different dimensions were selected as the test functions. Statistical analysis of the experimental resultsindicates that F-CatfishPSO outperformed PSO, F-PSO and CatfishPSO.
Economists' Flight from Ontology

There is no doubt that ontological questions are not very popular among economists.1 Those who practice a science do not exist to discuss such metaphysical questions; still there are some such questions that they can hardly avoid. Here I am thinking of questions concerning the very stuff from which are constituted the entities these scientists pretend to study. They are, from a slightly different point of view, questions whose answers allow us to characterise in a philosophically satisfactory way the nature of a certain science's subjectmatter and to see how it is related to the suject-matter of other sciences. By contrast with purely epistemological or methodological questions, what I call ontological questions are ontological in the sense that they concern not how to know but what is known2.
The effects of iron oxide incorporation on the chondrogenic potential of three human cell types

Non‐invasive monitoring of living cells in vivo provides an important tool in the development of cell‐based therapies in cartilage tissue engineering. High‐resolution magnetic resonance imaging (MRI) has been used to monitor target cell populations in vivo. However, the side‐effects on cell function of the labelling reagents, such as superparamagnetic iron oxide (SPIO), are still unclear. This study investigated the effect of SPIO particles on the chondrogenic differentiation of human bone marrow stromal cells (HBMSCs), neonatal and adult chondrocytes in vitro. Cells were labelled with SPIO for 24 h and chondrogenesis induced in serum‐free medium including TGFβ3. For labelled/unlabelled cells, viability, morphology and proliferation were determined using CellTracker™ Green and PicoGreen dsDNA assays. The expression of SOX9, COL2A1 and ACAN was investigated using qRT–PCR after 2, 7 and 14 days. The results showed that viability was unaffected in all of the cells but cell morphology changed towards a 'stretched' phenotype following SPIO uptake. Cell proliferation was reduced only for labelled neonatal chondrocytes. SOX9 and COL2A1 expression decreased at day 2 but not at days 7 and 14 for labelled HBMSCs and adult chondrocytes; ACAN expression was unaffected. In contrast, SOX9 and COL2A1 expression were unaffected in labelled neonatal chondrocytes but a decrease in ACAN expression was seen at day 14. The results suggest that downregulation of chondrogenic genes associated with SPIO labelling is temporary and target cell‐dependent. Resovist® can be used to label HBMSCs or mature chondrocytes for MR imaging of cells for cartilage tissue engineering. Copyright © 2012 John Wiley & Sons, Ltd.
Hybrid ARIMA-Support Vector Machine Model for Agricultural Production Planning

In this study we develop the hybrid models for forecasting in agricultural production planning. Real data of Thailand’s orchid export and Thailand’s pork product are used to validate candidate models. Autoregressive Integrate Moving Average (ARIMA) is also selected as a benchmarking to compare other developed models. The main concept of building the models is to combine different forecasting techniques in order to overcome the time-series forecasting errors. The combined models of Support Vector Machine (SVM) and ARIMA are considered as they can be represented both nonlinear and linear values. We perform many experiments on the combination of SVM and ARIMA and select the most precision model, which is the SVM (10) and ARIMA hybrid model, by using statistical criteria. For orchid export case, comparing to ARIMA, the error reduction from MAE, RMSE, and MAPE is 2.46%, 1.96%, and 4.63%, respectively. Moreover, the error reduction from MAE, RMSE, and MAPE is 8.08%, 6.24%, and 6.88%, respectively, for the case of pork product.
A thermal analysis of the operation of microscale, inorganic light-emitting diodes

An analytical model is developed to study the thermal properties of microscale, inorganic light-emitting diodes (μ-ILEDs) with ultra-thin geometries and layouts. The predicted surface and μ-ILED temperatures agree well with experiments and finite-element simulations. A simple scaling law is obtained for the normalized μ-ILED temperature versus the normalized μ-ILED size. This study provides a theory to guide the design of layouts that minimize adverse thermal effects on the performance of μ-ILEDs not only for solid-state lighting but also for applications integrating μ-ILED devices on complex/soft substrate as are currently of interest in optogenetics and other emerging areas in biology.
A New Challenge for Automated Reasoning: Veriication and Cryptanalysis of Cryptographic Algorithms

The veriication of security properties is one of the key issues of computer science and automated reasoning tools play a key role in the high level veriication of cryptographic protocols. Yet almost nobody uses these reasoning tools for the veriication and cryptanalysis of the algorithms upon which these protocols are based. In this paper we advocate that it is possible to use logic to encode the low-level properties of state-of-the-art cryptographic algorithms and then use automated theorem proving for reasoning about them. We call this approach logical cryptanalysis. Here we show a case study on the Data Encryption Standard and discuss the techniques that lead to a manageable encoding of this cryptographic algorithm into propositional logic. In this encoding nding a model for the encoded formula is equivalent to nding a key with a cryptanalytic attack. The paper also presents some preliminary but promising experimental analysis that we have carried in the generation of these formulae and the cryptanalysis of the algorithm using the provers SATO and TABLEAUX.
Interactive regulation of the pyruvate dehydrogenase complex and the carnitine palmitoyltransferase system

The review examines the mechanisms regulating the activities of the two key enzymes determining rates of glucose and fatty acid oxidation, i.e., the pyruvate dehydrogenase (PDH) complex and the carnitine palmitoyltransferase (CPT) system. The review also evaluates the regulatory importance of gene expression in the control of tissue fuel selection within the context of substrate competition between glucose and fatty acids. It identifies a strong indirect input of nutrient‐gene interactions in the control of pyruvate oxidation through the regulated provision of pyruvate as a substrate for PDH and as an inhibitor of PDH kinase. Nutrient‐gene interactions are also identified in relation to the regulation of CPT I activity by malonyl‐CoA (inhibitor) and by the provision of long‐chain acyl‐CoA (substrate/activator), the latter via the hydrolysis of plasma or tissue triacylglycerol (by lipoprotein lipase and hormone‐sensitive lipase, respectively). We discuss how such regulation is reinforced by long‐term modulation of PDH kinase‐specific activity and CPT I maximal activity. We also explore the role of mechanisms operating at the levels of the PDH complex and the CPT system that act to promote and accelerate a switch in fuel utilization once a committed change in nutrient supply has been established. In particular, we discuss the regulatory influences exerted by altered sensitivities of PDH kinase to inhibition by pyruvate and CPT I to inhibition by malonyl‐CoA, respectively. — Sugden, M. C. , Holness, M. J. Interactive regulation of the pyruvate dehydrogenase complex and the carnitine palmitoyltransferase system. FASEB J. 8: 54‐61; 1994.
Targeting HIV-1 Env gp140 to LOX-1 Elicits Immune Responses in Rhesus Macaques

Improved antigenicity against HIV-1 envelope (Env) protein is needed to elicit vaccine-induced protective immunity in humans. Here we describe the first tests in non-human primates (NHPs) of Env gp140 protein fused to a humanized anti-LOX-1 recombinant antibody for delivering Env directly to LOX-1-bearing antigen presenting cells, especially dendritic cells (DC). LOX-1, or 1ectin-like oxidized low-density lipoprotein (LDL) receptor-1, is expressed on various antigen presenting cells and endothelial cells, and is involved in promoting humoral immune responses. The anti-LOX-1 Env gp140 fusion protein was tested for priming immune responses and boosting responses in animals primed with replication competent NYVAC-KC Env gp140 vaccinia virus. Anti-LOX-1 Env gp140 vaccination elicited robust cellular and humoral responses when used for either priming or boosting immunity. Co-administration with Poly ICLC, a TLR3 agonist, was superior to GLA, a TLR4 agonist. Both CD4+ and CD8+ Env-specific T cell responses were elicited by anti-LOX-1 Env gp140, but in particular the CD4+ T cells were multifunctional and directed to multiple epitopes. Serum IgG and IgA antibody responses induced by anti-LOX-1 Env gp140 against various gp140 domains were cross-reactive across HIV-1 clades; however, the sera neutralized only HIV-1 bearing sequences most similar to the clade C 96ZM651 Env gp140 carried by the anti-LOX-1 vehicle. These data, as well as the safety of this protein vaccine, justify further exploration of this DC-targeting vaccine approach for protective immunity against HIV-1.