Miracle-dz/UniFAR-FTUs huggingface dataset:
The gravity dual of a p-wave superconductor

We construct black hole solutions to the Yang-Mills equations in an AdS4-Schwarzschild background which exhibit superconductivity. What makes these backgrounds p-wave superconductors is that the order parameter is a vector, and the conductivities are strongly anisotropic in a manner that is suggestive of a gap with nodes. The low-lying excitations of the normal state have a relaxation time which grows rapidly as the temperature decreases, consistent with the absence of impurity scattering. A numerical exploration of quasinormal modes close to the transition temperature suggests that p-wave backgrounds are stable against perturbations analogous to turning on a p+ip gap, whereas p+ip-wave configurations are unstable against turning into pure p-wave backgrounds.
A solution to improve algorithm for distributed mutual exclusion by restricting message exchange in quorums

In this paper, we have proposed a permission based distributed mutual exclusion algorithm which is an improvement of Maekawa's algorithm. The number of messages required by the improvised algorithm is in the range 3M to 5M per critical section invocation where M is the number of intersection nodes1 in the system. A reduction in number of message by restricting the communication of any node with the intersection nodes of the quorums, without any modification of the basic structure of the algorithm.
Percutaneous vertebroplasty and kyphoplasty for painful vertebral body fractures in cancer patients.

OBJECT The current North American experience with minimally invasive vertebro- and kyphoplasty is largely limited to the treatment of benign osteoporotic compression fractures. The objective of this study was to assess the safety and efficacy of these procedures for painful vertebral body (VB) fractures in cancer patients. METHODS The authors reviewed a consecutive group of cancer patients (21 with myeloma and 35 with other primary malignancies) undergoing vertebro- and kyphoplasty at their institution. Ninety-seven (65 vertebro- and 32 kyphoplasty) procedures were performed in 56 patients during 58 treatment sessions. The mean patient age was 62 years (+/- 13 years [standard deviation]) and the median duration of symptoms was 3.2 months. All patients suffered intractable spinal pain secondary to VB fractures. Patients noted marked or complete pain relief after 49 procedures (84%), and no change after five procedures (9%); early postoperative Visual Analog Scale (VAS) pain scores were unavailable in four patients (7%). No patient was worse after treatment. Reductions in VAS pain scores remained significant up to 1 year (p = 0.02, Wilcoxon signed-rank test). Analgesic consumption was reduced at 1 month (p = 0.03, Wilcoxon signed-rank test). Median follow-up length was 4.5 months (range 1 day-19.7 months). Asymptomatic cement leakage occurred during vertebroplasty at six (9.2%) of 65 levels; no cement extravasation was seen during kyphoplasty. There were no deaths or complications related to the procedures. The mean percentage of restored VB height by kyphoplasty was 42 +/- 21%. CONCLUSIONS Percutaneous vertebro- and kyphoplasty provided significant pain relief in a high percentage of patients, and this appeared durable over time. The absence of cement leakage-related complications may reflect the use of 1) high-viscosity cement; 2) kyphoplasty in selected cases; and 3) relatively small volume injection. Precise indications for these techniques are evolving; however, they are safe and feasible in well-selected patients with refractory spinal pain due to myeloma bone disease or metastases.
From run-time behavior to usage scenarios: an interaction-pattern mining approach

A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software systems. Any reengineering effort has to be aware of the functional requirements of the subject system, in order not to violate the integrity of its intended uses. However, as software systems get regularly maintained throughout their lifecycle, the documentation of their requirements often become obsolete or get lost. To address this problem of "software requirements loss", we have developed an interaction-pattern mining method for the recovery of functional requirements as usage scenarios. Our method analyzes traces of the run-time system-user interaction to discover frequently recurring patterns; these patterns correspond to the functionality currently exercised by the system users, represented as usage scenarios. The discovered scenarios provide the basis for reengineering the software system into web-accessible components, each one supporting one of the discovered scenarios. In this paper, we describe IPM2, our interaction-pattern discovery algorithm, we illustrate it with a case study from a real application and we give an overview of the reengineering process in the context of which it is employed.
Assessment of bioavailable concentrations and toxicity of arsenite and mercury in contaminated soils and sediments by bacterial biosensors

