Miracle-dz/UniFAR-FTUs huggingface dataset:
Special Signature Schemes and Key Agreement Protocols

This thesis is divided into two distinct parts. The first part of the thesis explores various deniable signature schemes and their applications. Such schemes do not bind a unique public key to a message, but rather specify a set of entities that could have created the signature, so each entity involved in the signature can deny having generated it. The main deniable signature schemes we examine are ring signature schemes. Ring signatures can be used to construct designated verifier signature schemes, which are closely related to designated verifier proof systems. We provide previously lacking formal definitions and security models for designated verifier proofs and signatures and examine their relationship to undeniable signature schemes. Ring signature schemes also have applications in the context of fair exchange of signatures. We introduce the notion of concurrent signatures, which can be constructed using ring signatures, and which provide a “near solution” to the problem of fair exchange. Concurrent signatures are more efficient than traditional solutions for fair exchange at the cost of some of the security guaranteed by traditional solutions. The second part of the thesis is concerned with the security of two-party key agreement protocols. It has traditionally been difficult to prove that a key agreement protocol satisfies a formal definition of security. A modular approach to constructing provably secure key agreement protocols was proposed, but the approach generally results in less efficient protocols. We examine the relationships between various well-known models of security and introduce a modular approach to the construction of proofs of security for key agreement protocols in such security models. Our approach simplifies the proof process, enabling us to provide proofs of security for several efficient key agreement protocols in the literature that were previously unproven.
ISAAC: A Convolutional Neural Network Accelerator with In-Situ Analog Arithmetic in Crossbars

A number of recent efforts have attempted to design accelerators for popular machine learning algorithms, such as those involving convolutional and deep neural networks (CNNs and DNNs). These algorithms typically involve a large number of multiply-accumulate (dot-product) operations. A recent project, DaDianNao, adopts a near data processing approach, where a specialized neural functional unit performs all the digital arithmetic operations and receives input weights from adjacent eDRAM banks. This work explores an in-situ processing approach, where memristor crossbar arrays not only store input weights, but are also used to perform dot-product operations in an analog manner. While the use of crossbar memory as an analog dot-product engine is well known, no prior work has designed or characterized a full-fledged accelerator based on crossbars. In particular, our work makes the following contributions: (i) We design a pipelined architecture, with some crossbars dedicated for each neural network layer, and eDRAM buffers that aggregate data between pipeline stages. (ii) We define new data encoding techniques that are amenable to analog computations and that can reduce the high overheads of analog-to-digital conversion (ADC). (iii) We define the many supporting digital components required in an analog CNN accelerator and carry out a design space exploration to identify the best balance of memristor storage/compute, ADCs, and eDRAM storage on a chip. On a suite of CNN and DNN workloads, the proposed ISAAC architecture yields improvements of 14.8×, 5.5×, and 7.5× in throughput, energy, and computational density (respectively), relative to the state-of-the-art DaDianNao architecture.
Data-Parallel Programming on the Cell BE and the GPU using the RapidMind Development Platform

The Cell BE processor is capable of achieving very high levels of performance via parallel computation. The processors in video accelerators, known as GPUs, are also high performance parallel processors. The RapidMind Development Platform provides a simple data-parallel model of execution that is easy to understand and learn, is usable from any ISO standard C++ program without any special extensions, maps efficiently onto the capabilities of both the Cell BE processor and GPUs, and can be extended to other multicore processors in the future. The RapidMind platform acts as an embedded programming language inside C++. It is built around a small set of types that can be used to capture and specify arbitrary computations. Arbitrary functions, including control flow, can be specified dynamically. Parallel execution is primarily invoked by applying these functions to arrays, generating new arrays. Access patterns on arrays allow data to be collected and redistributed. Collective operations, such as scatter, gather, and programmable reduction, support other standard parallel communication patterns and complete the programming model.
Optimal dithering sequences for spurs suppression in Pulse Direct Digital Synthesizers

