Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards Context-Aware Technical Service

Context-aware systems have long found application in every- day use cases, assisting users with their daily lives. Technical service covers any tasks concerning the maintenance, diagnosis, and repair of in- dustrial machinery. It is a more specic domain that would also benet from the introduction of context-aware systems. This domain requires the ltering and consumption of a vast amount of information resources. Employing semantic technologies enables engineers to more precisely nd information as compared to full-text search. However, it still requires a search query to be actively formulated to the system. This paper applies the principles of context-aware systems to information systems for the technical service, where the technician is guided though the service pro- cess inuenced by various sensors dening their current context. An im- plementation based on an established ontology for context-aware systems is presented that integrates with semantically enriched documentation.
The management of publicly funded regional universities during times of fiscal distress

v LIST OF TABLES . ix LIST OF FIGURES . x CHAPTER 1: INTRODUCTION . 1 CHAPTER 2: LITERATURE REVIEW . 6 A Closer Look: The Basics of Public Higher Education Finance . 6 Recent Trends and Challenges: A National Perspective . 18 Strategies for Managing the “New Normal” . 23 Academic Culture and Adaptive Leadership During Fiscal Distress . 27 Literature Review Conclusion . 36 CHAPTER 3: METHODOLOGY . 38 Research Design . 39 Data Collection and Analysis . 42 Limitations . 46 Reliability and Trustworthiness . 47 CHAPTER 4: NORTH CAROLINA A STATE-LEVEL OVERVIEW . 49 State-Wide Trends and Demographics . 49 The University of North Carolina – Organizational Overview . 55 State Budgeting . 61 UNC System Budget . 62 UNC Budget Challenges and Responses: 2008 – 2012 . 68 Politics . 73 Strategic Planning . 77 State-wide Summary . 80 CHAPTER 5: THE TAR HEEL UNIVERSITY CASE . 82 Current Budget Overview . 85 The Budget Crisis Challenges and Experiences . 92 Budget Process . 108 Budget Strategies . 113 Documented Impact . 124 Case Summary . 128 CHAPTER 6: THE NORTH STATE UNIVERSITY CASE . 130 Current Budget Overview . 133 The Budget Crisis Challenges and Experiences . 140 Budget Process . 150 Budget Strategies . 153 Documented Budget Impact . 168 Case Summary . 171 viii CHAPTER 7: CONCLUDING ANALYSES. 173 Description of the Analytical Framework . 174 Adaptive Leadership Applying Heifetz’s Diagnostic Framework . 175 Challenges and Limitations of Adaptive Leadership . 196 Conclusions and Implications . 197 BIBLIOGRAPHY . 203
The Sleep Disorders Inventory: an instrument for studies of sleep disturbance in persons with Alzheimer's disease

The Sleep Disorders Inventory (SDI) is an expanded version of one item of the Neuropsychiatric Inventory (NPI). It describes the frequency, severity, and caregiver burden of sleep‐disturbed behaviors during a period prior to its administration. We carried out post hoc analyses on baseline responses to the SDI in 104 persons with Alzheimer's disease (AD) and live‐in caregivers who had been recruited for a trial of melatonin in the treatment of sleep disturbance. These patient‐participants averaged <7 h of sleep per night, measured by actigraph (sleep disturbance), for the 2–3‐week period prior to administration of SDI. Data were from the 2 weeks prior to the baseline visit (SDI, NPI) including actigraph‐derived sleep variables and 2 weeks’ worth of sleep quality ratings (SQR) kept in a diary by caregivers, plus Mini‐Mental State Examination and activities of daily living assessment at baseline. The prevalence of sleep disorder symptoms ranged from 34% (waking up at night thinking it is daytime) and 82% (getting up during the night). Worse SDI scores were associated with worse cognitive, functional, and behavioral status, but not with sex, age, education or duration of dementia. SDI scores were significantly worse in individuals meeting independently established criteria for a diagnosis of ‘sleep disturbance’ (<6 h total sleep time per night) whereas demographic variables and scores reflecting cognition and function were not significantly different across this grouping. The SDI covers a wide range of sleep behaviors and provides information independent of sleep time and SQR.
Bundle recommendation in ecommerce

