Miracle-dz/UniFAR-FTUs huggingface dataset:
Denotation of Semantic Web Services Operations through OWL-S

Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to declaratively and unambiguously denote the operations offered by a web service. Two services may have the same input and output types and have completely different semantics of their operation. In this paper we present an approach for the specification of a web service denotation based on OWL-S capabilities, and an algorithm for dynamic discovery of services exploiting their denotation. We show how preconditions and results of the OWL-S formalism can be used to constrain the actual denotation of a service, and we describe how an agent can perform dynamic discovery of services exploiting their denotation. In our scenario, an agent has to search for the appropriate service, and verify that this service is able to produce the information that the agent needs.
Significance of pitch synchronous analysis for speaker recognition using AANN models

For speaker recognition studies, it is necessary to process the speech signal suitably to capture the speaker-specific information. There is complementary speaker-specific information in the excitation source and vocal tract system characteristics. Therefore it is necessary to separate these components, even approximately, from the speech signal. We propose linear prediction (LP) residual and LP coefficients to represent these two components. Analysis is performed in a pitch synchronous manner in order to focus on the significant portion of the speech signal in each glottal cycle, and also to reduce the artifacts of digital signal processing on the extracted features. Finally, the speaker-specific information is captured from the excitation and the vocal tract system components using autoassociative neural networks (AANN) models. We show that the pitch synchronous extraction of information from the residual and vocal tract system bring out the speaker-specific information much better than using the pitch asynchronous analysis as in the traditional block processing using an analysis window of fixed size. Index Terms: Speaker recognition, pitch synchronous, AANN, glottal closure instants.
Intravenous immunoglobulin inhibits anti‐glycoprotein IIb‐induced platelet apoptosis in a murine model of immune thrombocytopenia

We have previously shown that injection of anti‐glycoprotein (GP) IIb induces murine immune thrombocytopenia (ITP) and that intravenous immunoglobulin (IVIg) ameliorates ITP. We hypothesise that murine ITP may be associated with platelet apoptosis, which is upregulated by anti‐GPIIb and downregulated by IVIg. The current study demonstrated that anti‐GPIIb injection induced three critical apoptosis manifestations in platelets: (i) mitochondrial inner transmembrane potential (ΔΨm) depolarisation; (ii) caspase‐3 activation; and (iii) phosphatidylserine (PS) exposure. IVIg administration inhibited caspase‐3 activation and PS exposure, but not ΔΨm‐depolarisation, in anti‐GPIIb‐treated platelets, demonstrating that IVIg ameliorates thrombocytopenia concomitantly with inhibiting late, but not early mechanisms of platelet apoptosis.
Post-layout leakage power minimization based on distributed sleep transistor insertion

This paper introduces a new approach to sub-threshold leakage power reduction in CMOS circuits. Our technique is based on automatic insertion of sleep transistors for cutting sub-threshold current when CMOS gates are in stand-by mode. Area and speed overhead caused by sleep transistor insertion are tightly controlled thanks to: (i) a post-layout incremental modification step that inserts sleep transistors in an existing row-based layout; (ii) an innovative algorithm that selects the subset of cells that can be gated for maximal leakage power reduction, while meeting user-provided constraints on area and delay increase. The presented technique is highly effective and fully compatible with industrial back-end flows, as demonstrated by post-layout analysts on several benchmarks placed and routed with state-of-the art commercial tools for physical design.
Correlation of Direct Viable Counts with Heterotrophic Activity for Marine Bacteria

