Miracle-dz/UniFAR-FTUs huggingface dataset:
Testing coverage analysis for software component validation

Constructing component-based software using reusable components is becoming a widely used approach. Since the quality of a component-based system is highly dependent on the quality of its components, component quality validation becomes very critical to both component vendors and users. Effectively validating component quality needs adequate test models and testing coverage criteria. This paper proposes an adequate test model and test coverage criteria for component validation. The paper discusses a dynamic approach to analyze component test coverage based on the proposed test model and test coverage criteria. The major contribution of this paper is its dynamic test coverage analysis solution to monitor API-based component validation and reuse. The paper reports the recent development efforts of a component test coverage analysis tool, and presents an application example.
Upgrading to Gigabit Ethernet : The Case of a Large New Zealand Organisation

Although Ethernet technology is still the most popular LAN technology in use today at the desktop, the throughput offered by the 10 and 100 Mbps Ethernet is inadequate for high bandwidth networking applications such as real-time visualisation, high-resolution graphics, multimedia, and web applications. Gigabit Ethernet (GigE) technology provides 1000 megabits per second (i.e. one gigabit per second) at reasonable cost than other technologies of comparable speed and is thus a natural upgrade strategy for legacy Ethernet networks. This paper reports on a case study of a large New Zealand organisation focusing on the level of GigE deployment, design, planning and implementation, network performance testing, problems encountered, and future plans. Our findings show the feasibility and practicability of deploying GigE technology in high-speed networking applications such as campusand corporate-wide local area networks.
A Computational Model of Knowledge-Intensive Learning and Problem Solving

If knowledge-based systems are to become more competent and robust in solving real world problems, they need to be able to adapt to an evolving domain and a changing environment. This paper proposes a computational model a framework -for knowledge-intensive problem solving and learning from experience. The model has been instantiated in an architecture for knowledge-intensive case-based reasoning and learning called CREEK (Case-based Reasoning through Extensive Expert Knowledge). The importance of a thorough, extensive knowledge model to support the reasoning and learning processes is emphasized. In case-based reasoning a problem is solved by retrieving a similar past problem case, and using this case in solving the new problem. Learning becomes a process of extracting relevant information from a problem just solved, and integrating the new case into the existing case-base. The computational model presented combines case-based learning and reasoning with model-based and rule-based methods. The type of problems addressed are problems within open, weak theory domains.
Optimal banking contracts and financial fragility

We study a finite-depositor version of the Diamond–Dybvig model of financial intermediation in which the bank and all depositors observe withdrawals as they occur. We derive the constrained efficient allocation of resources in closed form and show that this allocation provides liquidity insurance to depositors. The contractual arrangement that decentralizes this allocation resembles a standard bank deposit with a demandable debt-like structure. When withdrawals are unusually high, however, depositors who withdraw relatively late experience significant losses. This contractual arrangement can be fragile, admitting another equilibrium in which depositors run on the bank by withdrawing funds regardless of their liquidity needs.
Biological effects of isoflavones in young women: importance of the chemical composition of soyabean products

To examine the hormonal effects of isoflavones, of which soyabean is a rich source, fifteen healthy non-vegetarian premenopausal women were studied over 9 months. They lived in a metabolic suite for between 4 and 6 months where their diet and activity levels were kept constant and their hormonal status was measured over two or three menstrual cycles. During one (control) menstrual cycle a normal but constant diet containing no soyabean products was fed. Then, over a second complete cycle six subjects consumed a similar diet into which 60 g textured vegetable protein (TVP)/d, containing 45 mg conjugated isoflavones, had been incorporated. Three participants had 50 g miso (a fermented soyabean paste), containing 25 mg unconjugated isoflavones, added daily to their diet over a menstrual cycle, and six others consumed 28 g TVP/d, containing 23 mg conjugated isoflavones. Five participants completed a third diet period where they were randomly assigned to consume either the control diet over a cycle, or a similar diet incorporating 60 g of a soyabean product which had had the isoflavones chemically extracted (Arcon F). Follicular phase length was significantly (P < 0·01) increased and peak progesterone concentrations were delayed with 60 g TVP but no effects were observed with Arcon F. The increase in menstrual cycle length did not reach statistical significance in the three subjects who ate 50 g miso/d, but peak progesterone levels were significantly (P < 0·05) delayed. Mid-cycle peaks of luteinizing hormone (LH) and follicle stimulating hormone (FSH) were suppressed with 45 mg conjugated isoflavones as 60 g TVP (P < 0·05 and P < 0·01 respectively). No other changes in sex-steroid hormone levels were observed on any of the other diets. A significant reduction in total cholesterol was found with 45 mg conjugated isoflavones (P < 0·05), but not with 23 mg conjugated isoflavone-free Arcon F. There was no effect of menstrual cycle phase on transit time.
Graphical Models for Time-Series