Spurs-free frequency synthesis with minimal noise floor is achieved by the classical Pulse Direct Digital Synthesizers using a new class of dithering sequences with specific statistical properties. The generation of dithering sequences having statistical properties very close to those of the ideal ones with low-complexity architectures is also discussed and used to form All-Digital frequency synthesizers of minimal footprint and power consumption.
Sleep restriction can attenuate prioritization benefits on declarative memory consolidation

As chronic sleep restriction is a widespread problem among adolescents, the present study investigated the effects of a 1‐week sleep restriction (SR) versus control period on the consolidation of long‐term memory for prose passages. We also determined whether the benefit of prioritization on memory is modulated by adequate sleep occurring during consolidation. Fifty‐six healthy adolescents (25 male, aged 15–19 years) were instructed to remember a prose passage in which half of the content was highlighted (prioritized), and were told that they would receive an additional bonus for remembering highlighted content. Following an initial free recall test, participants underwent a 7‐night period in which they received either a 5‐h (SR) or 9‐h (control) nightly sleep opportunity, monitored by polysomnography on selected nights. Free recall of the passage was tested at the end of the sleep manipulation period (1 week after encoding), and again 6 weeks after encoding. Recall of highlighted content was superior to that of non‐highlighted content at all three time‐points (initial, 1 week, 6 weeks). This beneficial effect of prioritization on memory was stronger 1 week relative to a few minutes after encoding for the control, but not the SR group. N3 duration was similar in the control and SR groups. Overall, the present study shows that the benefits of prioritization on memory are enhanced over time, requiring time and sleep to unfold fully. Partial sleep deprivation (i.e. 5‐h nocturnal sleep opportunity) may attenuate such benefits, but this may be offset by preservation of N3 sleep duration.
Tidal stress/strain and acoustic emission activity at the Underground Research Laboratory, Canada

We study the correlation between the phase of the moon and the occurrences of acoustic emissions (AEs) monitored at the Underground Research Laboratory in Canada. On 9 December 1997, a significant increase of AEs began and this activity decayed with time day by day. During the period of the decay, we observed that the activity often increased. Most of these increases corresponded with moments of new or full moon. We investigate whether the increase of AEs is correlated with the moments of new or full moon using a statistical method. We consider two models concerned with the daily occurrence rate of AEs. In the first model, the existence of the correlation is not assumed. In the second model, the existence is assumed. Using AIC (Akaike Information Criterion), it is shown that the second model is a significantly better fit to the observed time series of AEs.
Seismicity surveys with ocean bottom seismographs off western Canada

Three arrays of ocean bottom seismographs have been deployed to study the seismicity at the northern end of the Juan de Fuca ridge system off western Canada. Nearly 100 events were located with estimated accuracies generally better than +- 10 km, all lying on or near the en echelon ridge-transform fault plate boundaries as defined in this area by the magnetic anomalies, the seafloor morphology and by other geophysical data. The depths of 12 events were determined to lie between 2 and 6 km below the top of the crust. The seismograms exhibit clear P and S wave arrivals along with phases that involve P to S and sometimes S to P conversion probably at the base of the sediments beneath the instruments. The event magnitudes have been estimated from signal duration using four calibration events that were well recorded by a land station. The magnitude estimates permit the determination of rough magnitude-frequency of occurrence relations over the magnitude range of 1 to 3 that are in surprisingly good agreement with the recurrence relations for the area at larger magnitudes from 75 years of land station data. The mean P wave velocity in the uppermost mantle from the earthquake datamore » recorded by the sea floor arrays is 7.6 km s/sup -1/ and the mean V/sub p//V/sub s/ ratio is 1.71 or a Poisson's ratio of 0.24. « less
THE PROPERTIES OF THE HOST GALAXY AND THE IMMEDIATE ENVIRONMENT OF GRB 980425/SN 1998bw FROM THE MULTIWAVELENGTH SPECTRAL ENERGY DISTRIBUTION

