Miracle-dz/UniFAR-FTUs huggingface dataset:
On Theoretical and Practical Complexity of TAG Parsers

We present a system allowing the automatic transformation of parsing schemata to ecien t executable implementations of their corresponding algorithms. This system can be used to easily prototype, test and compare dieren t parsing algorithms. In this work, it has been used to generate several dieren t parsers for Context Free Grammars and Tree Adjoining Grammars. By comparing their performance on dieren t sized, articially generated grammars, we can measure their empirical computational complexity. This allows us to evaluate the overhead caused by using Tree Adjoining Grammars to parse context-free languages, and the inuence of string and grammar size on Tree Adjoining Grammars parsing.
Logical reversibility of computation

The usual general-purpose computing automaton (e.g. a Turing machine) is logically irreversible- its transition function lacks a single-valued inverse. Here it is shown that such machines may he made logically reversible at every step, while retainillg their simplicity and their ability to do general computations. This result is of great physical interest because it makes plausible the existence of thermodynamically reversible computers which could perform useful computations at useful speed while dissipating considerably less than kT of energy per logical step. In the first stage of its computation the logically reversible automaton parallels the corresponding irreversible automaton, except that it saves all intermediate results, there by avoiding the irreversible operation of erasure. The second stage consists of printing out the desired output. The third stage then reversibly disposes of all the undesired intermediate results by retracing the steps of the first stage in backward order (a process which is only possible because the first stage has been carried out reversibly), there by restoring the machine (except for the now-written output tape) to its original condition. The final machine configuration thus contains the desired output and a reconstructed copy of the input, but no other undesired data. The foregoing results are demonstrated explicitly using a type of three-tape Turing machine. The biosynthesis of messenger RNA is discussed as a physical example of reversible computation.
Semi-automatic Generation of Subcategorization Frames for Spanish Verbs Using Ontologies and Verbs Functional Class

This work deals with the semi-automatic generation of subcategorization frames (SCFs) of Spanish verbs; specifically, given a set of verbs in Spanish and their respective sense, their SCFs are obtained. The acquisition of SCFs in Spanish has been approached in different works: in some the frames are generated manually, while in others they are obtained semi-automatically from a tagged corpus; unfortunately in this case, the results depend on the characteristics of the texts used. The method proposed in this document combines an ontology-based approach (through lexical relations of verbs) and linguistic knowledge (functional class of verbs). The relations among base verbs and other verbs were obtained from the Spanish WordNet ontology, which contains lexical relations among words. Also, the existing relation between the SCF and the functional class of verbs was used to generate the SCFs. In order to evaluate the method, the SCFs for 44 base verbs were generated manually, from which 239 SCFs were automatically generated and validated, yielding an accuracy of 89.38%.
FPGA realization of space-vector PWM control IC for three-phase PWM inverters

This paper presents a new circuit realization of the space-vector pulse-width modulation (SVPWM) strategy. An SVPWM control integrated circuit (IC) has been developed using state of-the-art field-programmable gate array (FPGA) technology. The proposed SVPWM control scheme can be realized using only a single FPGA (XC4010) from Xilinx, Inc. The output fundamental frequency can be adjusted from 0.094 to 1500 Hz. The pulse-width modulation (PWM) switching frequency can be set from 381 Hz to 48.84 kHz. The delay time for the PWM gating signals is adjustable. This SVPWM IC can also be included in the digital current control loop for stator current regulation. The designed SVPWM IC can be incorporated with a digital signal processor (DSP) to provide a simple and effective solution for high-performance AC drives. Simulation and experimental results are given to verify the implemented SVPWM control IC.
The Dose Response and Effects of Dexamethasone on Bupivacaine Microcapsules for Intercostal Blockade (T9 to T11) in Healthy Volunteers