Recommender system has become an important component in modern eCommerce. Recent research on recommender systems has been mainly concentrating on improving the relevance or profitability of individual recommended items. But in reality, users are usually exposed to a set of items and they may buy multiple items in one single order. Thus, the relevance or profitability of one item may actually depend on the other items in the set. In other words, the set of recommendations is a bundle with items interacting with each other. In this paper, we introduce a novel problem called the Bundle Recommendation Problem (BRP). By solving the BRP, we are able to find the optimal bundle of items to recommend with respect to preferred business objective. However, BRP is a large-scale NP-hard problem. We then show that it may be sufficient to solve a significantly smaller version of BRP depending on properties of input data. This allows us to solve BRP in real-world applications with millions of users and items. Both offline and online experimental results on a Walmart.com demonstrate the incremental value of solving BRP across multiple baseline models.
Heuristics evaluation in computer games

Heuristics Evaluation is commonly used in the evaluation process of computer games and it has been expended from general evaluation to more specific computer games evaluation such as mobile games, video games and MMORPg. Developed heuristics evaluation of computer games were thoroughly analyzed based on specific criteria being used in the heuristics. As a conclusion, Playability Heuristics Evaluation for Educational Games (PHEG) were proposed to be developed because of the important elements of educational games that need to be addressed in order to develop a usable and acceptable educational games.
Kimenyi : Rent-Seeking & Reform – Sub-Saharan Africa 335 335 19 Healing Sick Institutions

A small body of evidence and a large body of assertion – both bodies growing – support the vague idea that ‘institutions matter for economic development’. This affirmation is intelligible first for what it negates. Many economists, in their models if not in their advice, bracket out institutions. Standard macroeconomic models, for example, do not include changes to property rights or improvements in contract law. In the limiting economic simplification of perfect markets and perfect information, there is no role for firms as institutions. As Joan Robinson once joked, the job of the manager of a firm is to look up in the book of blueprints the correct page corresponding to current (and future) factor markets. But new research asserts that institutions are both approachable in economic terms and important in their effects on efficiency and equity. What is the evidence? There are no exact studies, in part because there is no exact model. Indeed, exactly what ‘institutions’ might mean is vague and unclear, and in sober moments adherents admit that there is as yet no accepted paradigm. But useful statistical evidence does exist. As shown in other chapters in this volume, some cross-country studies show significant relationships between economic growth and a variety of variables that might be labelled institutional: ‘economic rights’ (in some studies and specifications, political rights as well), ‘contract-intensive money,’ corruption, and a number of sociocultural indicators. 1 Analyses of development projects show that ‘institutional development’ is correlated with ‘project success’. 2
A 0.13µm CMOS 655Mb/s 4×4 64-QAM K-Best MIMO detector

The high spectral efficiency offered by multiple-input-multiple-output (MIMO) technology has made it the technology-of-choice in many standards like IEEE 802.16e/m (WiMAX) and the long term evolution (LTE) project and emerging 4G systems. One challenge to the widespread adoption of MIMO technology is the design of high-throughput detectors with near maximum-likelihood (ML) performance and cost-effective VLSI realization for a large number of antennas and constellation order.
Regulation of Raf‐1 kinase by TNF via its second messenger ceramide and cross‐talk with mitogenic signalling

