Miracle-dz/UniFAR-FTUs huggingface dataset:
Using Backprojections for Fine Motion Planning with Uncertainty

This paper outlines a method for planning motions in the presence of uncertainty. Tasks are modeled as geometrical goals in configuration space. The planning process consists of determining regions from which particular motions are guar anteed to reach a desired goal successfully. An algorithm is presented for backprojecting from desired goal states. The backprojection regions are computed by erecting constraints that geometrically capture the uncertainty in motion. The relationship of backprojections to goal recognizability is discussed within the formal framework of preimages. This relationship suggests a partitioning of desired goal states into recognizable goal states. Backprojections are actually per formed from this partitioning.
The Ghost Festival in Medieval China

also a very pragmatic affair. And, since his Episcopacy coincided with the chaotic condition of post-World War I, he had to muster all his energies for such far-reaching objectives as "world peace" and the "ecumenical movement" (including the successful agreement for intercommunion between the Swedish and British churches) and to the more immediate problems confronting people, for example, civil rights, poverty, hunger, housing, economic welfare, illness, migration, and participatory democracy, which were seriously taken up in the Universal Christian Conference on Life and Work, held in Stockholm in 1925 under S6derblom's far-sighted leadership. Because of this noteworthy contributions to the causes of world peace, international understanding, and the ecumenical movement, he received the Nobel Peace Prize in 1930. His last significant scholarly activity was the Gifford Lectureship for 1931-32 in Scotland, in which he followed the footsteps of such major stars as Max Muller, C. P. Tiele, Andrew Lang, William James, C. G. Frazer, and Henri Bergson. Unfortunately, although he died before completing his lecture series, those lectures that were delivered were published as The Living God (1933, reprinted in 1962). It is a good summation of the multidimensional sensitivities of this unusual person. I recommend the present book very highly to students of various religious/ theological disciplines with the hope that they will not forget the lifelong struggle of a rare, heroic person who wanted to combine his scholarship and religious vocation.
Formation and confinement of Wannier excitons in free argon clusters.

The evolution of Wannier excitons in free argon clusters is investigated using fluorescence excitation spectroscopy with synchrotron-radiation excitation. The energetic positions of the absorption bands are analyzed as a function of the cluster size from their appearance in small clusters up to the solid-state limit in crystallites with a radius R≃200 A. A three- and two-dimensional confinement of bulk and surface states is observed
Fast readout of multi-channel detectors by using a CCD/CMOS camera

The multi-channel detectors are essential part of modern experiments. The number of readout channels for every future detector is usually much higher than before. Usually the number of channels of a detector constrains the minimal data acquisition system (DAQ) requirements and the total price of the readout system. For the future groundbased gamma-ray instruments like for example, the Cerenkov Telescope Array (CTA) the DAQ system should fulfill several stringent requirements: low power consumption, compactness, ability to record a rate of 1kHz for several thousand channels and affordable cost per channel. We present here an alternative to the conventional ADC system. The analog pulses from the light sensors are converted into optical signals and fed into the optical fibers, which are bundled as a fiber optic plate (FOP). The externally triggered high-speed CMOS camera coupled to a fast Gated Image Intensifier makes a photo of the FOP, when the optical signal flashes the FOP. The Gated Image Intensifier serves as an ultra-fast optical shutter and event delimiter.
EDoS Armor: A cost effective economic denial of sustainability attack mitigation framework for e-commerce applications in cloud environments

