Miracle-dz/UniFAR-FTUs huggingface dataset:
Increased interleukin 4 and immunoglobulin E production in transgenic mice overexpressing NK1 T cells

Natural Killer (NK)1.1+ (NK1) T cells are a specialized subset of alpha/beta T cells that coexpress surface receptors that are normally associated with the NK cell lineage of the innate immune system. On recognition of the conserved, major histocompatibility complex class I- like CD1 molecule, these cells are able to release explosive bursts of interleukin 4 (IL-4), a cytokine that promotes the T helper type 2 (Th2) effector class of an immune response. A unique feature of their T cell receptor (TCR) repertoire is the expression of an invariant TCR alpha chain, V alpha 14-J alpha 281, and of a restricted but polyclonal set of V beta gene families, V beta 8, V beta 7, and V beta 2. Here, we show that transgenic expression of this TCR alpha chain during thymic development is sufficient information to bias the differentiation of mainstream thymocytes towards the NK1 developmental pathway. It markedly increases the frequency of cells with the NK1 pattern of T cell differentiation and also has drastic consequences for the selection of the V beta repertoire. Transgenic CD4 cells exhibited a 10- 100-fold increase in IL-4 production on mitogen stimulation in vitro and in vivo, and baseline levels of the Th2-controlled serum immunoglobulin isotypes, IgE and IgG1, were also selectively elevated in vivo.
Access control to materialized views: an inference-based approach

Ensuring security of data is one of the fundamental needs of people. In this context, issues related to confidentiality, integrity and availability of the data arise with a crucial importance, whether in economic, legal or medical domains. Standards covering fine-grained access control were proposed and adopted to control access to data through queries. In this paper, we propose a novel approach to facilitate the administration of access control rules to ensure the confidentiality of data at the level of materialized views. Several techniques and models have been proposed to control access to databases, but to our knowledge the problem of automatically generating from access control rules defined over base relations the applicable access control rules needed to control materialized views is not investigated. We are investigating this problem by resorting to an adaptation of query rewriting techniques. We choose to express fine-grained access control through authorization views. This paper mainly discusses the problem of automatically ensuring confidentiality of materialized views based on basic access control rules, and identifies formal tools to tackle the problem.
Humor and workplace stress: a longitudinal comparison between Australian and Chinese employees

This study investigates how humor usage (including positive and negative humor styles) influences employees' responses to the same stressful events, namely, the auto-correlation between stress experiences at two time points. Moreover, it examines differences between Australian and Chinese employees in such effects via bicultural comparisons. Results from a two-wave survey of 109 Australian and 141 Chinese employees indicated that humor usage moderated the StressTime1 – StressTime2 relationship for Australian employees but not for Chinese employees. Specifically, the positive relationship between the two stress measures became weaker for Australians who were higher in humor than those lower in humor. Similarly, Positive humor mitigated the relationship between StressTime1 and StressTime2 only for the Australians but not the Chinese. However, Negative humor exerted no influence on the focal relationship in either sample. Organizations should encourage employees to use humor in effective ways, thereby improving stress coping skills and reducing workplace stress.
Children with dyslexia show cortical hyperactivation in response to increasing literacy processing demands

This fMRI study aimed to examine how differences in literacy processing demands may affect cortical activation patterns in 11- to 12-year-old children with dyslexia as compared to children with typical reading skills. Eleven children with and 18 without dyslexia were assessed using a reading paradigm based on different stages of literacy development. In the analyses, six regions showed an interaction effect between group and condition in a factorial ANOVA. These regions were selected as regions of interest (ROI) for further analyses. Overall, the dyslexia group showed cortical hyperactivation compared to the typical group. The difference between the groups tended to increase with increasing processing demands. Differences in cortical activation were not reflected in in-scanner reading performance. The six regions further grouped into three patterns, which are discussed in terms of processing demands, compensatory mechanisms, orthography and contextual facilitation. We conclude that the observed hyperactivation is chiefly a result of compensatory activity, modulated by other factors.
Quadrotor Using Minimal Sensing For Autonomous Indoor Flight

This paper presents a Miniature Aerial Vehicle (MAV) capable of hands- off autonomous operation within indoor environments. Our prototype is a Quadrotor weighing approximately 600g, with a diameter of 550mm, which carries the necessary electronics for stability control, altitude control, collision avoidance and anti-drift control. This MAV is equipped with three rate gyroscopes, three accelerometers, one ultrasonic sensor, four infrared sensors, a high-speed motor controller and a flight computer. Autonomous flight tests have been carried out in a 7x6-m room.
Solving multiple square jigsaw puzzles with missing pieces

