Miracle-dz/UniFAR-FTUs huggingface dataset:
Minion: A Fast Scalable Constraint Solver

We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits. These gains increase with problem size --MINION delivers scalable constraint solving. MINION is a general-purpose constraint solver, with an expressive input language based on the common constraint modelling device of matrix models. Focussing on matrix models supports a highly-optimised implementation, exploiting the properties of modern processors. This contrasts with current constraint toolkits, which, in order to provide ever more modelling and solving options, have become progressively more complex at the cost of both performance and usability. MINION is a black box from the user point of view, deliberately providing few options. This, combined with its raw speed, makes MINION a substantial step towards Puget's 'Model and Run' constraint solving paradigm.
Geometry , Combinatorial Designs and Cryptology Fourth Pythagorean Conference

Main talks 1. Simeon Ball, On subsets of a finite vector space in which every subset of basis size is a basis 2. Simon Blackburn, Honeycomb arrays 3. Gàbor Korchmàros, Curves over finite fields, an approach from finite geometry 4. Cheryl Praeger, Basic pregeometries 5. Bernhard Schmidt, Finiteness of circulant weighing matrices of fixed weight 6. Douglas Stinson, Multicollision attacks on iterated hash functions
Aalborg Universitet Association Between Fulfilment of Expectations and Health-related Quality of Life after Gastric Bypass

The objective was to examine the relationship between fulfilment of expectations and health-related quality of life 4 and 12 months after gastric bypass. A follow-up study based on patients undergoing gastric bypass at Aalborg Hospital – Aarhus University Hospital during February 2008 to December 2009. Health-related quality of life was assessed by Short Form 36 and summarized into the physical component summary and the mental component summary. Information on expectations was questionnaire based. Associations were analysed by linear regression. Included were 87 gastric bypass patients. Compared with patients with fulfilled expectations having expectations partly fulfilled −7.3 (−11.3; −3.3) or not having expectations fulfilled −11.2 (−18.8 ; −3.5) was associated with low a mental component summary 4 months after surgery. At 12 months follow-up patients who reported not to have expectations fulfilled had a low mental component summary score −16.3 (−26.5; −6.2) when compared to their counterparts with fulfilment of expectations. Not having expectations to changes in general well-being fulfilled is associated with low mental component summary. This is seen at follow-up points 4 and 12 months after gastric bypass.
Hexaaquacobalt(II) bis{[N-(4-methoxy-2-oxidobenzylidene)glycylglycinato]nickel(II)} hexahydrate

In the title compound, [Co(H2O)6][Ni(C12H11N2O5)]2·6H2O, the NiII atom has a nearly square-planar coordination with two N and two O atoms of the N-(4-methoxy-2-oxidobenzylidene)glycylglycinate Schiff base ligand (L 3−). The CoII atom sits on an inversion center and is coordinated to six aqua ligands in a slightly distorted octahedral geometry. The [Co(H2O)6]2+ cations and [NiL]− anions form columns along the a axis by O—H⋯O hydrogen bonds. Additional hydrogen bonds between the uncoordinated and coordinated water molecules help to consolidate the crystal packing.
Fruits, vegetables, and bladder cancer risk: a systematic review and meta-analysis

Smoking is estimated to cause about half of all bladder cancer cases. Case–control studies have provided evidence of an inverse association between fruit and vegetable intake and bladder cancer risk. As part of the World Cancer Research/American Institute for Cancer Research Continuous Update Project, we conducted a systematic review and meta‐analysis of prospective studies to assess the dose–response relationship between fruit and vegetables and incidence and mortality of bladder cancer. We searched PubMed up to December 2013 for relevant prospective studies. We conducted highest compared with lowest meta‐analyses and dose–response meta‐analyses using random effects models to estimate summary relative risks (RRs) and 95% confidence intervals (CIs), and used restricted cubic splines to examine possible nonlinear associations. Fifteen prospective studies were included in the review. The summary RR for an increase of 1 serving/day (80 g) were 0.97 (95% CI: 0.95–0.99) I2 = 0%, eight studies for fruits and vegetables, 0.97 (95% CI: 0.94–1.00, I2 = 10%, 10 studies) for vegetables and 0.98 (95% CI: 0.96–1.00, I2 = 0%, 12 studies) for fruits. Results were similar in men and women and in current, former and nonsmokers. Amongst fruits and vegetables subgroups, for citrus fruits the summary RR for the highest compared with the lowest intake was 0.87 (95% CI: 0.76–0.99, I2 = 0%, eight studies) and for cruciferous vegetables there was evidence of a nonlinear relationship (P = 0.001). The current evidence from cohort studies is not consistent with a role for fruits and vegetables in preventing bladder cancer.
Can peptide receptor radionuclide therapy be safely applied in florid bone metastases?

