Miracle-dz/UniFAR-FTUs huggingface dataset:
Environmental limits to source localization

Extension of the operational range of underwater location techniques has been related to the incorporation of reliable acoustic propagation models, that closely predict the behaviour of oceans. In this paper, the performance of ocean tomography and passive localization of underwater acoustic sources is studied, by analyzing the coupling of performance degradations imposed by modeling mismatches on the ability to estimate the position of acoustic sources.
The Development and Validation of the Compassion of Others' Lives Scale (The COOL Scale)

This is a presentation of research concerning the development and validation of a 26 item measure of Compassion of Others’ Lives. The Compassion of Others’ Lives Scale (COOL scale) was developed and validated in 2 studies with a total of 355 participants. Data was collected in the United States from students at a northeast Pennsylvania college campus. Results indicated that the COOL scale has a high internal consistency. Test-retest suggests excellent reliability; convergent and discriminate validity confirmed the 2 subtests of the COOL scale to measure the constructs of compassion. The implications for the COOL scale are discussed.
D S ] 1 5 Ju l 2 01 8 Deterministic ( 1 / 2 + ε )-Approximation for Submodular Maximization over a Matroid Niv Buchbinder

We study the problem of maximizing a monotone submodular function subject to a matroid constraint and present a deterministic algorithm that achieves (1/2+ ε)-approximation for the problem. This algorithm is the first deterministic algorithm known to improve over the 1/2approximation ratio of the classical greedy algorithm proved by Nemhauser, Wolsely and Fisher in 1978.
Design and Implementation of Lookup Table in Multicast Supported Router

In this paper, a design and implementation of a lookup table are proposed, which facilitate the multicast supporting in Network-on-Chip (NoC). Our lookup table allows setting or clearing some bit in a table entry, clearing table entry and reading the content from the table. Base on this, our scheme could setup any-shaped multicast path by combining the sub-path incrementally.
Macroprudential Policy and Household Wealth Inequality

Macroprudential policies, such as caps on loan-to-value (LTV) ratios, have become part of the policy paradigm in emerging markets and advanced countries alike. Given that housing is the most important asset in household portfolios, relaxing or tightening access to mortgages may affect the distribution of household wealth in the country. In a stylised model we show that the final level of wealth inequality depends on the size of the LTV ratio, housing prices, credit cost and the strength of a bequest motive; ultimately with no unequivocal effect of LTV ratios on wealth inequality. These trade-offs are illustrated with estimations of "Gini Recentered Influence Function" regressions on household survey data from 12 Eurozone countries that participated in the first wave of the Household Finance and Consumption Survey (HFCS). The results show that, among the households with active mortgages, high LTV ratios at the time of acquisition are related to high contributions to wealth inequality today, while house price increases are negatively related to inequality contributions. A proxy for the strength of bequest motives tends to be negatively related with wealth inequality, but credit cost does not show a significant link to the distribution of wealth.
Long-term financial incentive of environmental responsibility – socially responsible investing and cost of equity capital

We investigate the long-term financial incentives of corporate environmental responsibility by examining whether an environmentally responsible firm benefits from a lower cost of equity capital, focusing on a particular channel: sustainable and responsible investing (SRI). Using treatment effect models, we test whether investments from SRI mutual funds with environmental screening criteria impact firm cost of equity capital. We find that accounting for interaction between firm and non-shareholder stakeholders, and potential agency costs associated with certain environmentally responsible activities of the firm, SRI investing may facilitate the alignment of firm environmental and financial goals.
Propylene Glycol Is Essential in the LCModel Basis Set for Pediatric 1H-MRS

Propylene glycol (PG) is an organic solvent used in a variety of parenterally injected pharmaceutical preparations. In this current study, we analyzed neonatal brains following routine MRS evaluation at 1.5 T, using the LCModel software, with and without the addition of PG to the analysis basis-set. We suggest including PG in the LCModel basis-set for neonatal brain 1H-MRS to improve the discrimination and quantification of lactate and inositol.
Graph Analytics on Massive Collections of Small Graphs

Emerging applications face the need to store and query data that are naturally depicted as graphs. Building a Business Intelligence (BI) solution for graph data is a formidable task. Relational databases are frequently criticized for being unsuitable for managing graph data. Graph databases are gaining popularity but they have not yet reached the same maturity level with relational systems. In this paper we identify a large spectrum of applications that generate graph data with specific characteristics that make them candidate for being stored in a relational system. We describe a novel framework where data and queries are both treated as abstract graph structures that can be decomposed into simpler structural elements. We complement this abstract framework with a description of a system that utilizes three different means of expediting user queries: (i) a flat description of the graph records using a column-oriented storage model, (ii) use of bitmap columns for enabling fast access to parts of these graph records and (iii) a novel framework for selecting and materializing graph views that significantly expedite retrieval of records in response to a graph query. To the best of our knowledge we are the first to report results using datasets consisting of hundreds of millions of graphs with billions nodes, edges and measure values using a single database server running of a commodity node. Our results demonstrate that our platform is orders of magnitude faster than alternative systems that natively handle graph data and a straightforward relational implementation. Moreover, our materialization techniques (that account for about 10% of extra disk space) are able to reduce the query execution times further, by up to 94% compared to an evaluation plan that is oblivious to the existing materialized graphs views in the database.
Joint Detection Estimation Problem of Monopulse Angle Measurement