The promise of pay-as-you-go and scalable model of Cloud Computing has attracted a large number of medium and small enterprises to adopt E-Commerce model of conducting on-line businesses. While E-Commerce applications on the Cloud expand businesses by making them more widely accessible, they also makes these applications susceptible to economic denial of sustainability attacks - a form of application layer DDoS attack that drive up the cost of Cloud computing by using up application resources. This paper focuses on detection and mitigation of EDoS for E-Commerce based applications. EDoS is different from traditional DDoS in that, the intention of the latter is to consume all the resources (like memory, bandwidth, CPU etc) of the Web Server thus making it unavailable to its legitimate users. EDoS on the other hand is caused by malicious users who are not interested in following the regular workflow of an E-commerce application by purchasing items but by employing it for their own purposes of entertainment, price-checks and idle surfing. We have a twofold solution, (i) admission control and (ii) congestion control. In the first, we limit number of clients that can simultaneously send requests, thus allowing only enough clients that can be served easily within available resources on the Web server. In the second, we change the priority of allowed clients based on the type of resources they visit and type of activities they perform, thus making the maximum resources available to good clients. We have integrated and evaluated this solution in a Web Application Firewall and found it quite effective in term of resources distribution among clients ranging from good and bad clients.
Metadispersion in anisotropic and bianisotropic media

In this work an innovative method for the characterization of dispersion in metamaterials is presented. The attention is focused on structures realized by stacks of planar periodic surfaces. The analysis procedure subdivides the artificial material into its constituent planes, performing a full wave analysis of the individual planar periodic structures, and uses analytic formulas from Bloch theory to determine the dispersion characteristics of the overall artificial medium. Physical properties of the equivalent admittance matrix modeling the single planar sheets are exploited to analytically describe the dispersion properties of the metamaterial in the whole first Brillouin zone, starting from a limited number of full-wave simulations.
DEPARTMENT OF ECONOMICS Working Paper UNIVERSITY OF MASSACHUSETTS AMHERST Securing Basic Well-being for All by

The purpose of this paper is to examine the possibility of a social choice rule to implement a social policy for ìsecuring basic well-being for all. î The paper introduces a new scheme of social choice, called a social relation function (SRF), which associates a reáexive and transitive binary relation over a set of social policies to each proÖle of individual well-being appraisals and each proÖle of group evaluations. As part of the domains of SRFs, the available class of group evaluations is constrained by three conditions. Furthermore, the non-negative response (NR) and the weak Pareto condition (WP) are introduced. NR demands giving priority to group evaluation, while treating the groups as formally equal relative to each other. WP requires treating impartially the well-being appraisals of all individuals. In conclusion, this paper shows that under some reasonable assumptions, there exists an SRF that satisÖes NR andWP.
A Special Construction of Subepidermal Capillary Loops in the Hippopotamus (Hippopotamus amphibius)

Based on LM, TEM, and histochemical methods, the study describes the specific structure of subepidemal capillary loops in the integument of the hippopotamus (Hippopotamus amphibius). At 25– 60 µm, the diameter of the capillaries was more than twenty times larger than those found in other mammals, as was the diameter of the epidermal contact area of the hairpin turn, which had enlarged up to 200–400 µm2. At about 13,400, the number of loops per cm2 was three times higher than in the few other mammalian species measured to date. The remarkable sheath (thickness 2– 20 µm) of the capillary loops consists of a multitude of fine collagen IV fibres, which were in direct contact with the epidermal stratum (str.) basale, emphasizing an origin from the lamina fibroreticularis of the basement membrane. Additionally, the sheath contained many regions filled with free fatty acids. All observations confirmed the view that the walls of the subepidermal capillaries in the hippopotamus are adapted to withstand high blood pressure, permitting a high rate of blood vesselbased heat transfer from the periphery of the body. Until now this function is only known as an important thermoregulatory response in highly active mammals, e.g. dolphins. However, under hot climatic conditions but without strong exercise for cooling, such ability could be an effective and energy-saving procedure in semi-aquatic mammals.
On Bayesian Analysis of Generalized Linear Models Using the Jacobian Technique