Viable-bacteria counts, heterotrophic activity, and substrate responsiveness of viable bacteria have been used to measure microbial activity. However, the relationship between these parameters is not clear. Thus, the direct viable count (DVC) method was used to analyze seawater samples collected from several different geographical locations. Samples collected from offshore waters of the South China Sea and western Pacific Ocean yielded DVC that indicated the presence of surface and subsurface peaks of viable, substrate-responsive bacteria which could be correlated with turnover rates of amino acids obtained by using uniformly 14C-labeled amino acids. DVC were always less than total viable counts (acridine orange direct counts), and the DVC subsurface peak occurred close to and within the chlorophyll a zone, suggesting algal-bacterial interactions within the layer. For comparison with the open-ocean samples, selected substrates were used to determine the response of viable bacteria present in seawater samples collected near an ocean outfall of the Barceloneta Regional Waste Treatment Plant, Barceloneta, Puerto Rico. The number of specific substrate-responsive bacteria at the outfall stations varied depending on the substrate used and the sampling location. Changes in the population size or physiological condition of the bacteria were detected and found to be associated with the presence of pharmaceutical waste.
The Performance Effects of Transitional IT Services in Corporate Spin-Offs

In corporate spin-offs, spun-off units pursue two m ajor objectives: separating and restructuring their business for independent operation; and retai ning business continuity and minimizing operational disruptions. In trying to balance the c onflicting demands of these objectives, spun-off units often turn to “transitional IT services” prov ided by their parents. However, the business value of the transitional IT services is not unders tood well yet. In this study, we examine different impacts of transitional IT services at different stages of corporate spin-offs. Our study population covers corporate spin-offs in which spun-off units were set up as independent public firms during 1999-2009 timeframe. We find that longer transition al IT services prolong the time-to-close spinoff deals and negatively affect market valuation of the spun-off units at the first day of trading. But longer transitional IT services positively affect o perating performance of the spun-off units. They also help mitigate negative effects of business res tructuring on operating performance.
Effects of ADP on sarcoplasmic reticulum function in mechanically skinned skeletal muscle fibres of the rat

1 The sarcoplasmic reticulum (SR) Ca2+ content (expressed in terms of endogenous SR Ca2+ content under physiologically resting conditions and measured from caffeine‐induced force responses) and the effective rates of the SR Ca2+ pump and SR Ca2+ leak (measured from the temporal changes in SR Ca2+ content) were determined in mechanically skinned skeletal muscle fibres of the rat at different [ADP] (< 0.10 μm to 1.04 mm). 2 The estimated SR Ca2+ pump rate at 200 nm Ca2+ did not change when [ADP] increased from below 0.10 μm to 10 μm but decreased by about 30 % when [ADP] increased from 10 μm to 1.04 mm. 3 The rate constant of SR Ca2+ leak increased markedly with rising [ADP] when [Ca2+] in solution was 200 nm (apparent dissociation constant KdADP= 64 ± 27 μm). Decreasing the [Ca2+] in solution from 200 nm to < 10 nm significantly increased the leak rate constant at all [ADP]. The SR Ca2+ leak rate constant could be significantly reduced by blocking the SR Ca2+ pump with 2,5‐di(tert‐butyl)‐1,4‐hydroquinone (TBQ). 4 The decrease in the SR Ca2+ pump rate and the increase in the rate constant of SR Ca2+ leak when the [ADP] increased from < 0.10 μm to 1.04 mm caused a 4.4‐fold decrease in SR Ca2+ loading ability at 200 nm Ca2+. 5 The results can be fully explained by a mechanism whereby the presence of ADP causes a marked increase in the ADP‐sensitive fraction of the phosphorylated pump protein, which can act as a Ca2+‐Ca2+ exchanger and demonstrates that ADP is an important modulator of SR function in skeletal muscle.
Error Detection and Correction Based on Chinese Phonemic Alphabet in Chinese Text

Misspelling and misconception resulting from similar pronunciation appears frequently in Chinese texts. Without double check-up, this situation is getting even worse with the help of Chinese input method editor. It is hoped that the quality of Chinese writing would be enhanced if an effective automatic error detection and correction mechanism embedded in text editor. Therefore, the burden of manpower to proofread shall be released. Until recently, researches on automatic error detection and correction of Chinese text have undergone many challenges and suffered from bad performance compared with that of Western text editor. In view of the prominent phenomenon in Chinese writing problem, this study proposes a learning model based on Chinese phonemic alphabet. The experimental results demonstrate this model is effective in finding out most of words spelled incorrectly, and furthermore this model improves detection and correction rate.
A segmented μ-255 law PCM voice encoder utilizing NMOS technology

