Miracle-dz/UniFAR-FTUs huggingface dataset:
Uniform-Price Mechanism Design for a Large Population of Dynamic Agents

This paper focuses on the coordination of a large population of dynamic agents with private information over multiple periods. Each agent maximizes the individual utility, while the coordinator determines the market rule to achieve group objectives. The coordination problem is formulated as a dynamic mechanism design problem. A mechanism is proposed based on the competitive equilibrium of the large population game. We derive the conditions for the general nonlinear dynamic systems under which the proposed mechanism is incentive compatible and can implement the social choice function in $\epsilon$-Nash equilibrium. In addition, we show that for linear quadratic problems with bounded parameters, the proposed mechanism can maximize the social welfare subject to a total resource constraint in $\epsilon$-dominant strategy equilibrium.
T2* Mapping of the Adult Intervertebral Lumbar Disc: Normative Data and Analysis of Diurnal Effects

In this prospective study, we sought to establish normative data for T2* analysis of lumbar intervertebral discs (IVDs). Further, potential diurnal effects regarding T2* relaxometry of the lower spine were examined. Lumbar IVDs of young, healthy, adult men (n = 20) and women (n = 20; mean age = 24.5 ± 2.9 years) were assessed. Magnetic resonance imaging including T2* mapping was performed on a 3‐T scanner. Mid‐sagittal T2* values were obtained in five regions: anterior annulus fibrosus (AF), anterior nucleus pulposus (NP), central NP, posterior NP, and posterior AF. Zonal and segmental differences, as well as diurnal variations between the T2* analysis in the morning and the evening and effects of unloading, were analyzed. Discs with signs of degeneration on morphological images or imaging artifacts were excluded. We noted a zonal and segmental T2* distribution with high values in the NP, low T2* values in the AF and a T2* increase towards the caudal NP. We observed no diurnal differences between the mean T2* values in the morning and in the evening (p = 0.748). The effect of unloading the spine was low (maximum T2* difference between four measurements = 13.6 ms; significant difference noted only between the 0 and 15‐min measurement). The T2* values obtained in this study will serve as normative values for future T2* measurements. There are no diurnal influences, and we suggest that unloading of the spine has no demonstrable effect after 30 min on the T2* results. © 2019 Orthopaedic Research Society. Published by Wiley Periodicals, Inc. J Orthop Res 37:1956–1962, 2019
Renaming Global Variables in C Mechanically Proved Correct

Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers have to test their code after applying an automatic refactoring. In this article, we consider a refactoring operation (renaming of global variables in C), and we prove that its core implementation preserves the set of possible behaviors of transformed programs. That proof of correctness relies on the operational semantics of C provided by CompCert C in Coq.
Simulation of Salinity Intrusion in the Context of the Mekong Delta Region (Viet Nam)

In this paper, we constructed a simulation model the salinity intrusion status in the past and salinity intrusion scenarios for the future in Mekong Delta, piloting in Bac Lieu province. The salinity intrusion process was simulated on river/channel system and on the area of Bac Lieu (designed from the GIS) that runs on the simulation GAMA tool. Simulation results will show the salinity contours, saline area, statistics of the average salinity between the regions, the statistics of salinity intrusion through the period 2000-2010 and 2010-2020.
Illuminating clay: a 3-D tangible interface for landscape analysis

This paper describes a novel system for the real-time computational analysis of landscape models. Users of the system - called Illuminating Clay - alter the topography of a clay landscape model while the changing geometry is captured in real-time by a ceiling-mounted laser scanner. A depth image of the model serves as an input to a library of landscape analysis functions. The results of this analysis are projected back into the workspace and registered with the surfaces of the model.We describe a scenario for which this kind of tool has been developed and we review past work that has taken a similar approach. We describe our system architecture and highlight specific technical issues in its implementation.We conclude with a discussion of the benefits of the system in combining the tangible immediacy of physical models with the dynamic capabilities of computational simulations.
Assessment of Physical Activity and Energy Expenditure: An Overview of Objective Measures

