Miracle-dz/UniFAR-FTUs huggingface dataset:
Fast Oblivious Storage

We introduce three practicality-critical components for Oblivious RAM (ORAM): (i) parallelism, (ii) deamortization, and (iii) fork-consistency defense against malicious adversaries. In (i), instead of waiting for the completion of ongoing client-server transactions, client threads can now engage a server in parallel without loss of privacy. This critical piece is missing from existing ORAMs, which can not allow multiple clients threads to operate simultaneously without revealing intraand inter-query correlations and thus incurring privacy leaks. And since ORAMs often require many communication rounds, this significantly and unnecessarily constrains throughput. The mechanisms introduced here eliminate this constraint, allowing overall throughput to be bound by server bandwidth only, and thus to increase by an order of magnitude. Further, in (ii) new de-amortization techniques bring the extremely impractical worst case ORAM query cost (e.g., having to periodically wait for tens or hundreds of hours for ORAM reshuffles to complete before being able to execute the next query) in line with the average cost. Both (i) and (ii) are shown to be fundamental to any practical ORAM. Finally, (iii) extensions providing fork consistency against an actively malicious adversary are then presented. A high performance, fully functional implementation (PD-ORAM) was designed, built and analyzed. It performs multiple queries per second on a 1TB+ database across 50ms latency links, with unamortized, bound query latencies. Based on PD-ORAM, PrivateFS an oblivious file system that enables access to remote storage, while keeping both the file contents and client access patterns secret was built and deployed on Linux as a userspace file system. For a single-CPU server throughput can exceed 300Kbps with almost optimal bandwidth utilization.
R&D Networks: Theory, Empirics, and Policy Implications

Abstract We analyze a model of R&D alliance networks where firms are engaged in R&D collaborations that lower their production costs while competing on the product market. We provide a complete characterization of the Nash equilibrium and determine the optimal R&D subsidy program that maximizes total welfare. We then structurally estimate this model using a unique panel of R&D collaborations and annual company reports. We use our estimates to study the impact of targeted versus nondiscriminatory R&D subsidy policies and empirically rank firms according to the welfare-maximizing subsidies they should receive.
Engraftment of Human Mesenchymal Stem Cells in a Rat Photothrombotic Cerebral Infarction Model : Comparison of Intra-Arterial and Intravenous Infusion Using MRI and Histological Analysis

Objective This study aimed to evaluate the hypotheses that administration routes [intra-arterial (IA) vs. intravenous (IV)] affect the early stage migration of transplanted human bone marrow-derived mesenchymal stem cells (hBM-MSCs) in acute brain infarction. Methods Male Sprague-Dawley rats (n=40) were subjected to photothrombotic infarction. Three days after photothrombotic infarction, rats were randomly allocated to one of four experimental groups [IA group : n=12, IV group : n=12, superparamagnetic iron oxide (SPIO) group : n=8, control group : n=8]. All groups were subdivided into 1, 6, 24, and 48 hours groups according to time point of sacrifice. Magnetic resonance imaging (MRI) consisting of T2 weighted image (T2WI), T2* weighted image (T2*WI), susceptibility weighted image (SWI), and diffusion weighted image of rat brain were obtained prior to and at 1, 6, 24, and 48 hours post-implantation. After final MRI, rats were sacrificed and grafted cells were analyzed in brain and lung specimen using Prussian blue and immunohistochemical staining. Results Grafted cells appeared as dark signal intensity regions at the peri-lesional zone. In IA group, dark signals in peri-lesional zone were more prominent compared with IV group. SWI showed largest dark signal followed by T2*WI and T2WI in both IA and IV groups. On Prussian blue staining, IA administration showed substantially increased migration and a large number of transplanted hBM-MSCs in the target brain than IV administration. The Prussian blue-positive cells were not detected in SPIO and control groups. Conclusion In a rat photothrombotic model of ischemic stroke, selective IA administration of human mesenchymal stem cells is more effective than IV administration. MRI and histological analyses revealed the time course of cell migration, and the numbers and distribution of hBM-MSCs delivered into the brain.
Extended hot-gas halos around starburst galaxies

