Miracle-dz/UniFAR-FTUs huggingface dataset:
A fair comparison of adders in stochastic regime

The demands of high-speed and power-efficient systems have resulted into the emergence of the approximate computing. Existing approximate circuits as well as stochastic techniques have shown promising advances in improving various figures of merit. However, a through fair comparison of arithmetic units still remains an issue which has not been studied. This paper reviews the prerequisites for a fair comparison of approximate arithmetic units. As one of the key components of arithmetic circuits, adders are the focus of this paper. For the first time in this paper, approximate and exact adders are studied together in the stochastic regime. Simulation results show that both the equal segmentation adder (ESA) and the error tolerant adder type II (ETAII) outperform exact adders working stochastically, if and only if the right configuration and sub-adder architectures are chosen. Otherwise, there is no reason to use the aforementioned architectures. In all, considering the cost-error trade-off, Lower-part OR adder (LOA) has the best behavior in the stochastic regime.
Efficient Extraction of Grammatical Relations

We present a novel approach for applying the Inside-Outside Algorithm to a packed parse forest produced by a unification-based parser. The approach allows a node in the forest to be assigned multiple inside and outside probabilities, enabling a set of 'weighted GRs' to be computed directly from the forest. The approach improves on previous work which either loses efficiency by unpacking the parse forest before extracting weighted GRs, or places extra constraints on which nodes can be packed, leading to less compact forests. Our experiments demonstrate substantial increases in parser accuracy and throughput for weighted GR output.
A preliminary insight into the revolutionary new line in improving concrete properties using an indigenous bacterial strain Bacillus licheniformis AK01, as a healing agent

Porosity and crack formation are two major ordinary phenomena in concrete which alongside a reduction in the service life of concrete structures, increase maintenance and cement production needs. The main aim of running this research was to investigate the calcite precipitating-proficient indigenous bacterial strain Bacillus licheniformis AK01, isolated from loamy soils for improving concrete properties as an innovative biotechnology-based method. The healing capability of the AK01 strain was compared to three competent bacteria, including Sporosarcina pasteurii DSM-33, Pseudomonas aeruginosa MA01 and Bacillus subtilis TRPC2 to scrutinise its effects on compressive strength and water absorption in the mortar specimens. The formation and properties of calcite crystals in the cement mortar specimens was evaluated by Fourier-transform infrared spectrometry, X-ray diffraction and scanning electron microscopy analysis. AK01 strain exhibited better performance than the other recognised bacteria and could improve compressive strength about 15% and mitigate water absorption of mortar around 25% compared with controls. Thus, AK01 strain seems to be an appropriate healing agent to enhance concrete properties as an eco-friendly alternative method.
Combining effects and coeffects via grading

Effects and coeffects are two general, complementary aspects of program behaviour. They roughly correspond to computations which change the execution context (effects) versus computations which make demands on the context (coeffects). Effectful features include partiality, non-determinism, input-output, state, and exceptions. Coeffectful features include resource demands, variable access, notions of linearity, and data input requirements. The effectful or coeffectful behaviour of a program can be captured and described via type-based analyses, with fine grained information provided by monoidal effect annotations and semiring coeffects. Various recent work has proposed models for such typed calculi in terms of graded (strong) monads for effects and graded (monoidal) comonads for coeffects. Effects and coeffects have been studied separately so far, but in practice many computations are both effectful and coeffectful, e.g., possibly throwing exceptions but with resource requirements. To remedy this, we introduce a new general calculus with a combined effect-coeffect system. This can describe both the changes and requirements that a program has on its context, as well as interactions between these effectful and coeffectful features of computation. The effect-coeffect system has a denotational model in terms of effect-graded monads and coeffect-graded comonads where interaction is expressed via the novel concept of graded distributive laws. This graded semantics unifies the syntactic type theory with the denotational model. We show that our calculus can be instantiated to describe in a natural way various different kinds of interaction between a program and its evaluation context.
Aripiprazole augmentation in 13 patients with refractory obsessive-compulsive disorder: A case series

Objectives. The primary treatment for obsessive–compulsive disorder (OCD) is selective serotonin reuptake inhibitors (SSRI). However, approximately a third of patients do not respond to SSRIs and remain chronically affected. Methods. Therefore, we added aripiprazole to SSRI therapy for 13 patients with treatment-refractory OCD (subjects who failed to respond to SSRI therapy for at least 2 months, and for an average of 508 days). Participants underwent at least 7 weeks of treatment with aripiprazole augmentation. Results. Patients were evaluated using the Y-BOCS and GAF scales. Aripiprazole (3–12 mg)/SSRI co-therapy significantly improved Y-BOCS and GAF scores. However, many patients needed to take antiparkinsonian drugs to control extrapyramidal symptoms. Conclusions. These results suggest that aripiprazole augmentation of SSRI therapy may be effective for treatment-refractory OCD.
Measurement of Bd mixing using opposite-side flavor tagging