2/2001 Tiina Ojala Biological Screening of Plant Coumarins 3/2001 Helena Vihinen Expression, Purification and Characterization of Fungal and Viral Recombinant Proteins 4/2001 Viktor Kuvshinov Development of Transgenic Crops Protected from Insect Damage and Transgene Escape 5/2000 Harun Ar Rashid Centrifugal Granulating Process for Preparing Drug-Layered Pellets Based on Microcrystalline Cellulose Beads 6/2001 Janne Mikkola Role of Brain Dopamine in Psychomotor Stimulation Induced by Morphine and Cocaine in Alcohol-Preferring and Alcohol-Avoiding Rats 7/2001 Jukka Hiltunen Neurotrophic Factors in Rodent Heart: From Development to Pathophysiology 8/2001 Leena Peltonen The Interfacial Behaviour of Sorbitan Surfactant Monolayers and the Bulk Properties of These Surfactants as a Function of Temperature 9/2001 Pirjo Luukkonen Rheological Properties and the State of Water of Microcrystalline Cellulose and Silicified Microcrystalline Cellulose Wet Masses 10/2001 Jussi-Pekka Rauha The Search for Biological Activity in Finnish Plant Extracts Containing Phenolic Compounds 11/2001 Marikki Halsas Development and Biopharmaceutical Evaluation of Press-Coated Tablets Taking Account of Circadian Rhythms of Disease 12/2001 Jouko Sillanpää Tissue-Adherence in Lactic Acid Bacteria: Identification and Characterization of the Collagen-Binding S-Layer Protein of Lactobacillus crispatus 13/2001 Tiina Seppä Role of Nicotinic Acetylcholine Receptors in Dopaminergic Transmission and Expression of Fos Protein 14/2001 Eugeny Makeyev RNA-dependent RNA Polymerase of Bacteriophage phi6 15/2001 Pia Rydman Genetic Approach to Bacteriophage PRD1 Entry and Assembly 16/2001 Xiaojuan Meng Glial Cell Line-Derived Neurotrophic Factor and Neurturin in the Regulation of Spermatogenesis 17/2001 Riikka Pellinen Hydrogen Peroxide in Inducible Plant Defence Responses
Advancing or Inhibiting Educational Opportunity: The Power of New Teachers to Reinforce or Deconstruct Social Reproduction in Urban Schools

Abstract Beliefs about teaching influence practice and can play a powerful role in the day-to-day decision-making of teachers. Pre-service teachers commonly accrue their original set of beliefs on teaching from teacher preparation programs or personal experiences, but unlike teachers with more experience, new teachers are more susceptible to changing their beliefs on teaching once they become official teachers of record. If these beliefs change in a negative way, such as by adopting a set of beliefs that views students through a deficit lens, or capable of achieving less than their privileged counterparts, then schools will continue to foster tendencies for social reproduction instead of tendencies for social justice. In urban schools, this increase in negative perceptions of students is even more common as new teachers face challenges that are less likely to occur in non-urban schools. Findings suggest that new teachers do change their beliefs during their first year, and that these beliefs often reflect the beliefs of trusted and close colleagues within their social networks. While some teachers experienced positive changes in their beliefs and teaching practices, other teachers experienced negative changes in their beliefs that unfavorably affected students. Most teachers were unaware of their belief changes, but offered explanations for how and why their beliefs could have changed without their noticing over the course of the study. Implications and possible directions for future research are discussed.
Developing the characteristic spirit of publicly managed schools in a more secular and pluralist Ireland

Abstract This discussion paper considers the identification and definition of the ‘characteristic spirit’ of publicly managed schools in the Republic of Ireland. Some international approaches to values in publicly funded schools are introduced along with relevant contextual aspects of Irish education including the cultural diversity and secularisation of modern Irish society. The Irish Education Act (1998) gives ultimate responsibility for school values and ‘characteristic spirit’ to the school ‘patron’, a role legally separate from that of school ownership and school management. The underlying values of privately managed faith-based schools are well established. However, the ‘characteristic spirit’ of publicly managed Education and Training Board schools remains largely undeveloped. Appropriate responses to this challenge are identified and discussed.
Resource allocation for AF cooperative communications using Stackelberg game