Summary Aim: Highly advanced metastatic bone disease with extensive osseous infiltration of neuroendocrine tumours (NET) may preclude patients from treatment with peptide receptor radionuclide therapy (PRRT) in concern about haematotoxicity. This study aims to assess the safety and efficacy of PRRT with 177Lu-octreotate in a patient cohort with this condition. Patients, methods: 41 PRRT courses were performed in 11 patients with gastroenteropancreatic neuroendocrine tumours (GEP-NET) and florid bone metastases (severely advanced widespread metastatic bone disease). A mean activity of 6.95 GBq 177Lu-octreotate was administered per treatment cycle, aimed at four courses with standard intervals of 3 months. Haematological parameters were determined prior to each treatment course, in 2-4 weeks intervals between the courses, 8-12 weeks after the last course of PRRT and in 3 monthly intervals thereafter. Toxicity was recorded using Common Terminology Criteria for Adverse Events v3.0. Restaging was performed 3 months after termination of PRRT with CT/MRI and functional imaging (modified MDA criteria). Results: Significant (grade III-IV), reversible haematotoxicity occurred in 4 (35%) patients and after 10 (24%) administrations. It either resolved spontaneously (1 patient) or was controlled by supportive measures (3 patients), such as blood transfusions (3 patients) or deferral of the subsequent therapy cycle (1 patient). Patients returned to baseline blood values within up to 23 months after termination of PRRT. The observed treatment response of bone metastases consisted of a partial response in 2, a minor response in 1, stable disease in 7, and progressive disease in 1 patient. Of the 4 patients with metastatic bone pain, 1 experienced complete and 3 partial resolution of symptoms within 3-10 weeks after commencement of PRRT. Conclusion: These preliminary data indicate that PRRT with 177Lu-octreotate can be safely applied even in florid bone metastases with extensive, severely advanced osseous replacement. The higher myelosuppression rate was not associated with serious complications and should not preclude patients from being treated and potentially experiencing remarkable treatment efficacy despite the very advanced stage.
Spatial semantic search in location-based web services

As GPS-enabled mobile devices have advanced, the location-based service(LBS) became one of the most active subjects in the Web-based services. Major Web-based services such as Google Picasa, Twitter, Facebook, and Flicker employ LBS as one of their main features. Consequently, a large number of geotagged documents are generated by users in the Web-based services. Recently, there have been studies on the spatial keyword search which aims to find a set of documents in the Web-based services by evaluating the spatial relevance and keyword relevance. It is a combination of the spatial search and keyword search, each of which has been studied for a long time. In this paper, we address the spatial semantic search problem which is to find top k relevant sets of documents with spatial constraints and semantic constraints. For devising an effective solution of the spatial semantic search, we propose a hybrid index strategy, a ranking model and an efficient search algorithm. In addition, we present the current status of our research progress, and discuss remaining challenges and future works.
Knowledge adaptation for ad hoc multimedia event detection with few exemplars

Multimedia event detection (MED) has a significant impact on many applications. Though video concept annotation has received much research effort, video event detection remains largely unaddressed. Current research mainly focuses on sports and news event detection or abnormality detection in surveillance videos. Our research on this topic is capable of detecting more complicated and generic events. Moreover, the curse of reality, i.e., precisely labeled multimedia content is scarce, necessitates the study on how to attain respectable detection performance using only limited positive examples. Research addressing these two aforementioned issues is still in its infancy. In light of this, we explore Ad Hoc MED, which aims to detect complicated and generic events by using few positive examples. To the best of our knowledge, our work makes the first attempt on this topic. As the information from these few positive examples is limited, we propose to infer knowledge from other multimedia resources to facilitate event detection. Experiments are performed on real-world multimedia archives consisting of several challenging events. The results show that our approach outperforms several other detection algorithms. Most notably, our algorithm outperforms SVM by 43% and 14% comparatively in Average Precision when using Gaussian and Χ2 kernel respectively.
Differentiation and maturation of zebrafish dorsal root and sympathetic ganglion neurons

The trunk neural crest of vertebrate embryos gives rise to dorsal root ganglion (DRG) sensory neurons and autonomic sympathetic neurons, among other derivatives. We have examined the development of DRG and sympathetic neurons during development in the zebrafish. We found that sensory neurons differentiate rapidly and that their overt neuronal differentiation significantly precedes that of sympathetic neurons in the trunk. Sympathetic neurons in different regions differentiate at different times. The most rostral population, which we call the cervical ganglion, differentiates several days before trunk sympathetic neurons. After undergoing overt neuronal differentiation, sympathetic neurons subsequently express the adrenergic differentiation markers dopamine β‐hydroxylase and tyrosine hydroxylase. A second population of adrenergic nonneuronal cells initially localized with cervical sympathetic neurons appears to represent adrenal chromaffin cells. In more mature fish, these cells were present in clusters within the kidneys. Individual DRG and sympathetic ganglia initially contain few neurons. However, the number of neurons in DRG and sympathetic ganglia increases continuously at least up to 4 weeks of age. Analysis of phosphohistone H3 expression and bromodeoxyuridine incorporation studies suggests that the increases in DRG and sympathetic ganglion neuronal cell number are due wholly or in part to the division of neuronal cells within the ganglia. J. Comp. Neurol. 446:267–275, 2002. © 2002 Wiley‐Liss, Inc.
A Postmodernist Approach to Culturally Grounded Training in Early Childhood Care and Development

