Miracle-dz/UniFAR-FTUs huggingface dataset:
Building the chip based SSL protocol

This paper introduces the principle of standard SSL protocol and analyzes its limitations first. Then the chip based SSL protocol is proposed. This protocol uses the chip technology to improve the performance of standard SSL protocol, including more secure key storage, more secure algorithms and greater speed. Furthermore, the CSK (Combined Symmetric Key) algorithm is used to generate the rapid authentication code and improve the authentication speed in the handshake protocol of SSL, replacing the traditional PKI certificate mechanism.
On the Influence of Cyclic Delay Diversity and Doppler Diversity on the Channel Characteristics in OFDM Systems

In this paper, we analyze the influence of the transmit antenna diversity techniques cyclic delay diversity (CDD) and discontinuous Doppler diversity (DDoD) on the channel observation at the receiver side for wireless communications systems based on orthogonal frequency division multiplexing (OFDM). These antenna diversity techniques influence the channel fading characteristic, and thus, are described as a modified channel. We analyze this modified channel in terms of its channel transfer function and fading correlation in time and frequency direction. We will see, that the fading correlation factorizes into an antenna related part and a propagation channel part. This is, the transmitter does not require any information about the channel itself in order to design roots in the correlation function. This analysis yields a guidance for the choice of the antenna configuration parameters, which is the goal of this paper. The proper choice of these parameters (cyclic delays, Doppler shifts) allows for reducing respectively removing fading correlation in time and/or frequency direction, and therefore, optimizing diversity gains.
The Dawn of Software Engineering: From Turing to Dijkstra

Did Alan Turing play a major role in the advent of the all-purpose computer? Did Turing Award winners, like Edsger W. Dijkstra, depend on his famous accomplishments? In his well-researched book The Dawn of Software Engineering: from Turing to Dijkstra, Edgar G. Daylight deromanticizes Turing's & logic's role in the history of computing. Dijkstra's pioneering work in compilers lies at the heart of modern-day computers. The book vividly describes how & why Dijkstra's ideas stood out among those of his contemporaries. This book includes interviews with Turing Award winners Tony Hoare, Niklaus Wirth, Peter Naur, and Barbara Liskov. The Dawn of Software Engineering is a rich and fascinating account of the time when software engineering was a compelling intellectual discipline at the center of computer science. John C. Reynolds, CMU wonderfully novel, very readable, and most engaging Grady Booch, IBM Fellow a very deserving contribution to understanding the influence of fundamental results of science onto practice Manfred Broy, TUM
Continuous Assessment of Software Traceability

Many guidelines for safety-critical industries, such as aeronautics, medical devices, and railway communications, specify that traceability must be used to demonstrate that a rigorous development process has been followed and to provide evidence that the developed system is safe for use. However, creating accurate and complete traceability is costly and remains a practical challenge. The significant cost and effort of the certification process makes it difficult to introduce changes once the product is certified. We propose an automated traceability assessment approach TRUST that can be used to assess software traceability in a continuous manner to ease the change process of certified products.
High performance amorphous metal-oxide semiconductors thin-film passive and active pixel sensors

In this paper, for the first time, we report on high performance amorphous In-Ga-Zn-O (a-IGZO) thin-film transistors (TFTs) based passive pixel sensor (PPS) and active pixel sensor (APS) circuits. Experimental results show that single-TFT PPS with a pitch length of 50μm can achieve a signal charge gain approaching to unity (Gain=0.93) under a fast readout time of 20μs and a dynamic range of 40dB. APS based on three a-IGZO TFTs, with a pitch length of ~100μm, established a high dynamic range of more than 60dB. 2-TFTs half active pixel sensor (H-APS) testing circuits are also designed to investigate the voltage gain (AV=ΔVOUT/ΔVG) properties for the APS circuit in this work. For the a-IGZO APS, AV is measured to be ~1.25, and through normalization of the pixel capacitance (CPIX) to a common value of 5pF, a large signal charge gain of 25 is obtained.
Optimization based tuning approach for offset free MPC

