Miracle-dz/UniFAR-FTUs huggingface dataset:
A New Method for Deadlock Elimination in Computer Networks With Irregular Toplologies

* This work has been supported by NSF grant MIP-9630096 Abstract In this paper we consider the problem of deadlock-free wormhole unicast routing in networks with irregular topologies. To prevent deadlocks, for each router some input/output pairs (turns) have to be prohibited. We analyze the problem of minimizing the number of prohibited turns for providing deadlock-free routing. A new algorithm is proposed, which guarantees that this number does not exceed 1/3 of the total number of turns and that it is still possible to send messages between any two initially connected nodes. To the best of our knowledge this is the first meaningful upper bound on the fraction of turns to be prohibited to prevent deadlocks for networks with an irregular toplogy. Also, the problem of routing in the presence of prohibited turns is considered and appropriate methods developed.
Forms of gambling, gambling involvement and problem gambling: evidence from a Swedish population survey

Abstract The purpose of this study was to explore the association between problem gambling (PG) and participation in different forms of gambling in order to elucidate relationships between PG, gambling involvement and gambling intensity. Using data from the first wave of the Swedish Longitudinal Gambling Study (Swelogs) (n = 4,991), the study tested four hypotheses, namely that (1) some forms of gambling are more closely associated with PG than other forms; (2) high gambling involvement is associated with PG; (3) gambling involvement is positively associated with the intensity of gambling; and (4) the relationship between gambling involvement and PG is influenced by the specific forms of gambling in which individuals participate. All four hypotheses were supported. More specifically, the study found that while many PGs regularly participate in multiple forms of gambling, half of PGs participate regularly in only one or two forms of gambling. The study concluded that some forms of gambling are more closely associated with problem gambling than other forms, and that gambling policy and regulation, as well as the development of responsible gambling initiatives, should focus on these forms.
Visual guidance of robot motion

Future robots are expected to cooperate with humans in daily activities. Efficient cooperation requires new techniques for transferring human skills to robots. In this paper, we present a system that provides a robot with the ability to imitate a motion by observing how a human instructor conducts it. The system consists of the following modules: data acquisition, feature extraction and tracking, motion extraction, motion representation, and trajectory generation. Two cameras are used as visual sensors to capture image sequences of a moving rigid object. Feature extraction and tracking are first performed in the image sequences in order to extract 3D motion of the rigid object 3D motion parameters are then calculated from a set of matched 3D points on the moving object. Once the motion trajectory of the moving object is available, its corresponding characteristics are extracted and transferred to the robot. We use a parametric cubic B-spline curve to represent the motion data since characteristics of a parametric cubic B-spline curve are completely determined by its control points, which can be calculated from given measurement data points using the least-squares method. Given the robot configuration, a motion trajectory can then be generated from the obtained control points for the robot to replicate the given motion in its own workspace with the required smoothness and characteristics. Experimental results show that a robot with such a system can be actually taught to imitate a motion and a robot arm has successfully replicated a human arm movement with similar trajectory characteristics.
Beta-Blockers in the Management of Hypertension and/or Chronic Kidney Disease

This minireview provides current summaries of beta-blocker use in the management of hypertension and/or chronic kidney disease. Accumulated evidence suggests that atenolol is not sufficiently effective as a primary tool to treat hypertension. The less-than-adequate effect of beta-blockers in lowering the blood pressure and on vascular protection, and the unfavorable effects of these drugs, as compared to other antihypertensive agents, on the metabolic profile have been pointed out. On the other hand, in patients with chronic kidney disease, renin-angiotensin system blockers are the drugs of first choice for achieving the goal of renal protection. Recent studies have reported that vasodilatory beta-blockers have adequate antihypertensive efficacy and less harmful effects on the metabolic profile, and also exert beneficial effects on endothelial function and renal protection. However, there is still not sufficient evidence on the beneficial effects of the new beta-blockers.
Krull dimension of types in a class of first-order theories