Raf‐1 kinase is a central regulator of mitogenic signal pathways, whereas its general role in signal transduction of tumour necrosis factor (TNF) is less well defined. We have investigated mechanisms of Raf‐1 regulation by TNF and its messenger ceramide in cell‐free assays, insect and mammalian cell lines. In vitro, ceramide specifically bound to the purified catalytic domain and enhanced association with activated Ras proteins, but did not affect the kinase activity of Raf‐1. Cell‐permeable ceramides induced a marked increase of Ras–Raf‐1 complexes in cells co‐expressing Raf‐1 and activated Ras. Likewise, a fast elevation of the endogeneous ceramide level, induced by TNF treatment of human Kym‐1 rhabdomyosarcoma cells, was followed by stimulation of Ras–Raf‐1 association without significant Raf‐1 kinase activation. Failure of TNF or ceramide to induce Raf‐1 kinase was observed in several TNF‐responsive cell lines. Both TNF and exogeneous C6‐ceramide interfered with the mitogenic activation of Raf‐1 and ERK by epidermal growth factor and down‐regulated v‐Src‐induced Raf‐1 kinase activity. TNF also induced the translocation of Raf‐1 from the cytosolic to the particulate fraction, indicating that this negative regulatory cross‐talk occurs at the cell membrane. Interference with mitogenic signals at the level of Raf‐1 could be an important initial step in TNF's cytostatic action.
CHEBYSHEV COLLOCATION FOR LINEAR, PERIODIC ORDINARY AND DELAY DIFFERENTIAL EQUATIONS: A POSTERIORI ESTIMATES

We present a Chebyshev collocation method for linear ODE and DDE prob- lems. Theorem 3 in section 3 gives an a posteriori estimate for the accuracy of the approximate solution of a scalar ODE initial value problem. Examples of the success of the estimate are given. For linear, periodic DDEs with integer delays we define and discuss the monodromy operator U in section 4. Our main goal is reliable estimation of the stability of such DDEs. In section 5 we prove theorem 14 which gives a posteriori estimates for eigenvalues of U, our main result. Theorem 14 is based on theorem 11, a generalization to operators on Hilbert spaces of the Bauer-Fike theorem (2) for (ma- trix) eigenvalue perturbation problems. Section 6 describes the generalization of these results to systems of DDEs and an example is given in section 7. The computation of good bounds on ODE fundamental solutions is an important technical issue and an a posteriori method for such bounds is given. An additional technical issue is addressed in section 8, namely the evaluation of polynomials and of the L 1 norms of analytic functions. Generalization to the non-integer delays case is considered in section 9.
Tailoring OWL for Data Intensive Ontologies

The idea of using ontologies as a conceptual view over data repositories is becoming more and more popular. In these contexts, data are typically very large (much larger than the intentional level of the ontologies), and query answering becomes the basic reasoning services. In these contexts query answering should be very efficient on the data, and currently the only technology that is available to deal with large amounts of data is the one provided by relational data management systems (RDBMS). In this paper we advocate that for such contexts a suitable fragment of OWL-DL should be devised. Such a fragment must allow forms of query answering that exploit RDBMS when reasoning on the data, while it must include the main modeling features of conceptual models like UML class diagrams and ER diagrams. In particular it must include cyclic assertions, ISA on concepts, inverses of roles, role typing, mandatory participation to roles, and functional restrictions on roles. Also the query language should go beyond the expressive capabilities of concept expressions in description logics, and include at least conjunctive queries (corresponding to the select-project-join fragment of SQL). We discuss this issues by exhibiting a fragment of OWL-DL that includes all such features, namely DL-Lite, and showing that such a fragment is essentially maximal.
On the political economy of protection in Germany

This work in progress report is part of an inquiry being undertaken by the World Bank in conjunction with scholars from twelve industrial countries into the penetration of the markets of industrial countries by exports of manufactures from developing countries. The project seeks to establish the shares of industrial country markets held by the developing countries, changes in such shares in the 1970s, and why they vary among industry groups and countries. The aim is to assist developing and industrial countries to improve their policies through a better understanding of trade patterns and protectionist pressures. The framework for this paper is the hypothesis that the demand for protection on the part of producing units is derived from firms' opportunity costs in eliciting protection, while the supply of protection is derived from governments' opportunity costs in granting protection. It is first applied historically to the period 1880-1978, and then used to explain the structure of protection in manufacturing industries in 1974. The likely impact on developing countries is briefly discussed in the concluding section.
Ship Dynamic and Video Monitoring System at Sea