A reanalysis of Einstein Imaging Proportional Counter (IPC) data and new observations from the Ginga Large Area (Proportional) counters (LAC) indicate the presence of extended X-ray emission (10-50 kpc) around the starburst galaxy M82. Here, we discuss our model of this emission, which was obtained by performing numerical hydrodynamic simulations of the starburst event to much later times and larger scales than were previously considered. For our models, we adopted a supernova rate of 0.1/yr, and an extended low-density static halo that is bound to the galaxy. There are three stages to the evolution of the wind-blown bubble and the propagation of the shock front: the bubble expands in an almost uniform density disk gas, with a deceleration of the shock front (t is less than or approximately 3.6 Myr); breakout from the disk and the upward acceleration of the shock front (3.6 Myr is less than or approximately t is less than or approximately 18 Myr); propagation into the halo, leading to a more spherical system and shock deceleration (18 Myr is less than or approximately t). For a halo density of 10(exp -3)/cu cm, the outflow reaches a distance of 40-50 kpc from the center of the starburst galaxy in 50 Myr. We calculated the time evolution of the X-ray luminosity and found that the extended starburst emits 3 x 10(exp 39) erg/s to 10(exp 40) in the Ginga LAC band and approximately 10(exp 41) erg/s in the Einstein band. The degree of the ionization equilibrium in the outflow and its effect on the iron K alpha line emission are discussed.
Numerische Simulation von thermoakustischen Instabilitäten in Gasturbinenbrennkammern mithilfe von Impedanzrandbedingungen

15 1. Einleitung 17 1.1. Motivation . 17 1.2. Thermoakustische Instabilitäten . 18 1.2.1. Kopplungsmechanismen . 19 1.2.2. Stabilitätsanalysen . 20 1.2.3. Stabilisierung . 25 1.3. Stand der Technik . 26 1.4. Zielsetzung und Aufgabenstellung . 30 2. Modellierung reaktiver Strömungen 32 2.1. Bilanzgleichungen . 32 2.2. Turbulenzmodellierung . 33 2.2.1. Favre Mittelung . 34 2.2.2. RANS Modell . 35 2.2.3. Hybrides LES/RANS Modell . 36 2.2. 4. Gradienten Di usions Modell . 38 2.3. Verbrennungsmodellierung . 39 2.3.1. Finite-Rate Chemistry Modell . 40 2.3. 2. Eddy-Dissipation Modell . 41 2.3. 3. Assumed-PDF Modell . 43 3. Numerisches Lösungsverfahren 47 3.1. Druckkorrekturverfahren . 47
The Impact of Trade on Employment in Portugal

According to the smooth adjustment hypothesis (SAH), the labor-market adjustment costs in the form of unemployed resources will be lower if trade expansion is intraindustry rather than inter-industry in nature. This is what we attempt to evaluate empirically using a dynamic panel data analysis. In this paper, we estimate the effects of trade and marginal intra-industry trade on labor-market changes in Portugal manufacturing industries during the period 1996-2003. Our results support the SAH.
Probabilistic graphical models for genetics, genomics and postgenomics

