Miracle-dz/UniFAR-FTUs huggingface dataset:
A fully programmable 100-spin coherent Ising machine with all-to-all connections

Taking the pulse of optimization Finding the optimum solution of multiparameter or multifunctional problems is important across many disciplines, but it can be computationally intensive. Many such problems defined as computationally difficult can be mathematically mapped onto the so-called Ising problem, which looks at finding the minimum energy configuration for an array of coupled spins. Inagaki et al. and McMahon et al. show that an optical processing approach based on a network of coupled optical pulses in a ring fiber can be used to model and optimize large-scale Ising systems. Such a scalable architecture could help to optimize solutions to a wide range of complex problems. Science, this issue pp. 603 and 614 An optical-based processor is developed to solve a broad class of complex optimization problems. Unconventional, special-purpose machines may aid in accelerating the solution of some of the hardest problems in computing, such as large-scale combinatorial optimizations, by exploiting different operating mechanisms than those of standard digital computers. We present a scalable optical processor with electronic feedback that can be realized at large scale with room-temperature technology. Our prototype machine is able to find exact solutions of, or sample good approximate solutions to, a variety of hard instances of Ising problems with up to 100 spins and 10,000 spin-spin connections.
Restored expression of fragile histidine triad protein and tumorigenicity of cervical carcinoma cells.

BACKGROUND Allelic losses in the short arm of chromosome 3 are common in cervical carcinomas. The fragile histidine triad (FHIT) gene at chromosome region 3p14.2 is a candidate tumor suppressor gene that may play a role in cervical tumorigenesis. We and others have identified aberrant FHIT transcripts and frequent loss of Fhit protein expression in primary cervical cancers and high-grade noninvasive lesions but not in normal cervical tissues. The altered expression of FHIT may be due to somatic mutations or integration of human papillomavirus DNA at the FHIT locus. The purpose of this study was to determine whether ectopic expression of Fhit can suppress the tumorigenic properties of cervical cancer cells. METHODS We employed infection with recombinant retroviruses as well as transfection of plasmid DNA to restore Fhit protein expression in cervical cancer cell lines lacking full-length FHIT transcripts and endogenous Fhit protein. The effects of Fhit expression on tumor cell morphology, anchorage-independent growth, and tumorigenicity in nude mice were examined. RESULTS Stable overexpression of Fhit had no discernible effect on the tumorigenic properties of two cervical carcinoma cell lines or on a lung carcinoma cell line previously reported by others to be suppressed for tumorigenicity by Fhit. CONCLUSIONS Restoration of Fhit expression does not suppress anchorage-independent growth or tumorigenicity of cervical carcinoma cell lines. However, it remains possible that FHIT inactivation may be important early in cervical tumor progression or that FHIT may suppress tumorigenesis in ways distinct from those measured by the assays employed in this study.
OX40 ligand shuts down IL-10-producing regulatory T cells

IL-10-producing CD4+ type 1 regulatory T (Tr1) cells play a critical role in the maintenance of peripheral tolerance. Although immunosuppressive drugs, cytokines, costimulatory molecules, and immature dendritic cells are implicated in the induction of Tr1 cells, the signals that negatively regulate the generation and function of Tr1 cells have been elusive. We report that OX40 ligand (OX40L) completely inhibited the generation of IL-10-producing Tr1 cells from naïve and memory CD4+ T cells induced by the immunosuppressive drugs dexamethasone and vitamin D3. This unique function of OX40L was not shared by two costimulatory TNF family members, GITR ligand and 4-1BB ligand. OX40L strongly inhibited the generation of IL-10-producing Tr1 cells induced by two physiologic stimuli, the inducible costimulatory ligand and immature dendritic cells. In addition, OX40L strongly inhibited IL-10 production and suppressive function of differentiated IL-10-producing Tr1 cells. These two novel functions of OX40L shed light on the mechanism by which OX40/OX40L regulates immunity and tolerance.
AUEB-ABSA at SemEval-2016 Task 5: Ensembles of Classifiers and Embeddings for Aspect Based Sentiment Analysis

