Miracle-dz/UniFAR-FTUs huggingface dataset:
Plastic Collapse Analysis of Slender Circular Tubes Subjected to Large Deformation Pure Bending

This paper presents a plastic mechanism analysis for thin-walled circular hollow section (CHS) tubes deforming in a multi-lobe or diamond collapse mode under large deformation pure bending. The fold formation process was such that the shell curvature flattened on the compression side transforming into a definite number of flat triangles attached to each other. The collapse proceeded progressively by folding about the base and sides of these triangular planes and over traveling hinge lines. The collapse mechanism was similar to the diamond crush mode. An existing kinematic model for an axially compressed thin-walled circular tube was modified to predict the collapse curve of a thin-walled tube under bending. Inextensional deformation and rigid plastic material behaviour were assumed in the derivation of the deformation energy. Ovalisation was observed during the test and its deformation energy was determined and found significant. An expression for the plastic collapse moment was obtained by equating the total energy absorbed in bending, rolling and ovalisation to the external work carried out during a given cycle of deformation. Comparisons of the predicted post-buckling moments and slopes of the collapse curves with those obtained from experiments carried out by the authors on cold-formed circular hollow sections show very good agreement.
SpotSigs: robust and efficient near duplicate detection in large web collections

Motivated by our work with political scientists who need to manually analyze large Web archives of news sites, we present SpotSigs, a new algorithm for extracting and matching signatures for near duplicate detection in large Web crawls. Our spot signatures are designed to favor natural-language portions of Web pages over advertisements and navigational bars. The contributions of SpotSigs are twofold: 1) by combining stopword antecedents with short chains of adjacent content terms, we create robust document signatures with a natural ability to filter out noisy components of Web pages that would otherwise distract pure n-gram-based approaches such as Shingling; 2) we provide an exact and efficient, self-tuning matching algorithm that exploits a novel combination of collection partitioning and inverted index pruning for high-dimensional similarity search. Experiments confirm an increase in combined precision and recall of more than 24 percent over state-of-the-art approaches such as Shingling or I-Match and up to a factor of 3 faster execution times than Locality Sensitive Hashing (LSH), over a demonstrative "Gold Set" of manually assessed near-duplicate news articles as well as the TREC WT10g Web collection.
User Centric Security Model for Tamper-Resistant Devices

Tamper-resistant devices provide a secure, reliable, and trusted execution environment even in the possession of an adversary. With ever growing use of computing platforms (i.e. mobile phones, tablets and embedded devices, etc.) the potential for compromising the security and privacy of an individual is increased. The Trusted Platform Module is restricted to integrity measurement and cryptographic operations, which is crucial in its own right. On the contrary, smart cards provide a general-purpose execution environment, but traditionally they are under a centralised control, which if extended to the other computing platforms may not be appropriate. Therefore, in this paper we analyse the rationale for a general-purpose cross-platform user centric tamper-resistant device based on the smart card architecture, its applications in different computing environments, along with the ownership management framework.
Scalable high speed IP routing lookups

Internet address lookup is a challenging problem because of increasing routing table sizes, increased traffic, higher speed links, and the migration to 128 bit IPv6 addresses. IP routing lookup requires computing the best matching prefix, for which standard solutions like hashing were believed to be inapplicable. The best existing solution we know of, BSD radix tries, scales badly as IP moves to 128 bit addresses. Our paper describes a new algorithm for best matching prefix using binary search on hash tables organized by prefix lengths. Our scheme scales very well as address and routing table sizes increase: independent of the table size, it requires a worst case time of log2(address bits) hash lookups. Thus only 5 hash lookups are needed for IPv4 and 7 for IPv6. We also introduce Mutating Binary Search and other optimizations that, for a typical IPv4 backbone router with over 33,000 entries, considerably reduce the average number of hashes to less than 2, of which one hash can be simplified to an indexed array access. We expect similar average case behavior for IPv6.
Haemorrhage and tissue electrolytes.