Amplify and forward (AF) cooperative communication scheme is modeled using Stackelberg market framework, where a relay is willing to sell its resources; power and bandwidth, to multiple users to maximize its revenue. The relay determines the prices for relaying users' information depending on its available resources and the users' demands. Subsequently, each user maximizes its own utility function by determining the optimum power and bandwidth to buy from the relay. The existence and the uniqueness of the Nash equilibrium for given power and bandwidth prices are investigated using the concavity of the utility function, and the exact potential game associated with the proposed utility function. The Stackelberg Nash equilibrium is found using backward induction. A nested distributed algorithm is applied to obtain the Stackelberg-Nash equilibrium with minimum information exchange between the relay and users. Numerical simulations are used to verify the validation of the proposed framework.
Bladder, Bowel, and Sexual Dysfunction in Parkinson's Disease

Bladder dysfunction (urinary urgency/frequency), bowel dysfunction (constipation), and sexual dysfunction (erectile dysfunction) (also called “pelvic organ” dysfunctions) are common nonmotor disorders in Parkinson's disease (PD). In contrast to motor disorders, pelvic organ autonomic dysfunctions are often nonresponsive to levodopa treatment. The brain pathology causing the bladder dysfunction (appearance of overactivity) involves an altered dopamine-basal ganglia circuit, which normally suppresses the micturition reflex. By contrast, peripheral myenteric pathology causing slowed colonic transit (loss of rectal contractions) and central pathology causing weak strain and paradoxical anal sphincter contraction on defecation (PSD, also called as anismus) are responsible for the bowel dysfunction. In addition, hypothalamic dysfunction is mostly responsible for the sexual dysfunction (decrease in libido and erection) in PD, via altered dopamine-oxytocin pathways, which normally promote libido and erection. The pathophysiology of the pelvic organ dysfunction in PD differs from that in multiple system atrophy; therefore, it might aid in differential diagnosis. Anticholinergic agents are used to treat bladder dysfunction in PD, although these drugs should be used with caution particularly in elderly patients who have cognitive decline. Dietary fibers, laxatives, and “prokinetic” drugs such as serotonergic agonists are used to treat bowel dysfunction in PD. Phosphodiesterase inhibitors are used to treat sexual dysfunction in PD. These treatments might be beneficial in maximizing the patients' quality of life.
MODELING STREET CONNECTIVITY AND PEDESTRIAN MOVEMENT ACCORDING TO STANDARD GIS STREET NETWORK REPRESENTATIONS 018

We study three 1 mile x 1 mile areas in Atlanta to establish correlations between street configuration and densities of pedestrian movement. Two kinds of analysis are used: first, standard syntactic analysis applied to axial maps drawn to cover surrounding areas large enough so that Radius 3 Integration values assigned to observation spaces suffer no edge effects; second, new techniques of analysis that can be applied to standard GIS representations of street center-lines. It is shown that the new measures post-dict movement densities as well as the standard syntactic measures.
Commercialization of Technology News

While technology news has become a major news genre, the coverage of high-tech products has raised concerns regarding the commercialization of journalism. Drawing on salience transfer and exemplification theory, this study explores how The New York Times and USA Today covered Apple products along quantity and quality dimensions. A content analysis documented a landslide in the amount of coverage on Apple products in both newspapers. Both iPhones and iPads were disproportionately over-covered in relation to their market share. Over one-third of the headlines about the iPhone covered the product favorably. The New York Times published more stories about these gadgets than USA Today did, while USA Today was twice as likely to portray iPhones in a positive light. These findings have raised questions about the commercialization of technology news and its impact on journalism.
A DP based scheme for real-time reconfiguration of solar cell arrays exposed to dynamic changing inhomogeneous illuminations