A technique for pulse code modulation (PCM) encoding according to the 15-segment approximation to the μ-255 nonlinear encoding law is described. The technique makes possible the realization of a one-channel encoder together with the associated sample/hold function as a single NMOS integrated circuit. The requirements imposed on the individual components for satisfactory system performance are investigated, and it is shown that a performance can be achieved which is comparable with that required in toll quality PCM telephone transmission. Experimental results from a partially integrated prototype are presented.
Oligophrenin-1 Connects Exocytotic Fusion to Compensatory Endocytosis in Neuroendocrine Cells

Oligophrenin-1 (OPHN1) is a protein with multiple domains including a Rho family GTPase-activating (Rho-GAP) domain, and a Bin-Amphiphysin-Rvs (BAR) domain. Involved in X-linked intellectual disability, OPHN1 has been reported to control several synaptic functions, including synaptic plasticity, synaptic vesicle trafficking, and endocytosis. In neuroendocrine cells, hormones and neuropeptides stored in large dense core vesicles (secretory granules) are released through calcium-regulated exocytosis, a process that is tightly coupled to compensatory endocytosis, allowing secretory granule recycling. We show here that OPHN1 is expressed and mainly localized at the plasma membrane and in the cytosol in chromaffin cells from adrenal medulla. Using carbon fiber amperometry, we found that exocytosis is impaired at the late stage of membrane fusion in Ophn1 knock-out mice and OPHN1-silenced bovine chromaffin cells. Experiments performed with ectopically expressed OPHN1 mutants indicate that OPHN1 requires its Rho-GAP domain to control fusion pore dynamics. On the other hand, compensatory endocytosis assessed by measuring dopamine-β-hydroxylase (secretory granule membrane) internalization is severely inhibited in Ophn1 knock-out chromaffin cells. This inhibitory effect is mimicked by the expression of a truncated OPHN1 mutant lacking the BAR domain, demonstrating that the BAR domain implicates OPHN1 in granule membrane recapture after exocytosis. These findings reveal for the first time that OPHN1 is a bifunctional protein that is able, through distinct mechanisms, to regulate and most likely link exocytosis to compensatory endocytosis in chromaffin cells.
Maximum likelihood mapping with spectral image registration

A core challenge in probabilistic mapping is to extract meaningful uncertainty information from data registration methods. While this has been investigated in ICP-based scan matching methods, other registration methods have not been analyzed. In this paper, an uncertainty analysis of a Fourier Mellin based image registration algorithm is introduced, which to our knowledge is the first of its kind involving spectral registration. A covariance matrix is extracted from the result of a Phase-Only Matched Filter, which is interpreted as a probability mass function. The method is embedded in a pose graph implementation for Simultaneous Localization and Mapping (SLAM) and validated with experiments in the underwater domain.
Smart cameras: 2D affine models for determining subject facial expressions

In this paper we consider how next generation of smart cameras will move beyond face detection and tracking to develop more useful analysis tools for determining the expressions and emotions of the subjects in images. An initial proof-of-concept using an extension of an Active Appearance Model (AAM) to measure facial parameters and a set of classifiers to determine facial states are described. Preliminary findings are encouraging and suggest that the use of the component-based AAM models and SVM classifiers will enable new applications and opportunities in smart cameras.
Floating-Point FPGA: Architecture and Modeling