In this article, we obtain an estimator of the regression parameters for generalized linear models, using the Jacobian technique. We restrict ourselves to the natural exponential family for the response variable and choose the conjugate prior for the natural parameter. Using the Jacobian of transformation, we obtain the posterior distribution for the canonical link function and thereby obtain the posterior mode for the link. Under the full rank assumption for the covariate matrix, we then find an estimator for the regression parameters for the natural exponential family. Then the proposed estimator is specially derived for the Poisson model with log link function, and the binomial response model with the logit link function. We also discuss extensions to the binomial response model when covariates are all positive. Finally, an illustrative real-life example is given for the Poisson model with log link. In order to estimate the standard error of our estimators, we use the Bernstein-von Mises theorem. Finally, we compare the results using our Jacobian technique with a maximum likelihood estimates for the regression parameters.
HapticGEAR: the development of a wearable force display system for immersive projection displays

Describes the design and implementation of an artificial force display for immersive projection displays (IPD) such as CAVE or CABIN. In order to give the user maximum freedom of motion in the large virtual space generated by an IPD, it is necessary to use a portable force display that is self-contained on the user's body. Therefore, we developed a wearable force display called HapticGEAR. It is a backpack-type device that transmits applied forces to the wearer by using a wire-tension mechanism. The device is designed such that it minimizes fatigue for the wearer and does not interrupt the user's motion and view. Also, we integrated the device into CABIN and experimentally evaluated both the accuracy it achieved in tracing objects and the displayed haptic sensation.
Tuning Agent's Profile for Similarity Measure in Description Logic ELH

In Description Logics (DLs), concept similarity measure aims at identifying a degree of commonality of two given concepts and is often regarded as a generalization of the classical reasoning problem of equivalence. That is, any two concepts are equivalent if and only if their similarity degree is one. When two concepts are not equivalent, the level of similarity varies depending not only on the objective factors (e.g. the structure of concept descriptions) but also on the subjective factors (i.e. the agent’s preferences). Realistic ontologies are generally complex. Methodologies for tuning a measure to conform with the agent’s preferences should be practical, i.e. it is doable in practice. In this work, we investigate and formalize the task of tuning the preference functions based on the information defined in a TBox and an ABox. We also show how the proposed approaches can be reconciled with the measure simπ, i.e. a concept similarity measure under preference profile for DL ELH . Finally, the paper relates the approach to others and discusses future direction.
A low-cost broadband bondwire interconnect for heterogeneous system integration

A low-cost broadband interconnect, composed of bondwires and transmission lines, is proposed for heterogeneous system integration. By designing the length and the characteristic impedance of the transmission lines, the bond wire effect can be reduced to provide an interconnect with good return loss and low insertion loss. In this work, the chip and the carrier are realized in 90-nm CMOS and GIPD process, respectively. Measured results show that the return loss and the insertion loss are better than 10 dB and 1.1 dB, respectively, from DC to 45.2 GHz.
A Case for Flash Memory SSD in Hadoop Applications

As the access speed gap between DRAM and storage devices such as hard disk drives is ever widening, the I/O module dominantly becomes the system bottleneck. Meanwhile, the map-reduce parallel programming model has been actively studied for the last few years. In this paper, we will show empirically show that flash memory based SSD(Solid State Drive) is very beneficial when used as local storage devices in IO-intensive map-reduce applications (e.g. sorting) using Hadoop open source platform. Specifically, we present that external sorting algorithm in Hadoop with SSD can outperform the algorithm run with hard disk by more than 3. In addition, we also demonstrate that the power consumption can be drastically reduced when SSDs are used.
Molecular cloning, DNA sequence, and gene expression of the oxalyl-coenzyme A decarboxylase gene, oxc, from the bacterium Oxalobacter formigenes

Oxalic acid, a highly toxic by-product of metabolism, is catabolized by a limited number of bacterial species by an activation-decarboxylation reaction which yields formate and CO2. oxc, the gene encoding the oxalic acid-degrading enzyme oxalyl-coenzyme A decarboxylase, was cloned from the bacterium Oxalobacter formigenes. The DNA sequence revealed a single open reading frame of 1,704 bp capable of encoding a 568-amino-acid protein with a molecular weight of 60,691. The identification of a presumed promoter region and a rho-independent termination sequence indicates that this gene is not part of a polycistronic operon. A PCR fragment encoding the open reading frame, when overexpressed in Escherichia coli, produced a product which cross-reacted antigenically with native enzyme on Western blots (immunoblots), appeared to form homodimers spontaneously, and exhibited enzymatic activity similar to that of the purified native enzyme.
19.3 A 50-to-66GHz 65nm CMOS all-digital fractional-N PLL with 220fsrms jitter