Biodegradable microcapsules containing bupivacaine/dexamethasone produce an anesthetic duration of 7–11 days in animal models. In this investigation, we explored the effect of increasing doses (Part 1) and the effect of including dexamethasone (Part 2) on the onset, density, and duration of analgesia and anesthesia produced by bupivacaine microcapsules. Concentrations ranging from 0.3125% to 5.0% in microcapsules were compared with 0.25% aqueous bupivacaine (bilateral injection, three intercostal nerves, 2 mL per nerve) (Part 1). Part 2 compared 2.5% microcapsules with or without the inclusion of dexamethasone by unilateral blockade. Sensory block was assessed by pinprick, temperature sensation, and subjective numbness (0, not numb; 10, totally numb). Pharmacodynamic assessments and plasma drug concentrations of bupivacaine and dexamethasone were measured for 96 h. The onset time was reduced and the duration of analgesia increased over the 0.3125%–5.0% dose range (P < 0.02). Onset with 2.5% microcapsules approximated that of 0.25% aqueous bupivacaine. Microcapsule block duration increased to at least 96 h and was significantly longer than aqueous bupivacaine (P < 0.001). Inclusion of dexamethasone increased the duration of pinprick anesthesia in 2.5% microcapsules (P = 0.03). We conclude that bupivacaine/dexamethasone microcapsules are well tolerated and demonstrate a dose-related effect in onset and duration of intercostal blockade. Inclusion of dexamethasone increases intercostal block anesthesia.
RhoA/Rho-kinase signaling: a therapeutic target in pulmonary hypertension

Pulmonary arterial hypertension (PAH) is a devastating disease characterized by progressive elevation of pulmonary arterial pressure and vascular resistance due to pulmonary vasoconstriction and vessel remodeling as well as inflammation. Rho-kinases (ROCKs) are one of the best-described effectors of the small G-protein RhoA, and ROCKs are involved in a variety of cellular functions including muscle cell contraction, proliferation and vascular inflammation through inhibition of myosin light chain phosphatase and activation of downstream mediators. A plethora of evidence in animal models suggests that heightened RhoA/ROCK signaling is important in the pathogenesis of pulmonary hypertension by causing enhanced constriction and remodeling of the pulmonary vasculature. Both animal and clinical studies suggest that ROCK inhibitors are effective for treatment of severe PAH with minimal risk, which supports the premise that ROCKs are important therapeutic targets in pulmonary hypertension and that ROCK inhibitors are a promising new class of drugs for this devastating disease.
On the Role of Feedback in LT Codes

This paper concerns application of feedback in LT codes. The considered type of feedback is acknowledgments, where information on which symbols have been decoded is given to the transmitter. We identify an important adaptive mechanism in standard LT codes, which is crucial to their ability to perform well under any channel conditions. We show how precipitate application of acknowledgments can interfere with this adaptive mechanism and lead to significant performance degradation. Moreover, our analysis reveals that even sensible use of acknowledgments has very low potential in standard LT codes. Motivated by this, we analyze the impact of acknowledgments on multi layer LT codes, i.e. LT codes with unequal error protection. In this case, feedback proves advantageous. We show that by using only a single feedback message, it is possible to achieve a noticeable performance improvement compared to standard LT codes.
Near‐field effects in single molecule emission

We present the first experimental proof of the influence of a nearby nano‐sized metal object on the angular photon emission by a single molecule. A novel angular sensitive detection scheme is implemented in an existing near‐field scanning optical microscope (NSOM). The positioning accuracy (∼1 nm) of the NSOM allows a systematic investigation of the intensity ratio between two different half‐spaces as a function of the position of the metal–glass interfaces of the probe with respect to the single emitter. The observed effects are shown to be particularly strong for molecules that are excited mainly below the rims of the aperture. An excellent agreement is found between experiments and numerical simulations for these molecules. The observed angular redistribution of the angular emission of a single molecule could explain the alteration of the emission polarization observed for certain molecules in earlier experiments (Veerman et al.(1999)J. Microsc.194, 477–482).
The relationship between the applied torque and stresses in post-tension structures

This research presents the non-destructive testing (NDT) method to determine the resultant stresses in mild steel bar usually employed in structures. The technique utilized ultrasonic pulse-echo that determined the wave velocity change due to torque applied between bolt and nut. Mild steel bar with nominal diameter of 18 mm and 25 mm were used. The specimen was loaded by means of a torque wrench, which gave the required amount of moment of about 240 Nm.
Shot Transition Detection Based on Locally Linear Embedding