We report on a measurement of the $B^0_d$ mixing frequency and the calibration of an opposite-side flavor tagger in the D{\O}experiment. Various properties associated with the $b$ quark on the opposite side of the reconstructed $B$ meson were combined using a likelihood-ratio method into a single variable with enhanced tagging power. Its performance was tested with data, using a large sample of reconstructed semileptonic $B \to \mu \dzero X$ and $B \to \mu \dst X$ decays, corresponding to an integrated luminosity of approximately 1 fb$^{-1}$. The events were divided into groups depending on the value of the combined tagging variable, and an independent analysis was performed in each group. Combining the results of these analyses, the overall effective tagging power was found to be eD^2 = (2.48 \pm 0.21 (stat.) ^{+0.08}_{-0.06} (syst.))%. The measured $B^0_d$ mixing frequency dmd = 0.506 \pm 0.020 {\rm (stat) \pm 0.016 (syst) ps}^{-1} is in good agreement with the world average value.
Multi-value probabilistic matrix factorization for IP-TV recommendations

Matrix factorization (MF) has evolved as one of the most accurate approaches to collaborative filtering. In this paper, we extend the probabilistic MF framework as to account for multiple observations for each matrix element. This significantly improves the accuracy of recommender systems in several areas: (1) aggregation of ratings concerning items organized hierarchically, (2) (partial) compensation for the selection bias in the observed data by using an appropriate prior with virtual data points, and (3) improved recommendations of TV shows. While our framework applies to explicit and implicit feedback data, we outline in detail the latter application in this paper: we present the first approach that takes into account also negative feedback when training on implicit feedback data. Moreover, we shed light on the implicit assumptions underlying the most successful approach to IP-TV (Internet Protocol Television) recommendations in [Hu et al. 2008]. In our experiments, we obtain significant improvements over the existing approach.
The structure of carbon in chemically vapor deposited SiC monofilaments

The microstructures of carbon-rich regions in chemically vapor deposited SCS-6 SiC fibers have been studied by electron diffraction and high resolution transmission electron microscopy. The microstructures of the carbon in the substrate filament and the outer coating layers of the fiber are consistent with different distributions of Oberlin’s model of Basic Structural Units (BSUs)^1 while that of the inner substrate coating is consistent with turbostratic carbon (TC).
Reorganization of the Injured Brain: Implications for Studies of the Neural Substrate of Cognition

In the search for a neural substrate of cognitive processes, a frequently utilized method is the scrutiny of post-traumatic symptoms exhibited by individuals suffering focal injury to the brain. For instance, the presence or absence of conscious awareness within a particular domain may, combined with knowledge of which regions of the brain have been injured, provide important data in the search for neural correlates of consciousness. Like all studies addressing the consequences of brain injury, however, such research has to face the fact that in most cases, post-traumatic impairments are accompanied by a “functional recovery” during which symptoms are reduced or eliminated. The apparent contradiction between localization and recovery, respectively, of functions constitutes a problem to almost all aspects of cognitive neuroscience. Several lines of investigation indicate that although the brain remains highly plastic throughout life, the post-traumatic plasticity does not recreate a copy of the neural mechanisms lost to injury. Instead, the uninjured parts of the brain are functionally reorganized in a manner which – in spite of not recreating the basic information processing lost to injury – is able to allow a more or less complete return of the surface phenomena (including manifestations of consciousness) originally impaired by the trauma. A novel model [the Reorganization of Elementary Functions-model] of these processes is presented – and some of its implications discussed relative to studies of the neural substrates of cognition and consciousness.
A failure prediction approach based on cloud theory and hidden Markov model in networked computing systems

Due to off-the-shelf hardware and software applications integrated with distinct manufactures are widely used, networked computing systems incur high risk of failures and exceptions. Failures play a crucial role and must be timely handled to ensure system survivability and reliability. This paper focuses on on-line failure prediction for networked computing systems using system runtime data. We propose a failure prediction approach based on cloud theory (CT) and hidden Markov model (HMM). This approach expands the HMM, training with the CT. Additionally, we define the parameter ω as the correlations between various indices and failures, taking account of multiple runtime indices in networked computing systems. And we use multiple dimensions to describe failure prediction in detail, by extending parameters in HMM. In order to reduce computing cost in model training phase, we exploit the likelihood and membership degree computing algorithms in CT, instead of traditional HMM algorithms. Finally, the results from our simulations show the feasibilities and effectiveness of our approach. The experiments show that the execution time of the proposed failure prediction is reduced in terms of promised prediction performance.
Effects of temperature and hold time on dynamic strain aging in a nickel based superalloy