The ability to assess energy expenditure (EE) and estimate physical activity (PA) in free-living individuals is extremely important in the global context of non-communicable diseases including malnutrition, overnutrition (obesity), and diabetes. It is also important to appreciate that PA and EE are different constructs with PA defined as any bodily movement that results in EE and accordingly, energy is expended as a result of PA. However, total energy expenditure, best assessed using the criterion doubly labeled water (DLW) technique, includes components in addition to physical activity energy expenditure, namely resting energy expenditure and the thermic effect of food. Given the large number of assessment techniques currently used to estimate PA in humans, it is imperative to understand the relative merits of each. The goal of this review is to provide information on the utility and limitations of a range of objective measures of PA and their relationship with EE. The measures discussed include those based on EE or oxygen uptake including DLW, activity energy expenditure, physical activity level, and metabolic equivalent; those based on heart rate monitoring and motion sensors; and because of their widespread use, selected subjective measures.
CAREER ASPIRATIONS OF PREGNANT AND PARENTING ADOLESCENTS

The purpose of this study was to examine career aspirations of pregnant and/or parenting adolescents. Social Cognitive Career Theory provided the theoretical framework. Females enrolled in a teenage parenting center completed a questionnaire to determine career aspirations. Findings indicated age and source of career information had a significant effect on career aspirations of participants. Pregnant adolescents aspired to more prestigious careers than parenting adolescents and adolescents who were both pregnant and parenting. A large portion of participants aspired to become registered nurses. Findings from this study can assist educators, counselors, and families in developing long-term programs to provide pregnant and parenting adolescents academic and career development skills for success in attaining their future career aspirations.
Informations sociétales et valorisation financière des titres de l'entreprise

Les informations societales (donnees et analyses concernant la performance societale de l’entreprise ou PSE) sont utilisees depuis des decennies par les investisseurs socialement responsables pour choisir les titres des entreprises jugees acceptables d’un point de vue ethique ou societal. Depuis une dizaine d’annees, plusieurs initiatives tentent de convaincre les investisseurs traditionnels de l’interet d’integrer ces informations dans l’evaluation financiere des titres.Cette these s’interroge sur l’utilite des informations societales pour les investisseurs traditionnels et sur leur usage dans la valorisation des titres. D’un point de vue theorique, nous nous interessons aux developpements de l’hypothese d’efficience des marches, notamment dans sa version evoluee (admettant, entre autres, l’heterogeneite des croyances), et aux travaux conceptuels traitant du lien entre PSE et performance financiere. En croisant les apports de ces travaux, nous montrons que les informations societales peuvent etre utiles pour la valorisation des titres, mais elles ne peuvent pas etre considerees toutes de la meme maniere. En effet, les signaux qu’elles emettent sont susceptibles d’etre interpretes differemment selon l’investisseur et le contexte de l’entreprise. Sur le plan empirique, les etudes d’evenement menees (long-terme et court-terme) montrent que sur l’ensemble des informations testees, certaines generent des rendements anormaux statistiquement significatifs. Par ailleurs, l’etude qualitative exploratoire permet de corroborer une partie des propositions emises et d’apporter des eclairages supplementaires aux questions posees.
From speech to thought: the neuronal basis of cognitive units in non-experimental, real-life communication investigated using ECoG

