Miracle-dz/UniFAR-FTUs huggingface dataset:
Broadcasting Techniques for Video-on-Demand in Wireless Networks

Today's wireless technologies such as IEEE 802.16 (a.k.a., WiMAX) [3] for long-haul communications and IEEE 802.11 (e.g., WiFi) [15] and Bluetooth [5] for short distances are widely deployed. While WiFi is suitable for a small local wireless network, WiMAX (Worldwide Interoperability for Microwave Access) allows for communications over tens of kilometers and, thus, can be used to provide a high-speed wireless " last-mile " service to local networks. As beneficiaries, users can move freely without disconnection from the network. Wireless networks are, therefore, an excellent infrastructure for important applications such as disaster relief efforts and military col-laborative networks. Being wireless and mobile also means that users may enjoy ubiquitous entertainment services. For example, they may play game or watch videos of their interest online wherever they are. This chapter focuses on technologies that enable mobile video-on-demand (VOD) services. A VOD system is an interactive multimedia system working like cable television, the difference being that the client can select a movie 2 CONTENTS 3 from a large video database stored at a distant video server. Unlike other video services such as pay-per-view (PPV) and video in demand (VID), individual VOD clients in an area are able to watch different programs whenever they wish to, not just in time as in VID or pre-scheduled as in PPV. A VOD system is, therefore, a realization of the video rental shop brought into the home. A mobile wireless VOD a system has many practical applications. For instances, airlines could provide VOD services in airport lounges to entertain passengers on their own PDA (personal digital assistant) while they are waiting for a flight; a museum could provide video information on the exhibits on demand over the wireless network; in education, a university could also install such a system on campus to allow students to watch video recorded earlier from lectures they were not able to attend. VOD services are already available on the Internet. News video clips can be rendered on demand on most Web media outlets in business areas ranging from automotive to real estate to health and travel can also be played on demand via a product of Comcast called ComcastSpotlight [7]. The major server providers for VOD deployment include Motorola On-Demand Solutions [19], SeaChange International [23], and Concurrent Corp. [8]. Informa Telecom 1 predicted a revenue of more than 10.7 billion US dollars from VOD services offered to more than 350 million …
Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs

Concurrency bugs are at the heart of some of the worst bugs that plague software. Concurrency bugs slow down software development because it can take weeks or even months before developers can identify and fix them. In-production detection, root cause diagnosis, and classification of concurrency bugs is challenging. This is because these activities require heavyweight analyses such as exploring program paths and determining failing program inputs and schedules, all of which are not suited for software running in production. This dissertation develops practical techniques for the detection, root cause diagnosis, and classification of concurrency bugs for inproduction software. Furthermore, we develop ways for developers to better reason about concurrent programs. This dissertation builds upon the following principles: — The approach in this dissertation spans multiple layers of the system stack, because concurrency spans many layers of the system stack. — It performs most of the heavyweight analyses in-house and resorts to minimal in-production analysis in order to move the heavy lifting to where it is least disruptive. — It eschews custom hardware solutions that may be infeasible to implement in the real world. Relying on the aforementioned principles, this dissertation introduces: 1. Techniques to automatically detect concurrency bugs (data races and atomicity violations) in-production by combining in-house static analysis and in-production dynamic analysis. 2. A technique to automatically identify the root causes of in-production failures, with a particular emphasis on failures caused by concurrency bugs. 3. A technique that given a data race, automatically classifies it based on its potential consequence, allowing developers to answer questions such as “can the data race cause a crash or a hang? ”, or “does the data race have any observable effect? ”. We build a toolchain that implements all the aforementioned techniques. We show that the tools we develop in this dissertation are effective, incur low runtime performance overhead, and have high accuracy and precision.
Deep convolutional neural networks for segmenting 3D in vivo multiphoton images of vasculature in Alzheimer disease mouse models

The health and function of tissue rely on its vasculature network to provide reliable blood perfusion. Volumetric imaging approaches, such as multiphoton microscopy, are able to generate detailed 3D images of blood vessels that could contribute to our understanding of the role of vascular structure in normal physiology and in disease mechanisms. The segmentation of vessels, a core image analysis problem, is a bottleneck that has prevented the systematic comparison of 3D vascular architecture across experimental populations. We explored the use of convolutional neural networks to segment 3D vessels within volumetric in vivo images acquired by multiphoton microscopy. We evaluated different network architectures and machine learning techniques in the context of this segmentation problem. We show that our optimized convolutional neural network architecture with a customized loss function, which we call DeepVess, yielded a segmentation accuracy that was better than state-of-the-art methods, while also being orders of magnitude faster than the manual annotation. To explore the effects of aging and Alzheimer’s disease on capillaries, we applied DeepVess to 3D images of cortical blood vessels in young and old mouse models of Alzheimer’s disease and wild type littermates. We found little difference in the distribution of capillary diameter or tortuosity between these groups, but did note a decrease in the number of longer capillary segments (>75μm) in aged animals as compared to young, in both wild type and Alzheimer’s disease mouse models.
Corporate brands: what are they? What of them?