We study a class of first-order theories whose complete quantifier-free types with one free variable either have a trivial positive part or are isolated by a positive quantifier-free formula—plus a few other technical requirements. The theory of vector spaces and the theory fields are examples. We prove the amalgamation property and the existence of a model-companion. We show that the model-companion is strongly minimal. We also prove that the length of any increasing sequence of prime types is bounded, so every formula has finite Krull dimension.
Lamotrigine Decreased Hippocampal Damage and Improved Vascular Risk Markers in a Rat Model of Pentylenetetrazole Induced Kindling Seizure

Various antiepileptic drugs (AEDs) especially enzyme-inducing AEDs might be associated with increased vascular risk, through impairment of the endogenous antioxidative ability which may trigger oxygen-dependent tissue injury. Lamotrigine (LTG) a non-enzyme-inducing AED has scarce information regarding its effects on oxidative stress. The present study aimed to study the possible modulation of vascular risk factors of epileptogenesis by LTG, in a rat model of kindling seizure induced by pentylenetetrazole (PTZ). Four groups of male Wister rats were used; vehicle control group, PTZ group (alternate day PTZ, 30 mg/kg, i.p), LTG/PTZ group (LTG 20 mg/kg/day p.o and alternate day PTZ) and LTG group. The study period was 5 weeks. Lipoproteins and total homocysteine (tHcy), malondialdehyde (MDA) and reduced glutathione (GSH) were measured. Aortic endothelial function study and histopathological examination of the rats' brains, aortas and coronaries were conducted. Serum total cholesterol (TC), triglyceride (TG) and low-density lipoprotein cholesterol (LDL-C), tHcy, MDA, GSH levels were significantly higher in epileptic rats than normal controls rats. A decrease in HDL-cholesterol with high atherosclerotic index was also demonstrated. The administration of LTG improved the PTZ-kindled seizures. It produced a significant decrease in TC, TG and LDL-cholesterol, MDA, aortic GSH and increase in HDL-cholesterol with no significant effect on serum GSH and tHcy levels. LTG improved endothelium-dependent relaxation, decreased hippocampal neurodegenerative changes and atherosclerotic changes of aortas and coronaries. LTG decreased seizures severity, hippocampal damage and improved vascular risk markers in this rat model of kindling seizures.
A paper recommendation mechanism for the research support system Papits

We have developed Papits, a research support system, that shares research information, such as PDF files of research papers, in computers on networks and classifies the information into research types. Papits users can share various research information and survey the corpora of their particular fields. To develop Papits, we need to design a mechanism to identify a user's interest. Also, when constructing an effective paper recommendation system, it is important to carefully create user's models. We propose a method to construct user's models using the scale-free network. The scale-free network has vertices and edges, and ensures growth by 'preference attachments'. Our method applies a paper viewing history to construct a scale-free network based on the word co-occurrence. A constructed network consists of vertices that represent words, and edges that represent the word co-occurrence. In our method, a paper is added to the network as indicated by a user's paper viewing history. Additionally we define the 'topic weight'. By using two elements; the topic frequency and the topic recency, we calculate the topic weight. By using the word co-occurrence in a database, we measure the topic frequency. Also, by using the Jaccard coefficient, we measure the topic recency. Our result indicates that our method can effectively recommend documents for Papits users.
OIL PRODUCTION MODELS WITH NORMAL RATE CURVES

The normal curve has been used to fit the rate of both world and US oil production. In this article we give the first theoretical basis for these curve fittings. It is well known that oil field sizes can be modeled by independent samples from a lognormal distribution. We show that when field sizes are lognormally distributed, the starting time of the production of a field is approximately a linear function of the logarithm of its size, and production of a field occurs within a small enough time interval, then the resulting total rate of production is close to being a normal curve.
OS PARÂMETROS CURRICULARES NACIONAIS NA FORMAÇÃO INICIAL DOS PROFESSORES DAS CIÊNCIAS DA NATUREZA E MATEMÁTICA DO ENSINO MÉDIO

The results of interviews with seventeen lecturers of Methodology of Teaching and/or Practice of Teaching in the areas of biology, physics, chemistry, mathematics, belonging to three public universities located in the three different geographical regions, are presented and discussed. The main research objective was to investigate how the Brazilian National Curricular Parameters are being treated in the pre-service training of high school teachers of subjects in the area of Natural Sciences, Mathematics and their Technologies, as well as to capture the opinions of the interviewees about those documents and their comprehension about the main concepts of competences, interdisciplinary approaches and contextualization, embodied in the Parameters. Some theoretical aspects related to those notions and which are present in recent literature are also discussed.
EMPIRICAL EVALUATION OF ALTERNATIVES TO THE AGGREGATION OF NEIGHBOR ’ RATINGS IN SOCIAL FILTERING