Exchange of thoughts by means of expressive speech is fundamental to human communication. However, the neuronal basis of real-life communication in general, and of verbal exchange of ideas in particular, has rarely been studied until now. Here, our aim was to establish an approach for exploring the neuronal processes related to cognitive “idea” units (IUs) in conditions of non-experimental speech production. We investigated whether such units corresponding to single, coherent chunks of speech with syntactically-defined borders, are useful to unravel the neuronal mechanisms underlying real-world human cognition. To this aim, we employed simultaneous electrocorticography (ECoG) and video recordings obtained in pre-neurosurgical diagnostics of epilepsy patients. We transcribed non-experimental, daily hospital conversations, identified IUs in transcriptions of the patients' speech, classified the obtained IUs according to a previously-proposed taxonomy focusing on memory content, and investigated the underlying neuronal activity. In each of our three subjects, we were able to collect a large number of IUs which could be assigned to different functional IU subclasses with a high inter-rater agreement. Robust IU-onset-related changes in spectral magnitude could be observed in high gamma frequencies (70–150 Hz) on the inferior lateral convexity and in the superior temporal cortex regardless of the IU content. A comparison of the topography of these responses with mouth motor and speech areas identified by electrocortical stimulation showed that IUs might be of use for extraoperative mapping of eloquent cortex (average sensitivity: 44.4%, average specificity: 91.1%). High gamma responses specific to memory-related IU subclasses were observed in the inferior parietal and prefrontal regions. IU-based analysis of ECoG recordings during non-experimental communication thus elicits topographically- and functionally-specific effects. We conclude that segmentation of spontaneous real-world speech in linguistically-motivated units is a promising strategy for elucidating the neuronal basis of mental processing during non-experimental communication.
A Geographic Routing Algorithm for Wireless Sensor Networks

This paper presents a geographic routing algorithm (GERA) for wireless sensor network. We developed and simulated GERA in OPNET and evaluated it in terms of end to end delay and routing load, two of the most important variables concerning dense wireless sensor networks. We employed GERA to simulate volcanic hazards in the area of the Colima Volcano, Mexico's most active volcano
Cytosolic gangliosides of rat brain: Their fractionation into protein‐bound complexes of different ganglioside compositions

The sialic acid moiety of rat brain cytosolic gangliosides was radiolabeled by intracranial injection of N‐(3H)acetylmannosamine. Upon ammonium sulphate fractionation, Sepharose 6B gel filtration, and hydroxylapatite‐cellulose chromatography, ganglioside‐bound radioactivity of brain cytosolic extract followed the behavior of protein and not that of purified gangliosides. This indicates that cytosolic gangliosides occur as ganglioside‐protein complexes.
Brokerage of Intellectual Property Rights in the Semantic Web

New approaches in the Web environment are underway. These new methodologies try to leverage it from an information medium to a knowledgeable level, from a machine point of view. This upgrade, mainly focused on improving Web automation capabilities, can solve some of the problems derived from its widespread adoption. Among them, the necessity of a framework to manage the enormous market of digitalised multimedia and to ensure that all the intervening actors get a satisfactory experience from the Internet adventure. An application under development is described and future plans in this direction are presented. A broker component has already been implemented applying a Semantic Web layered architecture. Its mission is to mediate in a restricted community of digital video providers and distributors, benefiting also final purchasers. The intention is to use it as a test bed for this promising initiative and its application in the Intellectual Property Rights (IPR) domain.
Long-term outcome of allogeneic stem cell transplantation in chronic lymphocytic leukemia: analysis after a minimum follow-up of 5 years

In order to evaluate the long-term results of allogeneic stem cell transplantation (ASCT) in B-cell chronic lymphocytic leukemia (CLL), we reviewed the outcome of 12 consecutive CLL patients, who underwent ASCT at the Mayo Clinic prior to July, 2004. Median age was 44 years (range 18–55) and median time from diagnosis to transplant 58.5 months. All patients had failed prior fludarabine-based chemotherapy and all but two patients had chemo-resistant refractory disease at time of transplant. A ‘myeloablative’ conditioning regimen was used in 11 patients and ‘reduced intensity’ in one. Bone marrow was the source of hematopoietic stem cells in 10 patients and peripheral blood in two. Donors were matched sibling in nine patients, unrelated in two and partial phenotypic match father in one. Grade II–IV acute and chronic graft versus host disease was documented in five and four patients, respectively. To date, six patients (50%) have died including four early deaths from infection. Complete remission (CR) was documented in eight patients (66.7%) post-transplant; six are currently alive whereas one died at 7 months from infection while still in CR and one relapsed 7 months post-transplant and died later. One CR patient relapsed after 4.5 years but was successfully re-transplanted and remains in second CR for 6.5+ years. Another patient recently relapsed after 10.5 years of CR. Duration of ASCT-induced CR in the remaining four patients was 6.5+, 8.5+, 9+ and 10+ years. All surviving patients displayed excellent performance status without ongoing chronic graft versus host disease. We conclude that ASCT is an effective salvage therapy for fludarabine-refractory CLL but late relapses can occur.
A Curriculum Development Project for IBM Linux in Academia Program