Jigsaw-puzzle solving is necessary in many applications, including biology, archaeology, and every-day life. In this paper we consider the square jigsaw puzzle problem, where the goal is to reconstruct the image from a set of non-overlapping, unordered, square puzzle parts. Our key contribution is a fast, fully-automatic, and general solver, which assumes no prior knowledge about the original image. It is general in the sense that it can handle puzzles of unknown size, with pieces of unknown orientation, and even puzzles with missing pieces. Moreover, it can handle all the above, given pieces from multiple puzzles. Through an extensive evaluation we show that our approach outperforms state-of-the-art methods on commonly-used datasets.
New origin for approximate symmetries from distant breaking in extra dimensions

The recently proposed theories with TeV-scale quantum gravity do not have the usual ultraviolet desert between {approximately} 10{sup 3}-10{sup 19} GeV where effective field theory ideas apply. Consequently, the success of the desert in explaining approximate symmetries is lost, and theories of flavor, neutrino masses, proton longevity or supersymmetry breaking, lose their usual habitat. In this paper we show that these ideas can find a new home in an infrared desert: the large space in the extra dimensions. The main idea is that symmetries are primordially exact on our brane, but are broken at O(1) on distant branes. This breaking is communicated to us in a distance-suppressed way by bulk messengers. We illustrate these ideas in a number of settings: (1) We construct theories for the fermion mass hierarchy which avoid problems with large flavor-changing neutral currents. (2) We re-iterate that proton stability can arise if baryon number is gauged in the bulk. (3) We study limits on light gauge fields and scalars in the bulk coming from rare decays, astrophysics and cosmology. (4) We remark that the same ideas can be used to explain small neutrino masses, as well as hierarchical supersymmetry breaking. (5) We construct a theory withmore » bulk technicolor, avoiding the difficulties with extended technicolor. There are also a number of interesting experimental signals of these ideas: (1) Attractive or repulsive, isotope dependent sub-millimeter forces {approximately} 10{sup 6} times gravitational strength, from the exchange of light bulk particles. (2) Novel Higgs decays to light generation fermions plus bulk scalars. (3) Collider production of bulk vector and scalar fields, leading to {gamma} or jet+ missing energy signals as in the case of bulk graviton production, with comparable or larger rates. « less
Estimation of 3D device position by analyzing ultrasonic reflection signals

In future domestic context aware applications the location of mobile devices is often required. Ultrasound technology enables high resolution indoor position measurements. A disadvantage of state-of-the-art ultrasonic systems is that several base stations are required to estimate 3D position. Since fewer base stations would lead to lower cost and easier setup, a novel method is presented that requires just one base station. The method uses information from acoustic reflections in a room, and estimates 3D positions using an acoustic room-model. The method has been implemented, and verified within an empty room. It can be concluded that ultrasonic reflection data provides useful clues about the 3D position of a device.
Nursery Flower Plant Image Retrieval System Using Color & Shape Feature

1,2 Assistant Professor, Department of Electronics & Telecommunication Engineering, Bharati Vidyapeeth’s College of Engineering, Kolhapur416013, Maharashtra, INDIA. ____________________________________________________________________________________________________ Abstract: Image retrieval techniques have not been deployed significantly in Agriculture sector. Agricultural sector of Indian Economy is one of the most significant parts of India. About 75% people are living in rural areas and are still dependent on Agriculture. About 43% of India’s geographical area is used for agricultural activity. Image retrieval system is use full for the agricultural field to determine growth and insect attack. Also it can be use for the Detecting weeds in the field, whether or not a plant is damage by a specified illness and distinguish weeds form soil regions. We are going to use grab cut algorithm with MFMC for image segmentation. Feature extraction like color and shape, is done by the different color techniques with SIFT for shape.
Biochemical and immunocytological localization of molluscan small cardioactive peptides in the nervous system of Aplysia californica

High pressure liquid chromatography (HPLC) followed by bioassay on isolated snail hearts were used to locate two related peptides, termed small cardioactive peptides A and B (SCPA and SCPB) in each of the central ganglia of Aplysia. The peptides are most concentrated in the buccal ganglia, the ganglia involved in the control of feeding movements. Immunocytology with antisera raised to conjugated SCPB stained three groups of neurons in the buccal ganglia. One group consisted of relatively small neurons that were tightly clustered. The second group was comprised of larger neurons that were more scattered. The third group was made up of several neurons including the two largest in the ganglia, identified cells B1 and B2. B1 and B2 and other neurons in this group innervate the gut by way of the esophageal nerve. HPLC-bioassay of single, individually dissected B1 or B2 neurons demonstrated that the two peptides are present in a single cell. For B2, but not B1, choline injected into the cell body was converted to the conventional transmitter, acetylcholine. This indicates that, in addition to the two peptides, B2 also contains choline acetyltransferase, and raises the possibility that acetylcholine and the SCPs may act as co-transmitters in B2. Strong immunocytological staining of fibers and varicosities was observed in the neuropilar region of the cerebral, pleural, pedal, and abdominal ganglia. In addition to the buccal ganglia, immunoreactive neurons were observed in all of the other central ganglia. The high concentration of the SCPs and the relatively large number of immunoreactive neurons in the buccal ganglion suggest a particularly important role of these peptides specifically in feeding behavior. However, the widespread occurrence of the SCPs in fibers and neuronal cell bodies throughout the nervous system suggests that these peptides also may have additional behavioral functions in Aplysia.
Noise-constrained performance optimization by simultaneous gate and wire sizing based on Lagrangian relaxation