Abstract Serrations known as Portevin Le-Chatelier effect have been observed in a coarse grained nickel based superalloy RR1000 in the temperature range from 300 to 750°C. These serrations may be due to dynamic strain aging (DSA), which affects the stress relaxation behaviour of the material. Further experiments have been carried out over a wide range of temperature and under selected loading conditions to interrogate the DSA phenomenon. The results show that, in addition to serrations, the alloy also exhibits unusual strain rate insensitivity and increased strain hardening in the DSA temperature regime. Possible mechanisms of DSA have been explored using transmission electron microscopy (TEM) to examine typical samples tested under selected and well defined loading conditions.
Thermodynamic stability and implications of anisotropic boundary particles

Many material properties depend on grain and phase boundary morphology. Equilibrium boundary and particle morphologies are determined by their interactions through interfacial free energy. Currently, the determination of boundary and particle morphology is, for most materials systems, experimentally difficult. This thesis demonstrates that geometric constructions from capillarity theory for anisotropic interfaces cannot predict boundary and particle morphology, even in systems with uniform temperature, pressure, and chemical potentials. In this thesis, numerical methods are developed and implemented for calculations of anisotropic particles of fixed volumes attached to one or more interfaces that are also subject to specified constraints. Some boundary properties can be found experimentally, such as: the crystallographic misorientation across the boundary, the fixed average unit normal to the boundary, the Wulff shape ( W ) of the boundary, and the particle W within each grain or phase abutting the boundary. These properties become model parameters in addition to theW associated with each interface. This thesis also presents methods of generating algebraic expressions for interfacial free energy densities, γW (n̂), that produceW for a given symmetry. Calculated examples show that equilibrium configurations are formed from portions of the boundary and particle W s and do not contain orientations absent from the respectiveW s. Under the constraint that the pressure difference across
Comparison of Sequence Discriminant Support Vector Machines for Acoustic Event Classification

In a previously reported work, classification techniques based on support vector machines (SVM) showed a good performance in the task of acoustic event classification. SVM are discriminant classifiers, but they cannot easily deal with the dynamic time structure of sounds, since they are constrained to work with fixed-length vectors. Several methods that adapt SVM to sequence processing have been reported in the literature. In this paper, they are reviewed and applied to the classification of 16 types of sounds from the meeting room environment. With our database, we have observed that the dynamic time warping kernels work well for sounds that show a temporal structure, but the best average score is obtained with the Fisher kernel
Electron-beam lithography for photonic waveguide fabrication: Measurement of the effect of field stitching errors on optical performance and evaluation of a new compensation method

A method for stitching error compensation in electron beam lithography by multipass writing of the pattern in the areas spanning the field boundaries is described. This method does not require reducing the write current or changing beam dwell time and was used to correct artificial stitching errors which were deliberately introduced in a layout. SOI-based photonic waveguides with intentional stitching errors of predefined amplitudes and orientation were fabricated. The number of the errors along the waveguides was chosen to produce a measurable optical effect. A corrected version of the same layout was fabricated on the same chip. The optical losses were measured for both the TE and TM polarizations and compared to the results of finite difference time domain simulations. Measurements of optical losses for the waveguides after correction show a clear improvement.
Physiology and metabolism of pathogenic neisseria: tricarboxylic acid cycle activity in Neisseria gonorrhoeae

Tricarboyxlic acid cycle activity was examined in Neisseria gonorrhoeae CS-7. The catabolism of glucose in N. gonorrheae by a combination of the Entner-Doudoroff and pentose phosphate pathways resulted in the accumulation of acetate, which was not further catabolized until the glucose was depleted or growth became limiting. Radiorespirometric studies revealed that the label in the 1 position of acetate was converted to CO2 at twice the rate of the label in the 2 position, indicating the presence of a tricarboxylic acid cycle. Growth on glucose markedly reduced the levels of all tricarboxylic acid cycle enzymes except citrate synthase (EC 4.1.3.7). Extracts of glucose-grown cells contained detectable levels of all tricarboxylic acid cycle enzymes except aconitase (EC 4.2.1.3), isocitrate dehydrogenase (EC 1.1.1.42), and a pyridine nucleotide-dependent malate dehydrogenase (EC 1.1.1.37). Extracts of cells capable of oxidizing acetate lacked only the pyridine nucleotide-dependent malate dehydrogenase. In lieu of this enzyem, a particulate pyridine nucleotide-independent malate oxidase (EC 1.1.3.3) was present. This enzyme required flavin adenine dinucleotide for activity and appeared to be associated with the electron transport chain. Radiorespirometric studies utilizing labeled glutamate demonstrated that a portion of the tricarboxylic acid cycle functioned during glucose catabolism. In spite of the presence of all tricarboxylic acid cycle enzymes, N. gonorrhoeae CS-7 was unable to grow in medium supplemented with cycle intermediates.
Maps on the basis of the Arts & Humanities Citation Index: The journals Leonardo and Art Journal versus "Digital Humanities" as a topic