This article examines the nature, importance, typology, and management of corporate brands. Argues that in making a distinction between corporate brands, corporate identities, and product brands, the underlying characteristics of corporate brands can be uncovered. A key thesis of the article is that a corporate brand is a valuable resource: one that provides an entity with a sustainable, competitive advantage if specific criteria are met. These criteria are defined in terms of an economic theory known as “the resource‐based view of the firm”. An affirmation of this economic doctrine requires corporate brands to be rare, durable, inappropriable, imperfectly imitable, and imperfectly substitutable. Also contends that the traditional tripartite, branding typology be expanded to reflect the new modes in which corporate brands are being utilised. These new corporate branding categories are: familial, shared, surrogate, supra, multiplex, and federal. Finally, reasons that the management of a corporate brand requires the orchestration of six “identity types”. The critical identity type is the “covenanted identity” because it underpins the corporate brand. The covenanted identity comprises a set of expectations relating to an organisation's products/services and activities. Internally, it acts as a standard against which an employee/employer's actions can be evaluated. Argues that employees are crucial to the success, and maintenance, of corporate brands. Speculates that the current interest in corporate brands is redolent of a new dynamic in marketing. As such, corporate brands are symptomatic of the increased importance accorded to corporate‐level concerns and concepts. This interest in corporate‐level concerns should form the basis of a new branch of marketing: one that weft and weaves the concepts of corporate identity, image, reputation, communications along with corporate branding. The article concurs with Balmer and Greyser who argue that this area should be known as corporate‐level‐marketing.
Explicit MPC of higher-order linear processes via combinatorial multi-parametric quadratic programming

Parameter-dependent constrained optimization problems like they occur in the context of model predictive control (MPC) can be solved explicitly by means of multi-parametric quadratic programming (mpQP) techniques. We present a complexity analysis for a recently proposed combinatorial mpQP algorithm and discuss its advantages over existing geometric approaches concerning off-line explicit MPC computations for higher-order linear systems. The results are accompanied by numerical benchmark results for two suitable example problems from the area of process control.
PREDICTORS OF SUICIDAL BEHAVIOR IN A SAMPLE OF TURKISH SUICIDE ATTEMPTERS

In a Turkish sample, 100 suicide attempters, were compared with 60 healthy controls on measures of hopelessness, depression, and suicidal ideation. Suicide attempters were more depressive, more hopeless, and displayed greater suicidal ideation than healthy controls. Depression severity rather than hopelessness correlated with suicidal intent. Suicide lethality was independent of depression severity, hopelessness, and suicidal ideation and intent, suggesting that lethality is likely due to chance.
Can Hardware Performance Counters Produce Expected, Deterministic Results?

Experiments involving hardware performance counters would ideally have deterministic results when run in strictly controlled environments. In practice counters that should be deterministic (such as retired instructions) show variation from run to run on the x86 64 architecture. This causes difficulties when undertaking certain performance-counter related tasks, such as simulator validation and performance analysis. These variations also impede software-based deterministic thread-interleaving, useful for debugging and tuning multi-threaded workloads on modern CMP systems. We investigate a variety of x86 64 implementations (including DBI tools) and discover the sources of variations from expected count totals. The largest impact on retired instruction totals is due to the inclusion of hardware interrupt counts. This is difficult to compensate for, limiting the utility of the counters. In addition, counts generated by specific instructions can be counted differently across implementations, leading to cross-machine variations in aggregate counts. We briefly investigate ARM, IA64, POWER and SPARC systems and find that on these platforms the counts do not include hardware interrupts. Non-deterministic limitations to counter use may be a particular feature of the x86 64 architecture. We also apply our methodology to larger programs and find that run-to-run variation can be minimized, but it is difficult to determine known “good” reference counts for
New methods of DGA diagnosis using IEC TC 10 and related databases Part 2: application of relative content of fault gases

Four combustible gases (hydrogen, acetylene, ethylene and methane) generated by internal faults in transformers were selected in this paper to diagnose faults, and two diagnosis methods are proposed. One consists in distinguishing between faults based on the relative percentage of these four gases, and the other in using combinations of the relative percentage of two of these four gases. Accuracy of the proposed diagnosis methods was verified using IEC TC 10 and related databases.
A Fast-Locking ADPLL With Instantaneous Restart Capability in 28-nm CMOS Technology

