Miracle-dz/UniFAR-FTUs huggingface dataset:
Optical orthogonal codes: Their bounds and new optimal constructions

A (v, k, /spl lambda//sub a/, /spl lambda//sub c/) optical orthogonal code (OOC) C is a family of (0, 1)-sequences of length v and weight k satisfying the following two correlation properties: (1) /spl Sigma//sub 0/spl les/t/spl les/v-1/x/sub t/x/sub t+i//spl les//spl lambda//sub a/ for any x=(x/sub 0/,x/sub 1/,/spl middot//spl middot//spl middot/,x/sub v-1/)/spl isin/C and any integer i not equivalent 0 mod v; and (2) /spl Sigma//sub 0/spl les/t/spl les/v-1/x/sub t/y/sub t+i//spl les//spl lambda//sub b/ for any x=(x/sub 0/,x/sub 1/,/spl middot//spl middot//spl middot/, x/sub v-1/) /spl isin/ C, y=(y/sub 0/,y/sub 1/,/spl middot//spl middot//spl middot/,y/sub v-1/) /spl isin/C with x/spl ne/y, and any integer i, where the subscripts are taken modulo v. The study of optical orthogonal codes is motivated by an application in optical code-division multiple-access communication systems. In this paper, upper bounds on the size of an optical orthogonal code are discussed. Several new constructions for optimal optical orthogonal codes with weight k/spl ges/4 and correlation constraints /spl lambda//sub a/=/spl lambda//sub c/=1 are described by means of optimal cyclic packings. Many new infinite series of such optimal optical orthogonal codes are thus produced.
2PC Agent method: achieving serializability in presence of failures in a heterogeneous multidatabase

A method for integrated concurrency control and recovery, applicable to heterogeneous multidatabase systems, is proposed. The responsibility for two-phase local commitment and recovery of the prepared state at participants is taken over by an entity called 2PC Agent. The main importance of the method is in preserving global serializability in the presence of a certain class of participant-related failures. The related recovery methods, including a novel failure-time optimistic concurrency control method, are presented. <<ETX>>
Classification and representation of types in TDL

TDL is a typed feature-based representation language and inference system, specifically designed to support highly lexicalized constraint-based grammar theories. Type definitions in TDL consist of type and feature constraints over the full Boolean connectives together with coreferences, thus making TDL Turing-complete. TDL provides open- and closed-world reasoning over types. Working with partially as well as with fully expanded types is possible. Efficient reasoning in TDL is accomplished through specialized modules. In this paper, we will highlight the type/inheritance hierarchy module of TDL and show how we represent conjunctively and disjunctively defined types. Negated types and incompatible types are handled by specialized bottom symbols. Redefining a type only leads to the redefinition of the dependent types, and not to the redefinition of the whole grammar/lexicon. Undefined types are nothing special. Reasoning over the type hierarchy is partially realized by a bit vector encoding of types, similar to the one used in Ait-Kaci's LOGIN. However, the underlying semantics does not harmonize with the open-world assumption of TDL. Thus, we have to generalize the GLB/LUB operation to account for this fact. The system, as presented in the paper, has been fully implemented in Common Lisp and is an integrated part of a large NL system. It has been installed and successfully employed at other sites and runs on various platforms.
The Audiovisual Tau Effect in Infancy

Background Perceived spatial intervals between successive flashes can be distorted by varying the temporal intervals between them (the “tau effect”). A previous study showed that a tau effect for visual flashes could be induced when they were accompanied by auditory beeps with varied temporal intervals (an audiovisual tau effect). Methodology/Principal Findings We conducted two experiments to investigate whether the audiovisual tau effect occurs in infancy. Forty-eight infants aged 5–8 months took part in this study. In Experiment 1, infants were familiarized with audiovisual stimuli consisting of three pairs of two flashes and three beeps. The onsets of the first and third pairs of flashes were respectively matched to those of the first and third beeps. The onset of the second pair of flashes was separated from that of the second beep by 150 ms. Following the familiarization phase, infants were exposed to a test stimulus composed of two vertical arrays of three static flashes with different spatial intervals. We hypothesized that if the audiovisual tau effect occurred in infancy then infants would preferentially look at the flash array with spatial intervals that would be expected to be different from the perceived spatial intervals between flashes they were exposed to in the familiarization phase. The results of Experiment 1 supported this hypothesis. In Experiment 2, the first and third beeps were removed from the familiarization stimuli, resulting in the disappearance of the audiovisual tau effect. This indicates that the modulation of temporal intervals among flashes by beeps was essential for the audiovisual tau effect to occur (Experiment 2). Conclusions/Significance These results suggest that the cross-modal processing that underlies the audiovisual tau effect occurs even in early infancy. In particular, the results indicate that audiovisual modulation of temporal intervals emerges by 5–8 months of age.
Draft Genome Sequence of the Bisphenol A-Degrading Bacterium Sphingobium sp. Strain YL23

ABSTRACT Sphingobium sp. strain YL23, a novel bacterium isolated from sewage sludge of a domestic wastewater treatment plant, has been shown to completely degrade bisphenol A under aerobic conditions. Here, we describe a 3.8-Mb assembly of its genome sequence and major findings from its annotation.
Low order H∞ controller design for the air path system of eiesel engines

This paper considers the low order H∞ controller design method for reference tracking and disturbance attenuation based on the recent development on robust control in terms of the generalized KYP (GKYP) lemma. The new design control strategy does not need to choose the weighting functions as the classical design method does so that the controller will have the same order as the controlled plant, which is much lower than the one designed by the classical H∞ control method. The proposed method is further applied to the air path system of diesel engines with a turbocharger. Simulations are shown to demonstrate the advantages of the new algorithm.
00 08 19 6 v 1 2 5 A ug 2 00 0 UNIL-IPT-0015 Supersymmetric Noether Currents and Seiberg-Witten Theory

The purpose of this paper is twofold. The first purpose is to review a systematic construction of Noether currents for supersymmetric theories, especially effective supersymmetric theories. The second purpose is to use these currents to derive the mass-formula for the quantized Seiberg-Witten model from the supersymmetric algebra. We check that the mass-formula of the low-energy theory agrees with that of the full theory (in the broken phase).
A Semantic Framework Supporting Cloud Resource Descriptions Interoperability

With the advent of Cloud Computing, organizations are increasingly migrating their information and communication technology (ICT) resources to the cloud. This has recently gained a great attention because of cloud pay-as-you-go model which drastically reduces actual IT infrastructure with high performance and continuous availability. In order to effectively utilize existing cloud resources, organizations may look for available cloud resources from different cloud providers. However, cloud resources are heterogeneous and described by different standards which prevents an easy and dynamic interoperability between organizations. In this paper, we propose a semantic framework tackling this heterogeneity issue. We develop a set of ontologies to semantically represent cloud resources by looking at three cloud resource description standards: Topology and Orchestration Specification for Cloud Applications (TOSCA), Open Cloud Computing Interface (OCCI), and Cloud Infrastructure Management Interface (CIMI). Hence, our framework promotes the creation of a common semantic knowledge base of cloud resources described using these different standards. This knowledge base allows a seamless translation of cloud providers' resource descriptions. We developed an application to validate our approach as a proof of concept. We also evaluated the feasibility and completeness of our semantic framework on use cases obtained from standard specifications.
Reinforcement learning of self-regulated β-oscillations for motor restoration in chronic stroke

Neurofeedback training of Motor imagery (MI)-related brain-states with brain-computer/brain-machine interfaces (BCI/BMI) is currently being explored as an experimental intervention prior to standard physiotherapy to improve the motor outcome of stroke rehabilitation. The use of BCI/BMI technology increases the adherence to MI training more efficiently than interventions with sham or no feedback. Moreover, pilot studies suggest that such a priming intervention before physiotherapy might—like some brain stimulation techniques—increase the responsiveness of the brain to the subsequent physiotherapy, thereby improving the general clinical outcome. However, there is little evidence up to now that these BCI/BMI-based interventions have achieved operate conditioning of specific brain states that facilitate task-specific functional gains beyond the practice of primed physiotherapy. In this context, we argue that BCI/BMI technology provides a valuable neurofeedback tool for rehabilitation but needs to aim at physiological features relevant for the targeted behavioral gain. Moreover, this therapeutic intervention has to be informed by concepts of reinforcement learning to develop its full potential. Such a refined neurofeedback approach would need to address the following issues: (1) Defining a physiological feedback target specific to the intended behavioral gain, e.g., β-band oscillations for cortico-muscular communication. This targeted brain state could well be different from the brain state optimal for the neurofeedback task, e.g., α-band oscillations for differentiating MI from rest; (2) Selecting a BCI/BMI classification and thresholding approach on the basis of learning principles, i.e., balancing challenge and reward of the neurofeedback task instead of maximizing the classification accuracy of the difficulty level device; and (3) Adjusting the difficulty level in the course of the training period to account for the cognitive load and the learning experience of the participant. Here, we propose a comprehensive neurofeedback strategy for motor restoration after stroke that addresses these aspects, and provide evidence for the feasibility of the suggested approach by demonstrating that dynamic threshold adaptation based on reinforcement learning may lead to frequency-specific operant conditioning of β-band oscillations paralleled by task-specific motor improvement; a proposal that requires investigation in a larger cohort of stroke patients.
A Study on Practitioner’s Perceptions on Early Screening of Autism Spectrum Disorder

자폐스펙트럼장애(Autism Spectrum Disorder, ASD)는 사 회적 상호작용 및 의사소통의 손상, 그리고 제한된 관심범위 와 반복적 행동을 주요 증상으로 하는 신경발달 장애로서, 최 근 국내외에서 유병률의 증가추세를 보이고 있는 장애 중 하 나이다. 얼마 전 미국을 포함한 여러 국가에서 조사된 바에 의 하면, ASD 유병률이 인구의 1%에 달하는 것으로 파악되었으 며, 국내에서는 2.64%의 높은 수치로 조사된 연구도 발표된 바 있다. 이러한 높은 비율이 역치하 사례들을 포함하는 진단 기준의 확장이나 증가된 인식, 연구 방법의 차이를 반영하는지, 아니면 실제 ASD의 발생 빈도 증가를 반영하는지는 불분명 하나, 앞으로 ASD가 점차 의학적 측면뿐만 아니라, 사회, 복지, 교육 영역 등 다학제적인 접근을 필요로 할 것으로 판단된다. 이처럼 전체 인구 중 ASD의 유병률이 높게 나타나고 있기에 사회, 경제적 부담을 줄이고자 조기개입과 자문을 위한 변화 들이 감지되고 있기는 하지만, 실제로 ASD의 조기개입의 중 요성은 그 장애특성에 기인한다. ASD는 장애의 특성상 증상 이 매우 어린 시기부터 나타나기 때문에 일찍 증상을 발견할 수 있으며, 유전자의 표현형이 완전히 발현되기 이전에 빠르게 개입할 경우 환경적인 영향에 의해 증상을 보다 완화할 수 있 다고 밝혀지고 있다. 따라서 ASD의 치료적 개입은 보다 이 른 시기에 개입할수록 증상 개선의 폭이 높고, 더욱 긍정적 This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/4.0) which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited. A Study on Practitioner’s Perceptions on Early Screening of Autism Spectrum Disorder
Misplaced Trust? Exploring the Structure of the E-Government-Citizen Trust Relationship