This article describes a unique approach to involving cultural communities in elaborating curricula for training early childhood educators. This ‘Generative Curriculum Model (GCM) has been demonstrated in partnership programs between the authors and seven Canadian aboriginal communities. Indigenous experiences and culturally-valued knowledge are articulated by tribal Elders and considered alongside mainstream research and theory about child development and care. Ongoing evaluation research has documented the success of this model in facilitating completion of post-secondary training and career development among aboriginal students. The training resonates with the students’ own culture, and community members are involved throughout the training in dialogue and planned actions for delivering services for children and their families based on their own cultural constructions of childhood and effective care. The process and impacts of this training model in seven aboriginal communities in Canada are discussed in postmodernist terms. The legitimacy and potential utility of indigenous knowledge are acknowledged and multiple perspectives are brought to bear in elaborating effective praxis in community-driven early childhood care and education.
Prediagnostic Plasma C-Peptide and Pancreatic Cancer Risk in Men and Women

Background: Hyperinsulinemia and insulin resistance have been proposed as underlying mechanisms for the increase in pancreatic cancer among long-standing diabetics and obese individuals. An association between serum insulin levels and pancreatic cancer risk was reported in a recent study, but the population was composed of heavy smokers and their findings may not be generalizable to nonsmokers. Methods: Pancreatic cancer cases and matched controls were obtained from four large-scale prospective cohorts to examine the association between prediagnostic plasma levels of C-peptide and insulin and pancreatic cancer. One hundred ninety-seven pancreatic cancer cases were diagnosed during a maximum of 20 years of follow-up, after excluding cases diagnosed within 2 years of blood collection or with baseline diabetes. We estimated OR and confidence intervals (CI) using conditional logistic regression with adjustment for pancreatic cancer risk factors. Results: Prediagnostic plasma C-peptide was positively associated with pancreatic cancer risk (OR, 1.52; 95% CI, 0.87-2.64, highest compared with the lowest quartile, Ptrend = 0.005). The association was not modified by body mass index or physical activity but seemed to be slightly stronger among never smokers than ever smokers. Fasting C-peptide and insulin were not related to pancreatic cancer; however, we observed a strong linear association for nonfasting C-peptide and pancreatic cancer (OR, 4.24; 95% CI, 1.30-13.8, highest versus lowest quartile, Ptrend < 0.001). Conclusions: Based on our finding of a strong positive association with nonfasting C-peptide levels, we propose that insulin levels in the postprandial state may be the relevant exposure for pancreatic carcinogenesis; however, other studies will need to examine this possibility. (Cancer Epidemiol Biomarkers Prev 2007;16(10):2101–9)
Cityzen: a social platform for cultural heritage focused tourism

The way tourists organize their travels is evolving day after day. While in the past, information was more obtained by the support of tour operators, nowadays this is mainly obtained through the Internet. Among many options, on the Internet it is possible to get information about interesting things a place has and to make reservations. This new touristic paradigm brings attractive opportunities such as saving money and discovering unexploited information proposed by tourists that already have visited targeted places. But, it comes with a major shortcoming. Information on the Internet can be overwhelming and it can lead to a lot of time spent on planning a travel. Moreover, the Internet contains outdated and incorrect information which can cause incorrect travel planning. These issues can become even more preponderant when dealing with niche domains, such as cultural heritage, where the information is not pervasive. This paper presents the Cityzen platform for planning cultural heritage focused travels. This platform aims to provide a semantic web oriented data model that acts as central repository and which can be used by tourists for accurately and efficiently planning their sightseeing. This platform deals with cases of incorrect and incomplete information by using the social web as possibility of actively engage users in the information management while they explore the provided information.
Relations World: A Possibilistic Graphical Model

We explore the idea of using a "possibilistic graphical model" as the basis for a world model that drives a dialog system. As a first step we have developed a system that uses text-based dialog to derive a model of the user's family relations. The system leverages its world model to infer relational triples, to learn to recover from upstream coreference resolution errors and ambiguities, and to learn context-dependent paraphrase models. We also explore some theoretical aspects of the underlying graphical model.
Dynamics of Population Activity in Rat Sensory Cortex: Network Correlations Predict Anatomical Arrangement and Information Content