: We present an optimization based tuning procedure with certain robustness properties for an oﬀset free Model Predictive Controller (MPC). The MPC is designed for multivariate processes that can be represented by an ARX model. The advantage of ARX model representations is that standard system identiﬁcation techniques using convex optimization can be used for identiﬁcation of such models from input-output data. The stochastic model of the ARX model identiﬁed from input-output data is modiﬁed with an ARMA model designed as part of the MPC-design procedure to ensure oﬀset-free control. The ARMAX model description resulting from the extension can be realized as a state space model in innovation form. The MPC is designed and implemented based on this state space model in innovation form. Expressions for the closed-loop dynamics of the unconstrained system is used to derive the sensitivity function of this system. The closed-loop expressions are also used to numerically evaluate absolute integral performance measures. Due to the closed-loop expressions these evaluations can be done relative quickly. Consequently, the tuning may be performed by numerical minimization of the integrated absolute error subject to a constraint on the maximum of the sensitivity function. The latter constraint provides a robustness measure that is essential for the procedure. The method is demonstrated on two simulated examples: A Wood-Berry distillation column example and a cement mill example.
Visual Servoing to Help Camera Operators Track Better

Platforms like gantries, booms, aircraft and submersibles are equipped with cameras. People teleoperate such platforms to capture desired views of a scene or a target. To avoid collisions with the environment and occluded views, such platforms are often equipped with redundant degrees-of-freedom. The operator must manually coordinate multiple degrees-of-freedom in order to get desired views. Tracking moving targets becomes especially tedious and often requires several highly skilled operators. Visual servoing some degrees-of-freedom may reduce operator burden and improve tracking performance. This video showcases the results using such an approach.
IRLS and Slime Mold: Equivalence and Convergence

In this paper we present a connection between two dynamical systems arising in entirely different contexts: one in signal processing and the other in biology. The first is the famous Iteratively Reweighted Least Squares (IRLS) algorithm used in compressed sensing and sparse recovery while the second is the dynamics of a slime mold (Physarum polycephalum). Both of these dynamics are geared towards finding a minimum l1-norm solution in an affine subspace. Despite its simplicity the convergence of the IRLS method has been shown only for a certain regularization of it and remains an important open problem. Our first result shows that the two dynamics are projections of the same dynamical system in higher dimensions. As a consequence, and building on the recent work on Physarum dynamics, we are able to prove convergence and obtain complexity bounds for a damped version of the IRLS algorithm.
Shrinkage alteration induced by segregation of glass beads in injection molded PA6: Experimental analysis and modeling

The segregation effect of glass beads along the flow path during the injection molding process was evaluated. Experiments were carried out on injection molded polyamide 6 (PA6) composites with solid glass bead (GB) depends on both the diameter and the concentration of the glass beads. A model is suggested to describe the observed variations. In addition, segregation affects the distribution of volumetric shrinkage along the flow path, playing a major role in the dimensional accuracy of the part. A model is also proposed to include the effect of glass beads segregation in shrinkage calculations. POLYM. ENG. SCI., 2011. © 2011 Society of Plastics Engineers
An Unsupervised Model for Joint Phrase Alignment and Extraction

We present an unsupervised model for joint phrase alignment and extraction using non-parametric Bayesian methods and inversion transduction grammars (ITGs). The key contribution is that phrases of many granularities are included directly in the model through the use of a novel formulation that memorizes phrases generated not only by terminal, but also non-terminal symbols. This allows for a completely probabilistic model that is able to create a phrase table that achieves competitive accuracy on phrase-based machine translation tasks directly from unaligned sentence pairs. Experiments on several language pairs demonstrate that the proposed model matches the accuracy of traditional two-step word alignment/phrase extraction approach while reducing the phrase table to a fraction of the original size.
AATSR DERIVED AEROSOL PROPERTIES OVER LAND