A growing body of research focuses on the relationship between e-government, the relatively new mode of citizen-to-government contact founded in information and communications technologies, and citizen trust in government. For many, including both academics and policymakers, e-government is seen as a potentially transformational medium, a mode of contact that could dramatically improve citizen perceptions of government service delivery, and possibly reverse the long-running decline in citizen trust in government. To date, however, the literature has left significant gaps in our understanding of the e-government-citizen trust relationship. This study intends to fill some of these gaps. Using a cross-sectional sample of 787 end-users of U.S. federal government services, data from the American Customer Satisfaction Index (ACSI) study, and structural equation modeling statistical techniques, this study explores the structure of the e-government-citizen trust relationship. Included in the model are factors influencing the decision to adopt e-government, as well as prior expectations, overall satisfaction, and outcomes including both confidence in the particular agency experienced and trust in the federal government overall. The findings suggest that while e-government may help improve citizens’ confidence in the future performance of the agency experienced, it does not yet lead to greater satisfaction with an agency interaction, nor does it correlate with greater generalized trust in the federal government overall. Explanations for these findings, including an assessment of the potential of e-government to help rebuild trust in government in the future, are offered.
A Concept Graph Based Knowledge Model for Software Architecture

Software Architecture is a subject that undergoes fast development. Nevertheless, there is little work done to structure the related knowledge. This paper attempts to set up a concept graph based knowledge model for disciplines and applied the model to Software Architecture to gain an integral view of the knowledge. Compared to the results by ontology, our approach reveals richer structure and closer inter-relationship for Software Architecture knowledge.
Fear and Feeding in the Nucleus Accumbens Shell: Rostrocaudal Segregation of GABA-Elicited Defensive Behavior Versus Eating Behavior