Classical collaborative filtering algorithms that generate recommendations on the basis of item ratings use standard aggregation schemes that are devised a priori, without a process of empirical assessment. Nonetheless, common empirical evaluation procedures can be used to obtain evidence of the appropriateness of changing the behavior of the aggregation schemes. This paper reports the empirical evaluation of different alternatives in the aggregation of the rating of neighbors as considered in the classical Pearson formula for social filtering used in the original GroupLens system. The results point out to significant differences that may be hypothetized to be better models for the modeling of the “word-of-mouth” approach underlying collaborative filtering techniques.
3D-ICE: Fast compact transient thermal modeling for 3D ICs with inter-tier liquid cooling

Three dimensional stacked integrated circuits (3D ICs) are extremely attractive for overcoming the barriers in interconnect scaling, offering an opportunity to continue the CMOS performance trends for the next decade. However, from a thermal perspective, vertical integration of high-performance ICs in the form of 3D stacks is highly demanding since the effective areal heat dissipation increases with number of dies (with hotspot heat fluxes up to 250W/cm2) generating high chip temperatures. In this context, inter-tier integrated microchannel cooling is a promising and scalable solution for high heat flux removal. A robust design of a 3D IC and its subsequent thermal management depend heavily upon accurate modeling of the effects of liquid cooling on the thermal behavior of the IC during the early stages of design. In this paper we present 3D-ICE, a compact transient thermal model (CTTM) for the thermal simulation of 3D ICs with multiple inter-tier microchannel liquid cooling. The proposed model is compatible with existing thermal CAD tools for ICs, and offers significant speed-up (up to 975x) over a typical commercial computational fluid dynamics simulation tool while preserving accuracy (i.e., maximum temperature error of 3.4%). In addition, a thermal simulator has been built based on 3D-ICE, which is capable of running in parallel on multicore architectures, offering further savings in simulation time and demonstrating efficient parallelization of the proposed approach.
Gauss's method for secular dynamics, softened

Fabrycky D, 2007, ASTROPHYS J, V669, P1298, DOI 10.1086-521702; Ford EB, 2000, ASTROPHYS J, V535, P385, DOI 10.1086-308815; Gauss C. F. , 1866, WERKE, V3, P331; GORIACHEV NN, 1937, METHOD HALPHEN COMPU, P1; Gurkan MA, 2007, MON NOT R ASTRON SOC, V379, P1083, DOI 10.1111-j.1365-2966.2007. 11982.x; HAGIHARA Y, 1971, CELESTIAL MECH 1, V2, P199; Halphen G.H. , 1888, TRAITE FONCTIONS ELL, VII; HILL GW, 1882, ASTRON PAPERS AM EPH, V1, P317; Hill GW, 1901, AM J MATH, V23, P317, DOI 10.2307-2370133; Holman M, 1997, NATURE, V386, P254, DOI 10.1038-386254a0; Innanen KA, 1997, ASTRON J, V113, P1915, DOI 10.1086-118405; Jacobs V, 2001, ASTROPHYS J, V555, pL25, DOI 10.1086-321728; KOZAI Y, 1962, ASTRON J, V67, P591, DOI 10.1086-108790; LANDAU LD, 2005, CLASSICAL THEORY FIE; LASKAR J, 1986, ASTRON ASTROPHYS, V157, P59; LIBERT AS, 2008, CELEST MECH DYN ASTR, V43, P37; Mazeh T, 1997, ASTROPHYS J, V477, pL103, DOI 10.1086-310536; Murray C. D. , 1999, SOLAR SYSTEM DYNAMIC; Murray N, 1999, SCIENCE, V283, P1877, DOI 10.1126-science.283. 5409.1877; MUSEN P, 1963, REV GEOPHYS, V1, P85, DOI 10.1029-RG001i001p00085; Peiris HV, 2003, ASTROPHYS J, V599, P237, DOI 10.1086-378638; Rauch K. P., 1996, New Astronomy, V1, DOI 10.1016-S1384-1076(96)00012-7; SAHA P, 1992, ASTRON J, V104, P1633, DOI 10.1086-116347; Sambhus N, 2000, ASTROPHYS J, V542, P143, DOI 10.1086-309497; Sridhar S, 1999, MON NOT R ASTRON SOC, V303, P483, DOI 10.1046-j.1365-8711.1999. 02218.x; Touma J, 1998, ASTRON J, V115, P1653, DOI 10.1086-300312; Touma JR, 2002, MON NOT R ASTRON SOC, V333, P583, DOI 10.1046-j.1365-8711.2002. 05437.x; TREMAINE S, 2008, ARXIV08090237; Tremaine S, 2001, CELEST MECH DYN ASTR, V79, P231, DOI 10.1023-A:1017540022538; TREMAINE S, 1995, ASTRON J, V110, P628, DOI 10.1086-117548; Wu Y, 2003, ASTROPHYS J, V589, P605, DOI 10.1086-374598
Wavelet-FILVQ classifier for speech analysis