Digital-PLL frequency synthesizers for wireless applications have become popular in the sub-10GHz range. However, mm-wave synthesizers still rely on analog PLLs, predominantly of the integer-N type [1]. This is due to limited DCO tuning resolution and challenges in phase digitization including limited resolution, linearity, and input frequency of the TDC. The 60GHz ADPLL in [2] uses a 32× CML/injection-locked-frequency-divider chain in the DCO-TDC interface, which results in high power consumption (>0.5 of total power), large area, and high in-band phase noise. This paper presents a 60GHz phase-domain ADPLL with a 16GHz tuning range, digital phase extraction at fDCO/4, and several on-chip calibration techniques that enable low in-band phase noise and spurs.
The co‐crystal structure of unliganded bovine α‐thrombin and prethrombin‐2: Movement of the Tyr‐Pro‐Pro‐Trp segment and active site residues upon ligand binding

Unliganded bovine α‐thrombin and prethrombin‐2 have been co‐crystallized, in space group P21212, using either ammonium sulfate or polyethylene glycol 2000 (PEG2K), and their structures determined at 2.2 Å and 2.3 Å, respectively. Initial phases were determined by molecular replacement and refined using XPLOR to final R factors of 0.187 (Rfree = 0.255) and 0.190 (Rfree = 0.282) for the salt and PEG2K models, respectively. The apo‐enzyme form of bovine α‐thrombin shows dramatic shifts in placement for the Tyr‐Pro‐Pro‐Trp segment, for Glu‐192, and for the catalytic residues His‐57 and Ser‐195, when compared to 4 thrombin complexes representing different states of catalysis, namely (1) the Michaelis complex (residues 7‐19 of fibrinogen Aa with a non‐cleavable scissile bond), (2) enzyme‐inhibitor complex (D‐Phe‐Pro‐Arg chloromethylketone), (3) enzyme product complex (residues 7‐16 of fibrinopeptide A), and (4) the exosite complex (residues 53‐64 of hirudin). The structures of bovine and human prethrombin‐2 are generally similar to one another (RMS deviation of 0.68 8,) but differ significantly in the Arg‐15/Ile‐16 cleavage region and in the three activation domains, which are disordered in bovine prethrombin‐2, analogous to that seen for trypsinogen.
Angular Domain Data-Assisted Channel Estimation for Pilot Decontamination in Massive MIMO

Massive Multiple-Input-Multiple-Output (M-MIMO) system is a promising technology that offers to mobile networks substantial increase in throughput. In Time-Division Duplexing (TDD), the uplink training allows a Base Station (BS) to acquire Channel State Information (CSI) for both uplink reception and downlink transmission. This is essential for M-MIMO systems where downlink training pilots would consume large portion of the bandwidth. In densely populated areas, pilot symbols are reused among neighboring cells. Pilot contamination is the fundamental bottleneck on the performance of M-MIMO systems. Pilot contamination effect in antenna arrays can be mitigated by treating the channel estimation problem in angular domain where channel sparsity can be exploited. In this paper, we introduce a codebook that projects the channel into orthogonal beams and apply Minimum Mean-Squared Error (MMSE) criterion to estimate the channel. We also propose data-aided channel covariance matrix estimation algorithm for angular domain MMSE channel estimator by exploiting properties of linear antenna array. The algorithm is based on simple linear operations and no matrix inversion is involved. Numerical results show that the algorithm performs well in mitigating pilot contamination where the desired channel and other interfering channels span overlapping angle-of-arrivals.
Software Visualisation of Java Programs in InspectJ