Ship dynamic and video monitoring system at sea aims at improving safety of ship sailing and providing help for salvage. In this system, wireless communication technology of CDMA1X is used to transfer GPS dynamic positioning information and ship video. As to the special communications at sea, the actual bandwidth of single channel CDMA1X is too low to transfer video. In order to cope with this problem, this paper proposes scalable video delivery framework and uses CDMA1X multi-channel binding technology. The scalable video delivery framework is put forward to meet the requirement of complex network environment at sea. CDMA1X multi-channel binding technology is used to increase bandwidth and meet the quality requirement of video image. This paper describes the design and implementation of this system. In the circumstance of binding four CDMA1X channels, image transfer quality is perfect enough to meet the requirements of nearshore ship monitoring. This system also can adapt itself to different network bandwidths.
Investigating Causal Pathways Linking Site-Level Characteristics, Compliance, and Ecological Performance in Caribbean MPAs

A rapidly growing body of empirical evidence has linked improved ecological performance of social–ecological systems (SES) with better compliance with rules governing human activities. Researchers have proposed several key factors that motivate an individual to comply with resource use rules, including deterrence, social pressures, moral inclinations, and perceived legitimacy of rules and responsible authorities. Much of the research on compliance proposes causal mechanisms at the individual human level, but few studies test causal paths with empirical data particularly at the site level. This study tested a proposed pathway for explaining overall compliance rates and ecological performance in SES using data from structured surveys of community members, key informant interviews, policy documents, and coral reef surveys at marine protected areas (MPAs) and their associated human communities in the wider Caribbean. Findings indicate that compliance and other active MPA management interventions positively affect ecological performance, and site-level contextual factors (level of community development and being part of a political network) positively influence significant predictors of overall compliance rates, which include active MPA management and enforced punishments.
The Design of an Autonomic Controller for Self-managed Emergency Departments

Improving the operational efficiency of an Emergency Department (ED) is a complex task due the very large number of ED configurations that involve human and physical resources and due to the unpredictable nature of the ED’s workload. Thus, managing the performance of EDs becomes difficult and expensive when carried out by human beings alone. A new approach, called self-managed EDs, consists of building into the ED the mechanisms required to self-adjust the ED’s configuration parameters so that its Quality of Service (QoS) is constantly met. This paper presents the design of an autonomic controller for a self-managed Emergency Department and evaluates its effectiveness in maximizing a utility function of the ED subject to cost-constraints. The controller uses a combination of combinatorial search techniques with simulation models. Experimental results illustrate the operation of the controller and how it reacts to variations of patient interarrival times.
Experiments in information visualization using 3D metaphoric worlds

In this paper we present experiments concerning the use of three-dimensional (3D) visualization for representing information. These experiments were conducted in the context of the CyberNet research project. The CyberNet project is oriented toward the enhancement of the user interface of network management tools. Its aim is to study how metaphoric 3D visualization may help the user in the process of monitoring large amounts of dynamic information. Although the project focuses on a specific application domain, network management, the core framework is designed so that it can be applied to other domains, and the system may be accessed from a web browser, thus allowing for information and knowledge sharing.
A Viewer-Centric Editor for Stereoscopic Cinema

A digital editor provides the timeline control necessary to tell a story through film. Current technology, although sophisticated, does not easily extend to 3D cinema because stereoscopy is a fundamentally different medium for expression and requires new tools. We formulated a mathematical framework for use in a viewer-centric digital editor for stereoscopic cinema driven by the audience’s perception of the scene. Our editing tool implements this framework and allows both shot planning and after-the-fact digital manipulation of the perceived scene shape. The mathematical framework abstracts away the mechanics of converting this interaction into stereo parameters, such as interocular, field of view, and location. We demonstrate cut editing techniques to direct audience attention and ease scene transitions. User studies were performed to examine these effects.
Tight coordination of aerial flight maneuvers and sonar call production in insectivorous bats