Time-series analysis is central to many problems in signal processing, including acoustics, image processing, vision, tracking, information retrieval, and finance, to name a few. Because of the wide base of application areas, having a common description of the models is useful in transferring ideas between the various communities. Graphical models provide a compact way to represent such models and thereby rapidly transfer ideas. We will discuss briefly how classical timeseries models such as Kalman filters and hidden Markov models (HMMs) can be represented as graphical models and critically how this representation differs from other common graphical representations such as state-transition and block diagrams. We will use this framework to show how one may easily envisage novel models and gain insight into their computational implementation.
Error detection & correction using horizontal-vertical-diagonal-shift method

This paper proposes a novel approach to detect and correct multi bit upsets using horizontal-vertical-diagonal-shift (HVDS) parity. Many of the errors occur when information is transmitted from one node to another node. Detection and correction of these errors is a must for many systems e.g. safety critical systems. Existing work on error detection and correction cover up to three bit errors (as far reviewed) in a data word. The proposed method can detect and correct up to 7 bit errors. Experimental studies show the effectiveness of the proposed method in comparison to existing dominant work.
The 'E' in QWERTY: Musical Expression with Old Computer Interfaces

This paper presents a development of the ubiquitous computer keyboard to capture velocity and other continuous musical properties, in order to support more expressive interaction with music software. Building on existing ‘virtual piano’ utilities, the device is designed to provide a richer mechanism for note entry within predominantly non-realtime editing tasks, in applications where keyboard interaction is a central component of the user experience (score editors, sequencers, DAWs, trackers, live coding), and in which users draw on virtuosities in both music and computing. In the keyboard, additional hardware combines existing scan code (key press) data with accelerometer readings to create a secondary USB device, using the same cable but visible to software as a separate USB MIDI device aside existing USB HID functionality. This paper presents and evaluates an initial prototype, developed using an Arduino board and inexpensive sensors, and discusses design considerations and test findings in musical applications, drawing on user studies of keyboard-mediated music interaction. Without challenging more established (and expensive) performance devices; significant benefits are demonstrated in notation-mediated interaction, where the user’s focus rests with software.
Handling occluders in transitions from panoramic images: A perceptual study

Panoramic images are very effective at conveying a visual sense of presence at very low cost and great ease of authoring. They are, however, limited in the navigation options they offer, unlike 3D representations. It is therefore desirable to provide pleasing transitions from one panorama to another, or from a panorama to a 3D model. We focus on motions where the viewers move toward an area of interest, and on the problem of dealing with occluders in their path. We discuss existing transition approaches, with emphasis on the additional information they require and on the constraints they place on the authoring process. We propose a compromise approach based on faking the parallax effect with occluder mattes. We conduct a user study to determine whether additional information does in fact increase the visual appeal of transitions. We observe that the creation of occluder mattes alone is only justified if the fake parallax effect can be synchronized with the camera motion (but not necessarily consistent with it), and if viewpoint discrepancies at occlusion boundaries are small. The faster the transition, the less perceptual value there is in creating mattes. Information on view alignment is always useful, as a dissolve effect is always preferred to fading to black and back.
An evaluation of objective measures for intelligibility prediction of time-frequency weighted noisy speech.

Existing objective speech-intelligibility measures are suitable for several types of degradation, however, it turns out that they are less appropriate in cases where noisy speech is processed by a time-frequency weighting. To this end, an extensive evaluation is presented of objective measure for intelligibility prediction of noisy speech processed with a technique called ideal time frequency (TF) segregation. In total 17 measures are evaluated, including four advanced speech-intelligibility measures (CSII, CSTI, NSEC, DAU), the advanced speech-quality measure (PESQ), and several frame-based measures (e.g., SSNR). Furthermore, several additional measures are proposed. The study comprised a total number of 168 different TF-weightings, including unprocessed noisy speech. Out of all measures, the proposed frame-based measure MCC gave the best results (ρ = 0.93). An additional experiment shows that the good performing measures in this study also show high correlation with the intelligibility of single-channel noise reduced speech.
Evolution of Multispectral Aerosol Absorption Properties in a Biogenically-Influenced Urban Environment during the CARES Campaign

