Miracle-dz/UniFAR-FTUs huggingface dataset:
Yield and power improvement method by post-silicon delay tuning and technology mapping

To recover the timing violations due to the delay variations after fabrication, delay tuning is promising. Delay tuning inserts programmable delay elements (PDEs) to circuits before fabrication and tunes their delays to recover the timing violations after fabrication. However, the yield of the circuits obtained by existing delay tuning methods is not improved enough and their power consumptions become high. Besides, technology mapping which assigns a cell in some cell libraries to each gate to minimize the clock period and the power consumption has been proposed. In this paper, a design method applying delay tuning and technology mapping for high yield improvement and low power consumption is proposed. The experimental results show the effectiveness of the proposed method.
Pervasive UWB sensor networks for oil exploration

Ultra-wideband (UWB) technology is now becoming mature enough to play a crucial role in a large variety of pervasive wireless sensor network applications. One of these applications is represented by land seismic exploration for oil and gas reservior. Seismic exploration requires a large number (2000 nodes/sqkm) of sensors to be deployed in outdoor over large areas (typ. 30 sqkm) to measure backscattered wave fields. A storage/processing unit (sink node) collects the measurements from all the sensors to obtain an image of the sub-surface in real-time. The UWB technology is proposed in this paper for replacing the cable connections between the sensors and the sink. UWB is the most suitable wireless technology for this application as it guarantees high data rate over short range links and self-localization with sub-meter accuracy. An UWB sensor network based on Multi-Band OFDM is designed for the specific problem. Amendmends to ECMA 368 specifications are also identified to allow for energy aware beaconing and self-localization.
Semantic Retrieval of Instructional Videos

A content based retrieval model is presented that mea- sures the semantic relevance between a query and instruc- tional videos. In the feedback loop, users provide feedback by means of partial orders of the retrieved items. The partial order feedback enables the users to order the retrieved items but does not enforce a well defined ordering. The system adapts to the user's partial order feedback by optimizing the correlation between the semantic concepts in the lecture videos. The optimization is formulated as a quadratic pro- gramming problem. If an optimal solution does not exist for the optimization problem, the system uses an approximation algorithm that reduces the number of contradicting orders. Experiments with six users demonstrate the effectiveness of the retrieval system, given limited feedback information.
Functionalizable Silica-Based Micron-Sized Iron Oxide Particles for Cellular Magnetic Resonance Imaging

Cellular therapies require methods for noninvasive visualization of transplanted cells. Micron-sized iron oxide particles (MPIOs) generate a strong contrast in magnetic resonance imaging (MRI) and are therefore ideally suited as an intracellular contrast agent to image cells under clinical conditions. However, MPIOs were previously not applicable for clinical use. Here, we present the development and evaluation of silica-based micron-sized iron oxide particles (sMPIOs) with a functionalizable particle surface. Particles with magnetite content of >40% were composed using the sol-gel process. The particle surfaces were covered with COOH groups. Fluorescein, poly-l-lysine (PLL), and streptavidin (SA) were covalently attached. Monodisperse sMPIOs had an average size of 1.18 μm and an iron content of about 1.0 pg Fe/particle. Particle uptake, toxicity, and imaging studies were performed using HuH7 cells and human and rat hepatocytes. sMPIOs enabled rapid cellular labeling within 4 h of incubation; PLL-modified particles had the highest uptake. In T2*-weighted 3.0 T MRI, the detection threshold in agarose was 1,000 labeled cells, whereas in T1-weighted LAVA sequences, at least 10,000 cells were necessary to induce sufficient contrast. Labeling was stable and had no adverse effects on labeled cells. Silica is a biocompatible material that has been approved for clinical use. sMPIOs could therefore be suitable for future clinical applications in cellular MRI, especially in settings that require strong cellular contrast. Moreover, the particle surface provides the opportunity to create multifunctional particles for targeted delivery and diagnostics.
EYE-CONTACT, DISTANCE AND AFFILIATION.