This brief presents a bang-bang all-digital phase-locked loop (ADPLL) clock generator for multiprocessor system-on-chip applications in Globalfoundries 28-nm superlow-power CMOS technology. The circuit features a single-shot phase synchronization scheme for instantaneous phase lock after power-up. This feature is used for fast frequency search during lock-in, resulting in less than 1-μs initial lock time and the capability of instantaneous restart. The ADPLL provides a wide range of output clocks from 83 MHz to 2 GHz and exhibits 31-ps accumulated jitter with 3-ps period jitter at 2 GHz. It occupies an area of only 0.00234 mm2 and consumes 0.64 mW from a 1.0-V supply.
Usage of continuous skeletal image representation for document images de-warping

In this paper application of continuous skeletal image representation to documents’ image de-warping is described. A novel technique is presented that allows to approximate deformation of interlinear spaces of image based on elements of image’s skeleton that lie between the text lines. A method for approximation of whole image deformation as combination of single interlinear spaces deformations is proposed and representation of it in the form of 2dimensional cubic Bezier patch is suggested. Experimental results for batch of deformed document images are given that compare recognition quality of images before and after de-warping process. These results prove efficiency of the proposed algorithm.
Induced gamma band activity from EEG as a possible index of training-related brain plasticity in motor tasks

The aim of this study was proposing gamma band activity (GBA) as an index of training-related brain plasticity in the motor cortex. Sixteen controls underwent an experimental session where electroencephalography (EEG) activity was recorded at baseline (resting) and during a motor task (hand movements). GBA was obtained from the EEG data at baseline and during the task. Index of plasticity (IP) was defined as the relationship between GBA at the end of the motor task (GBAM_FIN), divided by GBA at the beginning of the task (GBAM_INI) for movements of both hands. There was a significant increase in GBA at the end of the task, compared to the initial GBA for the motor task (GBAM_FIN > GBAM_INI). No differences were found at baseline (GBAB_FIN ≈ GBAB_INI). Individual IP values had a positive (r = 0.624) and significant correlation with subject’s handedness. Due to plastic changes, GBA could indirectly but objectively reveal changes in cerebral activity related to physical training. This method could be used as a future diagnostic test in the follow-up of patients undergoing rehabilitation. It could also have potential applications in the fields of sports medicine.
An Overview of the 2010 Hazardous Weather Testbed Experimental Forecast Program Spring Experiment

The NOAA Hazardous Weather Testbed (HWT) conducts annual spring forecasting experiments organized by the Storm Prediction Center and National Severe Storms Laboratory to test and evaluate emerging scientific concepts and technologies for improved analysis and prediction of hazardous mesoscale weather. A primary goal is to accelerate the transfer of promising new scientific concepts and tools from research to operations through the use of intensive real-time experimental forecasting and evaluation activities conducted during the spring and early summer convective storm period. The 2010 NOAA/HWT Spring Forecasting Experiment (SE2010), conducted 17 May through 18 June, had a broad focus, with emphases on heavy rainfall and aviation weather, through collaboration with the Hydrometeorological Prediction Center (HPC) and the Aviation Weather Center (AWC), respectively. In addition, using the computing resources of the National Institute for Computational Sciences at the University of Tennessee, the Center for A.
Stable spaces for real-time clothing

We present a technique for learning clothing models that enables the simultaneous animation of thousands of detailed garments in real-time. This surprisingly simple conditional model learns and preserves the key dynamic properties of a cloth motion along with folding details. Our approach requires no a priori physical model, but rather treats training data as a "black box. " We show that the models learned with our method are stable over large time-steps and can approximately resolve cloth-body collisions. We also show that within a class of methods, no simpler model covers the full range of cloth dynamics captured by ours. Our method bridges the current gap between skinning and physical simulation, combining benefits of speed from the former with dynamic effects from the latter. We demonstrate our approach on a variety of apparel worn by male and female human characters performing a varied set of motions typically used in video games (e.g., walking, running, jumping, etc.).
Oxidation through the cytochrome system of substituted phenylenediamines.

The oxidation of dimethyl-p-phenylenediamine through the cytochrome system is only very slightly increased by additions of cytochrome c (Borei & Renvall, 1949). It can be questioned whether the endogenous cytochrome c of the oxidase preparation, in mediating between the oxidase and the substrate, is sufficient to account for the whole oxidation, or ifthe reductant is directly attacked by the oxidase. In this investigation the question of the participation of cytochrome c has been studied for a number of reductants of the phenylenediamine type. The influence of additions of external cytochrome c has been recorded. The endogenous cytochrome c has been inactivated by low-temperature treatment. The toxicity of the reductants was investigated.
Targeting the Epidermal Growth Factor Receptor in Epithelial Ovarian Cancer: Current Knowledge and Future Challenges