This paper introduces the IBM Linux in Academia program and a curriculum development project initiated by the authors for the program. The service of IBM Linux in Academia program is based on the Linux virtual service concept in which a mainframe computer is partitioned into many Linux images supported by IBM’s Virtual Machine Operating System. On the IBM S/390 system, each image acts as an independent Linux server. This free service saves the acquisition and management cost of running multiple physically separated servers for participating universities. The curriculum development project intends to create and share curriculum materials for e-Business related courses among participants. The main IBM software used in this project includes DB2 Universal Database and WebSphere. The main objective in the ﬁrst stage of this project is to develop a data warehouse generator to manipulate a large read-only database obtained from a real world health care application supplied by IBM. Through a web based user interface, an instructor could ﬂexibly create a data warehouse using the Account Data Model developed by some of the authors from the read-only database with the desirable size and attributes to support pedagogical needs. Other aspects of the project are also addressed.
Is methylation analysis of SFRP2, TFPI2, NDRG4, and BMP3 promoters suitable for colorectal cancer screening in the Korean population?

Background/Aims Colorectal cancer (CRC) screening using stool DNA was recently found to yield good detection rates. A multi-target stool DNA test (Cologuard®, Exact Sciences), including methylated genes has been recently approved by the U.S. Food and Drug Administration. The aim of this study was to validate these aberrantly methylated genes as stool-based DNA markers for detecting CRC and colorectal advanced adenoma (AA) in the Korean population. Methods A single-center study was conducted in 36 patients with AA; 35 patients with CRC; and 40 endoscopically diagnosed healthy controls using CRC screening colonoscopy. The methylation status of the SFRP2, TFPI2, NDRG4, and BMP3 promoters was investigated blindly using bisulfate-modified stool DNA obtained from 111 participants. Methylation status was investigated by methylation-specific polymerase chain reaction. Results Methylated SFRP2, TFPI2, NDRG4, and BMP3 promoters were detected in 60.0%, 31.4%, 68.8%, and 40.0% of CRC samples and in 27.8%, 27.8%, 27.8%, and 33.3% of AA samples, respectively. The sensitivities obtained using 4 markers to detect CRC and AA were 94.3% and 72.2%, respectively. The specificity was 55.0%. Conclusions Our results demonstrate that the SFRP2, TFPI2, NDRG4, and BMP3 promoter methylation analysis of stool sample DNA showed high sensitivity but low specificity for detecting CRC and AA. Because of the low specificity, 4 methylated markers might not be sufficient for CRC screening in the Korean population. Further large-scale studies are required to validate the methylation of these markers in the Asian population and to find new markers for the Asian population.
Autonomous Road Driving Arenas for Performance Evaluation

Abstract : The development of performance metrics is critical in the evaluation and advancement of intelligent systems. Obtaining the pinnacle of intelligence in autonomous vehicles requires evolutionary standards and community support. In order to analyze and compare competing implementations of intelligent systems, the critical components of the system must be decoupled to facilitate repeatable trials that target specific aspects of the system's overall task. This paper presents a framework for a real virtual simulation environment that provides the facilities and tools to formally test the limitations and capabilities of autonomous road driving vehicles.
A Hierarchy of Information Quantities for Finite Block Length Analysis of Quantum Tasks