Previous evidence suggests that eye-contact serves a number of different functions in two-person encounters, of which one of the most important is gathering feed-back on the other person's reactions. It is further postulated that eye-contact is linked to affiliative motivation, and that approach and avoidance forces produce an equilibrium level of physical proximity, eyecontact and other aspects of intimacy. If one of these is disturbed, compensatory changes may occur along the other dimensions. Experiments are reported which suggest that people move towards an equilibrium distance, and adopt a particular level of eye-contact. As predicted, there was less eyecontact and glances were shorter, the closer two subjects were placed together (where one member of each pair was a confederate who gazed continuously at the other). The effect was greatest for opposite-sex pairs. In another experiment it was found that subjects would stand closer to a second person when his eyes were shut, as predicted by the theory.
Distributed Power Allocation for Parallel Broadcast Channels with Only Common Information in Cognitive Tactical Radio Networks

A tactical radio network is a radio network in which a transmitter broadcasts the same information to its receivers. In this paper, dynamic spectrum management is studied for multiple cognitive tactical radio networks coexisting in the same area. First, we consider the problem of common rate maximization subject to a total power constraint for a single tactical radio network having multiple receivers and using parallel subchannels (parallel multicast channels). Mathematical derivations show that the optimal power allocation can be found in closed form under multiple hypothesis testing. An outer loop can be used to minimize the power subject to a common rate constraint. Then, we extend the iterative water-filling algorithm to the coexistence of multiple cognitive tactical radio networks without requiring any cooperation between the different networks. The power allocation is performed autonomously at the transmit side assuming knowledge of the noise variances and channel variations of the network. Simulation results show that the proposed algorithm is very robust in satisfying these constraints while minimizing the overall power in various scenarios.
The Risk of Acute Radiocontrast-Mediated Kidney Injury Following Endovascular Therapy for Acute Ischemic Stroke Is Low

BACKGROUND AND PURPOSE: Endovascular therapy is an alternative for the treatment of AIS resulting from large intracranial arterial occlusions that depends on the use of iodinated RCM. The risk of RCM-mediated AKI following endovascular therapy for AIS may be different from that following coronary interventions because patients may not have identical risk factors. MATERIALS AND METHODS: All consecutive patients with large-vessel AIS undergoing endovascular therapy were prospectively recorded. We recorded the baseline kidney function, and RCM-AKI was assessed according to the AKIN criteria at 48 hours after RCM administration. We compared the rate of RCM-AKI 48 hours after the procedure and sought to determine whether any preexisting factors increased the risk of RCM-AKI. RESULTS: We identified 99 patients meeting inclusion criteria. The average volume of contrast was 189 ± 71 mL, and the average creatinine change was −4.6% at 48 hours postangiography. There were 3 patients with RCM-AKI. Although all 3 patients died as a result of their strokes, return to baseline creatinine levels occurred before death. There was a trend toward higher rates of premorbid diabetes mellitus, chronic renal insufficiency, preadmission statin and NSAID use, and a higher serum creatinine level on admission for the RCM-AKI group. The volume of procedural contrast was similar between groups (those with and those without RCM-AKI) (P = .5). CONCLUSIONS: In this small study, the rate of RCM-AKI following endovascular intervention for AIS was very low. A much larger study is required to determine its true incidence.
NEMO-Binding Domain Peptide Attenuates Lipopolysaccharide-Induced Acute Lung Injury by Inhibiting the NF-κB Signaling Pathway

The aim of the present study is to investigate the protective effects and relevant mechanisms exerted by NEMO-binding domain peptide (NBD) against lipopolysaccharide- (LPS-) induced acute lung injury (ALI) in mice. The ALI model was induced by intratracheally administered atomized LPS (5 mg/kg) to BABL/c mice. Half an hour before LPS administration, we treated the mice with increasing concentrations of intratracheally administered NBD or saline aerosol. Two hours after LPS administration, each group of mice was sacrificed. We observed that NBD pretreatment significantly attenuated LPS-induced lung histopathological injury in a dose-dependent manner. Western blotting established that NBD pretreatment obviously attenuated LPS-induced IκB-α and NF-κBp65 activation and NOX1, NOX2, and NOX4 overexpression. Furthermore, NBD pretreatment increased SOD and T-AOC activity and decreased MDA levels in lung tissue. In addition, NBD also inhibited TNF-α and IL-1β secretion in BALF after LPS challenge. In conclusion, NBD protects against LPS-induced ALI in mice.
An Evidence-based Approach to Discovery and Assessment of Software Engineering Decisions