The overall energy conversion efficiency of solar cell arrays is highly effected by partial shading effects. Especially for solar panel arrays installed in environments which are exposed to inhomogeneous dynamic changing illuminations such as on roof tops of electrical vehicles the overall system efficiency is drastically reduced. Dynamic real-time reconfiguration of the solar panel array can reduce effects on the output efficiency due to partial shading. This results in a maximized power output of the panel array when exposed to dynamic changing illuminations. The optimal array configuration with respect to shading patterns can be stated as a combinatorial optimization problem and this paper proposes a dynamic programming (DP) based algorithm which finds the optimal feasible solution to reconfigure the solar panel array for maximum efficiency in real-time with linear time complexity. It is shown that the effective increase of efficiency is up to 50%. An experimental platform to evaluate and validate the DP algorithm performance under real conditions to proof the concept of the proposed reconfiguration scheme is introduced.
Neuro-symbolic programs for robots

This paper introduces a neuro-symbolic behaviour modelling language (NSBL), which enables one to specify both reactive and deliberative robotic behaviours , and to model both competitive and cooperative control functions. Core NSBL is grounded into the neural processing of propositional clauses, crucially involving the non-monotonic processing of unless conditions. Core NSBL suffices to model a variety of reactive and deliberative processes, be-havioural sequencing, and competitive control functions. Extended NSBL is achieved by fibring neural nets. Fibred neural networks enable one to deal with the cooperative control of behaviours by the computation of polynomial functions. A two-stage translation algorithm for core NSBL (rules→neural model→FPGA implementation) provides a powerful tool to meet bounded time response constraints for deliberative robotic systems operating in dynamic environments. The paper also speculates about how to achieve adaptivity and neural learning in NSBL-based agents. 1 Motivations and Background Developing AI and robotic systems which take a clear advantage from the strengths of both symbolic and neural processing is a major challenge for neuro-symbolic a p-proaches [d'Avila Garcez et al., 2002]. In particular, cogni-tive robotics has been identified as a suitable test bed for neuro-symbolic integration, insofar as a cognitive robot must be capable of combining knowledge-based reasoning and learning with prompt behavioural responses in dynamic environments [ Bader et al., 2005]. Some steps towards neuro-symbolic cognitive robotics are undertaken in this paper, which introduces a neuro-symbolic behaviour modelling language (NSBL) enabling one to specify and control the behaviour of robotic agents. Core NSBL (cNSBL, from now on) is grounded into the neural processing of proposi-tional clauses, crucially involving the non-monotonic processing of unless conditions [Aiello et al., 1998]. Extended NSBL (eNSBL) is achieved by fibring neural nets [d'Avila Garcez and Gabbay, 2004]. Many behaviour-based systems, from the extreme case of pure " stretch-reflex " reactive ones to deliberative or hybrid systems [Arkin, 1998], can be uniformly modelled as eNSBL agents. In addition to that, eNSBL presents distinctive advantages in connection with the relation between logical and neural models: the close correspondence between the neural and the eNSBL level of description allows one to reconstruct the logical model underlying a neuro-symbolic network implemented in a behaviour based system, revealing the embedded decisional structure. In view of the massive parallelism of rule-based reasoning made possible by neuro-symbolic a pproaches, NSBL-based agents can be endowed with perceptual and deliberation capabilities, while meeting at the same time bounded time response constraints …
Three-Dimensional Localization of pORF65 in Kaposi's Sarcoma-Associated Herpesvirus Capsid

ABSTRACT Of the six herpesvirus capsid proteins, the smallest capsid proteins (SCPs) share the least sequence homology among herpesvirus family members and have been implicated in virus specificity during infection. The herpes simplex virus-1 (HSV-1) SCP was shown to be horn shaped and to specifically bind the upper domain of each major capsid protein in hexons but not in pentons. In Kaposi's sarcoma-associated herpesvirus (KSHV), the protein encoded by the ORF65 gene (pORF65) is the putative SCP but its location remains controversial due to the absence of such horn-shaped densities from both the pentons and hexons of the KSHV capsid reconstructions. To directly locate the KSHV SCP, we have used electron cryomicroscopy and three-dimensional reconstruction techniques to compare the three-dimensional structure of KSHV capsids to that of anti-pORF65 antibody-labeled capsids. Our difference map shows prominent antibody densities bound to the tips of the hexons but not to pentons, indicating that KSHV SCP is attached to the upper domain of the major capsid protein in hexons but not to that in pentons, similar to HSV-1 SCP. The lack of horn-shaped densities on the hexons indicates that KSHV SCP exhibits structural features that are substantially different from those of HSV-1 SCP. The location of SCP at the outermost regions of the capsid suggests a possible role in mediating capsid interactions with the tegument and cytoskeletal proteins during infection.
Daily Trading Behavior and the Performance of Investment Managers