This study examined localization of positive versus negative motivational functions mediated by GABA circuits within the accumbens shell. Microinjections of a GABAA agonist (0, 25, 75, and 225 ng/0.5 μl muscimol) in rostral shell sites elicited appetitive increases in eating behavior. In contrast, microinjections in caudal shell sites elicited defensive burying or paw-treading behavior. Rats whose microinjections landed bilaterally outside of the accumbens shell did not display either behavior. Defensive treading elicited by caudal shell muscimol microinjection appeared to be a negative motivated response to threat (similar in parameters and orientation to normal defensive burying of a threatening electrified shock prod). The nucleus accumbens shell thus appears functionally heterogeneous in coding motivational valence. The demonstration that muscimol elicits positive eating behavior from rostral shell versus negative defensive behavior from caudal shell suggests in particular that GABAergic substrates of positive and negative types of motivated behavior in the nucleus accumbens shell are segregated along a rostrocaudal gradient.
A map for mobile robots consisting of a 3D model with augmented salient image features

: In this work we propose a map for mobile robots which is suited for simultaneous localization and map building (SLAM). A 3D model with augmented salient appearance based image features alleviates the deﬁciencies of a bare 3D model in localization. The augmented appearance based features allow to distinguish between similar locations which may show little difference in the 3D model, eg. similar doors in a hallway. A new method to ﬁnd distinctive landmarks is introduced as a key feature of the proposed map.
Dissociating Markers of Senescence and Protective Ability in Memory T Cells