Machinskaya, I. V. (1952). J. gen. Chem., Moscow, 22, 1159. Cited in Chem. Abstr. 47, 6357. Mead, J. A. R. , Smith, J. N. & Williams, R. T. (1958). Biochlem. J. 68, 61. Parke, D. V. & Williams, R. T. (1950). Biochem. J. 46, 236. Parke, D. V. & Williams, R. T. (1953). Biochem. J. 54,231. Torboli, A. (1937). Boll. Soc. ital. Biol. 8per. 12, 368. Treon, J. F. , Crutchfield, W. E. jun. & Kitzmiller, K. V. (1943). J. industr. Hyg. 25, 199. Van Slyke, D. D. , Plazin, J. & Weisiger, J. R. (1951). J. biol. Chem. 191, 299. Vogel, A. I. (1956). Practical Organic Chemistry, 3rd ed. p. 895. London: Longmans, Green and Co. Weitzel, G. (1950). Hoppe-Seyl. Z. 285, 58. Wilson, N. H. B. & Read, J. (1935). J. chem. Soc. p. 1268 Winstein, S. , Hess, H. V. & Buckles, R. E. (1942). J. Amer. chem. Soc. 64, 2796.
cNGR: A Novel Homing Sequence for CD13/APN Targeted Molecular Imaging of Murine Cardiac Angiogenesis In Vivo

Objective—Previously, the peptide sequence cNGR has been shown to home specifically to CD13/APN (aminopeptidase N) on tumor endothelium. Here, we investigated the feasibility of selective imaging of cardiac angiogenesis using the cNGR-CD13/APN system. Methods and Results—CD13/APN induction and cNGR homing were studied in the murine myocardial infarction (MI) model. By real-time polymerase chain reaction (PCR) at 7 days after MI, CD13/APN expression was 10- to 20-fold higher in the angiogenic infarct border zone and the MI area than in non-MI areas. In vivo fluorescence microscopy confirmed specific homing of fluorophore-tagged cNGR to the border zone and MI territory at 4 and 7 days after MI with a local advantage of 2.3, but not at 1 or 14 days after MI. Tissue residence half-life was 9.1±0.3 hours, whereas the half-life in plasma was 15.4±3.4 minutes. Pulse chase experiments confirmed reversible binding of cNGR in the infarct area. Fluorescent labeled cNGR conjugates or antibodies were injected in vivo, and their distribution was studied ex vivo by 2-photon laser scanning microscopy (TPLSM). cNGR co-localized exclusively with CD13/APN and the endothelial marker CD31 on vessels. Conclusions—In cardiac angiogenesis endothelial CD13/APN is upregulated. It can be targeted specifically with cNGR conjugates. In the heart cNGR binds its endothelial target only in angiogenic areas.
Fuzzy inference systems approach for long term hydrothermal scheduling

The optimization of the water resource usage in hydrothermal electric energy systems is crucial to assure an economic and reliable load supply. The long term hydrothermal scheduling is a complex problem mainly due to the randomness of the inflows and the nonlinearity of hydro production and thermal cost functions. Some optimization approaches have been proposed, including the Stochastic Dynamic Programming (SDP), which is one of the most commonly used techniques to deal with this problem. Its computational requirements, however, tend to be heavy and, as a result, its application on real systems is limited. In this paper we proposed the use of an Adaptative Neuro-Fuzzy Inference System in parallel with a deterministic optimization model as a simpler and less complex alternative approach to the hydrothermal scheduling. The information of the optimal operation is processed by the network that produces fuzzy rules describing the optimal decisions. The performance of the proposed approach was compared to other policies, including SDP, by simulation using historical inflows records of Emborcação, a large Brazilian hydroelectric power plant. Results demonstrated that the Neuro-Fuzzy approach provided similar performance to the more computationally complex and commonly used SDP.
Study protocol for the ‘HelpMeDoIt!’ randomised controlled feasibility trial: an app, web and social support-based weight loss intervention for adults with obesity