This paper presents an architecture for a reconfigurable device that is specifically optimized for floating-point applications. Fine-grained units are used for implementing control logic and bit-oriented operations, while parameterized and reconfigurable word-based coarse-grained units incorporating word-oriented lookup tables and floating-point operations are used to implement datapaths. In order to facilitate comparison with existing FPGA devices, the virtual embedded block scheme is proposed to model embedded blocks using existing field-programmable gate array (FPGA) tools. This methodology involves adopting existing FPGA resources to model the size, position, and delay of the embedded elements. The standard design flow offered by FPGA and computer-aided design vendors is then applied and static timing analysis can be used to estimate the performance of the FPGA with the embedded blocks. On selected floating-point benchmark circuits, our results indicate that the proposed architecture can achieve four times improvement in speed and 25 times reduction in area compared with a traditional FPGA device.
A Review of Routing and Wavelength Assignment Approaches for Wavelength- Routed Optical WDM Networks

This study focuses on the routing and WavelengthAssignment (RWA) problem in wavelength-routed optical WDM networks. Most of the attention is devoted to such networks operating under the wavelength-continuity constraint, in which lightpaths are set up for connection requests between node pairs, and a single lightpath must occupy the same wavelength on all of the links that it spans. In setting up a lightpath, a route must be selected and a wavelength must be assigned to the lightpath. If no wavelength is available for this lightpath on the selected route, then the connection request is blocked. We examine the RWA problem and review various routing approaches and wavelengthassignment approaches proposed in the literature. We also briefly consider the characteristics of wavelength-converted networks (which do not have the wavelength-continuity constraint), and we examine the associated research problems and challenges. Finally, we propose a new wavelengthassignment scheme, called Distributed Relative Capacity Loss (DRCL), which works well in distributed-controlled networks, and we demonstrate the performance of DRCL through simulation.
Recognizing and Learning Unknown Emerging Concepts

We study the classification of data in which some of the concepts represented by the data are known in advance, while new, emerging, conceptsarediscovered asthey appear in thedata. Theresulting paradigm is called Concept Emergence. Unlike clustering, westart with someknown classes, but then learn emergingconceptsusing new unlabeled data. Unlike Concept Drift, we assume the original concepts remain stationary. This differs from outlier detection because we use the rejected samples to update the classifier. We ill ustrate the method on both synthetic and real datasetsusingSupport Vector Machine classifiers.
An Algorithm for Differential File Comparison