An Evidence-based approach is using a best available evidence for making a judicious decision about a given set of problem. Evidence-based approach is an integration of individually gained expertise with the best possible evidence available from a systematic research. It started in medicine as evidence-based medicine (EBM) and is now being used in other fields such as nursing, psychology, education, library and information science also. Its basic principles are that all practical decisions made should 1) be based on research studies and 2) that these research studies are selected and interpreted according to some specific norms characteristic for Evidence Based Practice [EBP]. Software draws its roots from EBM and does Evidence Based Software Engineering [EBSE] which is potentially important because of the central place software intensive systems are starting to take in everyday life. In Evidencebased software engineering [EBSE], all the experiences are properly documented in order to inform software practice adoption decisions. In EBSE, the study factor would be the technology of interest. The technological specifications should be very detailed and not at a very high level of abstraction that is the software lifecycle and all the design methods should be properly read and documented and only then should the engineer collect evidences on it and design the software generation model. Evidence based software engineering can be applied in testing and cost estimation. Various metaheuristic search techniques are applied for searching literature and relevant evidences are gathered, these evidences are then put into practice. The results are compared with existing practices.
Space-time voice activity detection

When speech-based interfaces are used for small handheld devices such as cellular phones and personal digital assistants in mobile environments with unknown noises and surrounding talkers, all signals except the legitimate users voice must be rejected as noise signals by the system. This paper proposes a new algorithm that detects the users voice in spatial and temporal domains using directional and spectral information. It rejects undesirable signals that originate from noise sources or surrounding talkers. Experimental results indicate the proposed algorithm reduces the voice activity detection error rate by 34.3% relative to the conventional methods.
Prevalence and risk factors of polyomavirus BK replication in simultaneous pancreas/kidney transplant recipients from a single transplant center

Mindlova M, Boucek P, Saudek F, Skibova J, Jedinakova T, Lipar K, Adamec M, Hirsch HH. Prevalence and risk factors of polyomavirus BK replication in simultaneous pancreas/kidney transplant recipients from a single transplant center. Clin Transplant 2011 DOI: 10.1111/j.1399‐0012.2011. 01488.x. © 2011 John Wiley & Sons A/S.
Non-orthogonal Range Searching : A Review Technical Report No . 2008-546

Range searching is a common type of database query where the user enquires about the elements that lie within a certain geometric shape. Typically, a query shape is defined by a simple geometric object, such as a rectangle, a disk, a triangle, a parametric curve, or a combination of them. In particular, non-orthogonal range searching covers the most general cases of range searching since the query shape is not constrained to be a rectangle parallel to the axis coordinates. We review the long history of nonorthogonal range searching from its beginning to the present and show the latest advances in this area. Most traditional scenarios of non-orthogonal range searching have been well studied and the available algorithms are near-optimal. Latest results include heuristic algorithms, small improvements for higher dimensions, and new problems on range searching with a variety of applications.
Collaborative Annotation of MultiView Video

We present a novel system for collaborative annotation of multiview video using a web-based application framework. The serverside synchronizes multiple users annotating video. A XML data scheme allows streaming updates to the server and clients so that all clients are updated in real-time. The interface for annotation is also used for visualization of the rich media, with the aim to allow users to watch previously annotated video and provide their own annotations, in a Web 2.0 style. We present a proof-of-concept implementation as applied to our example application of ice hockey broadcasts for users to annotate and provide information on players.
Calculation of iron loss in electrical generators using finite element analysis