Noise, as well as area, delay, and power, is one of the most important concerns in the design of deep sub-micron ICs. Currently existing algorithms can not handle simultaneous switching conditions of signals for noise minimization. In this paper, we model not only physical coupling capacitance, bur also simultaneous switching behavior for noise optimization. Based on Lagrangian relaxation, we present an algorithm that can optimally solve the simultaneous noise, area, delay, and power optimization problem by sizing circuit components. Our algorithm, with linear memory requirement overall and linear runtime per iteration, is very effective and efficient. For example, for a circuit of 6144 wires and 3512 gates, our algorithm solves the simultaneous optimization problem using only 2.1 MB memory and 47 minute runtime to achieve the precision of within 1% error on a SUN UltraSPARC-I workstation.
An On-Road Wireless Sensor Network Approach for Urban Traffic State Monitoring

Wireless sensor networks are expected to be deployed on urban roadways to monitor the traffic continuously. One of the requirements of traffic monitoring is displaying the traffic states of the front roadways, which can guide the drivers to choose the right way and avoid potential traffic congestions. In this scenario, the information of traffic state changes should be refreshed as early as possible. We propose an adaptive segmentation of the traffic flow based on discrete Fourier transform, which responses timely to traffic state changes without inducing large error. On the other hand, considering the limited power of wireless sensor networks, we propose a novel algorithm for in-network aggregation of the traffic flow time-series, which reduces the communication cost between the sensor nodes and base station significantly. The proposed algorithm scales well with the size of the sensor networks. Our methods are computationally efficient and suitable to be implemented on sensor nodes. The primary experiments on PeMS data demonstrate the effectiveness and energy efficiency of our approach.
Individualizing self-explanation support for ill-defined tasks in constraint-based tutors

We present the first phase of a project with the goal of developing a general model of selfexplanation support, which could be used in constraint-based tutors for both welland ill-defined domains. We studied how human tutors provide additional support to students learning with an existing intelligent tutoring system designed to help students learn an ill-defined task (database modeling using the ER model). Although the tutors were not given specific instructions to facilitate self-explanation, there were instances when self-explanation support was provided. Analysis of these interactions indicates that they have helped the students to improve their understanding of database design. These findings will serve as the basis for defining the self-explanation model. We also discuss directions for future work.
Competency in computer instruction in Illinois Public Schools

Competency In Computer Instruction In Illinois Public Schools. Very few states have developed certification requirements for public school teachers of digital computing. Therefore it is not surprising that elementary and secondary school teachers have received limited computer training. This paper describes a series of workshops to be offered at Western Illinois University during 1979 leading to a “certificate of competency” for Illinois public school teachers. These workshops are designed to provide teachers and administrators with an introduction to the computing field. Topics will include computer literacy, instructional applications and techniques of digital computing, and teaching strategies and methods used in the instruction of computing within the public school environment.
Knee Pain Associated with Rupture of Tensor Vastus Intermedius, a Newly Discovered Muscle: A Case Report

Introduction: Muscle strains within the quadriceps muscle group are common and occur mostly in the rectus femoris. We report a case of an isolated rupture of the tensor vastus intermedius (TVI); a muscle that has recently been described. It belongs to the quadriceps muscle group and is closely related to the vastus lateralis and vastus intermedius. Case presentation: A healthy 62-year old woman presented with a history of a sudden onset of left knee and thigh pain after stumbling and preventing a near fall. Rupture of the aponeurotic tendon of the TVI was diagnosed by magnetic resonance imaging (MRI). Conservative treatment was successful. Four months after injury the patient returned to her pre-injury level of activity. MRI evaluation five months post-injury revealed full resorption of the muscular haematoma and a healed TVI aponeurosis with scar tissue formation. Conclusion: Due to its anatomic appearance, lesions to the TVI may be overlooked. The isolated rupture of the TVI in the present case further supports the recent finding, that the TVI is a distinct anatomical structure independent of the adjacent vasti.
Sorted Deferred Shading for Production Path Tracing