The possibilities of using the Arts & Humanities Citation Index (A&HCI) for journal mapping have not been sufficiently recognized because of the absence of a Journal Citations Report (JCR) for this database. A quasi-JCR for the A&HCI (2008) was constructed from the data contained in the Web-of-Science and is used for the evaluation of two journals as examples: Leonardo and Art Journal. The maps on the basis of the aggregated journal-journal citations within this domain can be compared with maps including references to journals in the Science Citation Index and Social Science Citation Index. Art journals are cited by (social) science journals more than by other art journals, but these journals draw upon one another in terms of their own references. This cultural impact in terms of being cited is not found when documents with a topic such as "digital humanities" are analyzed. This community of practice functions more as an intellectual organizer than a journal.
Examining Role of Usefulness, Ease of Use and Social Influence on Jordanian Citizen's Intention to Adopt E-Government

Electronic Government (eGov) offers several benefits to citizens (particularly in the context of developing countries) in terms of convenience, anytime, anywhere access to government services, transparency, reduced corruption and reduced bureaucracy. Despite it offering such benefits, citizens of many countries are reluctant in adopting eGov systems. This study developed and tested an extended technology acceptance model (TAM) that integrates social influence with perceived usefulness and perceived ease of use in order to investigate factors determining Jordanian citizens’ intention to adopt eGov. The model was empirically tested using SPSS regression analysis by employing data collected from a survey of Jordanian citizens. Results of this research indicated that all three independent constructs significantly affected Jordanian citizens' behavioural intention to adopt eGov. The findings presented in this submission are likely to be useful for the Jordanian government in terms of developing user friendly system and encouraging citizens to promote widespread adoption.
New Die Concept for Self-Pierce Riveting Materials with Limited Ductility

Lightweight materials, such as aluminum die castings, are used more and more for automotive applications. Due to the limited weldability, joining these materials by self-pierce riveting has been established. The challenge in this regard is that these materials, especially new high strength aluminum die castings, have a limited ductility, while the joining processes locally induce large plastic deformations. Consequently, joining by forming of these materials can be accompanied by cracks, which develop during the forming operation. This paper shows the experimental and numerical investigation of a new die concept for self-pierce riveting materials with limited ductility. At the new tool concept the riveting die is separated and a movable die element is used. This element allows that the parts are superimposed with compressive stresses during the self-pierce riveting process. In the paper it can be shown, that in contrast to the conventional process crack-free joints can be generated by using the new tool concept. Determination of the joining parameters and the die design was supported by simulative investigations. Additionally, the new and the conventional self-pierce riveting process are compared on the basis of results from the experimental investigations.
FAST LABEL: Easy and Efficient Solution of Joint Multi-label and Estimation Problems

We derive an easy-to-implement and efficient algorithm for solving multi-label image partitioning problems in the form of the problem addressed by Region Competition. These problems jointly determine a parameter for each of the regions in the partition. Given an estimate of the parameters, a fast approximate solution to the multi-label sub-problem is derived by a global update that uses smoothing and thresholding. The method is empirically validated to be robust to fine details of the image that plague local solutions. Further, in comparison to global methods for the multi-label problem, the method is more efficient and it is easy for a non-specialist to implement. We give sample Matlab code for the multi-label Chan-Vese problem in this paper. Experimental comparison to the state-of-the-art in multi-label solutions to Region Competition shows that our method achieves equal or better accuracy, with the main advantage being speed and ease of implementation.
Test Strategies for 3 D Die-Stacked Integrated Circuits

3D integration technology is a radical new chip assembly technology that promises greater numbers of devices on chip, increased performance, and reduced power consumption. However, in order for this technology to be economically viable, we must be able to test each die before it is bonded to the rest of the die to form a stacked chip. Pre-bond test presents interesting new challenges because chip functionality and connectivity is partitioned across different pieces of silicon. We will explore these challenges and present test strategies to address them. Our solutions are simple extensions of current scan-based test technology, enabling simple integration of 3D into current test systems. Our results show that full pre-bond test can be achieved at equal or lower cost than testing an equivalent planar design.