Introduction HelpMeDoIt! will test the feasibility of an innovative weight loss intervention using a smartphone app and website. Goal setting, self-monitoring and social support are three key facilitators of behaviour change. HelpMeDoIt! incorporates these features and encourages participants to invite ‘helpers’ from their social circle to help them achieve their goal(s). Aim To test the feasibility of the intervention in supporting adults with obesity to achieve weight loss goals. Methods and analysis 12-month feasibility randomised controlled trial and accompanying process evaluation. Participants (n=120) will be adults interested in losing weight, body mass index (BMI)> 30 kg/m2 and smartphone users. The intervention group will use the app/website for 12 months. Participants will nominate one or more helpers to support them. Helpers have access to the app/website. The control group will receive a leaflet on healthy lifestyle and will have access to HelpMeDoIt! after follow-up. The key outcome of the study is whether prespecified progression criteria have been met in order to progress to a larger randomised controlled effectiveness trial. Data will be collected at baseline, 6 and 12 months. Outcomes focus on exploring the feasibility of delivering the intervention and include: (i) assessing three primary outcomes (BMI, physical activity and diet); (ii) secondary outcomes of waist/hip circumference, health-related quality of life, social support, self-efficacy, motivation and mental health; (iii) recruitment and retention; (iv) National Health Service (NHS) resource use and participant borne costs; (v) usability and acceptability of the app/website; and (vi) qualitative interviews with up to 50 participants and 20 helpers on their experiences of the intervention. Statistical analyses will focus on feasibility outcomes and provide initial estimates of intervention effects. Thematic analysis of qualitative interviews will assess implementation, acceptability, mechanisms of effect and contextual factors influencing the intervention. Ethics and dissemination The protocol has been approved by the West of Scotland NHS Research Ethics Committee (Ref: 15/WS/0288) and the University of Glasgow MVLS College Ethics Committee (Ref: 200140108). Findings will be disseminated widely through peer-reviewed publication and conference presentations. Trial registration number ISRCTN85615983.
Optimality of Extended Maximum Ratio Transmission

In this paper, we investigate a general class of partial channel state information feedback strategies for communication over flat fading multiple antenna channels with t transmitters and r receivers. Specifically, we consider scenarios where the partial channel state information is sent back from the receiver to the transmitter in the form of n beamformer vectors with corresponding power allocations [1]. We show that, in order to maximize the channel capacity, a globally optimal strategy is to feedback then dominant eigenvectors ofHH.
Assertive community treatment: twenty-five years of gold.

Editor's Note: In the commentary below, Lisa Dixon, M.D., M.P.H. , discusses the arti- cle on page 755, reprinted from the October 1974 issue of Hospital and Community Psy- chiatry. That article described an innova- tive, two-year-old program in Madison, Wis- consin, that received a Gold Achievement Award in 1974 from the American Psychi- atric Association. Citing numerous articles from this journal, Dr. Dixon shows how the award-winning program, which was the first to use what is now called assertive commu- nity treatment, captured the attention of practitioners and researchers and shaped the delivery of mental health care over the past 25 years. (Psychiatric Services 51:759- 765, 2000)
Analysis of large structural changes of the factor VIII gene, involving intron 1 and 22, in severe hemophilia A.

