Miracle-dz/UniFAR-FTUs huggingface dataset:
Effective action of matter fields in four-dimensional string orientifolds

We study various aspects of the Kahler metric for matter fields in = 1,2 orientifold compactifications of type IIB string theory. The result has an infrared-divergent part which reproduces the field-theoretical anomalous dimensions, and a moduli-dependent part which comes from = 2 sectors of the orientifold. For the = 2 orientifolds, we also compute the disk amplitude for two matter fields on the boundary and a twisted closed string modulus in the bulk. Our results are in agreement with supersymmetry: the singlet under the SU(2)R R-symmetry has vanishing coupling, while the coupling of the SU(2)R triplet does not vanish.
Capturing Neurotransmitter Receptors and Ion Channels High-resolution Techniques to Localize Membrane Proteins

Atomic force microscopy (AFM) is a powerful tool in the suite of nanoscale characterization techniques that provides a variety of information including topography, mechanical properties, and electrical properties with nanoscale lateral and sub-nanometer vertical resolution. Cryoultramicrotomy is an essential tool for effective polymer sample preparation for atomic force microscopy (AFM) in order to get rid of the polymer skin from processing and to ensure a smooth surface for analysis. We present an AFM study of the effect of tensile stress on a cryotomed impact copolymer (ICP), a multicomponent material typically used in automotive and appliance applications where a balance of stiffness and toughness is needed to investigate material deformation and interface adhesion as a function of tensile stress.
Privacy preserving social networking through decentralization

The recent surge in popularity of on-line social network applications raises serious concerns about the security and privacy of their users. Beyond usual vulnerabilities that threaten any distributed application over Internet, on-line social networks raise specific privacy concerns due their inherent handling of personal data. In this paper we point to the centralized architecture of existing on-line social networks as the key privacy issue and suggest a solution that aims at avoiding any centralized control. Our solution is an on-line social network based on a peer-to-peer architecture. Thanks to its fully distributed nature, the peer-to-peer architecture inherently avoids centralized control by any potentially malicious service provider. In order to cope with the lack of trust and lack of cooperation that are akin to peer-to-peer systems and to assure basic privacy among the users of the social network, our solution leverages the trust relationships that are part of the social network application itself. Privacy in basic data access and exchange operations within the social network is achieved thanks to a simple anonymization technique based on multi-hop routing among nodes that trust each other in the social network. Similarly cooperation among peer nodes is enforced based on hop-by-hop trust relationships derived from the social network.
A pr 2 00 8 Quotients by non-reductive algebraic group actions

Geometric invariant theory (GIT) was developed in the 1960s by Mumford in order to construct quotients of reductive group actions on algebraic varieties and hence to construct and study a number of moduli spaces, including, for example, moduli spaces of bundles over a nonsingular projective curve [33, 35, 36]. Moduli spaces often arise naturally as quotients of varieties by algebraic group actions, but the groups involved are not always reductive. For example, in the case of moduli spaces of hypersurfaces (or, more generally, complete intersections) in toric varieties (or, more generally, spherical varieties), the group actions which arise naturally are actions of the automorphism groups of the varieties [6, 7]. These automorphism groups are not in general reductive, and when they are not reductive we cannot use classical GIT to construct (projective completions of) such moduli spaces as quotients for these actions.
Guided Chaos

In this article, we have presented, in what we believe to be the first of its kind, the design and simulated testing of automated path planning and control strategies for a fixed-wing UAV executing an unpowered descent for landing during an emergency. Simulated test results demonstrate the ability of the gliding aircraft to follow the prescribed path in changing winds, with average path deviation errors that are comparable to or even better than that of manned, powered aircraft. To further verify the performances of our algorithms, we are currently preparing for flight tests with a Boomerang UAV.
Improved Computational Tools for Concept Development based on Sketches and Advanced CAD Technologies

Sketching continues to be a vital part of methods and technologies related to Concept Development, including those analyzed in this paper: "concept design with constraints", "solid from sketch", "sketching on a point cloud" and "geometric modeling of design constraints". Existing methods are analyzed and critical subproblems are identified. New solution methods are proposed for the subjects "solid from sketch" and "sketching on a point cloud". Sketching continues to be one of the most important modeling activities in Concept Design & New Product Development, since it is a powerful tool for these early stages of the Product Life-Cycle. Indeed, recent research establishes that a sketch is much more than a vague description of 2D geometry. A sketch often includes information beyond the geometric description of the product, like a functional decomposition of the product, diagrammatic analyses of nongeometric concepts, and elements related to the designer's work method. A sketch is not just an "output device" but also an "input device" for the designer's mental processes. This paper examines four subjects, related to Concept Development, all of which involve sketching. More specifically, Section 2 presents a critical view on standard "concept design with constraints" and identifies shortcomings in this methodology. Section 3 focuses on the "solid from sketch" problem and proposes a new method that is not using standard heuristics, which, according to recent research, are highly unreliable. Section 4 explores a new subject, sketching on a point cloud, in the context of "point-based CAD & Concept Development". Finally, Section 5 deals with complex design-constraints and elaborates on a new solution methodology that combines Solid Modeling with Sketching and Geometric-Constraint Solving. 2. TWO-DIMENSIONAL CONCEPTUAL DESIGN: A METHODOLOGY AND CAD SYSTEM BASED ON SKETCHES AND CONSTRAINTS
Regulation of Arabidopsis root development by small signaling peptides