Visualisation is a powerful method for explaining how programs work. However, while it is advantageous in theory, it is not used as frequently as it might be. Patterns may be used to describe architectures, so in this paper we present a pattern language in two parts. The (cid:12)rst part describes a set of patterns for approaching the development of program-speci(cid:12)c visualisations. The second focusses on actual implementation of the visualisations using the InspectJ framework, which uses AspectJ to monitor programs at run time. The patterns step through the process of building a visualisation from start to (cid:12)nish, featuring a running example of the development of a visualisation for a simulation program. After reading these patterns, you should be able to use InspectJ to create visualisations for your own Java programs.
Human Mobility Prediction Based on Social Media with Complex Event Processing

The combination of mobile and social media sensors is foreseen to become a crucial course of action so as to comprehensively capture and understand the movement of people in large spatial regions. In that sense, the present work describes a novel personal location predictor that makes use of these two types of sensors. Firstly, it extracts the mobility models of an area capturing aspects related to particular users along with crowd-based features on the basis of geotagged tweets. Unlike previous approaches, the proposed solution mines such models in an online manner so that no previous off-line training is required. Then, on the basis of such models, a predictor able to forecast the next activity and position of a user is developed. Finally, the described approach is tested by using Twitter datasets from two different cities.
Physical Activity Levels, Sport Activities, and Risk of Acute Myocardial Infarction

Physical activity (PA) during leisure time has been inversely associated with cardiovascular disease risk in the Western populations. We evaluated PA at work and leisure time in relation to acute myocardial infarction (AMI) in Chinese population. We conducted a hospital-based case–control study. The cases had first AMI (n = 2909). The controls (n = 2947) were matched to the cases in age and sex. The odds ratios (ORs) of leisure-time PA for strenuous exercise compared to mainly sedentary was 0.74 (95% confidence interval [CI]: 0.61-0.90) and for moderate exercise it was 0.96 (95% CI: 0.85-1.08). Multivariate adjustment did not substantially alter the association. The ORs of work-related PA for heavy PA compared to mainly sedentary was 1.44 (95% CI: 1.06-1.94), for climbing and lifting was 1.00 (95% CI: 0.77-.30), and for walking was 0.90 (95%CI: 0.75-1.07). Leisure-time PA was protective for AMI risk compared to sedentary lifestyles in a population in China.
Characterization of Borrelia coriaceae antigens with monoclonal antibodies

Three monoclonal antibodies (F6F3, F6B11, and F6B3) were developed against Borrelia coriaceae antigens. All three antibodies appeared to be specific for this species and did not cross-react with Borrelia burgdorferi (strains B31 and IRS), Borrelia hermsii, Borrelia anserina, Leptospira interrogans serovar hardjo, or Treponema hyodysenteriae, as determined by indirect fluorescent antibody staining, enzyme-linked immunosorbent assay, and Western immunoblot analysis. Only one of these antibodies, F6B3, bound to spirochetes present in organ smears from the argasid tick, Ornithodoros coriaceus. The antigens recognized by F6F3, F6B11, and F6B3 have apparent molecular weights of ca. 37,000, 35,000, and 16,000, respectively, as determined by Western blot analysis. Antigens were analyzed by immune electron microscopy as well as Western blot and indirect fluorescent antibody staining analysis of spirochetes after enzyme (trypsin and protease K) and detergent (Triton X-100) treatments. These studies suggest that all three antigens are integral membrane proteins. The characteristics of the 37K and 35K proteins are consistent with the outer surface proteins of B. burgdorferi (OSP A and OSP B) described by Barbour et al. (A. G. Barbour, S. L. Tessier, and S. F. Hayes, Infect. Immun. 45:94-100, 1984), while data regarding the 16K protein are less conclusive but may suggest a cytoplasmic membrane location. We suggest that the 37K, 35K, and 16K antigens be designated integral membrane proteins A, B, and C, respectively, as a result of these studies.