The dual view of the Advanced Along Track Scanning Radiometer (AATSR) allows for the accurate retrieval of aerosol properties over land using an algorithm in which these two views are used to eliminate the influence of the land reflectance on the top of the atmosphere radiation. The algorithm uses the AATSR IR and visible wavebands for cloud detection and the visible wavebands for aerosol retrieval. The retrieval is based on minimizing the error function between modeled and measured TOA reflectances, using all available wavelengths. The TOA reflectances are modeled for a variety of aerosol mixtures. Hence, both the aerosol optical depth at various wavelengths (and thus the Angstrom coefficient) and the mixing ratio of the dominant aerosol types can be determined. The results are evaluated by comparison with independent data: sun photometers and, when available, aerosol composition. In this contribution, the AATSR results are evaluated, based on comparisons between AATSR and MODIS AOD, and AERONET data. Results are used for assimilation in a regional scale chemistry transport model. The goal is to use satellite data for the determination of PM2.5. Other applications at TNO are in the synergisitic use with other satellites such as MSG SEVIRI and OMI.
MALDI‐imaging mass spectrometry – An emerging technique in plant biology

Recent advances in instrumentation and sample preparation have facilitated the mass spectrometric (MS) imaging of a large variety of biological molecules from small metabolites to large proteins. The technique can be applied at both the tissue and the single‐cell level, and provides information regarding the spatial distribution of specific molecules. Nevertheless, the use of MS imaging in plant science remains far from routine, and there is still a need to adapt protocols to suit specific tissues. We present an overview of MALDI‐imaging MS (MSI) technology and its use for the analysis of plant tissue. Recent methodological developments have been summarized, and the major challenges involved in using MALDI‐MSI, including sample preparation, the analysis of metabolites and peptides, and strategies for data evaluation are all discussed. Some attention is given to the identification of differentially distributed compounds. To date, the use of MALDI‐MSI in plant research has been limited. Examples include leaf surface metabolite maps, the characterization of soluble metabolite translocation in planta, and the profiling of protein/metabolite patterns in cereal grain cross‐sections. Improvements to both sample preparation strategies and analytical platforms (aimed at both spectrum acquisition and post‐acquisition analysis) will enhance the relevance of MALDI‐MSI technology in plant research.
Geographic Concentration in U.S. Manufacturing Industries: A Dartboard Approach

This paper discusses the prevalence of Silicon Valley‐style localizations of individual manufacturing industries in the United States. A model in which localized industry‐specific spillovers, natural advantages, and pure random chance all contribute to geographic concentration is used to develop a test for whether observed levels of concentration are greater than would be expected to arise randomly and to motivate new indices of geographic concentration and of coagglomeration. The proposed indices control for differences in the size distribution of plants and for differences in the size of the geographic areas for which data are available. As a consequence, comparisons of the degree of geographic concentration across industries can be made with more confidence. Our empirical results provide a strong reaffirmation of the previous wisdom in that we find almost all industries to be somewhat localized. In many industries, however, the degree of localization is slight. We explore the nature of agglomerative forces in describing patterns of concentration, the geographic scope of localization, and the coagglomeration of related industries and of industries with strong upstream‐downstream ties.
Fault-aware task re-mapping for throughput constrained multimedia applications on NoC-based MPSoCs

Shrinking transistor geometry and aggressive voltage scaling are leading to growing concerns on the reliability of multiprocessor systems. Majority of streaming multimedia applications are characterized by fixed throughput requirements; violation of which directly impacts user experience. None of the prior research considers joint treatment of throughput and task-migration overhead, both of which are essential for fault-tolerance of throughput-constrained multimedia multiprocessor systems. In this paper, we propose to remap tasks from faulty processors with the objective of minimizing the migration overhead while satisfying throughput constraints. The proposed technique is based on extensive design-time analysis of different fault scenarios to determine optimal mappings from the throughput-migration overhead Pareto space. These mappings are stored in a table and are looked-up at run-time to migrate tasks as and when faults occur. Applications are modeled using Synchronous Data Flow graphs (SDFG) to consider cyclic dependencies of tasks, typically found in multimedia systems. Experiments performed with synthetic and real application graphs demonstrate that the migration overhead can be reduced by 26% on average while still meeting throughput constraints. Moreover, by selecting an appropriate initial processor-task mapping, migration overhead can be further reduced by 15% on average.
An O(log OPT)-approximation for covering and packing minor models of $θr