Plant root systems arise de novo from a single embryonic root. Complex and highly coordinated developmental networks are required to ensure the formation of lateral organs maximizes plant fitness. The Arabidopsis root is well-suited to dissection of regulatory and developmental networks due to its highly ordered, predictable structure. A myriad of regulatory signaling networks control the development of plant roots, from the classical hormones such as auxin and cytokinin to short-range positional signaling molecules that relay information between neighboring cells. Small signaling peptides are a growing class of regulatory molecules involved in many aspects of root development including meristem maintenance, the gravitropic response, lateral root development, and vascular formation. Here, recent findings on the roles of regulatory peptides in these aspects of root development are discussed.
Three tanks level estimation using Divided Difference Filters

This paper deals with state estimation of nonlinear systems using Divided Difference Filters (DDF) which are derivate-free Kalman filtering approach. The performances in convergence, robustness and numerical stability of DDF, in state estimation of nonlinear systems are illustrated by an application to a three-tank system. The DDF are easy to implement because they require only the state and the output models and no partial derivatives are looked-for.
Designing a Monitoring Program to Estimate Estuarine Survival of Anadromous Salmon Smolts: Simulating the Effect of Sample Design on Inference

A number of researchers have attempted to estimate salmonid smolt survival during outmigration through an estuary. However, it is currently unclear how the design of such studies influences the accuracy and precision of survival estimates. In this simulation study we consider four patterns of smolt survival probability in the estuary, and test the performance of several different sampling strategies for estimating estuarine survival assuming perfect detection. The four survival probability patterns each incorporate a systematic component (constant, linearly increasing, increasing and then decreasing, and two pulses) and a random component to reflect daily fluctuations in survival probability. Generally, spreading sampling effort (tagging) across the season resulted in more accurate estimates of survival. All sampling designs in this simulation tended to under-estimate the variation in the survival estimates because seasonal and daily variation in survival probability are not incorporated in the estimation procedure. This under-estimation results in poorer performance of estimates from larger samples. Thus, tagging more fish may not result in better estimates of survival if important components of variation are not accounted for. The results of our simulation incorporate survival probabilities and run distribution data from previous studies to help illustrate the tradeoffs among sampling strategies in terms of the number of tags needed and distribution of tagging effort. This information will assist researchers in developing improved monitoring programs and encourage discussion regarding issues that should be addressed prior to implementation of any telemetry-based monitoring plan. We believe implementation of an effective estuary survival monitoring program will strengthen the robustness of life cycle models used in recovery plans by providing missing data on where and how much mortality occurs in the riverine and estuarine portions of smolt migration. These data could result in better informed management decisions and assist in guidance for more effective estuarine restoration projects.
The Vickrey Auction and Algorithmic Mechanism Design 1 . 1 Auctioning Off a Single Good

These are lecture notes for one third of the class CS364B, Topics in Algorithmic Game Theory, offered at Stanford University in the Fall 2005 term. They cover the topic of combinatorial auctions, with an undeniably strong bias toward recent work by the “STOC/FOCS” (algorithms and complexity) community. I assume that the reader has a solid background in undergraduate algorithms and complexity; occasionally I assume a bit more (e.g. Chernoff bounds). In preparing these notes, I have tried to strike a balance between two goals: to maximize their usefulness for the students in the course and for the scientific community at large, and to minimize the work required on my part. Accordingly, these notes were written quickly and contain few embellishments beyond what transpired in lecture. They have been proofread, but only lightly, and I am certainly not writing them with the same care as my research papers. You will often encounter missing details, inadequate discussions of related work, mere special cases of more general known results, and typos. I hope that this informality also has a plus side, however, making many of the basic results on combinatorial auctions more easily accessible. Finally, entire topics within combinatorial auctions have been completely ignored, either due to time constraints or to my lack of knowledge about them. I apologize if your favorite results have not been included. I welcome comments on these notes, although I hope you can appreciate that maintaining them will not be a high priority of mine. I am particularly interested in technical errors and incorrect/incomplete attributions, but am also glad to hear about suggestions for results that I should have included, further intuition, simpler proofs, and so on. Finally, I am indebted to the students of CS364B, the course’s teaching assistant, Zoë Abrams, and my co-instructor Jason Hartline. Their comments and questions have significantly influenced these notes.
Association analysis on casualty and residential environment data of earthquake