No unique transcription factor or biomarker has been identified to reliably distinguish effector from memory T cells. Instead a set of surface markers including IL-7Rα and KLRG1 is commonly used to predict the potential of CD8 effector T cells to differentiate into memory cells. Similarly, these surface markers together with the tumor necrosis factor family member CD27 are frequently used to predict a memory T cell's ability to mount a recall response. Expression of these markers changes every time a memory cell is stimulated and repeated stimulation can lead to T cell senescence and loss of memory T cell responsiveness. This is a concern for prime–boost vaccine strategies which repeatedly stimulate T cells with the aim of increasing memory T cell frequency. The molecular cues that cause senescence are still unknown, but cell division history is likely to play a major role. We sought to dissect the roles of inflammation and cell division history in developing T cell senescence and their impact on the expression pattern of commonly used markers of senescence. We developed a system that allows priming of CD8 T cells with minimal inflammation and without acquisition of maximal effector function, such as granzyme expression, but a cell division history similar to priming with systemic inflammation. Memory cells derived from minimal effector T cells are fully functional upon rechallenge, have full access to non-lymphoid tissue and appear to be less senescent by phenotype upon rechallenge. However, we report here that these currently used biomarkers to measure senescence do not predict proliferative potential or protective ability, but merely reflect initial priming conditions.
Emerged HA and NA Mutants of the Pandemic Influenza H1N1 Viruses with Increasing Epidemiological Significance in Taipei and Kaohsiung, Taiwan, 2009–10