The accurate calculation of iron loss from finite element analysis in electrical machines is essential if optimal machines are to be designed. This paper conducts a holistic review of the extensive literature field before examining, in detail, several methods in order to recommend an optimum engineering solution. Both frequency domain and time domain methods are discussed including the use of different orthogonal components as well as the relative merits of using all, or some, of the Eddy Current, Anomalous and Hysteresis loss components. A theoretical cubic meter of iron is simulated to quickly demonstrate the inaccuracies of Cartesian coordinate methods before calculation on several manufactured machines are undertaken showing the superior accuracies of major/minor loop calculation. Calculation undertaken using the radial tangential orthogonal plane is shown to have less than 1% average difference to the major/minor loop yet is over 6 times quicker. The peak percentage error in an individual element is shown to be less than 5%. Discussions are also made regarding the method of curve fitting to gain loss constants and any possible sources of in accuracy particularly during manufacture.
Regional Cerebral Blood Flow During Stimulation of Seventh Cranial Nerve

The right seventh cranial nerve (n. VII) was exposed intracranially via a suboccipital approach in each of eight cats. Measurements of cerebral blood flow (CBF) were made from superficial cortex, sulcal cortex, basal cortex, the basal ganglia, and the centrum semiovale of each cerebral hemisphere of each cat by autoradiography using 14Cantipyrine. In six cats, measurements of CBF were made during electric stimulation of n. VII; in two of these, the nerve was sectioned before stimulation. In the remaining two cats, measurements were made after exposure but without stimulation of n. VII; in these cats, there were no side-to-side differences of CBF. In each of the four cats with n. VII intact, CBF values were lower on the stimulated side. In each of the two cats with n. VII sectioned, CBF values were higher on the stimulated side. Thus, stimulation of n. VII causes regional increases of CBF only when centripetal effects of stimulation are prevented. Cerebral vasodilatation has been observed by others during stimulation of a sectioned or an intact n. VII. When an intact nerve is stimulated, vasodilatation apparently is unable to compensate for decreases of CBF mediated centripetally through brain stem structures and extracranial or basal cerebral vessels; moreover, such vasodilatation may be due in part to regulatory responses of vessels to decreases of perfusion pressure.
A Survey on ADPLL Components and their effects upon Power, Frequency and Resolution

The All Digital Phase Locked Loop consists of full digital components which are used in advanced communication systems like frequency synthesizer, Carrier and clock recovery, modulator/demodulator etc. Hence the performance analysis of ADPLL becomes very necessary when designing these equipments. The ADPLL contains phase detector, loop filter and Digital controlled oscillator. The performance of ADPLL depends on various factors like combination of different components, power consumption, frequency resolution, jitter performance, locking speed etc. At present, the different combinations of components ADPLL are used to achieve fine resolution and fast lock-in time and it is appropriate for system-on chip applications. In this paper the effects of various combinations of the internal components on the important parameters of ADPLL like frequency range, power, and algorithms used have been compared.
The DLCQ Spectrum of N = ( 8 , 8 ) Super

We consider the 1 + 1 dimensional N = (8, 8) supersymmetric matrix field theory obtained from a dimensional reduction of ten dimensional N = 1 super Yang-Mills. The gauge groups we consider are U(N) and SU(N), where N is finite but arbitrary. We adopt light-cone coordinates, and choose to work in the light-cone gauge. Quantizing this theory via Discretized Light-Cone Quantization (DLCQ) introduces an integer, K, which restricts the light-cone momentum-fraction of constituent quanta to be integer multiples of 1/K. Solutions to the DLCQ bound state equations are obtained for K = 2, 3 and 4 by discretizing the light-cone super charges, which preserves supersymmetry manifestly. We discuss degeneracies in the massive spectrum that appear to be independent of the light-cone compactification, and are therefore expected to be present in the decompactified limit K → ∞. Our numerical results also support the claim that the SU(N) theory has a mass gap.
Geophone calibration by means of hyperbaric chamber