Data Mining is to pick up unknown, potential and useful information from vast, incomplete, noisy, vague and random data. Association Rules analysis is frequently used in data mining that analyze data and find the association or contact between things. This paper applies the Association Rules to the analysis of relationship between casualty and residential environment in earthquake. The data comes from the database of the earthquake of the southwest China. According to the analysis of the relationship among the casualty, terrain, construction structure, population density and earthquake magnitude with the Association Rules, the author has found some results that are consistent with reality and can play a guide role in the following earthquake disaster assessment.
An Study on Performance Analysis of Ring Based Index Data Management in WSN

-In Wireless sensor network management is the process of managing, monitoring, and controlling the behavior of each sensor network. The limitation of wireless sensor networks is limited storage space, limited battery power and limited data processing. Communication takes more source of energy consumption in WSN; various schemes have been proposed to reduce the internodes transmissions. Strategies like Data Compression, In-Network data processing better topology management; Caching and Indexing reduce the length of path travelled by data and or queries within the network. In this paper, we propose an index-based data scheme to solve the problem Keywords--Wireless sensor networks, System Model, IndexBased Data Dissemination, Adaptive Ring-based Index (ARI) Scheme
Design of a Cloud Service Middleware to Utilize Free Minutes of Public Cloud Resources

Complexity of cloud services acts as a barrier towards adopting cloud to some of the Cloud Service Users. Cloud Service Middleware plays an important role to get rid of such problems. The middleware manages and optimizes the cloud resources to execute various jobs submitted by the users. A middleware can be enhanced to utilize the idle time of the reserved resources in cloud environment by scheduling these resources free of cost to jobs submitted by the same Cloud Service User (CSU) or a different CSU. This enhancement not only makes it possible to utilize the resources to their fullest extent, but also reduces the usage cost of the CSU who reserved the resources (or a different CSU in certain cases). However, finding the mapping between the jobs and available pool of resources is a key challenge to the design of a middleware. This paper proposes some scheduling algorithms to find such mappings that minimizes the job execution cost within public cloud.
Mental Health Benefits of Long-Term Exposure to Residential Green and Blue Spaces: A Systematic Review

Many studies conducted during the last decade suggest the mental health benefits of green and blue spaces. We aimed to systematically review the available literature on the long-term mental health benefits of residential green and blue spaces by including studies that used standardized tools or objective measures of both the exposures and the outcomes of interest. We followed the PRISMA statement guidelines for reporting systematic reviews and meta-analysis. In total 28 studies were included in the systematic review. We found limited evidence for a causal relationship between surrounding greenness and mental health in adults, whereas the evidence was inadequate in children. The evidence was also inadequate for the other exposures evaluated (access to green spaces, quality of green spaces, and blue spaces) in both adults and children. The main limitation was the limited number of studies, together with the heterogeneity regarding exposure assessment. Given the increase in mental health problems and the current rapid urbanization worldwide, results of the present systematic review should be taken into account in future urban planning. However, further research is needed to provide more consistent evidence and more detailed information on the mechanisms and the characteristics of the green and blue spaces that promote better mental health. We provide recommendations for future studies in order to provide consistent and evidence-based recommendations for policy makers.
Genotypic analysis of two hypervariable human cytomegalovirus genes

Most human cytomegalovirus (HCMV) genes are highly conserved in sequence among strains, but some exhibit a substantial degree of variation. Two of these genes are UL146, which encodes a CXC chemokine, and UL139, which is predicted to encode a membrane glycoprotein. The sequences of these genes were determined from a collection of 184 HCMV samples obtained from Africa, Australia, Asia, Europe, and North America. UL146 is hypervariable throughout, whereas variation in UL139 is concentrated in a sequence encoding a potentially highly glycosylated region. The UL146 sequences fell into 14 genotypes, as did all previously reported sequences. The UL139 sequences grouped into 8 genotypes, and all previously reported sequences fell into a subset of these. There were minor differences among continents in genotypic frequencies for UL146 and UL139, but no clear geographical separation, and identical nucleotide sequences were represented among communities distant from each other. The frequent detection of multiple genotypes indicated that mixed infections are common. For both genes, the degree of divergence was sufficient to preclude reliable sequence alignments between genotypes in the most variable regions, and the mode of evolution involved in generating the genotypes could not be discerned. Within genotypes, constraint appears to have been the predominant mode, and positive selection was detected marginally at best. No evidence was found for linkage disequilibrium. The emerging scenario is that the HCMV genotypes developed in early human populations (or even earlier), becoming established via founder or bottleneck effects, and have spread, recombined and mixed worldwide in more recent times. J. Med. Virol. 80:1615–1623, 2008. © 2008 Wiley‐Liss, Inc.
A-Wristocracy: Deep learning on wrist-worn sensing for recognition of user complex activities