Given two graphs $G$ and $H$, we define $\textsf{v-cover}_{H}(G)$ (resp. $\textsf{e-cover}_{H}(G)$) as the minimum number of vertices (resp. edges) whose removal from $G$ produces a graph without any minor isomorphic to ${H}$. Also $\textsf{v-pack}_{H}(G)$ (resp. $\textsf{v-pack}_{H}(G)$) is the maximum number of vertex- (resp. edge-) disjoint subgraphs of $G$ that contain a minor isomaorphic to $H$. We denote by $\theta_r$ the graph with two vertices and $r$ parallel edges between them. When $H=\theta_r$, the parameters $\textsf{v-cover}_{H}$, $\textsf{e-cover}_{H}$, $\textsf{v-pack}_{H}$, and $\textsf{v-pack}_{H}$ are NP-hard to compute (for sufficiently big values of $r$). Drawing upon combinatorial results in [Minors in graphs of large $\theta_r$-girth, Chatzidimitriou et al., arXiv:1510.03041], we give an algorithmic proof that if $\textsf{v-pack}_{\theta_r}(G)\leq k$, then $\textsf{v-cover}_{\theta_r}(G) = O(k\log k)$, and similarly for $\textsf{v-pack}_{\theta_r}$ and $\textsf{e-cover}_{\theta_r}$. In other words, the class of graphs containing ${\theta_r}$ as a minor has the vertex/edge Erd\H{o}s-P\'osa property, for every positive integer $r$. Using the algorithmic machinery of our proofs, we introduce a unified approach for the design of an $O(\log {\rm OPT})$-approximation algorithm for $\textsf{v-pack}_{\theta_r}$, $\textsf{v-cover}_{\theta_r}$, $\textsf{v-pack}_{\theta_r}$, and $\textsf{e-cover}_{\theta_r}$ that runs in $O(n\cdot \log(n)\cdot m)$ steps. Also, we derive several new Erd\H{o}s-P\'osa-type results from the techniques that we introduce.
Evaluation of software visualization tools: Lessons learned

Many software visualization (SoftVis) tools are continuously being developed by both researchers as well as software development companies. In order to determine if the developed tools are effective in helping their target users, it is desirable that they are exposed to a proper evaluation. Despite this, there is still lack of a general guideline on how these evaluations should be carried out and many of the tool developers perform very limited or no evaluation of their tools. Each person that carries out one evaluation, however, has experiences which, if shared, can guide future evaluators. This paper presents the lessons learned from evaluating over 20 SoftVis tools with over 90 users in five different studies spread on a period of over two years. The lessons covered include the selection of the tools, tasks, as well as evaluation participants. Other discussed points are related to the duration of the evaluation experiment, its location, the procedure followed when carrying out the experiment, as well as motivation of the participants. Finally, an analysis of the lessons learned is shown with the hope that these lessons will be of some assistance to future SoftVis tool evaluators.
On-Line Birefringence Measurement in Film Blowing of a Linear Low Density Polyethylene

Abstract Blown film properties depend on the thermo-mechanical history experienced by molten polymer during biaxial deformation. In this study on-line birefringence measurements along the length of the bubble in film blowing of a linear low density polyethylene (LLDPE) were carried out in order to assess the stress level in the melt zone and total orientation in the solid zone. Bubble temperature measurements were carried out to find out the onset and the end of crystallization. Strain rates were also determined from bubble diameter and axial velocity measurements. We have focused on the effects of key processing parameters on the thermo-mechanical history of polymers. The relations between the birefringence and temperature profiles are described. The birefringence value is shown to be very small in the molten zone and increases rapidly as crystallization proceeds. The birefringence of the solidified film is strongly dominated by the crystalline phase contribution. Stresses in the molten blown film were calculated using the data of birefringence and pressure inside the bubble. The birefringence technique appears to be a promising but limited tool to determine stresses occurring in film blowing.
Experimental Research and Numerical Analysis on Fiber Reinforced Plasterboard-Reinforced Concrete Composite Floor Slabs