To study the spatiotemporal dynamics of neural activity in a cortical population, we implanted a 10 × 10 microelectrode array in the vibrissal cortex of urethane-anesthetized rats. We recorded spontaneous neuronal activity as well as activity evoked in response to sustained and brief sensory stimulation. To quantify the temporal dynamics of activity, we computed the probability distribution function (PDF) of spiking on one electrode given the observation of a spike on another. The spike-triggered PDFs quantified the strength, temporal delay, and temporal precision of correlated activity across electrodes. Nearby cells showed higher levels of correlation at short delays, whereas distant cells showed lower levels of correlation, which tended to occur at longer delays. We found that functional space built based on the strength of pairwise correlations predicted the anatomical arrangement of electrodes. Moreover, the correlation profile of electrode pairs during spontaneous activity predicted the “signal” and “noise” correlations during sensory stimulation. Finally, mutual information analyses revealed that neurons with stronger correlations to the network during spontaneous activity, conveyed higher information about the sensory stimuli in their evoked response. Given the 400-μm-distance between adjacent electrodes, our functional quantifications unravel the spatiotemporal dynamics of activity among nearby and distant cortical columns.
Low-Rank Approximations for Conditional Feedforward Computation in Deep Neural Networks

Scalability properties of deep neural networks raise key research questions, particularly as the problems considered become larger and more challenging. This paper expands on the idea of conditional computation introduced by Bengio, et. al., where the nodes of a deep network are augmented by a set of gating units that determine when a node should be calculated. By factorizing the weight matrix into a low-rank approximation, an estimation of the sign of the pre-nonlinearity activation can be efficiently obtained. For networks using rectified-linear hidden units, this implies that the computation of a hidden unit with an estimated negative pre-nonlinearity can be ommitted altogether, as its value will become zero when nonlinearity is applied. For sparse neural networks, this can result in considerable speed gains. Experimental results using the MNIST and SVHN data sets with a fully-connected deep neural network demonstrate the performance robustness of the proposed scheme with respect to the error introduced by the conditional computation process.
Unsupervised Single Moving Object Detection Based on Coarse-to-Fine Segmentation

An efficient and effective unsupervised single moving object detection framework is presented in this paper. Given the sparsely labelled trajectory points, we adopt a coarse-to-fine strategy to detect and segment the foreground from the background. The superpixel level coarse segmentation reduces the complexity of subsequent processing, and the pixel level refinement improves the segmentation accuracy. A distance measurement is devised in the coarse segmentation stage to measure the similarities between generated superpixels, which can then be used for clustering. Moreover, a Quadmap is introduced to facilitate the refinement in the fine segmentation stage. According to the experiments, our algorithm is effective and efficient, and favorable results can be achieved compared with state-of-the-art methods.
An integrated LTCC millimeter-wave planar array antenna with low-loss feeding network

A novel configuration of millimeter-wave planar array antenna based on low-temperature cofired ceramic (LTCC) technology is investigated. The configuration exploits the three-dimensional (3-D) integration feature of LTCC by incorporating a novel quasi-cavity-backed patch (QCBP) element using a pair of grid-like conductor walls and a mixed feeding network configuration. A proposed LTCC planar array antenna consisting of 16 by 16 elements is designed, manufactured and tested. Good agreement is achieved between the theoretical performance and the measured results.
Barometric Pressure and Triaxial Accelerometry-Based Falls Event Detection

Falls and fall related injuries are a significant cause of morbidity, disability, and health care utilization, particularly among the age group of 65 years and over. The ability to detect falls events in an unsupervised manner would lead to improved prognoses for falls victims. Several wearable accelerometry and gyroscope-based falls detection devices have been described in the literature; however, they all suffer from unacceptable false positive rates. This paper investigates the augmentation of such systems with a barometric pressure sensor, as a surrogate measure of altitude, to assist in discriminating real fall events from normal activities of daily living. The acceleration and air pressure data are recorded using a wearable device attached to the subject's waist and analyzed offline. The study incorporates several protocols including simulated falls onto a mattress and simulated activities of daily living, in a cohort of 20 young healthy volunteers (12 male and 8 female; age: 23.7 ±3.0 years). A heuristically trained decision tree classifier is used to label suspected falls. The proposed system demonstrated considerable improvements in comparison to an existing accelerometry-based technique; showing an accuracy, sensitivity and specificity of 96.9%, 97.5%, and 96.5%, respectively, in the indoor environment, with no false positives generated during extended testing during activities of daily living. This is compared to 85.3%, 75%, and 91.5% for the same measures, respectively, when using accelerometry alone. The increased specificity of this system may enhance the usage of falls detectors among the elderly population.