In this work we present A-Wristocracy, a novel framework for recognizing very fine-grained and complex inhome activities of human users (particularly elderly people) with wrist-worn device sensing. Our designed A-Wristocracy system improves upon the state-of-the-art works on in-home activity recognition using wearables. These works are mostly able to detect coarse-grained ADLs (Activities of Daily Living) but not large number of fine-grained and complex IADLs (Instrumental Activities of Daily Living). These are also not able to distinguish similar activities but with different context (such as sit on floor vs. sit on bed vs. sit on sofa). Our solution helps accurate detection of in-home ADLs/ IADLs and contextual activities, which are all critically important for remote elderly care in tracking their physical and cognitive capabilities. A-Wristocracy makes it feasible to classify large number of fine-grained and complex activities, through Deep Learning based data analytics and exploiting multi-modal sensing on wrist-worn device. It exploits minimal functionality from very light additional infrastructure (through only few Bluetooth beacons), for coarse level location context. A-Wristocracy preserves direct user privacy by excluding camera/ video imaging on wearable or infrastructure. The classification procedure consists of practical feature set extraction from multi-modal wearable sensor suites, followed by Deep Learning based supervised fine-level classification algorithm. We have collected exhaustive home-based ADLs and IADLs data from multiple users. Our designed classifier is validated to be able to recognize very fine-grained complex 22 daily activities (much larger number than 6-12 activities detected by state-of-the-art works using wearable and no camera/ video) with high average test accuracies of 90% or more for two users in two different home environments.
Effects of Danshen Ethanol Extract on the Pharmacokinetics of Fexofenadine in Healthy Volunteers

This study investigated the effect of multidose administration of danshen ethanol extract on fexofenadine pharmacokinetics in healthy volunteers. A sequential, open-label, two-period pharmacokinetic interaction design was used. 12 healthy male volunteers received a single oral dose of fexofenadine (60 mg) followed by danshen ethanol extract (1 g orally, three times a day) for 10 days, after which they received 1 g of the danshen extract with fexofenadine (60 mg) on the last day. The plasma concentrations of fexofenadine was measured by LC-MS/MS. After 10 days of the danshen extract administration, the mean AUC and C max⁡ of the fexofenadine was decreased by 37.2% and 27.4% compared with the control, respectively. The mean clearance of fexofenadine was increased by 104.9%. The in vitro study showed that tanshinone IIA and cryptotanshinone could induce MDR1 mRNA. This study showed that multidose administration of danshen ethanol extract could increase oral clearance of fexofenadine. The increased oral clearance of fexofenadine is attributable to induction of intestinal P-glycoprotein.
Analytical Modelling of Localized P2P Streaming Systems under NAT Consideration

NAT has been design to work with Internet client-server structure. The emerged of Peer-to-Peer (P2P) networks and applications revealed the incompatibility between P2P applications and NAT. Many methods has been developed and implemented to solve connectivity between peers behind NAT devices. Nevertheless, various NATing types can’t communicate with one another. In this work, we are going to study the impact of NAT types on the start-up delay time of peers in P2P streaming systems. We will demonstrate the ability of NATing to expel peers in P2P live streaming systems. A new neighbour selecting algorithm will be proposed. This algorithm will utilize NAT-types configurations as a parameter. We have utilized NS2 simulator to show the performance of the new algorithm in increasing the connectivity, reducing the number of expelled peers and implementing of locality.
Optimizing the handover call blocking probability in cellular networks with high speed moving terminals

This letter presents a two-layer cellular architecture which optimizes the handoff blocking probability performance of high-speed moving terminals (HSMT) in a congested urban area. The lower layer of the proposed architecture is based on a microcellular solution, for absorbing the traffic loads of both the low-speed moving terminals (LSMT) and the new calls of HSMT. The higher layer is based on a macrocell umbrella solution, for absorbing the traffic load of the existed handoff calls of the HSMT. The results show that using the optimum number of channels in each layer, the handoff call blocking probability of the HSMT is optimized having the minimum effect on the call blocking probability of the microcellular layer.
Scenarios for embracing errorful automatic speech recognition

Errorful speech recognition can be embraced in the design of automatic speech recognition (ASR) support for the Magistrates Court. In this paper we describe processes and scenarios that led to a design by examining work practices and considering a more realistic understanding of ASR technology than is promoted in ASR literature.This paper also uses scenarios in a novel way to package and communicate field work data in a way that is accessible to a wide range of stakeholders.