Fiber-reinforced plasterboard is patent product which was developed by Rapid Build Structure Ltd. of Australia. Fiber reinforced plasterboard can be used as baseboard , and after casting, it integrate with reinforced concrete to make up fiber reinforced plasterboard-reinforced concrete composite floor slabs. In this paper, numerical analysis method is accepted to analyze the process of bearing the loads of fiber reinforced plasterboard-reinforced concrete composite floor slabs. The calculated results, such as load- section strain curve and bearing capacity are compared with experimental data. Based on the results analysis, a mechanical analysis model is built, which provides some reference basis for computer simulation experiment of this type of structure.
Characterization of Microcellular Foamed PVC/Cellulosic-Fibre Composites

A microcellular plastic is a foamed polymer of a cell size in the range of 0.1 to 10 μm and a cell density in the range of 109 to 1015 cells/cm3. Typically, microcellular plastics have been shown to possess superior impact strength, toughness, and fatigue life to solid polymers. Polymer/cellulosic-fibre composites make use of cellulosic-fibres as a reinforcing filler in the polymer matrix and are known to be advantageous over the neat polymers in terms of the material cost and some mechanical properties such as stiffness and specific strength. These polymer/cellulosic-fibre composites are microcellular processed to create a new class of materials with unique properties. In this paper, the feasibility of the production of microcellular PVC/cellulosic-fibre composites and the effect of the fibre content on the cell morphology are studied. Particular emphasis is given to the fibre surface treatment to investigate its effect on the microcellular morphology. Each step of microcellular PVC/cellulosic-fibre composite processing is addressed including the treatment of the cellulosic-fibre surface, the manufacture of the composite by the mixing of PVC and cellulosic-fibre, the saturation of the composite with gas, and the bubble nucleation and growth. The preliminary experimental results indicate that the surface modification of cellulosic-fibre plays a strong role in determining the interface between the polymer and fibre as well as the cellular morphology of the foamed composites.
The Fabrication and Property of PTFE-NP Liquid Marbles

Liquid marbles are hydrophilic liquid drops encapsulated with hydrophobic powder materials. The liquid marbles have potential applications in drug delivery, water purification, ferrofluidic device and sensor microfabrication. In this work, a new type of polytetrafluoroethylene nanoparticle (PTFE-NP) liquid marbles were fabricated successfully using mixing method. The morphology of the formed liquid marbles was characterized under different conditions, and novel properties of the PTFE-NP liquid marbles were investigated and demonstrated.
A Spontaneous Acinar Cell Carcinoma Model for Monitoring Progression of Pancreatic Lesions and Response to Treatment Through Noninvasive Bioluminescence Imaging

Purpose: We have generated an EL1-luc/TAg transgenic mouse model that develops spontaneous and bioluminescent acinar cell carcinomas. We applied this model to noninvasively monitor tumor development and drug response. Experimental Design: EL1-luc/TAg transgenic mice of 11 weeks of age were treated with rapamycin (5 mg/kg, i.p.) or vehicle for 6 to 12 weeks. Tumor development was monitored through bioluminescence imaging and necropsy at the study end point. Results: EL1-luc/TAg transgenic mice showed pancreas-specific bioluminescence signal before tumor progression and produced increasing light emission from the onset of the pancreatic acinar cell carcinomas. The latency of tumor development ranged from 10 to >20 weeks of age in these mice. Progression of the primary acinar cell carcinoma was accompanied by emergence of metastatic lesions in the abdominal organs, including liver and gastrointestinal fat tissues. Rapamycin treatment suppressed tumor development. Conclusions: The EL1-luc/TAg mouse provides a noninvasive approach for monitoring spontaneous acinar cell carcinoma development and comprises a convenient tool for the evaluation of novel therapeutics against pancreatic cancers. Tumor growth suppression through inhibition of the mammalian target of rapamycin pathway further validates this model as clinically relevant.
A Linear Interference Network with Local Side-Information

For an interference network where receiver k receives the sum of the signal transmitted by Transmitter k and a scaled version of the signal transmitted by Transmitter k - 1 corrupted by Gaussian noise we compute the pre-log of the sum-rate capacity for the case where each transmitter has side- information consisting of the messages to be sent by its J predecessors.