This paper describes our submissions to the Aspect Based Sentiment Analysis task of SemEval-2016. For Aspect Category Detection (Subtask1/Slot1), we used multiple ensembles, based on Support Vector Machine classifiers. For Opinion Target Expression extraction (Subtask1/Slot2), we used a sequence labeling approach with Conditional Random Fields. For Polarity Detection (Subtask1/Slot3), we used an ensemble of two supervised classifiers, one based on hand crafted features and one based on word embeddings. Our systems were ranked in the top 6 positions in all the tasks we participated. The source code of our systems is publicly available.
Generating and Scoring Correction Candidates in Chinese Grammatical Error Diagnosis

Grammatical error diagnosis is an essential part in a language-learning tutoring system. Based on the data sets of Chinese grammar error detection tasks, we proposed a system which measures the likelihood of correction candidates generated by deleting or inserting characters or words, moving substrings to different positions, substituting prepositions with other prepositions, or substituting words with their synonyms or similar strings. Sentence likelihood is measured based on the frequencies of substrings from the space-removed version of Google n-grams. The evaluation on the training set shows that Missing-related and Selection-related candidate generation methods have promising performance. Our final system achieved a precision of 30.28% and a recall of 62.85% in the identification level evaluated on the test set.
A new ZVS-PWM full-bridge converter

A full-bridge converter which employs a coupled inductor to achieve zero-voltage switching of the primary switches in the entire line and load range is described. Because the coupled inductor does not appear as a series inductance in the load current path, it does not cause a loss of duty cycle or severe voltage ringing across the output rectifier. The operation and performance of the proposed converter is verified on a 670-W prototype.
Review of composting and anaerobic digestion of municipal solid waste and a methodological proposal for a mid-size city

Composting industry is a progressive and innovative industry that has been growing worldwide, especially in the last 20 years. Firstly, in this paper, an overview of fundamentals and processes on composting and anaerobic digestion are compiled, showing the versatility and multivariable profile of these processes. Secondly, a methodological proposal for a mid-size city is presented. It is proposed that the biodegradable part of the municipal solid waste, called BSW, can be efficiently composted with wastewater sludge, wood ash, coal ash, lime-kiln dust, and/or limestone quarry dust to improve the profile of the compost. In addition, anaerobic decomposition followed by vermicomposting is pointed as one of the best and efficient MSW treatment system, since it may reduce total time of the composting process. Furthermore, it generates liquid fertilizer and biogas, which provides energy to supply the composting plant. This makes the plant auto-sustainable in energy. Finally, an outline using real data from the City of Milwaukee, Wisconsin, USA, is being presented to illustrate an example of this proposed methodology of efficient composting.
The Relative Influence of Values and Identities on Academic Dishonesty: A Quantitative Analysis.

Within sociological-social psychology values are an emerging topic of substantive interest. Building on identity theory this study tests the relative salience of values versus role-identities as a predictor of a student's participation in academic dishonesty. This study finds that for a general population of students values are a significant predictor of cheating as compared to a roleidentity. However, managing the data to isolate the salience of the student role-identity shows that the role-identity is a better predictor of academic dishonesty. What matters is the relative salience. This suggests that values are structured in terms of salience, similar to roles. INTRODUCTION Work on values is an emerging area of interest within social psychology (Stets and Carter 2011). At present two competing ideas about values dominate the sociological literature. The first theory suggests that values represent “the core of the self,” potentially comparable to cognition and emotion, forming a sense of self called the “personal identity” (see Haidt 2001; Hitlin 2003: 121 for example). The second view suggests that values create unique identities (Gecas 2000). This study seeks to explore these competing ideas regarding values as a mechanism of identity related behavior. The behavioral outcome tested is academic dishonesty among college students. Selecting deviant behavior as the outcome variable serves two purposes 1) academic integrity among college students represents a social phenomenon of growing concern and 2) it seeks to extend recent findings by Stets and Carter (2011) answering their call to compare role versus value based influences on identity and behavior. The Deviant Action: Academic Dishonesty Research finds that as high as 70% of students engage in some form of academic dishonesty at institutions of higher education across the United States (Lambert, Hogan, and Barton 2004;
A voice-commandable robotic forklift working alongside humans in minimally-prepared outdoor environments