BACKGROUND AND OBJECTIVES Hemophilia A (HA), the deficiency of coagulation factor VIII (FVIII), is the most common, sex-linked inherited bleeding disorder. The disease is caused by FVIII gene intron 22 inversion in approximately 50% of the patients, and by intron 1 inversion in 5% of the patients with severe HA. Both inversions occur as a result of intrachromosomal recombination between homologous regions, in intron 1 or 22, and their extragenic copy located telomeric to the FVIII gene. The goal of the present study was to analyze the presence of large structural changes in the FVIII gene in patients with severe hemophilia A. DESIGN AND METHODS We studied 104 unrelated, severe HA-patients or obligate carriers for the presence of intron 22 and intron 1 inversions by Southern blotting, long-distance polymerase chain reaction (PCR), and simple PCR. RESULTS We found altered intron 22 restriction profiles by Southern analyses in 58 cases: 43 type 1, 11 type 2 inversions and 4 unusual patterns. Upon further examination of the last 4 cases, large deletions involving intron 22 were demonstrated in two cases. In the remaining two patients extra homologous regions were detected by Southern analysis, and long-distance PCR showed the presence of unaltered intra- and extragenic copies together with one inversion-affected copy, suggesting that an additional intronic fragment participated in the inversion process and was inserted in the genome. During screening for intron 1 inversion among 43 patients, who were intron 22 inversion negative, we identified only wild type individuals. INTERPRETATION AND CONCLUSIONS The relatively large proportion of unusual patterns further supports the observation that the structure of FVIII intron 22 represents a hot spot for large gene rearrangements with various mechanisms, while intron 1 inversion seems to be not common in Hungary.
Parametric subspace analysis for dimensionality reduction and classification

Principal Components Analysis (PCA) and Linear Discriminant Analysis (LDA) are the two popular techniques in the context of dimensionality reduction and classification. By extracting discriminant features, LDA is optimal when the distributions of the features for each class are unimodal and separated by the scatter of means. On the other hand, PCA extract descriptive features which helps itself to outperform LDA in some classification tasks and less sensitive to different training data sets. The idea of Parametric Subspace Analysis (PSA) proposed in this paper is to include a parameter for regulating the combination of PCA and LDA. By combining descriptive (of PCA) and discriminant (of LDA) features, a better performance for dimensionality reduction and classification tasks is obtained with PSA and can be seen via our experimental results.
Rocker-Pillar : Design of the rough terrain mobile robot platform with caterpillar tracks and rocker bogie mechanism

The ability to overcome rough terrain is a main issue of mobile robots. However, as the speed of a robot increases, stability becomes another issue because it is directly related to the mobility of the robot. Without stability, the robot is exposed to risks of overturn. Therefore, a mobile robot needs to be not only maneuverable but also stable. We present a new mobile platform named “Rocker-Pillar” which enables a robot to overcome rough terrains with stability. The robot is composed of two sets of caterpillar tracks, four wheels, and a pair of two linkages. The robot can travel a rugged terrain at a speed 50m/min while maintaining stability, and can overcome complex terrains such as holes, steps without frontal sides, and stairs. The robot can overcome a hole 1.5 times larger than the wheel diameter of the robot and a step without the frontal side that is 1.25 times higher than wheel diameter.
A globally stabilising controller under saturated input for linear planar systems with one unstable pole

Controllers for planar systems with one stable and one unstable pole under saturated input are considered. The requirements are: (i) global stability, i.e. the region of attraction is the null controllable region, (ii) possibility of enforcing any desired performance around the origin, and (iii) no chattering of the control signal in the presence of noise. A simple continuous nonlinear state feedback controller is proposed that satisfies all these requirements. The performance of the proposed controller is compared in simulation with that of classical controllers such as linear state feedback and time optimal controllers.
Pump Diode Characterization for an Unstable Diode-Pumped Alkali Laser Resonator

Abstract : Measurements of wavelength tunability, spectral linewidth, minimum spot size, and M2 were made for a rubidium diode-pumped alkali laser (DPAL) containing a volume Bragg grating (VBG) for resonator characterization. The output wavelength of the pump diode was measured as a function of volume Bragg grating temperature. A linear relationship was observed that corresponded to an output wavelength range of 780.08 nm 0.01 nm to 780.49 nm 0.01 nm with a tuning rate of 6.1 pm/ C for a diode chassis temperature of 37 C. Rubidium D1 fuorescence spectra were recorded as the diode wavelength was scanned across its full range in 3 pm steps. The integrated intensities of the D1 fluorescence peaks were used to generate a t to a Lorentzian lineshape with line center at 780.23 nm and a FWHM of 0.12 nm. A knife-edge experiment measured the power pro les of the pump diode beam along a 4.5 cm beam path. The pump diode M2 was determined by a nonlinear model t to be 132, resulting in a minimum spot size of 0.41 mm. These results enable the pump diode to be matched with a alkali gain media for the validation of unstable DPAL resonator designs.
Real-time traffic sign recognition using color segmentation and SVM