Utilizing a unique database of daily trading activity, this paper examines the ability of active Australian equity managers to earn superior risk adjusted returns attributed to stock selection. We find evidence of superior trade performance, where performance is a function of trade and stock size. Our findings indicate that active equity managers are able to successfully exploit private information more readily in mid-cap stocks where the degree of analyst coverage, information flows and market efficiency are lower than large-cap stocks. Our evidence provides further support to the value of active investment management in Australian equities. JEL classification: G23
The ASKAP Roll Axis Preliminary study of its benefits to calibration and imaging

A standard test field containing numerous strong sources has been observed twice with the ASKAP BETA system, with the third axis of motion – the roll axis – disabled for the second run. These two data sets are subjected to identical calibration and imaging pipelines in order to gauge the e↵ects of the roll axis when observing with a Phased Array Feed. Present beam forming techniques only allow meaningful comparisons to be performed with the on axis ‘boresight’ beam. Observing with the roll axis tracking reduces the standard deviation of the close-in imaging artefacts around the bright sources by factors of 2–3. Applying directional calibration techniques and examining the solutions reveals that the elevated artefacts are imparted by position and time dependent gain drifts with amplitude modulations of up to 50%, consistent with a rotating primary beam of non trivial shape.
Semantic Query Optimization for XQuery over XML Streams

We study XML stream-specific schema-based optimization. We assume a widely-adopted automata-based execution model for XQuery evaluation. Criteria are established regarding what schema constraints are useful to a particular query. How to apply multiple optimization techniques on an XQuery is then addressed. Finally we present how to correctly and efficiently execute a plan enhanced with our SQO techniques. Our experimentation on both real and synthetic data illustrates that these techniques bring significant performance improvement with little overhead.
Enhanced approach for energy-efficient trajectory generation of industrial robots

This paper proposes a novel cost function formulation for minimization of the energy consumption of industrial robots by trajectory optimization. Besides the dynamics of the robot including friction losses, the model especially takes into account the losses of servo drives and inverters. Furthermore, the ability of energy exchange between the robot axes via the coupled DC-bus is included, since the servo drives support generator mode during deceleration. The utilized energy-based robot model is applicable to different manipulator types. For the energy-efficient motion planning, point-to-point trajectories are defined by B-spline functions. The given nonlinear optimization problem is solved using gradient-based methods, considering kinematic and dynamic constraints. Several simulation results are presented, demonstrating the intense effect of energy exchange in the robot controller's power electronics. Furthermore, a comparative study is given showing that the proposed method is able to outperform existing torque-based approaches.
Ecologically-based approaches to evaluate the sustainability of industrial systems

Industrial ecology, promoted as a discipline of 'sustainability science,' applies ecological concepts to industrial systems to improve their sustainability. Concepts such as diversity, food webs and nutrient recycling have been investigated for industrial systems. Complex systems theory may also prove to be an appropriate framework for industrial systems research. This framework can identify the processes and feedbacks governing industrial systems, and how these systems respond to disturbances. A review of the industrial ecology literature suggests that firms and industries regularly display behaviours that are similar to those described in ecosystems under the complex systems theory rubric. In particular, the models and tools generated from the study of niche construction, self-organisation and dynamic regimes hold promise. These systems-level concepts have been developed under the assumption that anthropogenic disturbances are a dominant influence for many ecosystems, and may therefore be more relevant to the study of industrial and other strongly anthropogenic systems.