The 2009 influenza pandemic provided an opportunity to observe dynamic changes of the hemagglutinin (HA) and neuraminidase (NA) of pH1N1 strains that spread in two metropolitan areas -Taipei and Kaohsiung. We observed cumulative increases of amino acid substitutions of both HA and NA that were higher in the post–peak than in the pre-peak period of the epidemic. About 14.94% and 3.44% of 174 isolates had one and two amino acids changes, respective, in the four antigenic sites. One unique adaptive mutation of HA2 (E374K) was first detected three weeks before the epidemic peak. This mutation evolved through the epidemic, and finally emerged as the major circulated strain, with significantly higher frequency in the post-peak period than in the pre-peak (64.65% vs 9.28%, p<0.0001). E374K persisted until ten months post-nationwide vaccination without further antigenic changes (e.g. prior to the highest selective pressure). In public health measures, the epidemic peaked at seven weeks after oseltamivir treatment was initiated. The emerging E374K mutants spread before the first peak of school class suspension, extended their survival in high-density population areas before vaccination, dominated in the second wave of class suspension, and were fixed as herd immunity developed. The tempo-spatial spreading of E374K mutants was more concentrated during the post–peak (p = 0.000004) in seven districts with higher spatial clusters (p<0.001). This is the first study examining viral changes during the naïve phase of a pandemic of influenza through integrated virological/serological/clinical surveillance, tempo-spatial analysis, and intervention policies. The vaccination increased the percentage of E374K mutants (22.86% vs 72.34%, p<0.001) and significantly elevated the frequency of mutations in Sa antigenic site (2.36% vs 23.40%, p<0.001). Future pre-vaccination public health efforts should monitor amino acids of HA and NA of pandemic influenza viruses isolated at exponential and peak phases in areas with high cluster cases.
Shutter: Preventing Information Leakage Based on Domain Gateway for Social Networks

With the explosion of Online Social Networking (OSN), participation in social networking sites has dramatically increased in organizations like enterprises, campuses, etc. Lots of privacy or security information can be shared by a vast network of people including friends and strangers, which brings potential threats of information leakage. However, existing information protection methods cannot effectively detect the fine-grained user request contexts to OSN sites, resulting in security vulnerability in the organizations. In this paper, we propose Shutter, an information protection system based on domain gateway for social networks. Shutter employs a fine-grained traffic filter to analyze a massive number of HTTP requests and a scalable message parsing scheme for both HTTP and HTTPS traffic, which utilizes the characteristics of OSN requests to accelerate the parsing phrase. Shutter also leverages a rule matcher based on layered tire and multi-pattern matching algorithm to achieve high matching throughput, as well as fast rules inserting and deleting operations. We perform our experiments by collecting real request traffic and using the traffic data as our test input. The results demonstrate that Shutter achieves high throughput and preeminent scalability detecting user requests to OSN sites with insignificant memory overhead.
A data mining approach for preventing undergraduate students retention

The Brazilian government has invested funds via the REUNI program to increase the amount of places in public universities. It has also made another important attempt to increase the number of places by approving regulations to legalize the release of the places occupied by retained students for new students. According to these regulations' retention criteria, there were around 50% of places retained by these students. This Article presents a data mining approach for assessing the risk of undergraduate student retention at the end of the second semester of course aiming at supporting the counseling of students to prevent their retention. The approach has been developed for the Federal University of Pernambuco, focusing on 6 of its major courses which involved data transformation from a database of over 400,000 subjects records, the application of logistic regression for risk assessment, and induction of rules for explaining that risk at the counseling process. The risk estimation solution reached Max_KS=0.51 and AUC_ROC=0.84 in performance. Three scenarios of 30%, 50% and 70% of efficacy in the counseling process show that the procedure should be implemented and is economically viable with decision threshold and return of investment varying according to that efficacy.
Urinary tract cancers: An overview for general practice

Urinary tract cancers are common and comprise a gamut of lesions ranging from small benign tumors to aggressive neoplasms with high mortality. The predominant urinary tract malignancy is bladder cancer. The clinical challenge is early detection and adequate follow-up because recurrence is high and delayed diagnosis is associated with poor prognosis. Primary care physicians form a key part of the management apparatus for these patients and may be responsible for ensuring adequate ongoing surveillance. This article aims to outline the evaluation of patients in whom urinary tract cancer is suspected and briefly review the general principles of treatment.