We present an analysis of the spectral energy distribution (SED) of the galaxy ESO 184-G82, the host of the closest known long gamma-ray burst (GRB) 980425 and its associated supernova (SN) 1998bw. We use our observations obtained at the Australia Telescope Compact Array (the third >3σ radio detection of a GRB host) as well as archival infrared and ultraviolet (UV) observations to estimate its star formation state. We find that ESO 184-G82 has a UV star formation rate (SFR) and stellar mass consistent with the population of cosmological GRB hosts and of local dwarf galaxies. However, it has a higher specific SFR (per unit stellar mass) than luminous spiral galaxies. The mass of ESO 184-G82 is dominated by an older stellar population in contrast to the majority of GRB hosts. The Wolf–Rayet region ∼800 pc from the SN site experienced a starburst episode during which the majority of its stellar population was built up. Unlike that of the entire galaxy, its SED is similar to those of cosmological submillimeter/radio-bright GRB hosts with hot dust content. These findings add to the picture that in general, the environments of GRBs on 1–3 kpc scales are associated with high specific SFR and hot dust.
Development of a differential medium for bile salt hydrolase-active Lactobacillus spp

An agar plate assay was developed to detect bile salt hydrolase activity in lactobacilli. On Lactobacillus-selective MRS or Rogosa SL medium supplemented with taurodeoxycholic, taurocholic, or taurochenodeoxycholic acids, bile salt hydrolysis was manifested at two intensities: (i) the formation of precipitate halos around colonies or (ii) the formation of opaque granular white colonies. Sixty-six lactobacilli were tested for bile salt hydrolase activity by both the plate assay and a sensitive radiochemical assay. No false-positive or false-negative results were detected by the plate assay. Based on results of experiments with Eubacterium lentum and Bacteroides species, the plate assay was dependent on two factors: (i) the presence of bile salt hydrolytic activity and (ii) the ability of the organism to sufficiently acidify the medium to protonate free bile acids. The availability of a differential medium for determination of bile salt hydrolase activity will provide a rapid method for determining shifts in a specific functional activity of intestinal Lactobacillus species and provide a rapid screening capability for identifying bile salt hydrolase-deficient mutants. The latter application should allow bile salt hydrolase activity to be used as a marker enzyme in genetic experiments.
Soluble THSD7A Is an N-Glycoprotein That Promotes Endothelial Cell Migration and Tube Formation in Angiogenesis

Background Thrombospondin type I domain containing 7A (THSD7A) is a novel neural protein that is known to affect endothelial migration and vascular patterning during development. To further understand the role of THSD7A in angiogenesis, we investigated the post-translational modification scheme of THS7DA and to reveal the underlying mechanisms by which this protein regulates blood vessel growth. Methodology/Principal Findings Full-length THSD7A was overexpressed in human embryonic kidney 293T (HEK293T) cells and was found to be membrane associated and N-glycosylated. The soluble form of THSD7A, which is released into the cultured medium, was harvested for further angiogenic assays. We found that soluble THSD7A promotes human umbilical vein endothelial cell (HUVEC) migration and tube formation. HUVEC sprouts and zebrafish subintestinal vessel (SIV) angiogenic assays further revealed that soluble THSD7A increases the number of branching points of new vessels. Interestingly, we found that soluble THSD7A increased the formation of filopodia in HUVEC. The distribution patterns of vinculin and phosphorylated focal adhesion kinase (FAK) were also affected, which implies a role for THSD7A in focal adhesion assembly. Moreover, soluble THSD7A increased FAK phosphorylation in HUVEC, suggesting that THSD7A is involved in regulating cytoskeleton reorganization. Conclusions/Significance Taken together, our results indicate that THSD7A is a membrane-associated N-glycoprotein with a soluble form. Soluble THSD7A promotes endothelial cell migration during angiogenesis via a FAK-dependent mechanism and thus may be a novel neuroangiogenic factor.
Soluble CD163: A novel biomarker for the susceptibility to sepsis in severe burn injuries