We present the evolution of multispectral optical properties through urban aerosols that have aged and interacted with biogenic emissions, resulting in stronger short wavelength absorption and the formation of moderately brown secondary organic aerosols. Ground-based aerosol measurements were made in June 2010 within the Sacramento urban area (site T0) and at a 40-km downwind location (site T1) in the forested Sierra Nevada foothills area. Data on black carbon (BC) and non-refractory aerosol mass and composition were collected at both sites. In addition, photoacoustic (PA) instruments with integrating nephelometers were used to measure spectral absorption and scattering coefficients for wavelengths ranging from 355 to 870 nm. The daytime absorption Angstrom exponent (AAE) indicated a modest wavelength-dependent enhancement of absorption at both sites throughout the study. From 22 to 28 June 2010, secondary organic aerosol mass increased significantly at both sites, which was due to increased biogenic emissions coupled with intense photochemical activity and air mass recirculation in the area. During this period, the median BC mass-normalized absorption cross-section (MAC) values for 405 nm and 532 nm at T1 increased by ~23% and ~35%, respectively, compared with the relatively less aged urban emissions at the T0 site. In contrast, the average MAC values for the 870 nm wavelength were similar for both sites. These results suggest the formation of moderately brown secondary organic aerosols in biogenically-influenced urban air.
Noise traders in financial markets

The dissertation focuses on noise traders in financial markets. The first part considers a Rational Expectations equilibrium (REE) model based an Hellwig (1980) and Grossman ans Stiglitz (1980). The aim of this part is to analyze the performance of noise traders by considering expected final wealth. The second part of the dissertation presents an extended version of Arnold and Brunner (2012) where the presence of positive feedback traders on asset prices is analyzed.
Field demonstration of multi-domain software-defined transport networking with multi-controller collaboration for data center interconnection [Invited]

Software-defined networking (SDN) with optical transport techniques enables network operators and data center (DC) operators to provide their resources dynamically on user's demands while minimizing operating and capital expenditure. Current multi-domain networking techniques mainly rely on the path-computing element, while SDN has shown considerable potential for this inevitable issue. The first field demonstration of multi-domain software-defined transport networking (SDTN) without global topology information is detailed in this paper. A multi-controller collaboration framework and three schemes, a controller-driven scheme (ConDS), a cloud-driven scheme (ClDS), and a ClDS with dynamic optimization (ClDS-DO), for datacenter interconnection based on SDTN are demonstrated via field networks. We also extend the OpenFlow protocol and design the Java-Script Object Notation application programming interface to support this framework. Multi-domain lightpaths are automatically provided with limited signaling latency. The blocking performances of the proposed schemes are estimated, and the ClDS-DO has the best performance approaching the optimal boundary.
Ultrastructural changes associated with dexamethasone-induced ocular hypertension in mice.

PURPOSE To determine whether dexamethasone (DEX)-induced ocular hypertension (OHT) in mice mimics the hallmarks of steroid-induced glaucoma (SIG) in humans, including reduced conventional outflow facility (C), increased extracellular matrix (ECM), and myofibroblasts within the outflow pathway. METHODS Osmotic mini-pumps were implanted subcutaneously into C57BL/6J mice for systemic delivery of DEX (3-4 mg/kg/d, n = 31 mice) or vehicle (n = 28). IOP was measured weekly by rebound tonometry. After 3 to 4 weeks, mice were euthanized and eyes enucleated for ex vivo perfusion to measure C, for electron microscopy to examine the trabecular meshwork (TM) and Schlemm's canal (SC), or for immunohistochemistry to examine type IV collagen and α-smooth muscle actin. The length of basement membrane material (BMM) was measured along the anterior-posterior extent of SC by electron microscopy. Ultrastructural changes in BMM of DEX-treated mice were compared against archived human SIG specimens. RESULTS Dexamethasone increased IOP by 2.6 ± 1.6 mm Hg (mean ± SD) over 3 to 4 weeks and decreased C by 52% ± 17% versus controls. Intraocular pressure elevation correlated with decreased C. Dexamethasone treatment led to increased fibrillar material in the TM, plaque-like sheath material surrounding elastic fibers, and myofibroblasts along SC outer wall. The length of BMM underlying SC was significantly increased in mice with DEX and in humans with SIG, and in mice decreased C correlated with increased BMM. CONCLUSIONS Dexamethasone-induced OHT in mice mimics hallmarks of human SIG within 4 weeks of DEX treatment. The correlation between reduced C and newly formed ECM motivates further study using DEX-treated mice to investigate the pathogenesis of conventional outflow obstruction in glaucoma.
Dopamine receptor loss of function is not protective of rd1 rod photoreceptors in vivo