Estimation of the direction of arrival (DOA) of a signal source by means of a monopulse estimation scheme is one of the oldest and most widely used high-precision techniques in operational tracking systems. Although the statistical performance of this estimation technique has been extensively investigated, it has never been analyzed from the viewpoint of the joint detection-estimation problem. As a consequence the historical form of the (detector-angle estimator) solution has become the usual form implemented in operational tracking systems and may restrict their accessible performance. Indeed, the application of the optimal detection theory reveals alternative (detector-angle estimator) solutions providing other relevant trade-offs in detection-estimation performances that are worth considering to optimize the performance of the tracking system according to the scenario. Both stochastic signal model (Rayleigh-type signal source) and deterministic signal model (signal source of unknown amplitude) have been investigated, leading to a novel but equally simple (detector-angle estimator) solution through which analytical statistical prediction has been derived. Comparison of detection-estimation performances of new and usual solutions is presented.
String topology of finite groups of Lie type

We show that the mod $\ell$ cohomology of any finite group of Lie type in characteristic $p$ different from $\ell$ admits the structure of a module over the mod $\ell$ cohomology of the free loop space of the classifying space $BG$ of the corresponding compact Lie group $G$, via ring and module structures constructed from string topology, a la Chas-Sullivan. If a certain fundamental class in the homology of the finite group of Lie type is non-trivial, then this module structure becomes free of rank one, and provides a structured isomorphism between the two cohomology rings equipped with the cup product, up to a filtration. We verify the nontriviality of the fundamental class in a range of cases, including all simply connected untwisted classical groups over the field of $q$ elements, with $q$ congruent to 1 mod $\ell$. We also show how to deal with twistings and get rid of the congruence condition by replacing $BG$ by a certain $\ell$-compact fixed point group depending on the order of $q$ mod $\ell$, without changing the finite group. With this modification, we know of no examples where the fundamental class is trivial, raising the possibility of a general structural answer to an open question of Tezuka, who speculated about the existence of an isomorphism between the two cohomology rings.
The regulation of intestinal metabolism and its impact on whole animal energetics.

In digesting and absorbing dietary nutrients, the gastrointestinal tract consumes approximately 20% of all incoming energy. A substantial proportion of this consumption is due to the rapid turnover of cellular protein, which permits abrupt changes in gut size to occur, matching capacity with delivery. If it is size of the alimentary tract that constrains nutrient uptake, greater than 20% allocation of ME intake above maintenance to the gut would improve the growth rate of a young animal but the efficiency of ME utilization for growth would deteriorate. Less than 15% allocation in birds seems injurious to both growth rate and efficiency of growth. Nutrient transport capacity of the intestine may be modulated independent of size; in the case of glucose, an up- or down-regulation of the number of brush-border glucose transporters matches absorptive capacity with delivery. The maximum uptake capacity of a small intestine for glucose at any moment in time is a function of its length, the flow rate of digesta, and the distributed-in-space kinetic parameters of transport (e.g., Vmax and Km). An example maximum uptake capacity for glucose in sheep is calculated at 2,112 g/d, assuming continuous digesta flow. Intermittency of flow reduces the uptake capacity to a functional level of 295 g/d, demonstrating a constraining influence of the periodicity of the migrating myoelectric complex. Growth regulation by stimulatory and inhibitory mitotic signals is presented as a candidate for an energy-independent determinant of the upper limit to functional maximum uptake capacity of the small intestine. Both size and functional capacity of the intestine must be considered in assessing the impact this tissue may have on the rest of the animal.
Placement of tri-weekly training sessions: importance regarding enhancement of aerobic capacity.

Abstract The purpose of this investigation was to determine whether the placement of tri-weekly training sessions would enhance aerobic capacity. Forty-eight male undergraduate students enrolled at the University of Louisville participated as subjects. Group 1 subjects (n = 16) performed exercise in the form of high intensity interval type running (five 3-min exercise bouts) on Monday, Tuesday, and Wednesday for ten weeks. Group 2 subjects (n = 16) followed a similar exercise protocol with the exception that training sessions were conducted on Monday, Wednesday, and Friday. Group 3 subjects (n = 16) served as nonexercising controls. Significant (p <0.01) within group (pre- versus post-training) differences were found for aerobic capacity ([Vdot]O2 max) and associated physiological variables for Groups 1 and 2. Analysis of covariance demonstrated significant (p <0.01) differences ([Vdot]O2 max) among groups. Post hoc comparisons revealed significant differences between the control group and each experiment.
Addition to "Evaluation of three 32-bit CMOS" adders in DCVS logic for self-timed circuits"