This is the first book to provide an in-depth description of the mechanisms underlying cutting-edge methods using probabilistic graphical models for genetics, genomics and postgenomics. Its aims are to - promote the use of powerful models through the provision of well documented examples - demystify probabilistic graphical models through a didactic exposition - bridge the gap between different scientific worlds helping scientists to better communicate and contributes to the emergence of new transdisciplinary fields of research - provide precise insights into applications in genetics - give an idea of the huge potential of probabilistic graphical models in genetics, in the broad sense, but also in integrative biology and systems biology Nowadays bioinformaticians and geneticists are faced with myriad high-throughput data usually presenting the characteristics of uncertainty, high dimensionality and large complexity. These data will only allow insights into this wealth of so-called 'omics' data if represented by flexible and scalable models, prior to any further analysis. At the interface between statistics and machine learning, probabilistic graphical models (PGMs) represent a powerful formalism to discover complex networks of relations. These models are also amenable to incorporating a priori biological information. Network reconstruction from gene expression data represents perhaps the most emblematic area of research where PGMs have been successfully applied. However these models have also created renewed interest in genetics in the broad sense, in particular regarding association genetics, causality discovery, prediction of outcomes, detection of copy number variations, and epigenetics. This book provides an overview of the applications of PGMs to genetics, genomics and postgenomics to meet this increased interest. A salient feature of bioinformatics, interdisciplinarity, reaches its limit when an intricate cooperation between domain specialists is requested. Currently, few people are specialists in the design of advanced methods using probabilistic graphical models for postgenomics or genetics. This book deciphers such models so that their perceived difficulty no longer hinders their use and focuses on fifteen illustrations showing the mechanisms behind the models. Probabilistic Graphical Models for Genetics, Genomics and Postgenomics covers six main themes: (1) Gene network inference (2) Causality discovery (3) Association genetics (4) Epigenetics (5) Detection of copy number variations (6) Prediction of outcomes from high-dimensional genomic data. Written by leading international experts, this is a collection of the most advanced work at the crossroads of probabilistic graphical models and genetics, genomics, and postgenomics. The self-contained chapters provide an enlightened account of the pros and cons of applying these powerful techniques. The readership encompasses researchers in Bioinformatics, masters students in Genetics and Bioinformatics ·and engineers designing new bioinformatics solutions.
Research Roadmap on Cooperating Objects (CONET Roadmap 2009)