Objective: Soluble CD163 (sCD163) has been previously shown to play a role in inflammatory and infectious diseases. This study, for the first time, investigates the characteristics and potential values of sCD163 in burn patients. A first look is taken on the changes of sCD163 levels in burn patients by comparing predefined subgroups at single time points. Materials and Methods: Serum samples of 18 patients with burn injuries were collected for biochemical analysis at the time of admission and in a chronological sequence of 12, 24, 48 and 120 h after the injury and were matched to clinical parameters. Statistical analysis was performed using the Mann-Whitney test, Wilcoxon signed rank and Pearson bivariate correlation. Results: Patients with sepsis showed a significant increase of sCD163 levels. sCD163 was correlated with leukocytes (P=0.035) over the time course of 120 h. Patients characterized by a burn size exceeding 25% of the total body surface area (TBSA) showed a significant increase of sCD163 between 12 and 48 h after burn injury (P=0.038). Conclusions: The first view on the characteristics of sCD163 in the serum of burn patients points out that sCD163 seems to be an early indicator for the susceptibility to sepsis. Furthermore, the changes in sCD163 serum levels within the first hours after burn trauma have great potential for early prediction of organ failure after burn injury.
AG Channel Measurement and Modeling Results for Over-Water and Hilly Terrain Conditions

This report describes work completed over the past year on our project, entitled "Unmanned Aircraft Systems (UAS) Research: The AG Channel, Robust Waveforms, and Aeronautical Network Simulations. " This project is funded under the NASA project "Unmanned Aircraft Systems (UAS) in the National Airspace System (NAS). " In this report we provide the following: an update on project progress; a description of the over-freshwater and hilly terrain initial results on path loss, delay spread, small-scale fading, and correlations; complete path loss models for the over-water AG channels; analysis for obtaining parameter statistics required for development of accurate wideband AG channel models; and analysis of an atypical AG channel in which the aircraft flies out of the ground site antenna main beam. We have modeled the small-scale fading of these channels with Ricean statistics, and have quantified the behavior of the Ricean K-factor. We also provide some results for correlations of signal components, both intra-band and inter-band. An updated literature review, and a summary that also describes future work, are also included.
The SDSS-UKIDSS Fundamental Plane of Early-Type Galaxies

We derive the fundamental plane (FP) relation for a sample of 1430 early-type galaxies in the optical (r band) and the near-infrared (K band), by combining SDSS and UKIDSS data. With such a large, homogeneous data set, we are able to assess the dependence of the FP on the wave band. Our analysis indicates that the FP of luminous early-type galaxies is essentially wave band-independent, with its coefficients increasing at most by 8% from the optical to the NIR. This finding fits well into a consistent picture in which the tilt of the FP is not driven by stellar populations but results from other effects, such as nonhomology. In this framework, the optical and NIR FPs require more massive galaxies to be slightly more metal-rich than less massive ones, and to have highly synchronized ages, with an age variation per decade in mass smaller than a few percent.
Vis: virtualization enhanced live acquisition for native system

Focusing on obtaining in-memory evidence, current live acquisition efforts either fail to provide accurate native system physical memory acquisition at the given time point or require suspending the machine and altering the execution environment drastically. To address this issue, we propose Vis, a light-weight virtualization approach to provide accurate retrieving of physical memory content while preserving the execution of target system. Vis encapsulates the native system into a single virtual machine and then conducts accurate acquisition by manipulating nested page table in hypervisor. We present the design and implementation of Vis, prove its acquisition reliability and evaluate its performance in live acquisition scenarios.
Assessment of the cryopreservation of equine spermatozoa in the presence of enzyme scavengers and antioxidants.