Two prior publications are reported that should have been referenced in the above-named article (ibid., vol. 33, no. 4, pp. 604? 613, Apr. 1998). One from 1955 the other from 1979. The author notes he was not aware of any previous publications that define the complementary carry signal, Ni.
Fatigue in Healthy and Diseased Individuals

Objectives: Although fatigue is experienced by everyone, its definition and classification remains under debate. Methods: A review of the previously published data on fatigue. Results: Fatigue is influenced by age, gender, physical condition, type of food, latency to last meal, mental status, psychological conditions, personality type, life experience, and the health status of an individual. Fatigue may not only be a symptom but also a measurable and quantifiable dimension, also known as fatigability. Additionally, it may be classified as a condition occurring at rest or under exercise or stress, as physiologic reaction or pathologic condition, as spontaneous phenomenon or triggerable state, as resistant or irresistant to preconditioning, training, or attitude, as prominent or collateral experience, and as accessible or inaccessible to any type of treatment or intervention. Fatigue may be the sole symptom of a disease or one among others. It may be also classified as acute or chronic. Quantification of fatigability is achievable by fatigue scores, force measurement, electromyography, or other means. Fatigue and fatigability need to be delineated from conditions such as sleepiness, apathy, exhaustion, exercise intolerance, lack of vigor, weakness, inertia, or tiredness. Among neurological disorders, the prevalence of fatigue is particularly increased in multiple sclerosis, amyotrophic lateral sclerosis, Parkinson disease, traumatic brain injury, stroke, and bleeding and also in neuromuscular disorders. Fatigue may be influenced by training, mental preconditioning, or drugs. Conclusions: Fatigue needs to be recognized as an important condition that is not only a symptom but may also be quantified and can be modified by various measures depending on the underlying cause.
Generating 3D fundamental map by large-scale SLAM and graph-based optimization focused on road center line

The paper presents a method to generate a large-scale 3D fundamental map from a running vehicle. To create an easy-to-use approach for frequent updates, we propose a system to utilize simultaneous localization and mapping (SLAM), which is robot mapping technology. In traditional methods, special machines or many manual operations cause higher mapping costs. The existing mobile mapping method (MMS) requires manual anchoring point measurement for ensuring accuracy. To solve this problem, we propose a 3D map optimization method by using road information from the standard map issued by the Geospatial Information Authority of Japan. From the SLAM result, the road center line of 3D shape map is estimated by assuming the car is running on road. Pose graph optimization between the estimated road center line and that of the standard map corrects cumulative distortion of the SLAM result. The experimental results of on-vehicle 3D LIDAR observation show that the proposed system could correct the cumulative distortion of the SLAM results and automatically generate a large-scale 3D map assuring reference accuracy.
Automated Mask-Layout and Process Synthesis for MEMS

This paper presents a method for automated mask-layout and process synthesis for MEMS. The synthesis problem is approached by use of a genetic algorithm. For a given desired device shape, and several fabrication process choices, this synthesis tool will produce one or more mask-layouts and associated fabrication process sequences (which when used can generate shapes close to the desired one). For complicated device shapes and wide range of fabrication process possibilities, it is hard for the designer to produce the right masklayout and fabrication procedure by experience and trial and error. An automated synthesis tool like this will benefit the MEMS fabrication and synthesis by both eliminating the expense and time of the design and increasing the design accuracy.
Cultivating the myopic learner: the shared project of high-stakes and low-stakes assessment

This paper argues that, despite the obvious and important differences between high-stakes and low-stakes assessment, there remain important points in common. These manifest themselves at a sociological level, where each tradition of assessment shares a similar disposition towards power. It is argued that both high-stakes and low-stakes assessment, as they are practised in England today, act together in support of a wider regime of power. This regime relies upon the construction of specialised subjectivities, defined by a myopic and self-perpetuating concern with individual progression.
Prevention of immunosuppression by sunscreens in humans is unrelated to protection from erythema and dependent on protection from ultraviolet a in the face of constant ultraviolet B protection.