Detection of shot transitions servers as the preliminary step to video indexing and retrieval. Locally linear embedding (LLE) algorithm fails when it is applied to video with multi-shot. In this paper, we present a novel framework of shot transitions detection. The method involves two processes: First we extract the manifold feature of shot transition using LLE through addition of virtual frames on an enriched set, and then they are classified by KNN. Experiments show that the recognition rate of shot transition is reached over 90%.
Calcineurin Is Required for Pseudohyphal Growth, Virulence, and Drug Resistance in Candida lusitaniae

Candida lusitaniae is an emerging fungal pathogen that infects immunocompromised patients including HIV/AIDS, cancer, and neonatal pediatric patients. Though less prevalent than other Candida species, C. lusitaniae is unique in its ability to develop resistance to amphotericin B. We investigated the role of the calcium-activated protein phosphatase calcineurin in several virulence attributes of C. lusitaniae including pseudohyphal growth, serum survival, and growth at 37°C. We found that calcineurin and Crz1, a C. albicans Crz1 homolog acting as a downstream target of calcineurin, are required for C. lusitaniae pseudohyphal growth, a process for which the underlying mechanism remains largely unknown in C. lusitaniae but hyphal growth is fundamental to C. albicans virulence. We demonstrate that calcineurin is required for cell wall integrity, ER stress response, optimal growth in serum, virulence in a murine systemic infection model, and antifungal drug tolerance in C. lusitaniae. To further examine the potential of targeting the calcineurin signaling cascade for antifungal drug development, we examined the activity of a calcineurin inhibitor FK506 in combination with caspofungin against echinocandin resistant C. lusitaniae clinical isolates. Broth microdilution and drug disk diffusion assays demonstrate that FK506 has synergistic fungicidal activity with caspofungin against echinocandin resistant isolates. Our findings reveal that pseudohyphal growth is controlled by the calcineurin signaling cascade, and highlight the potential use of calcineurin inhibitors and caspofungin for emerging drug-resistant C. lusitaniae infections.
Optimal Agreement Protocol in Malicious Faulty Processors and Faulty Links

Traditionally, the problems of Byzantine agreement, consensus, and interactive consistency are studied in a fully connected network with processors in malicious failure only. Such problems are reexamined with the assumption of malicious faults on both processors and links. The proposed protocols use the minimum number of message exchanges and can tolerate the maximum number of allowable faulty components to make each fault-free processor reach a common agreement for the cases of processor failure, link failure, or processor and link failure. >
A RECONFIGURABLE SOC ARCHITECTURE FOR SHIP INTRUSION DETECTION 1

Monitoring of the marine environment has come to be a field of research in the last ten years. Wireles s sensor network has been one of the most emerging te chniques for the application of surveillance. Wirel ess Sensor Nodes are highly attractive for oceanography because they are easy to deploy, operate and inexpensive. Currently used methods for ship intru sion detection are costly. In this paper, we emphas ize advantages of Wireless Sensor Networks (WSN) in oce anography. We propose Reconfigurable SoC (RSoC) architecture for ship intrusion detection. T he proposed FPGA-based Wireless sensor node is interfaced with tri-axis digital accelerometer sens or. Signal processing techniques are used to detect any unauthorized ships by distinguishing the ship-gener ated waves from the ocean waves. A three-level intrusion detection system has been designed, with hich we can detect the intrusion of any ship irrespective of their sizes. The proposed system is simulated using Xilinx ISE simulator.
Estimation of Impulsive Noise in an Electricity Substation

Measurements of impulsive noise in a 400/275/132-kV electricity substation are presented. The measurements are made with three antennas having overlapping bands covering the range 100 MHz-6 GHz. This range includes those bands relevant to modern wireless local area network and wireless personal area network technologies (e.g., IEEE 802.11a/b/g and IEEE 802.15.1/4), which, if proved to be sufficiently robust in the presence of impulsive noise, could play a useful role in substation monitoring and control. Impulsive events are extracted from the measured data using the wavelet packet transform, and the statistical distributions of pulse rate, pulse amplitude, pulse duration, and pulse rise time are presented. An unexpected quasi-periodic component of the noise is observed.
Time-space varying visual analysis of micro-blog sentiment