Research Roadmap on Cooperating Objects Pedro José Marrón, Stamatis Karnouskos, Daniel Minder and the CONET consortium Version: 1851 Date: 2010-01-05 18:54:37 +0100 (Tue, 05 Jan 2010) © All rights reserved. The CONET Consortium 2009 (www.cooperating-objects.eu) Europe Direct is a service to help you find answers To your questions about the European Union Freephone number (*): 00 800 67891011 (*) Certain mobile telephone operators do not allow access to 00 800 numbers or these calls may be billed. More information on the European Union is available on the Internet (http://europa.eu). Cataloguing data can be found at the end of this publication. Luxembourg: Office for Official Publications of the European Communities, 2009 ISBN 978-92-79-12046-6 DOI 10.2759/11566 Cover background image: © www.pixblix. com CONET logo: © University of Bonn Neither the European Commission nor any person acting on its behalf is responsible for the use which might be made of the information contained in the present publication. The European Commission is not responsible for the external web sites referred to in the present publication. The views expressed in this publication are those of the authors and do not necessarily reflect the official European Commission’s view on the subject. © European Communities, 2009 Printed in Luxembourg Printed on white chlorine-free paper
Simulation Study on the Indoor Thermal Comfort with Insulation on Interior Structural Components of Super High-Rise Residences

In this study, we discussed the effects on the thermal comfort of super high-rise residences that how effected by the high thermal capacity structural components. We considered different building orientations, structures, and insulation methods. We used the dynamic simulation software THERB (simulation of the thermal environment of residential buildings). It can estimate the temperature, humidity, sensible temperature, and heating/cooling load for multiple buildings. In the past studies, we examined the impact of air-conditioning loads (hereinafter referred to as AC loads) on the interior structural parts and the AC-usage patterns of super-high-rise residences. Super-high-rise residences have more structural components such as pillars and beams than do ordinary apartment buildings. The skeleton is generally made of concrete and steel, which have high thermal-storage capacities. The thermal-storage capacity of super-high-rise residences is considered to have a larger impact on the AC load and thermal comfort than that of ordinary residences. We show that the AC load of super-high-rise units would be reduced by installing insulation on the surfaces of interior walls that are not usually insulated in Japan. Keywords—High-rise Residences, AC Load, Thermal Comfort, Thermal Storage, Insulation Patterns
Simulation Modeling for Analysis and Evaluation of the Internal Handling Fleet System at Shahid Rajaee Container Port

— The dramatic increasing of sea-freight container transportations and the developing trends for using containers in the multimodal handling systems through the sea, rail, road and land in nowadays market cause general managers of container terminals to face challenges such as increasing demand, competitive situation, new investments and expansion of new activities and need to use new methods to fulfil effective operations both along quayside and within the yard. Among these issues, minimizing the turnaround time of vessels is considered to be the first aim of every container port system. Regarding the complex structure of container ports, this paper presents a simulation model that calculates the number of trucks needed in the Iranian Shahid Rajaee Container Port for handling containers between the berth and the yard. In this research, some important criteria such as vessel turnaround time, gantry crane utilization and truck utilization have been considered. By analyzing the results of the model, it has been shown that increasing the number of trucks to 66 units has a significant effect on the performance indices of the port and can increase the capacity of loading and unloading up to 10.8%.
Rule and equipment modification issues in World Taekwondo Federation (WTF) competition

Background: At the beginning of the new millennium, the WTF was entangled in a variety of high-level scandals involving its leadership. In addition, taekwondo matches were often considered too boring to watch for audiences, and the IOC demanded more transparency in taekwondo’s scoring process. As a result, the taekwondo establishment feared for its continuing membership as an official discipline in the Olympic Games. Therefore, the WTF initiated a variety of far-reaching rule and equipment changes during the past decade. Aim: The aim of this study is to examine the results of the rule changes and equipment modifications introduced to the competition system of the WTF after the year 2000. Method: The methodology used included the analysis of documents. In addition, general observations and interviews played a role in the process of deduction and synthesis. Results and Conclusion: Presently, the desired outcomes of the rule changes and equipment modifications have not been entirely accomplished. While there have been various improvements in the overall competition system, several unintended and unanticipated consequences have arisen from recent modifications. Moreover, it seems that the single-minded focus by the WTF on keeping taekwondo’s Olympic membership status has not always been the best for the sport. © Idōkan Poland Association “IDO MOVEMENT FOR CULTURE. Journal of Martial Arts Anthropology”, Vol. 15, no. 4 (2015), pp. 3–12 DOI: 10.14589/ido.15. 4.2
Scalable Authorization in Role-Based Access Control Using Negative Permissions and Remote Authorization

Abstract : Administration of access control is a major issue in large-scale computer systems. Many such computer systems proposed over recent years aim at reducing the effort required to govern access. Role-based access control (RBAC) systems are a huge benefit to this point. They reduce the tasks of an administrator or authorities when users take on different roles in an organization and need to be assigned different access rights or privileges based on these roles. RBAC is a very expressive and flexible access control mechanism that makes it possible to have security policies based on the principle of least privilege, static and dynamic separation of duties, conflicts between roles and permissions, and many more. This research proposes the use of negative permissions and remote authorization for improving the scalability of an RBAC implementation.
THE SPACE DENSITY OF LUMINOUS DUSTY STAR-FORMING GALAXIES AT z > 4: SCUBA-2 AND LABOCA IMAGING OF ULTRARED GALAXIES FROM HERSCHEL-ATLAS

Until recently, only a handful of dusty, star-forming galaxies (DSFGs) were known at z > 4, most of them significantly amplified by gravitational lensing. Here, we have increased the number of such DSFGs substantially, selecting galaxies from the uniquely wide 250, 350, and 500 μm Herschel-ATLAS imaging survey on the basis of their extremely red far-infrared colors and faint 350 and 500 μm flux densities, based on which, they are expected to be largely unlensed, luminous, rare, and very distant. The addition of ground-based continuum photometry at longer wavelengths from the James Clerk Maxwell Telescope and the Atacama Pathfinder Experiment allows us to identify the dust peak in their spectral energy distributions (SEDs), with which we can better constrain their redshifts. We select the SED templates that are best able to determine photometric redshifts using a sample of 69 high-redshift, lensed DSFGs, then perform checks to assess the impact of the CMB on our technique, and to quantify the systematic uncertainty associated with our photometric redshifts, σ = 0.14 (1 + z), using a sample of 25 galaxies with spectroscopic redshifts, each consistent with our color selection. For Herschel-selected ultrared galaxies with typical colors of S500/S250 ∼ 2.2 and S500/S350 ∼ 1.3 and flux densities, S500 ∼ 50 mJy, we determine a median redshift, , an interquartile redshift range, 3.30–4.27, with a median rest-frame 8–1000 μm luminosity, , of 1.3 × 1013 L⊙. A third of the galaxies lie at z > 4, suggesting a space density, ρz > 4, of ≈6 × 10−7 Mpc−3. Our sample contains the most luminous known star-forming galaxies, and the most overdense cluster of starbursting proto-ellipticals found to date.
Processor design space exploration and performance prediction

The use of simulation is well established in processor design research to evaluate architectural design trade-offs. More importantly, Cycle by Cycle accurate simulation is widely used to evaluate the new designs in processor research because of its accurate and detailed processor performance measurement. However, only configuration in a subspace can be simulated in practice due to its long simulation time and limited resources, leading to suboptimal conclusions that might not be applied to the larger design space. In this thesis, we propose a performance prediction approach which employs a state-of-the-art technique from experimental design, machine learning and data mining. Our model can be trained initially by using Cycle by Cycle accurate simulation results, and then it can be implemented to predict the processor performance of the entire design space. According to our experiments, our model predicts the performance of a single-core processor with median percentage error ranging from 0.32% to 3.01% for about 15 million design spaces by using only 5000 initial independently sampled design points as a training set. In CMP the median percentage error ranges from 0.50% to 1.47% for about 9.7 million design spaces by using only 5000 independently sampled CMP design points as a training set. Apart from this, the model also provides quantitative interpretation tools such as variable importance and partial dependence of the design parameters.
GASTROINTESTINAL SYNDROMES IN FOOD ALLERGY

Gastrointestinal (GI) clinical syndromes can be categorised by immunopathophysiology into disorders with an acute onset after ingestion, mediated by food-specific IgE antibody (e.g. oral allergy syndrome (OAS)), those that are chronic in nature and sometimes associated with IgE (e.g. eosinophilic gastroenteropathies) and those that are T-cell-mediated (e.g. food protein-induced disorders). OAS is usually associated with allergic rhinoconjunctivitis and allergy to pollen, especially to birch, grass, ragweed and mugwort. Symptoms of OAS are confined to the oral cavity. The diagnosis of this disorder is primarily clinical. Eosinophilic disorders can occur at any age and should be considered in the differential diagnosis of patients presenting with chronic GI symptoms such as abdominal pain, nausea, vomiting, diarrhoea, failure to thrive and GI bleeding. GI mucosal biopsies are mandatory for the definitive diagnosis of these disorders. Food allergy may play a causative role in some patients and must be sought for. Treatment options include dietary elimination, elemental diet, corticosteroid therapy (oral or topical) and anti IL-5. Food protein-induced disorders present well-characterised immunological responses (T-cell-mediated reactions) to dietary protein, cow’s milk and soya protein in particular. They present in infancy or early childhood and usually resolve by age 1-3 years. Dietary elimination and elemental feeds (extensively hydrolysed (eHF) or amino-acid formula) are the only treatment available for these disorders.
CASP 11 target classification

Protein target structures for the Critical Assessment of Structure Prediction round 11 (CASP11) and CASP ROLL were split into domains and classified into categories suitable for assessment of template‐based modeling (TBM) and free modeling (FM) based on their evolutionary relatedness to existing structures classified by the Evolutionary Classification of Protein Domains (ECOD) database. First, target structures were divided into domain‐based evaluation units. Target splits were based on the domain organization of available templates as well as the performance of servers on whole targets compared to split target domains. Second, evaluation units were classified into TBM and FM categories using a combination of measures that evaluate prediction quality and template detectability. Generally, target domains with sequence‐related templates and good server prediction performance were classified as TBM, whereas targets without sequence‐identifiable templates and low server performance were classified as FM. As in previous CASP experiments, the boundaries for classification were blurred due to the presence of significant insertions and deteriorations in the targets with respect to homologous templates, as well as the presence of templates with partial coverage of new folds. The FM category included 45 target domains, which represents an unprecedented number of difficult CASP targets provided for modeling. Proteins 2016; 84(Suppl 1):20–33. © 2016 Wiley Periodicals, Inc.