Ray‐traced global illumination (GI) is becoming widespread in production rendering but incoherent secondary ray traversal limits practical rendering to scenes that fit in memory. Incoherent shading also leads to intractable performance with production‐scale textures forcing renderers to resort to caching of irradiance, radiosity, and other values to amortize expensive shading. Unfortunately, such caching strategies complicate artist workflow, are difficult to parallelize effectively, and contend for precious memory. Worse, these caches involve approximations that compromise quality. In this paper, we introduce a novel path‐tracing framework that avoids these tradeoffs. We sort large, potentially out‐of‐core ray batches to ensure coherence of ray traversal. We then defer shading of ray hits until we have sorted them, achieving perfectly coherent shading and avoiding the need for shading caches.
Attentional and evaluative biases for smoking cues in nicotine dependence: component processes of biases in visual orienting

The present study investigated attentional and evaluative biases for smoking-related cues in cigarette smokers and non-smokers. Using a visual probe task, we manipulated the presentation conditions of the stimuli to examine: (1) whether smokers have a bias to allocate attention towards smoking-related pictures that appear below the threshold of conscious awareness; and (2) whether attentional biases for smoking-related pictures that appear above the threshold of awareness operate both in initial orienting and in the maintenance of attention. We also obtained explicit and implicit measures of the valence of the smoking-related pictures from pleasantness ratings and from behavioural responses on a stimulus–response compatibility (SRC) task. Results showed that smokers, but not non-smokers, had an attentional bias for smoking-related pictures which had been presented at two exposure durations (200 and 2000 ms). The bias was not found in a brief (17 ms) masked exposure condition, so there was no evidence that it operated preconsciously. Smokers also showed greater preferences for smoking-related than control cues, compared with non-smokers, on both the explicit and implicit indices of stimulus valence. Results are discussed with reference to incentive and cognitive models of addiction.
Dispositional Self-Confidence in Judgment and Framing Bias Susceptibility in a Dynamic Decision Making Environment

Decision-makers demonstrate framing bias when their decision making behavior is a function of the contextual presentation or framing (positive or negative) of the decision problem. Framing effects in simple, static situations (e.g., gambling) have been well documented, but past research on framing has typically ignored both dynamic environments and the effects of predispositional variables like risk-taking tendency and confidence in judgment. We examined the impact of these influences by exposing participants who measured either very high or low in decision making self-confidence to a high workload environment with either an “opportunity for gain” or a “threat of loss” decision frame condition. Participants performed a multi-task, computer-generated flight simulation program (the MAT) for 30 minutes. Results indicated that participants' actual performance on the MAT subtasks could be affected by the framing manipulation, and also that their decision strategies to optimize task performance were influenced by both by the framing manipulation and their self-confidence level.
Sensory‐specific satiety‐related olfactory activation of the human orbitofrontal cortex

When a food is eaten to satiety, its reward value decreases. This decrease is usually greater for the food eaten to satiety than for other foods, an effect termed sensory-specific satiety. In an fMRI investigation it was shown that for a region of the orbitofrontal cortex the activation produced by the odour of the food eaten to satiety decreased, whereas there was no similar decrease for the odour of a food not eaten in the meal. This effect was shown both by a voxel-wise SPM contrast (p <0.05 corrected) and an ANOVA performed on the mean percentage change in BOLD signal in the identified clusters of voxels (p <0.006). These results show that activation of a region of the human orbitofrontal cortex is related to olfactory sensory-specific satiety.
Supersymmetric field theories and cohomology

This is the Ph.D. dissertation of the author. The project has been motivated by the conjecture that the Hopkins-Miller tmf spectrum can be described in terms of `spaces' of conformal field theories. In this dissertation, spaces of field theories are constructed as classifying spaces of categories whose objects are certain types of field theories. If such a category has a symmetric monoidal structure and its components form a group, by work of Segal, its classifying space is an infinite loop space and defines a cohomology theory. This has been carried out for two classes of field theories: (i) For each integer n, there is a category SEFT_n whose objects are the Stolz-Teichner (1|1)-dimensional super Euclidean field theories of degree n. It is proved that the classifying space |SEFT_n| represents degree-n K or KO cohomology, depending on the coefficients of the field theories. (ii) For each integer n, there is a category AFT_n whose objects are a kind of (2|1)-dimensional field theories called `annular field theories,' defined using supergeometric versions of circles and annuli only. It is proved that the classifying space |AFT_n| represents the degree-n elliptic cohomology associated with the Tate curve. To the author's knowledge, this is the first time the definitions of low-dimensional supersymmetric field theories are given in full detail.