Traffic Sign Recognition (TSR) that can automatically notify and warn a vehicle driver is an essential element in the Advanced Driver Assistance System. In this study, we design and implement a real time traffic sign recognition system implemented on Advantech ARK-2121, a small computer mounted on car. The entire process is divided into two parts, the detection step and the classification step. In the detection step, we adopt color filtering, Laplacian and Gaussian filter to enhance an acquired image. Then, we detect the sign based on the contours. The recognition algorithm is accelerated by dividing an input frame into multiple blocks and process them in parallel. We improve the detection accuracy by enhancing input image before the recognition step. The SVM and HOG features are the major techniques in the recognition step. Our detection accuracy is around 91% and the classification accuracy is higher than 98% on the average.
Uncalibrated Visual Servo for Unmanned Aerial Manipulation

This paper addresses the problem of autonomous servoing an unmanned redundant aerial manipulator using computer vision. The overactuation of the system is exploited by means of a hierarchical control law, which allows to prioritize several tasks during flight. We propose a safety-related primary task to avoid possible collisions. As a secondary task, we present an uncalibrated image-based visual servo strategy to drive the arm end-effector to a desired position and orientation by using a camera attached to it. In contrast to the previous visual servo approaches, a known value of camera focal length is not strictly required. To further improve flight behavior, we hierarchically add one task to reduce dynamic effects by vertically aligning the arm center of gravity to the multirotor gravitational vector, and another one that keeps the arm close to a desired configuration of high manipulability and avoiding arm joint limits. The performance of the hierarchical control law, with and without activation of each of the tasks, is shown in simulations and in real experiments confirming the viability of such prioritized control scheme for aerial manipulation.
Decay of Motor Memories in the Absence of Error

When motor commands are accompanied by an unexpected outcome, the resulting error induces changes in subsequent commands. However, when errors are artificially eliminated, changes in motor commands are not sustained but show decay. Why does the adaptation-induced change in motor output decay in the absence of error? A prominent idea is that decay reflects the stability of the memory. We show results that challenge this idea and instead suggest that motor output decays because the brain actively disengages a component of the memory. Humans adapted their reaching movements to a perturbation and were then introduced to a long period of trials in which errors were absent (error-clamp). We found that, in some subjects, motor output did not decay at the onset of the error-clamp block but a few trials later. We manipulated the kinematics of movements in the error-clamp block and found that, as movements became more similar to subjects' natural movements in the perturbation block, the lag to decay onset became longer and eventually reached hundreds of trials. Furthermore, when there was decay in the motor output, the endpoint of decay was not zero but a fraction of the motor memory that was last acquired. Therefore, adaptation to a perturbation installed two distinct kinds of memories: (1) one that was disengaged when the brain detected a change in the task and (2) one that persisted despite it. Motor memories showed little decay in the absence of error if the brain was prevented from detecting a change in task conditions.
First steps to compiling Matlab to X10

Matlab is a popular dynamic array-based language commonly used by students, scientists and engineers, who appreciate the interactive development style, the rich set of array operators, the extensive builtin library, and the fact that they do not have to declare static types. Even though these users like to program in Matlab, their computations are often very compute-intensive and are potentially very good applications for high-performance languages such as X10. To provide a bridge between Matlab and X10, we are developing MiX10, a source-to-source compiler that translates Matlab to X10. This paper provides an overview of the initial design of the MiX10 compiler, presents a template-based specialization approach to compiling the builtin Matlab operators, and provides translation rules for the key sequential Matlab constructs with a focus on those which are challenging to convert to semantically-equivalent X10. An initial core compiler has been implemented, and preliminary results are provided.