This paper describes a novel speech signal classification scheme based on spectrograms which are subjected to wavelet transform: a procedure which yields specific information regarding time and frequency variation of the signal. Feature vectors are extracted and classified using LVQ networks. The output of the network is interpreted as a fuzzy membership coefficient. This scheme is applied to the classification of voice dysphonia.
The Phosphatidylinositol 3-Kinase/mTor Pathway as a Therapeutic Target for Brain Aging and Neurodegeneration

Many pathological conditions are associated with phosphatidylinositol 3-kinase (PI3K) dysfunction, providing an incentive for the study of the effects of PI3K modulation in different aspects of diabetes, cancer, and aging. The PI3K/AKT/mTOR pathway is a key transducer of brain metabolic and mitogenic signals involved in neuronal proliferation, differentiation, and survival. In several models of neurodegenerative diseases associated with aging, the PI3K/AKT pathway has been found to be dysregulated, suggesting that two or more initiating events may trigger disease formation in an age-related manner. The search for chemical compounds able to modulate the activity of the PI3K/AKT/mTOR pathway is emerging as a potential therapeutic strategy for the treatment and/or prevention of some metabolic defects associated with brain aging. In the current review, we summarize some of the critical actions of PI3K in brain function as well as the evidence of its involvement in aging and Alzheimer's disease.
Using system dynamics to model courseware development: the project dynamics of complex problem-solving

The overall purpose of the work in progress reported here is to extend and validate system dynamics technologies for lheir use in managing the complexities and risks of large-scale, courseware development projects. Courseware consists of a variety of computer-based instructional materials used for the purpose of creating effective learning environments. While computer costs are dropping, new interactive technologies are appearing with a frequency that makes it quite difficult to plan and produce optimally effective (in terms of learning) and efficient (in terms of costs) computer-based instructional materials.
NATIONAL CORRUPTION, NATIONAL PERSONALITY AND NATIONAL CULTURE

Even though corruption continues to mar economic progression, worker enthusiasm, and societies' moral constitution, most studies of corruption have been confined to the fields of economics and political science. However, psychological variables, such as personality and cultural values, are likely to be relevant to studying corruption. In the present study of 62 countries, we examined how national averages on the Big Three personality traits, a measure of social desirability, and Hofstede's cultural dimensions relate to perceptions of a nation's level of corruption. The Big Three personality traits showed modest relationships with corruption. However, national averages on a social desirability measure were strongly and positivel correlated with corruption, suggesting that national dishonesty in responding to personality items is related to national dishonesty in corruption. In addition, the discrete, combined, and unique effects of personality and culture on corruption were compared. The findings suggest that both cultural values and personality have relevance for understanding corruption. As globalization continues to promote the exchange of cultural values and the assimilation of both individuals and organizations into new cultures, these findings highlight the need for I/O psychologists to be attentive to both culture and personality in designing human resource systems.
Towards Clinical Implementation of an FES&Exoskeleton to Rehabilitate the Upper Limb in Disabled Patients