One long-standing challenge in robotics is the realization of mobile autonomous robots able to operate safely in existing human workplaces in a way that their presence is accepted by the human occupants. We describe the development of a multi-ton robotic forklift intended to operate alongside human personnel, handling palletized materials within existing, busy, semi-structured outdoor storage facilities.
XML class outlier detection

XML (eXtensible Markup Language) became in recent years the new standard for data representation and exchange on the WWW. This has resulted in a great need for data cleaning techniques in order to identify outlying data. In this paper, we present a technique for outlier detection that singles out anomalies with respect to a relevant group of objects. We exploit a suitable encoding of XML documents that are encoded as signals of fixed frequency that can be transformed using Fourier Transforms. Outliers are identified by simply looking at the signal spectra. The results show the effectiveness of our approach.
A Review of Persuasive Principles in Mobile Apps for Chronic Arthritis Patients: Opportunities for Improvement

Background Chronic arthritis (CA), an umbrella term for inflammatory rheumatic and other musculoskeletal diseases, is highly prevalent. Effective disease-modifying antirheumatic drugs for CA are available, with the exception of osteoarthritis, but require a long-term commitment of patients to comply with the medication regimen and management program as well as a tight follow-up by the treating physician and health professionals. Additionally, patients are advised to participate in physical exercise programs. Adherence to exercises and physical activity programs is often very low. Patients would benefit from support to increase medication compliance as well as compliance to the physical exercise programs. To address these shortcomings, health apps for CA patients have been created. These mobile apps assist patients in self-management of overall health measures, health prevention, and disease management. By including persuasive principles designed to reinforce, change, or shape attitudes or behaviors, health apps can transform into support tools that motivate and stimulate users to achieve or keep up with target behavior, also called persuasive systems. However, the extent to which health apps for CA patients consciously and successfully employ such persuasive principles remains unknown. Objective The objective of this study was to evaluate the number and type of persuasive principles present in current health apps for CA patients. Methods A review of apps for arthritis patients was conducted across the three major app stores (Google Play, Apple App Store, and Windows Phone Store). Collected apps were coded according to 37 persuasive principles, based on an altered version of the Persuasive System Design taxonomy of Oinas-Kukkonen and Harjuma and the taxonomy of Behavior Change Techniques of Michie and Abraham. In addition, user ratings, number of installs, and price of the apps were also coded. Results We coded 28 apps. On average, 5.8 out of 37 persuasive principles were used in each app. The most used category of persuasive principles was System Credibility with an average of 2.6 principles. Task Support was the second most used, with an average of 2.3 persuasive principles. Next was Dialogue Support with an average of 0.5 principles. Social Support was last with an average of 0.01 persuasive principles only. Conclusions Current health apps for CA patients would benefit from adding Social Support techniques (eg, social media, user fora) and extending Dialogue Support techniques (eg, rewards, praise). The addition of automated tracking of health-related parameters (eg, physical activity, step count) could further reduce the effort for CA patients to manage their disease and thus increase Task Support. Finally, apps for health could benefit from a more evidence-based approach, both in developing the app as well as ensuring that content can be verified as scientifically proven, which will result in enhanced System Credibility.
ImmunoPET and biodistribution with human epidermal growth factor receptor 3 targeting antibody 89Zr-RG7116