Micro-blog sentiment analysis attracts much attention by companies, governments and other organizations. It could help companies to estimate the extent of product acceptance and to determine marketing strategies, governments to monitor online public perception and to improve government-public relation, etc. Researchers mainly focused on time-varying analysis or space varying analysis. This paper combines time-varying analysis and space varying analysis and proposes an Electron Cloud Model (ECM) based on the Schrodinger equation and Niels Bohr atomic theory to conduct time-varying visual analysis of micro-blog sentiments. In the ECM, an attempt to map a score of sentiment to the electron stability is made. Kernel density estimation and edge bundling are used to conduct space-varying visual analysis of sentiments. The former visualizes sentiment changes in different levels of detail naturally while the latter can reduce visual clutter of edge crossing and reveal high-level edge pattern.
ENGAJAMENTO NO TRABALHO E CLIMA PARA SERVIÇOS EM UMA INSTITUIÇÃO FEDERAL DE ENSINO SUPERIOR

O objetivo desta pesquisa foi analisar em que medida o clima para servicos e fator determinante para o engajamento no trabalho em uma Instituicao Federal de Ensino Superior. A pesquisa, quantitativa, analisou dados coletados por survey e foi aplicada a 59 servidores tecnico-administrativos da Universidade Federal do Ceara (UFC), participantes do curso de atendimento estrategico e que trabalham diretamente com o publico. Verificou-se que os servidores possuem engajamento moderado, com maior enfase na absorcao. Igualmente, o clima para servicos foi avaliado como moderado, com mediana influencia positiva para o engajamento no trabalho e predominio das diretrizes estrategicas voltadas ao atendimento ao cliente. Entretanto, condicoes facilitadoras e a avaliacao do cliente podem ampliar essa relacao, embora em menor proporcao. O compromisso institucional com a qualidade do servico e a delegacao de autoridade estao entre as principais acoes que podem ser elaboradas a fim de elevar o clima para servicos e o engajamento.
Feasibility for Microwaves Energy to Affect Biological Systems Via Nonthermal Mechanisms: A Systematic Approach

The understanding of possible nonthermal bio-effects has been an open question during the last five decades. In this paper, the authors present a critical literature review of the models of the interaction mechanisms, together with an overview of all the publications finding positive results for in vitro and in vivo studies. The systematic approach consisted of pooling together the positive studies on the basis of the endpoints and the biological systems, to identify specific plausible targets of the action of the electromagnetic fields and the related pathways. Such a classification opens the way to the discussion of some hypotheses of interaction mechanisms considered as first transduction step. The authors conclude that only through a multiscale methodology it is possible to perform a comprehensive study of the nonthermal effects, based on affordable and realistic in silico models.
DESIGN OF DISTRIBUTED , SCALABLE , TOLERANCE , SEMANTIC OVERLAY CREATION USING KNOWLEDGE BASED CLUSTERING

In a peer-to-peer (P2P) system, nodes typically connect to a small set of random nodes (their neighbors), and queries are propagated along these connections. Such query flooding tends to be very expensive. In this paper it is proposed that node connections be influenced by content, so that for example, nodes having many ”Text” files will connect to other similar nodes. Thus, semantically related nodes form a Semantic Overlay Network (SON). Queries are routed to the appropriate SONs, increasing the chances that matching files will be found quickly, and reducing the search load on nodes that have unrelated content. It has been shown that SONs can significantly improve query performance while at the same time allowing users to decide what content to put in their computers and to whom to connect. In the work, the performance of semantic overlay has been analyzed using knowledge based clustering in terms of cluster formation time, searching time in the cluster and file transfer time. KeywordsSemantic Overlay Network, peer-to-peer, distributed web search, content-based, similarity search.
Buy memes low, sell memes high: vernacular criticism and collective negotiations of value on Reddit’s MemeEconomy