This work proposes the use of a hyperbaric chamber in order to verify and validate the calibration in a marine geophone sensor before and after the pressure underwater laboratory test. The focused objective is the behavior respect to frequency of coupling between the geophone and the sediment to characterize its transfer function. The calibration of the 3 axes of the geophone up on the sediment box are made with a shaker table. We can observe the variations of coupling sensibility of the sensors of the geophone work through the sediment after the test inside the hyperbaric chamber at 20 atmospheres of water pressure.
A PRoactive malware identification system based on the computer hygiene principles

Purpose – To present a new technique that contains the spread of rapid malcode, which is based on peer‐to‐peer (P2P) communication and the principles of computer hygiene.Design/methodology/approach – Two proof‐of‐concept prototypes demonstrate the feasibility of the introduced technique. The effectiveness of the proposed model is supported by experimental findings through simulation tests. Additional software tools have been developed to ensure the correctness of the simulation.Findings – Provides supportive information regarding the efficiency of computer hygiene practices. Moreover, theoretical and empirical results show that P2P networks could play an important role in the containment of worm epidemics.Research limitations/implications – A stable system deployed in large‐scale is yet to be implement in order to produce decisive results regarding the benefits of the proposed algorithm.Practical implications – This paper argues that P2P networks can have significant impact on the containment of the rapid.
SIMERO: Camera Supervised Workspace for Service Robots

We present an industrial robot system whose workspace is supervised by several stationary cameras detecting obstacles using a difference image method. All robot transfer motions are checked for collision by an image-based method. If any collision is detected, the robot motion path is changed accordingly. The image processing is simple and robust and could be extended to mobile robots for example for services within a household. Experiments prove good performance.
Are Vision-Specific Quality of Life Questionnaires Important in Assessing Rehabilitation for Patients With Hemianopia Post Stroke?

Abstract Objective: To explore the relationship between disability and functional measures with vision-specific quality of life (QoL) measures for people with hemianopia and stroke. Method: The Behavioral Inattention Test (BIT) and the Mayo-Portland Adaptability Inventory (MPAI) were compared with scores on 2 vision-specific QoL measures, the National Eye Institute Visual Function Questionnaire (NEI VFQ-25) and Veteran Low Vision Visual Function Questionnaire (VA LV VFQ-48). Setting: Rehabilitation hospitals in Adelaide, South Australia. Participants: Stroke patients (n = 24) with homonymous hemianopia. Results: Most of the BIT and MPAI scores were significantly associated with the NEI VFQ-25 and VA LV VFQ-48 scores. Behavioral test scores of the BIT and the MPAI total score correlated with more aspects of the QoL measures than the other components of the BIT and the MPAI. Conclusion: BIT and MPAI measure constructs associated with QoL for people with hemianopia following stroke. Vision-specific QoL questionnaires can complement the functional instruments by identifying the domains of difficulty, based on the instrument’s subscale, that can guide rehabilitation therapists to address the person’s deficit.
A Low-Complexity Upgrade of the Linear Detector for MIMO Channels via Partial Decision Feedback

The BLAST-ordered decision-feedback (BODF) detector is a nonlinear detection strategy for multiple-input multiple-output (MIMO) channels that can significantly outperform a linear detector. However, for some applications even the BODF detector is too complex. We propose the partial decision-feedback (PDF) detector, a stripped-down version of the BODF detector that only feeds back one decision. The PDF detector performs close to the BODF detector, with complexity comparable to the linear detector. For example, over a 3-input 3-output Rayleigh-fading channel with 64-QAM inputs, the PDF detector is 21% less complex than the BODF detector, yet requires only 0.3 dB more average signal energy to reach a bit-error rate of 10-3
Local Pruning for Information Dissemination in Dynamic Networks for Solving the Idempotent Semiring Algebraic Path Problem

We present a method, inspired from routing in dynamic data networks, to solve the Semiring Algebraic Path Problem (SAPP) for dynamic graphs. The method can be used in dynamic networks such as Mobile Ad Hoc Networks, where the network link states are highly dynamic. The algorithm makes use of broadcasting as primary mechanism to recompute the SAPP solution. The solution suffers from broadcast storm problems, and we propose a selective broadcasting mechanism that reduces the broadcast storm. We call this method local pruning and prove its correctness.