The humanized monoclonal antibody with high affinity for the human epidermal growth factor receptor (HER) 3, RG7116, is a glycoengineered, IgG1 class antibody. By labeling RG7116 with zirconium-89 (89Zr) we aimed to visualize in vivo HER3 expression and study the biodistribution of this antibody in human tumor-bearing mice. Biodistribution of 89Zr-RG7116 was studied in subcutaneously xenografted FaDu tumor cells (HER3-positive). Dose-dependency of 89Zr-RG7116 organ distribution and specific tumor uptake was assessed by administering doses ranging from 0.05 to 10 mg/kg RG7116 to SCID/Beige mice. Biodistribution was analyzed at 24 and 144 h after injection. MicroPET imaging was performed at 1, 3, and 6 days after injection of 1.0 mg/kg 89Zr-RG7116 in the FaDu, H441, QG-56 and Calu-1 xenografts with varying HER3 expression. The excised tumors were analyzed for HER3 expression. Biodistribution analyses showed a dose- and time-dependent 89Zr-RG7116 tumor uptake in FaDu tumors. The highest tumor uptake of 89Zr-RG7116 was observed in the 0.05 mg/kg dose group with 27.5%ID/g at 144 h after tracer injection. MicroPET imaging revealed specific tumor uptake of 89Zr-RG7116 in FaDu and H441 models with an increase in tumor uptake over time. Biodistribution data was consistent with the microPET findings in FaDu, H441, QG56 and Calu-1 xenografts, which correlated with HER3 expression levels. In conclusion, 89Zr-RG7116 specifically accumulates in HER3 expressing tumors. PET imaging with this tracer provides real-time non-invasive information about RG7116 distribution, tumor targeting and tumor HER3 expression levels.
Minimum Mean-Square Error and Maximum Likelihood Multiuser Detection: Statistical Properties and Applications

Although multiuser detection (MUD) has received intensive research since its invention by Verdu in 1983, however, the statistical properties in MUD have not received enough attention in research and application. In this contribution, we first study the statistical properties of minimum mean-square error (MMSE)-MUD, maximum likelihood (ML)- MUD and hybrid MMSE/ML-MUD from different aspects in the context of direct-sequence code-division multiple-access (DS-CDMA) communi- cating over additive white Gaussian noise (AWGN) channels. Both the am- plitude statistics and ratio statistics are investigated. Then, the applications of the statistics of MUD are discussed. Our study shows that the statistics embedded in the MUD schemes may be exploited for design of high- efficiency search algorithms in ML-MUD, for design of good spreading sequences, for post-MUD processing enhancement, for design of novel MUD schemes, etc.
Specific expression of the cell cycle regulation proteins, GADD34 and PCNA, in the peri‐infarct zone after focal cerebral ischaemia in the rat

Cell cycle proteins play key roles in cell survival or death under pathological conditions. Expression of growth arrest and DNA damage‐inducible protein, GADD34 and proliferating cell nuclear antigen (PCNA) have been investigated in the core and peri‐infarct zone at 2 and 24 h after middle cerebral artery occlusion (MCAO). At these times after MCAO, numerous GADD34‐positive cells were present, particularly in the peri‐infarct zone (e.g. 24 ± 4 and 52 ± 6 immunopositive cells/0.25 mm2 at 2 and 24 h, respectively, in cortex). PCNA‐immunopositive cells were barely detectable in the peri‐infarct zone at 2 h; however, numerous PCNA‐immunopositive cells were present in this zone by 24 h (0.7 ± 0.3 and 10.6 ± 1.5 immunopositive cells/0.25 mm2, respectively) as well as in the adjacent cortex and in the contralateral cingulate cortex. Most GADD34‐immunopositive cells coexpressed the neuronal marker Neu‐N with a smaller number coexpressing the microglial marker, Mrf‐1. Evidence of morphologically ‘abnormal’ and ‘normal’ GADD34 immunopositive neurons was found within the peri‐infarct zone. The majority of PCNA immunopositive cells were Mrf‐1 positive with a smaller number Neu‐N positive. Double‐labelling revealed colocalization of GADD34 and PCNA in some cells within the peri‐infarct zone and in the ependymal cells lining the ventricles. The presence of GADD34 and PCNA in a key anatomical location pertinent to the evolving ischaemic lesion indicates that GADD34, either alone or in combination with PCNA, has the potential to influence cell survival in ischaemically compromised tissue.
Ocean Heat Uptake Processes: A Model Intercomparison