ABSTRACT While existing scholarship has focused on distilling the attributes of successful memes and the dynamics of their propagation in online spaces, there is a lack of research on the vernacular criticism of memes beyond quantitative markers of popularity. By examining the MemeEconomy community on Reddit, where ‘meme traders’ appropriate stock market terminology to discuss and appraise memes, this article aims to understand how this particular subculture of self-proclaimed meme insiders assigns value to viral media. Our findings point to the salience of four key features that are seen to determine a meme’s value: its positioning in relation to the mainstream, its versatility and expansion potential, its topicality or cultural relevance, and its perceived quality. We discuss implications for the formation and reinforcement of subcultural identities around memes, and theorize the role of vernacular criticism as fulfilling significant social functions in online communities.
Synchronized Chaotic Lu System in CDMA Satellite Communication Using Genetic Algorithm

Synchronization is a difficult problem in CDMA satellite communications. Due to the influence of additive noise and fading in the mobile channel, it is not easy to keep up with the attenuation and offset. This paper considers a recently proposed approach to solve the problem of synchronization chaotic Lu system in CDMA satellite communication in the presence of constant attenuation and offset. An analytic algorithm that provides closed form channel and carrier offset estimates is presented. The principle of this approach is based on adding a compensation block before the receiver to compensate the distortion of the imperfect channel by using genetic algorithm. The resultants presented, show that the receiver is able to recover rapidly the synchronization with the transmitter
A 325-MHz GMRT survey of the Herschel-ATLAS/GAMA fields

We describe a 325-MHz survey, undertaken with the Giant Metrewave Radio Telescope (GMRT), which covers a large part of the three equatorial fields at 9, 12 and 14.5 h of right ascension from the Herschel-Astrophysical Terahertz Large Area Survey (H-ATLAS) in the area also covered by the Galaxy And Mass Assembly survey (GAMA). The full dataset, after some observed pointings were removed during the data reduction process, comprises 212 GMRT pointings covering ~90 deg^2 of sky. We have imaged and catalogued the data using a pipeline that automates the process of flagging, calibration, self-calibration and source detection for each of the survey pointings. The resulting images have resolutions of between 14 and 24 arcsec and minimum rms noise (away from bright sources) of ~1 mJy/beam, and the catalogue contains 5263 sources brighter than 5 sigma. We investigate the spectral indices of GMRT sources which are also detected at 1.4 GHz and find them to agree broadly with previously published results; there is no evidence for any flattening of the radio spectral index below S_1.4=10 mJy. This work adds to the large amount of available optical and infrared data in the H-ATLAS equatorial fields and will facilitate further study of the low-frequency radio properties of star formation and AGN activity in galaxies out to z~1.
Infiltrating Mast Cells Correlate with Angiogenesis in Bone Metastases from Gastric Cancer Patients

While gastric cancer is a well established angiogenesis driven tumor, no data has been published regarding angiogenesis stimulated by mast cells (MCs) positive for tryptase in bone metastases from gastric cancer patients (BMGCP). It is well established that MCs play a role in immune responses and more recently it was demonstrated that MCs have been involved in tumor angiogenesis. We analyzed infiltrating MCs and neovascularization in BMGCP diagnosed by histology. A series of 15 stage T3-4N2-3M1 (by AJCC for Gastric Cancer Staging 7th Edition) BMGCP from bone biopsies were selected. Tumour tissue samples were evaluated by mean of immunohistochemistry and image analysis methods in terms of MCs density positive to tryptase (MCDPT), MCs area positive to tryptase (MCAPT), microvascular density (MVD) and endothelial area (EA). A significant correlation between MCDPT, MCAPT, MVD and EA groups to each other was found by Pearson and t-test analysis (r ranged from 0.68 to 0.82; p-value ranged from 0.00 to 0.02). Our very preliminary data suggest that infiltrating MCs positive for tryptase may play a role in BMGCP angiogenesis, and could be further evaluated as a novel target of anti-angiogenic therapy.