Robotics rehabilitation is a research field that involves robotic devices adapted to assist various sensory-motor functions, to assist therapy and to evaluate the sensory-motor performance. Rehabilitation robots are catching popularity among patients and are generally well tolerated. This paper presents the development and the control structure of an exoskeleton designed as a tool for rehabilitation of the upper limb in disabled people. The system uses a combined control method to facilitate the upper arm movements using electrical drives and functional electrical stimulation (FES). The mechanical structure is lightweight, robust and it has four degrees of freedom. A software interface was designed in order to integrate the control of both systems: the electrical drives and functional electrical stimulation responsible for the muscle contraction. The exoskeleton can be controlled either in a direct loop or in a closed loop. The position references are obtained from potentiometers with linear characteristic which are mounted on the gear shafts of the DC motors. The exoskeleton was tested in vivo on healthy subjects showing good premises for initiating the clinical tests.
Rickettsia australis Activates Inflammasome in Human and Murine Macrophages

Rickettsiae actively escape from vacuoles and replicate free in the cytoplasm of host cells, where inflammasomes survey the invading pathogens. In the present study, we investigated the interactions of Rickettsia australis with the inflammasome in both mouse and human macrophages. R. australis induced a significant level of IL-1β secretion by human macrophages, which was significantly reduced upon treatment with an inhibitor of caspase-1 compared to untreated controls, suggesting caspase-1-dependent inflammasome activation. Rickettsia induced significant secretion of IL-1β and IL-18 in vitro by infected mouse bone marrow-derived macrophages (BMMs) as early as 8–12 h post infection (p.i.) in a dose-dependent manner. Secretion of these cytokines was accompanied by cleavage of caspase-1 and was completely abrogated in BMMs deficient in caspase-1/caspase-11 or apoptosis-associated speck-like protein containing a caspase activation and recruitment domain (ASC), suggesting that R. australis activate the ASC-dependent inflammasome. Interestingly, in response to the same quantity of rickettsiae, NLRP3-/- BMMs significantly reduced the secretion level of IL-1β compared to wild type (WT) controls, suggesting that NLRP3 inflammasome contributes to cytosolic recognition of R. australis in vitro. Rickettsial load in spleen, but not liver and lung, of R. australis-infected NLRP3-/- mice was significantly greater compared to WT mice. These data suggest that NLRP3 inflammasome plays a role in host control of bacteria in vivo in a tissue-specific manner. Taken together, our data, for the first time, illustrate the activation of ASC-dependent inflammasome by R. australis in macrophages in which NLRP3 is involved.
#Digitalfaith: Using Social Media for Professional Development

Abstract There is a need to identify and create spaces for professionals in higher education to engage religion, secularism, and spirituality in meaningful ways. #DigitalFaith resources are the digital platforms and communities supporting religious, secular, and spiritual development, and they offer potential avenues for professional development. This article highlights how digital platforms such as Facebook (e.g., NASPA’s Spirituality and Religion in Higher Education Knowledge Community Facebook group) and Twitter (e.g., @JCCTweets) are being used to support student affairs administrators’ professional development around topics of religion, secularism, and spirituality.
A discrete innovation diffusion model incorporating change in the adoption rate

New products play a significant role in the success of firms concerned with the introduction of innovative products. Mathematical modeling that can describe the life cycle of these products can provide major contribution in their successful diffusion. The Bass model of innovation diffusion is a main representative of the diffusion models. Many modifications have been made to the model since its development to answer the changing needs and limitations. The model was developed in continuous time, which limits its application on many real life applications having discrete time data. Due to this reason a discrete version of this model was proposed by another author Hirota. The model was based on Riccati's equation in mathematics. Although the model can be solved to exact solution but it is difficult to modify this model further and solve to get the exact solution. Further, in practice the pace of diffusion varies not only because of the life cycle phase but due to many other variations such as changes in advertising strategies, little product modifications, competitive products etc. In marketing this concept can be termed as change point. In the present article, we propose an approach to model the diffusion process using a discrete logistic function whose exact solution can be obtained using probability generating function (PGF), incorporating the aforesaid change point concept. The model is validated on the real life data sets. Therefore, the proposed model provides accurate parameter estimates, making it possible to predict when a product can be launched.