AbstractThe quasi-equilibrium heat balances, as well as the responses to 4 × CO2 perturbation, are compared among three global climate models with the aim to identify and explain intermodel differences in ocean heat uptake (OHU) processes. It is found that, in quasi equilibrium, convective and mixed layer processes, as well as eddy-related processes, cause cooling of the subsurface ocean. The cooling is balanced by warming caused by advective and diapycnally diffusive processes. It is also found that in the CO2-perturbed climates the largest contribution to OHU comes from changes in vertical mixing processes and the mean circulation, particularly in the extratropics, caused both by changes in wind forcing and by changes in high-latitude buoyancy forcing. There is a substantial warming in the tropics: a significant part of which occurs because of changes in horizontal advection in extratropics. Diapycnal diffusion makes only a weak contribution to the OHU, mainly in the tropics, because of increased strati.
Fast Polyhedral Cell Sorting for Interactive Rendering of Unstructured Grids

Direct volume rendering based on projective methods works by projecting, in visibility order, the polyhedral cells of a mesh onto the image plane, and incrementally compositing the cell’s color and opacity into the final image. Crucial to this method is the computation of a visibility ordering of the cells. If the mesh is “well‐behaved” (acyclic and convex), then the MPVO method of Williams provides a very fast sorting algorithm; however, this method only computes an approximate ordering in general datasets, resulting in visual artifacts when rendered. A recent method of Silva et al. removed the assumption that the mesh is convex, by means of a sweep algorithm used in conjunction with the MPVO method; their algorithm is substantially faster than previous exact methods for general meshes.
2013 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops a Mobile Biosensor to Detect Cardiorespiratory Activity for Stress Tracking

Stress is an increasingly recognized phenomenon that has negative effects on growing numbers of people. Stress assessment is a complex issue, but different studies have shown that monitoring user psychophysiological parameter during daily life can be greatly helpful in stress evaluation. In this study a wearable biosensor platform able to collect physiological and behavioral parameters is reported. The developed wearable platform, in terms of hardware and processing algorithms, is described. Moreover the use of this wearable biosensor platform in combination with advanced simulation technologies, such as virtual reality offer interesting opportunities for innovative personal health-care solutions to stress. A recently founded European project, "INTERSTRESS-Interreality in the management and treatment of stress-related disorders," will take into account these relevant aspects.
Parallel Programming of General-Purpose Programs Using Task-Based Programming Models

The prevalence of multicore processors is bound to drive most kinds of software development towards parallel programming. To limit the difficulty and overhead of parallel software design and maintenance, it is crucial that parallel programming models allow an easy-to-understand, concise and dense representation of parallelism. Parallel programming models such as Cilk++ and Intel TBBs attempt to offer a better, higher-level abstraction for parallel programming than threads and locking synchronization. It is not straightforward, however, to express all patterns of parallelism in these models. Pipelines are an important parallel construct, although difficult to express in Cilk and TBBs in a straightforward way, not without a verbose restructuring of the code. In this paper we demonstrate that pipeline parallelism can be easily and concisely expressed in a Cilk-like language, which we extend with input, output and input/output dependency types on procedure arguments, enforced at runtime by the scheduler. We evaluate our implementation on real applications and show that our Cilk-like scheduler, extended to track and enforce these dependencies has performance comparable to Cilk++.
A genetic programming approach for fraud detection in electronic transactions

The volume of online transactions has increased considerably in the recent years. Consequently, the number of fraud cases has also increased, causing billion dollar losses each year worldwide. Therefore, it is mandatory to employ mechanisms that are able to assist in fraud detection. In this work, it is proposed the use of Genetic Programming (GP) to identify frauds (charge back) in electronic transactions, more specifically in online credit card operations. A case study, using a real dataset from one of the largest Latin America electronic payment systems, has been conducted in order to evaluate the proposed algorithm. The presented algorithm achieves good performance in fraud detection, obtaining gains up to 17% with regard to the actual company baseline. Moreover, several classification problems, with considerably different datasets and domains, have been used to evaluate the performance of the algorithm. The effectiveness of the algorithm has been compared with other methods, widely employed for classification. The results show that the proposed algorithm achieved good classification effectiveness in all tested instances.