The epidermal growth factor receptor is overexpressed in up to 60% of ovarian epithelial malignancies. EGFR regulates complex cellular events due to the large number of ligands, dimerization partners, and diverse signaling pathways engaged. In ovarian cancer, EGFR activation is associated with increased malignant tumor phenotype and poorer patient outcome. However, unlike some other EGFR-positive solid tumors, treatment of ovarian tumors with anti-EGFR agents has induced minimal response. While the amount of information regarding EGFR-mediated signaling is considerable, current data provides little insight for the lack of efficacy of anti-EGFR agents in ovarian cancer. More comprehensive, systematic, and well-defined approaches are needed to dissect the roles that EGFR plays in the complex signaling processes in ovarian cancer as well as to identify biomarkers that can accurately predict sensitivity toward EGFR-targeted therapeutic agents. This new knowledge could facilitate the development of rational combinatorial therapies to sensitize tumor cells toward EGFR-targeted therapies.
Classification of EEG Signals using Empirical Mode Decomposition and Neural Networks

— The brain is the central part of the human nervous system and is highly complex organ. The problems related to brain activities are analyzed and the diagnosis is carried out with the help of classification of normal and abnormal signals produced by the brain activity. Several methods were proposed for the classification of the EEG normal and abnormal waves which are non stationary waves. The classification of seizure (abnormal) and non-seizure (normal) signals is very important in the diagnosis of problems related to brain and some physiological disorders. This paper presents a method to classify the EEG signals with the help of Empirical mode decomposition which produces intrinsic mode functions (IMFs) and they can be considered as amplitude and frequency modulated (AM-FM) signals. The Hilbert transformation of IMFs helps to represent the signals in analytical form. The two bandwidths, namely amplitude modulated bandwidth and frequency modulated bandwidth calculated from the analytic IMFs, have been used as input to artificial neural networks (ANN) for classifying normal and abnormal EEG signals. Available EEG signals are used to show the effectiveness of the proposed method.
Dictionary learning and update based on simultaneous codeword optimization (SimCO)

Dictionary learning aims to adapt elementary codewords directly from training data so that each training signal can be best approximated by a linear combination of only a few codewords. Following the two-stage iterative processes: sparse coding and dictionary update, that are commonly used, for example, in the algorithms of MOD and K-SVD, we propose a novel framework that allows one to update an arbitrary set of codewords and the corresponding sparse coefficients simultaneously, hence termed simultaneous codeword optimization (SimCO). Under this framework, we have developed two algorithms, namely the primitive and the regularized SimCO. Simulations are provided to show the advantages of our approach over the K-SVD algorithm in terms of both learning performance and running speed.
Optimization of Enzymatic Reaction Conditions of γ-Cyclomaltodextrin by CGTase

A strain of bacillus alkalophilus12-7 which could produce glucanotransferase (CGTase) forming γ-cyclodextrin was screened. Cyclodextrin production technology conditions were studied, and we mainly discussed the influence of enzymatic reaction conditions on γ-cyclodextrin production by glucanotransferase. The results show that enzymatic reaction conditions are pH 8.0, temperature 60°C, enzyme amount 500 U/g starch, glycyrrhizic acid concentration 2%, DE 6 ~ 11, γ- CD yield is good, edible canna starch and tapioca starch are suitable substrate for CGTase in production of γ- CD, pullulanase in increased the γ- CD yield is limited.
A Precise Memory Model for Low-Level Bounded Model Checking

Formalizing the semantics of programming languages like C or C++ for bounded model checking can be cumbersome if complete coverage of all language features is to be achieved. On the other hand, low-level languages that occur during translation (compilation) have a much simpler semantics since they are closer to the machine level. It thus makes sense to use these low-level languages for bounded model checking. In this paper we present a highly precise memory model suitable for bounded model checking of such low-level languages. Our method also takes memory protection (malloc/free) into account.
Node-Ring Graph Visualization Clears Edge Congestion

The most common graph visualization techniques are still node-link layouts; where the nodes represent the entities and the links represent the edges or relationships between the entities. In node-link layouts, edge density, edge crossings and general edge congestion remains one of the major challenges. In this paper, we introduce a new graph layout: Node-Ring layout. Our layout was inspired by concentric circles, which have appeared in art in numerous diverse situations. We have particularly noted Australian dot painting and Hundertwasser’s paintings. The change in layout is that in∗e-mail: ketemad@ucalgary.ca †e-mail:sheelagh@ucalgary.ca ‡e-mail:samavati@ucalgary.ca stead of the edges being represented as links (lines between nodes), we represent them as colour rings located inside the node. These concentric edge-rings are coloured according to the node to which connect. For weighted edges, instead of a full ring a circular section whose angle is proportional to the weight is drawn. This alternative layout has no hassle with edge crossings or cluttering.