Sunscreens have been advocated as an important means of preventing skin cancer. Ultraviolet radiation induced immunosuppression is recognized as an important event in skin cancer development, yet the effectiveness of sunscreens in protecting the human immune system from ultraviolet radiation (i.e. ultraviolet radiation) is still unclear. The only currently accepted method of sunscreen rating is the sun protection factor system based on the prevention of erythema. We determined immune protection factors for six commercially available sunscreens using a nickel contact hypersensitivity model in humans. Both sun protection factor and immune protection factor testing was performed using the same solar simulated ultraviolet radiation source and dose-responses were used to determine endpoints both with and without sunscreens. We found that the immune protection factor did not correlate with the sun protection factor; however, immune protection factor was significantly correlated to the ultraviolet A protective capability of the sunscreens, indicating that sunscreen protection from ultraviolet A is important for the prevention of ultraviolet immunosuppression, when there is constant ultraviolet B protection. We recommend that sunscreens should be rated against their immune protective capability to provide a better indication of their ability to protect against skin cancer.
Effectiveness of a community health worker intervention among African American and Latino adults with type 2 diabetes: a randomized controlled trial.

OBJECTIVES We tested the effectiveness of a culturally tailored, behavioral theory-based community health worker intervention for improving glycemic control. METHODS We used a randomized, 6-month delayed control group design among 164 African American and Latino adult participants recruited from 2 health systems in Detroit, Michigan. Our study was guided by the principles of community-based participatory research. Hemoglobin A1c (HbA1c) level was the primary outcome measure. Using an empowerment-based approach, community health workers provided participants with diabetes self-management education and regular home visits, and accompanied them to a clinic visit during the 6-month intervention period. RESULTS Participants in the intervention group had a mean HbA1c value of 8.6% at baseline, which improved to a value of 7.8% at 6 months, for an adjusted change of -0.8 percentage points (P < .01). There was no change in mean HbA1c among the control group (8.5%). Intervention participants also had significantly greater improvements in self-reported diabetes understanding compared with the control group. CONCLUSIONS This study contributes to the growing evidence for the effectiveness of community health workers and their role in multidisciplinary teams engaged in culturally appropriate health care delivery.
Cytokine Response of Cultured Skeletal Muscle Cells Stimulated with Proinflammatory Factors Depends on Differentiation Stage

Myoblast proliferation and myotube formation are critical early events in skeletal muscle regeneration. The attending inflammation and cytokine signaling are involved in regulation of skeletal muscle cell proliferation and differentiation. Secretion of muscle-derived cytokines upon exposure to inflammatory factors may depend on the differentiation stage of regenerating muscle cells. Cultured human myoblasts and myotubes were exposed to 24-hour treatment with tumor necrosis factor (TNF)-α or lipopolysaccharide (LPS). Secretion of interleukin 6 (IL-6), a major muscle-derived cytokine, and interleukin 1 (IL-1), an important regulator of inflammatory response, was measured 24 hours after termination of TNF-α or LPS treatment. Myoblasts pretreated with TNF-α or LPS displayed robustly increased IL-6 secretion during the 24-hour period after removal of treatments, while IL-1 secretion remained unaltered. IL-6 secretion was also increased in myotubes, but the response was less pronounced compared with myoblasts. In contrast to myoblasts, IL-1 secretion was markedly stimulated in LPS-pretreated myotubes. We demonstrate that preceding exposure to inflammatory factors stimulates a prolonged upregulation of muscle-derived IL-6 and/or IL-1 in cultured skeletal muscle cells. Our findings also indicate that cytokine response to inflammatory factors in regenerating skeletal muscle partially depends on the differentiation stage of myogenic cells.
Bunched Hypersequent Calculi for Distributive Substructural Logics

We introduce a new proof-theoretic framework which enhances the expressive power of bunched sequents by extending them with a hypersequent structure. A general cut-elimination theorem that applies to bunched hypersequent calculi satisfying general rule conditions is then proved. We adapt the methods of transforming axioms into rules to provide cutfree bunched hypersequent calculi for a large class of logics extending the distributive commutative Full Lambek calculus DFLe and Bunched Implication logic BI. The methodology is then used to formulate new logics equipped with a cutfree calculus in the vicinity of Boolean BI.
Summarizing Contrasts by Recursive Pattern Mining

A lot of constrained patterns (e.g., emerging patterns, subgroup discovery, classification rules) emphasize the contrasts between data classes and are at the core of many classification techniques. Nevertheless, the extremely large collection of generated patterns hampers the end-user interpretation and the deep understanding of the knowledge revealed by the whole collection of patterns. The key idea of this paper is to summarize the contrasts of a dataset in order to provide understandable characterizations of data classes. We first introduce a novel framework, called recursive pattern mining, for only discovering few as well as relevant patterns. We demonstrate that this approach encompasses usual pattern mining framework and we study its key properties. Then, we use recursive pattern mining for extracting k recursive emerging patterns. Taken together, these patterns form a REP k-summary which summarizes the contrasts of the dataset. Finally, we validate our approach on benchmarks and real-world applications on the biological domain, showing the efficiency and the usefulness of the approach.