ABSTRACT Echolocating bats face the challenge of coordinating flight kinematics with the production of echolocation signals used to guide navigation. Previous studies of bat flight have focused on kinematics of fruit and nectar-feeding bats, often in wind tunnels with limited maneuvering, and without analysis of echolocation behavior. In this study, we engaged insectivorous big brown bats in a task requiring simultaneous turning and climbing flight, and used synchronized high-speed motion-tracking cameras and audio recordings to quantify the animals' coordination of wing kinematics and echolocation. Bats varied flight speed, turn rate, climb rate and wingbeat rate as they navigated around obstacles, and they adapted their sonar signals in patterning, duration and frequency in relation to the timing of flight maneuvers. We found that bats timed the emission of sonar calls with the upstroke phase of the wingbeat cycle in straight flight, and that this relationship changed when bats turned to navigate obstacles. We also characterized the unsteadiness of climbing and turning flight, as well as the relationship between speed and kinematic parameters. Adaptations in the bats' echolocation call frequency suggest changes in beam width and sonar field of view in relation to obstacles and flight behavior. By characterizing flight and sonar behaviors in an insectivorous bat species, we find evidence of exquisitely tight coordination of sensory and motor systems for obstacle navigation and insect capture. Highlighted Article: Flight kinematics and adaptive sonar behavior in insectivorous, echolocating bats engaged in climbing and turning flight reveal tight coordination of adaptive flight and vocal motor systems.
A 2Gpixel/s H.264/AVC HP/MVC video decoder chip for Super Hi-Vision and 3DTV/FTV applications

8K×4K Super Hi-Vision (SHV) offers a significantly enhanced visual experience relative to 1080p, and is on its way to being the next digital TV standard. In addition, advanced 3DTV specifications involving a large number of camera views are targeted by emerging applications such as free-viewpoint TV (FTV). This paper presents a single-chip design that supports real-time H.264 decoding of SHV or up to 32 HD views. The design of the chip involved 3 key challenges: 1) Data dependencies of video coding algorithms restrict the degree of hardware parallelism. For SHV, each macroblock (MB) should be processed in less than 40 cycles at 300MHz, which is difficult to meet with a single pipeline; 2) due to the massive design and verification effort for video decoders, a scalable architecture that allows the maximum reuse of existing IP is desirable; and 3) the DRAM bandwidth requirements are always a bottleneck in high-throughput video decoders.
Hierarchical Bayesian Mixed-Membership Models and Latent Pattern Discovery

With the explosive growth of data-mining tools involving latent structure for clustering and classification, model choice remains a major methodological issue, largely because competing models used by data-miners often have different parameterizations and very different specifications and constraints. Here, we work from a general formulation of hierarchical Bayesian mixed-membership models and present several model specifications and variations, both parametric and nonparametric, in the context of learning the number of latent groups and associated patterns for clustering units. Model comparison is an issue within specifications, and becomes a component of the larger issue of model choice. We elucidate strategies for comparing models and specifications by producing novel analyses of the following two data sets: (1) a corpus of scientific publications from the Proceedings of the National Academy of Sciences where we use both text and references to narrow the choice of the number of latent topics in our publications data, in both parametric and nonparametric settings; (2) data on functionally disabled American seniors from the National Long Term Care Survey where our results gone beyond those previously published.
Content Contribution for Revenue Sharing and Reputation in Social Media: A Dynamic Structural Model

This study examines the incentives for content contribution in social media. We propose that exposure and reputation are the major incentives for contributors. Besides, as more and more social media Web sites offer advertising-revenue sharing with some of their contributors, shared revenue provides an extra incentive for contributors who have joined revenue-sharing programs. We develop a dynamic structural model to identify a contributor's underlying utility function from observed contribution behavior. We recognize the dynamic nature of the content-contribution decision—that contributors are forward-looking, anticipating how their decisions affect future rewards. Using data collected from YouTube, we show that content contribution is driven by a contributor's desire for exposure, revenue sharing, and reputation and that the contributor makes decisions dynamically.