Purpose The retinal degeneration (rd1) mouse undergoes a rapid loss of rod photoreceptors due to a defect in the cGMP-phosphodiesterase gene. We have previously demonstrated that dopamine (DA) antagonists or DA depletion blocks photoreceptor degeneration and that DA is necessary for photoreceptor degeneration in the rd1 mouse retinal organ culture model. Antagonists for either D1- or D2-family DA receptors are protective in rd1 organ cultures. Methods To determine whether photoreceptor survival can be increased in vivo in the rd1 mouse, we used both a pharmacological and a genetic approach. The pharmacological approach involved three techniques to administer 6-hydroxydopamine (6-OHDA) in an attempt to deplete DA in postnatal mouse retina in vivo. As a genetic alternative, DA receptor signaling was inactivated by crossbreeding rd1 mice to D1, D2, D4, and D5 knockout mice to create four lines of double mutants. Results Pharmacological DA depletion was incomplete due to the limiting size of the postnatal mouse eye and the lethality of systemic inhibition of DA signaling. In all four lines of double mutants, no increase in rod photoreceptor survival was observed. To determine whether protection of rd1 photoreceptors by inhibition of dopaminergic signaling is a result of conditions specific to the organ culture environment, we grew in vitro retinas from the four lines of double mutant mice for four weeks. Again, no increase in photoreceptor survival was seen. Finally, three triple mutants were generated that lacked two DA receptors (D1/D2; D1/D4; and D2/D4) on a rd1 background. In all three cases, rod photoreceptors were not protected from degeneration. Conclusions The dramatic protection of rd1 rod photoreceptors by inhibition of DA signaling in organ culture has not been reproduced in vivo by either a pharmacological approach, due to technical limitations, or by genetic manipulations. The possible role of compensatory effects during retinal development in DA receptor deficient mice is considered.
Guaranteed Cost Fault-tolerant control of Uncertain Dynamic Systems with Time-varying Delayed States and Controls

This paper focuses on the problem of guaranteed cost fault-tolerant control for the uncertain systems with time-varying delayed states and controls. Based on the Lyapunov asymptotic stability theory, the linear matrix inequalities (LMIs) are utilized to describe the quadratic stability and robust performance index. A more general and practical model of actuator fault is adopted in this paper.
Programming Techniques and Data Structures the Study of an Ordered Minimal Perfect Hashing Scheme

We propose a new minimal perfect hashing scheme based upon the Chinese Remainder Theorem and prime number functions. The keys can be stored in ascending order by applying our hashing function. An algorithm to determine an important parameter for this hashing function is also presented. 1. INTRODUCTION Hashing is considered an effective means to organize and retrieve data and is widely used in database management systems, operating systems, compilers, and many other applications. Hashing is an address calculation technique. With this technique, a key word is converted into a near-random number and this number is used to determine where the key word is stored. This number could be used to refer to the address where the record is stored. That is why hashing is also called the key-to-address transformation (KAT). When a location is occupied by a key word and an additional key word is mapped into the same address, a collision occurs. In such a case, the colliaing key word must be stored and accessed at some other storage location determined by a collision resolution technique. Hence, when we use th? hashing method in our application , we choose a hashing function [1, 10, 13, 14, 18] and a predetermined collision resolution method [8, 12,
Improving Streaming Capacity in P2P Live Streaming Systems via Resource Sharing

Peer-to-Peer (P2P) streaming systems provide a large number of channels to users. The streaming capacity for a channel is defined as the maximum streaming rate that can be received by every user in the channel. In the this paper, we study the streaming capacity problem in both tree-based and mesh-based P2P live streaming systems. In tree-based multi-channel P2P live streaming systems, we propose a cross-channel resource sharing approach to improve the streaming capacity. We employ cross-channel helpers to establish the cross-channel overlay links, with which the unused upload bandwidths in a channel can be utilized to help the bandwidth-deficient peers in another channel, thus improving the streaming capacity. In meshed-based P2P live streaming systems, we formulate the streaming capacity problem into a resource optimization problem. By solving the resource optimization problem, we can optimally allocate the link rates for each peer to improve the streaming capacity. Through simulations, we demonstrate that the proposed resource sharing approaches can significantly improve the streaming capacity compared to the scheme without resource sharing.
A Reflective Implementation of an Actor-based Concurrent Context-Oriented System

In this paper, we introduce the notion of concurrent context-oriented programming and its experimental implementation. To realize context-oriented programming in concurrent systems based on asynchronous communication such as the Actor model, we must take special care to control synchronizations among context changes and other computations. We adopt an instance of group-wide reflection to solve the synchronization problem regarding messages that cross two contexts. In this paper, we give some preliminary evaluation results using our implementation in Erlang.
High performance five-order band-pass filter based on LTCC technology research

A high performance five-order band-pass filter based on LTCC technology was designed. The five-order band-pass filter is composed of five high-performance resonator, among which transmission zeros achieved good stopband attenuation through cross coupling. Software ADS and HFSS were used to optimize the simulation. Good agreements were found between the test and simulation results. The centre frequency of the five-order band-pass filter is 2.06 GHz and the bandwidth is 560 MHz. Insertion loss is less than 3.6 dB within the scope of pass-band, in the frequency ranges of 0-1.279 GHz, the out-of-band attenuation is higher than 45 dB. Moreover, the size is 6.2 mm × 2.1 mm × 1mm. The filter range belongs to LS spectrum. So, the strip-line distributed structure was able to realize the miniaturization of the filter.