OBJECTIVE To evaluate the effect of the addition of enzyme scavengers and antioxidants to the cryopreservation extender on characteristics of equine spermatozoa after freezing and thawing. SAMPLE POPULATION 2 ejaculates collected from each of 5 stallions. PROCEDURE Equine spermatozoa were cryopreserved in freezing extender alone (control samples) or with the addition of catalase (200 U/mL), superoxide dismutase (200 U/mL), reduced glutathione (10 mM), ascorbic acid (10 mM), alpha-tocopherol (25, 50, 100, or 500 microM or 1 mM), or the vehicle for alpha-tocopherol (0.5% ethanol). After thawing, spermatozoal motility was assessed via computer-assisted analysis and DNA fragmentation was assessed via the comet assay. Spermatozoal mitochondrial membrane potential, acrosomal integrity, and viability were determined by use of various specific staining techniques and flow cytometry. RESULTS The addition of enzyme scavengers or antioxidants to cryopreservation extender did not improve spermatozoal motility, DNA fragmentation, acrosomal integrity, viability, or mitochondrial membrane potential after thawing. Superoxide dismutase increased DNA fragmentation, likely because of the additional oxidative stress caused by the generation of hydrogen peroxide by this enzyme. Interestingly, the addition of the vehicle for alpha-tocopherol resulted in a significant decrease in live acrosome-intact spermatozoa. CONCLUSIONS AND CLINICAL RELEVANCE The addition of antioxidants to the cryopreservation extender did not improve the quality of equine spermatozoa after thawing, which suggests that the role of oxidative stress in cryopreservation-induced damage of equine spermatozoa requires further investigation. Our data suggest that solubilizing alpha-tocopherol in ethanol may affect spermatozoal viability; consequently, water-soluble analogues of alpha-tocopherol may be preferred for future investigations.
Exactly solvable disordered sphere-packing model in arbitrary-dimensional Euclidean spaces.

We introduce a generalization of the well-known random sequential addition (RSA) process for hard spheres in d-dimensional Euclidean space Rd. We show that all of the n-particle correlation functions of this nonequilibrium model, in a certain limit called the "ghost" RSA packing, can be obtained analytically for all allowable densities and in any dimension. This represents the first exactly solvable disordered sphere-packing model in an arbitrary dimension. The fact that the maximal density phi (infinity)=1/2d of the ghost RSA packing implies that there may be disordered sphere packings in sufficiently high d whose density exceeds Minkowski's lower bound for Bravais lattices, the dominant asymptotic term of which is 1/2d. Indeed, we report on a conjectural lower bound on the density whose asymptotic behavior is controlled by 2-(0.778,65.)d , thus providing the putative exponential improvement on Minkowski's 100-year-old bound. Our results suggest that the densest packings in sufficiently high dimensions may be disordered rather than periodic, implying the existence of disordered classical ground states for some continuous potentials.
Recognition of Modified Conditioning Sounds by Competitively Trained Guinea Pigs

The guinea pig (GP) is an often-used species in hearing research. However, behavioral studies are rare, especially in the context of sound recognition, because of difficulties in training these animals. We examined sound recognition in a social competitive setting in order to examine whether this setting could be used as an easy model. Two starved GPs were placed in the same training arena and compelled to compete for food after hearing a conditioning sound (CS), which was a repeat of almost identical sound segments. Through a 2-week intensive training, animals were trained to demonstrate a set of distinct behaviors solely to the CS. Then, each of them was subjected to generalization tests for recognition of sounds that had been modified from the CS in spectral, fine temporal and tempo (i.e., intersegment interval, ISI) dimensions. Results showed that they discriminated between the CS and band-rejected test sounds but had no preference for a particular frequency range for the recognition. In contrast, sounds modified in the fine temporal domain were largely perceived to be in the same category as the CS, except for the test sound generated by fully reversing the CS in time. Animals also discriminated sounds played at different tempos. Test sounds with ISIs shorter than that of the multi-segment CS were discriminated from the CS, while test sounds with ISIs longer than that of the CS segments were not. For the shorter ISIs, most animals initiated apparently positive food-access behavior as they did in response to the CS, but discontinued it during the sound-on period probably because of later recognition of tempo. Interestingly, the population range and mean of the delay time before animals initiated the food-access behavior were very similar among different ISI test sounds. This study, for the first time, demonstrates a wide aspect of sound discrimination abilities of the GP and will provide a way to examine tempo perception mechanisms using this animal species.