We consider two fundamental tasks in quantum information theory, data compression with quantum side information, as well as randomness extraction against quantum side information. We characterize these tasks for general sources using so-called one-shot entropies. These characterizations-in contrast to earlier results-enable us to derive tight second-order asymptotics for these tasks in the i.i. d. limit. More generally, our derivation establishes a hierarchy of information quantities that can be used to investigate information theoretic tasks in the quantum domain: The one-shot entropies most accurately describe an operational quantity, yet they tend to be difficult to calculate for large systems. We show that they asymptotically agree (up to logarithmic terms) with entropies related to the quantum and classical information spectrum, which are easier to calculate in the i.i. d. limit. Our technique also naturally yields bounds on operational quantities for finite block lengths.
Limited genetic divergence between dog breeds from geographically isolated countries

BREED specifications for pure-bred/pedigree dogs are laid down by the organisations that register and judge dogs, such as the Kennel Club of the UK (KCUK) and the Kennel Union of South Africa (KUSA), as well as the umbrella body the Federation Cynologique Internationale (FCI). Reproductive isolation between breeds results because animals can only be registered as a specific breed if they have five previous generations of ancestors registered as the same breed, creating a ‘breed barrier’ which promotes genetic differences among breeds. This genetic isolation in a population of UK dogs (Mellanby and others 2013) has been demonstrated previously. The lowest heterozygosities of around 0.5 were found for breeds such as the German shepherd dog, rottweiler and boxer dog, indicative of a reasonably high level of inbreeding. Labrador retrievers and border collies had heterozygosities of around 0.7, indicating greater genetic diversity. The Jack Russell terrier is not a registered breed with the KCUK. This group had a heterozygosity of close to 0.8 and maintained a high degree of genetic variability.
Area 4 has layer IV in adult primates

There are opposing views about the status of layer IV in the primary motor cortex (area 4). Cajal described a layer IV in area 4 of adult humans. In contrast, Brodmann found layer IV in developmental but not in adult primates and called area 4 ‘agranular’. We addressed this issue in rhesus monkeys using the neural marker SMI‐32, which labels neurons in lower layer III and upper layer V, but not in layer IV. SMI‐32 delineated a central unlabeled cortical stripe in area 4 that corresponds to layer IV, which was populated with small interneurons also found in layer IV in ‘granular’ areas (such as area 46). We distinguished layer IV interneurons from projection neurons in the layers above and below using cellular criteria. The commonly used term ‘agranular’ for area 4 is also used for the phylogenetically ancient limbic cortices, confusing areas that differ markedly in laminar structure. This issue pertains to the systematic variation in the architecture across cortices, traced from limbic cortices through areas with increasingly more elaborate laminar structure. The principle of systematic variation can be used to predict laminar patterns of connections across cortical systems. This principle places area 4 and agranular anterior cingulate cortices at opposite poles of the graded laminar differentiation of motor cortices. The status of layer IV in area 4 thus pertains to core organisational features of the cortex, its connections and evolution.
Automatic cDNA Classification System for Mouse Genome Project

Classi cation of cDNA/protein sequence data is necessary for analysis and further application of sequence data, i.e. understanding of pathway of proteins in a cell and signal transduction. Since rapid increase of the number of cDNA/protein sequences is expected, the procedure of the classi cation must be systematic and automated to avoid human eye inspection. In this study, the sequence data are classi ed based on two terms; subcellular location and function. Again, false positive/false negative results are always expected in the use of prediction method, and the human inspection is necessary to avoid this problem. We proposed a method to reduce the false positive for PROSITE motif search by using a structural information.
Mindmap-Inspired Semantic Personal Information Management

Users nowadays need to manage large amounts of information, including documents, e-mails, contacts, and multimedia content. To facilitate the tasks of organisation, maintenance, and retrieval of personal information, a number of semantics-based methods have emerged; these methods employ (personal) ontologies as an underlying infrastructure for organising and querying the personal information space. In this paper we present OntoFM, a novel personal information management tool that offers a mindmapinspired interface to facilitate user interactions with the information base. Besides serving as an information retrieval aid, OntoFM allows the user to specify and update the semantic links between information items, constituting thus a complete personal information management tool.