The program diff reports differences between two files, expressed as a minimal list of line changes to bring either file into agreement with the other. Diff has been engineered to make efficient use of time and space on typical inputs that arise in vetting version-to-version changes in computer-maintained or computer-generated documents. Time and space usage are observed to vary about as the sum of the file lengths on real data, although they are known to vary as the product of the file lengths in the worst case. The central algorithm of diff solves the ‘longest common subsequence problem’ to find the lines that do not change between files. Practical efficiency is gained by attending only to certain critical ‘candidate’ matches between the files, the breaking of which would shorten the longest subsequence common to some pair of initial segments of the two files. Various techniques of hashing, presorting into equivalence classes, merging by binary search, and dynamic storage allocation are used to obtain good performance. [This document was scanned from Bell Laboratories Computing Science Technical Report #41, dated July 1976. Te xt was converted by OCR and hand-corrected (last changed June, 2012). Figures were reconstructed. Some OCR errors may remain, especially in tables and equations. Please report them to doug@cs.dartmouth. edu. ] The program diff creates a list of what lines of one file have to be changed to bring it into agreement with a second file or vice versa. It is based on ideas from several sources[1,2,7,8]. As an example of its work, consider the two files, listed horizontally for brevity: a b c d e f g w a b x y z e It is easy to see that the first file can be made into the second by the following prescription, in which an imaginary line 0 is understood at the beginning of each: append after line 0: w, change lines 3 through 4, which were: c d into: x y z, delete lines 6 through 7, which were: f g. Going the other way, the first file can be made from the second this way: delete line 1, which was: w, change lines 4 through 6, which were: x y z into: c d, append after line 7: f g. Delete, change and append are the only operations available to diff . It indicates them by 1-letter
CD 45 Expression in Mitral Valve Endothelial Cells After Myocardial Infarction

Ischemic mitral regurgitation (IMR) is a common complication after myocardial infarction (MI) that doubles mortality. IMR is caused by left ventricular remodeling and dysfunction, which leads to papillary muscle displacement and tethering of the mitral valve (MV), restricting leaflet closure. Tethered MVs adapt by increasing their surface area, but this adaptation is often insufficient and seems to result in stiff, fibrotic valves, which may ultimately contribute to increasing IMR. Several cellular events occur in the IMR MV: MV endothelial cells (mitral VECs) undergo endothelial-to-mesenchymal transition (EndMT), MV interstitial cells (mitral VICs) are activated to become myofibroblasts that secrete and compact extracellular matrix, and there is evidence for valve neovascularization and leukocyte infiltration. Infiltrating macrophages and leukocytes release growth factors and cytokines, such as transforming growth factor-β (TGFβ) family members, which can promote angiogenesis, collagen Cellular Biology
Dissociative symptoms and the quality of structural integration in borderline personality disorder

Background Transient dissociation is a core feature of borderline personality disorder (BPD). Dissociation is characterized by detachment from reality, which can be mild (e.g. daydreaming) to severe (e.g. depersonalization, amnesia). High levels of dissociation are linked to more severe psychopathology and likely to impede therapy effectiveness. Objective Assessing the efficacy of psychological interventions in reducing dissociation in BPD and the impact of dissociation on therapy outcome. Results Psychological interventions were not found to be superior to treatment as usual. A small number of studies showed that higher dissociation at baseline predicted greater improvement. The use of narrative building techniques also showed related to reduce dissociation. Conclusion The evidence-base for treating dissociation is fairly limited. Standard interventions for BPD show promising results, but further research is required. Methods An electronic search of Psychinfo, Medline and Embase along with a hand search of relevant papers identified 20 studies.
Toward systematic methods comparison in traffic classification January 15 th

A host of methods and algorithms have been proposed to solve the issue of traffic classification in the recent years. However, results comparison between different works is very hard due to the lack of structure and common understanding of notions in the domain, especially a precise definition of application classes. In this work we aim to fill this gap and propose a first attempt to systematic classes traffic definitions. To fulfill this goal, we take advantage of the ontology paradigm.
Biosensing platform based on fluorescence resonance energy transfer from upconverting nanocrystals to graphene oxide.

Fluorescence resonance energy transfer (FRET) is recognized as a sensitive and reliable analytical technique and has been widely used in biological assays. To obtain improved FRET efficiency and analytical performance, it is of continuing interest to search for new energy donor–acceptor pairs. In the past few years, the use of anti-Stokes fluorophores including upconverting phosphors (UCP) and multiphotonexcited dyes as energy donors which can be excited in the near-infrared (NIR) region has successfully circumvented the problem of autofluorescence and scattering of light arising from biological substances. This has made it possible to directly conduct FRET-based assays in biological samples. More recently, graphene, the newly emerging two-dimensional and zero-bandgap carbon nanomaterial, has attracted considerable attention in bioassays because of its unique electronic, mechanical, and thermal properties. In the pioneering work of Swathi et al. , it was proposed through theoretical calculations that graphene could act as a superquencher of organic dyes, as a result of nonradiative transfer of electronic excitation energy from dye excited states to the p system of graphene. The rate of this long-range resonance energy transfer was suggested to have a d 4 dependence on distance d, in sharp contrast to traditional FRET, for which the rate has a d 6 dependence. Inspired by this property, graphene and graphene oxide (GO) have been used as FRET acceptors with organic dyes and quantum dots as energy donors, in which both graphene and GO exhibit high efficiency in quenching the donor emission and thus provide good sensitivity. Herein we reveal energy transfer from UCP to GO and thus construction of a new biosensing platform which could be used to detect glucose directly in serum samples and extended to detection of other biologically significant molecules. The previously reported FRETmodels based on graphene or graphene oxide all rely on the p–p stacking interaction between the carbon nanomaterial and nucleic acid chains, which bring the acceptor and donor (organic dyes or quantum dots) into close proximity. We hereby tried a different model in which donor and acceptor are brought into FRET proximity through specific molecular recognition (Figure 1).