Miracle-dz/UniFAR-FTUs huggingface dataset:
The 9 Lives of Bleichenbacher's CAT: New Cache ATtacks on TLS Implementations

At CRYPTO'98, Bleichenbacher published his seminal paper which described a padding oracle attack against RSA implementations that follow the PKCS #1 v1.5 standard. Over the last twenty years researchers and implementors had spent a huge amount of effort in developing and deploying numerous mitigation techniques which were supposed to plug all the possible sources of Bleichenbacher-like leakages. However, as we show in this paper, most implementations are still vulnerable to several novel types of attack based on leakage from various microarchitectural side channels: Out of nine popular implementations of TLS that we tested, we were able to break the security of seven implementations with practical proof-of-concept attacks. We demonstrate the feasibility of using those Cache-like ATacks (CATs) to perform a downgrade attack against any TLS connection to a vulnerable server, using a BEAST-like Man in the Browser attack. The main difficulty we face is how to perform the thousands of oracle queries required before the browser's imposed timeout (which is 30 seconds for almost all browsers, with the exception of Firefox which can be tricked into extending this period). Due to its use of adaptive chosen ciphertext queries, the attack seems to be inherently sequential, but we describe a new way to parallelize Bleichenbacher-like padding attacks by exploiting any available number of TLS servers that share the same public key certificate. With this improvement, we can demonstrate the feasibility of a downgrade attack which could recover all the 2048 bits of the RSA plaintext (including the premaster secret value, which suffices to establish a secure connection) from five available TLS servers in under 30 seconds. This sequential-to-parallel transformation of such attacks can be of independent interest, speeding up and facilitating other side channel attacks on RSA implementations.
Digitale Baustelle - innovativer Planen, effizienter Ausführen: Werkzeuge und Methoden für das Bauen im 21. Jahrhundert

Es reicht nicht mehr nur eine gerade Brücke oder ein rechteckiges Haus zu bauen. Das Bauwesen ist eine Hightech-Branche, in der das Thema Digitalisierung immer stärker an Bedeutung gewinnt. Durch die Nutzung moderner Technologien ist es möglich, den steigenden Ansprüchen bezüglich geometrischer Form, Fertigungszeit und Qualität gerecht zu werden. Das Konzept der Digitalen Baustelle beschreibt die ganzheitliche Abbildung aller im Rahmen eines Bauvorhabens anfallenden Daten in einem digitalen Baustellenmodell. Es schafft die Grundlage für einen durchgängigen Datenfluss im Bauwesen und damit für effizientere Planungsund Ausführungsvorgänge. Experten aus Wissenschaft und Industrie stellen in dem Buch Methoden und Technologien zur Umsetzung dieser Vision vor, darunter die konsequent 3D-gestützte Planung, die Nutzung von Systemen zur zentralen Datenhaltung, die computergestützte Simulation des Bauablaufs und die Einführung moderner Logistikkonzepte.
PREDICTORS OF CUSTOMER RETENTION IN ONLINE HEALTH CARE SYSTEM (OHCS) - STRUCTURAL EQUATION MODELLING (SEM) APPROACH

Purpose The purpose of this study is to identify the predictors of customer trust and customer satisfaction, and to empirically test the relationship among customer trust, customer satisfaction, customer commitment and customer retention in online health care system in Indian context. Design/ Methodology and approach This paper stems from a conceptual framework grounded on the theory concerning customer trust and retention. The predictors of customer trust, customer satisfaction, customer commitment and customer retention in online health care are identified through literature support. After conceptual underpinnings, a questionnaire was developed and survey conducted among the patients of the Hospitals who use online health care system. To empirically test this, Exploratory Factor Analysis (EFA), Confirmatory Factor Analysis (CFA) and Structural Equation Modelling (SEM) were carried out. These analyses done through SPSS and AMOS software. Findings The study shows that Perceived usefulness, Information quality, Responsiveness, Security and User interface are predictors of customer trust and customer retention. It a l s o empirically prove the relationship between customer trust, customer satisfaction, customer commitment and customer retention happening through Online Health Care System in India.
Anticausatives are semantically reflexive in Norwegian, but not in English

In this paper we will discuss cross-linguistic variation in semantic entailment patterns in causative alternations. Previous work has probed this issue with data from elicited semantic judgements on paired linguistic forms, often involving linguistic negation and contradiction. We contribute to the debate in the form of a related psycholinguistic experiment that taps into direct judgements of truth conditions based on visualized scenarios. The stimulus consisted of video sequences of agents causing events, and the task involved answering a Yes-No question based on the anticausative/inchoative alternant. We were therefore able to test two languages, Norwegian and English, with the very same stimuli and directly compare the judgements. Based on our results, we will argue that the causative alternation is qualitatively different in the two languages. More specifically, the results support an entailment relation between the causative and its anticausative counterpart in English, as predicted by the whole class of “causer-less” analyses ( Levin & Rappaport Hovav 1995 ; Ramchand 2008 ; Reinhart & Siloni 2005 ) in the literature. In contrast to this, our results support a reflexive analysis of anticausatives in Norwegian ( Chierchia 2004 ; Koontz-Garboden 2009 ), where no such entailment holds.
Allomorphy advantage in word recognition

The aim of the present study was to investigate whether the recognition speed of Finnish nominal base forms varies as a function of their paradigmatic complexity (stem allomorphy) or productivity status. Nikolaev et al. (2014) showed that words with greater stem allomorphy from an unproductive inflectional class are recognized faster than words with lower stem allomorphy from a productive inflectional class. Productivity of an inflectional paradigm correlates with the degree of stem allomorphs in languages like Finnish in that unproductive inflectional classes tend to have higher stem allomorphy. We wanted to distinguish which of these two characteristics provides the benefit to speed of recognition found by Nikolaev et al. (2014). The current study involved a lexical decision task comparing three categories of words: unproductive with three or more stem allomorphs, unproductive with two stem allomorphs, and productive with two stem allomorphs. We observed a facilitation effect for word recognition only for unproductive words with three or more stem allomorphs, but not for unproductive words with two allomorphs. This effect was observed particularly in words of low to moderate familiarity. The findings suggest that high stem allomorphy, rather than productivity of the inflectional class, is driving the facilitation effect in word recognition.
The Stochastic -Method for Nonlinear Stochastic Volterra Integro-Differential Equations

The stochastic -method is extended to solve nonlinear stochastic Volterra integro-differential equations. The mean-square convergence and asymptotic stability of the method are studied. First, we prove that the stochastic -method is convergent of order in mean-square sense for such equations. Then, a sufficient condition for mean-square exponential stability of the true solution is given. Under this condition, it is shown that the stochastic -method is mean-square asymptotically stable for every stepsize if and when , the stochastic -method is mean-square asymptotically stable for some small stepsizes. Finally, we validate our conclusions by numerical experiments.
Design and construction of a transmitive reflective Liquid Crystal SLM and investigation of phase and amplitude modulation

in this paper, by using a new commercial high resolution TFT liquid crystal display, a Spatial Light Modulator (SLM) is designed. In order to employ this device as a phase screen, optical properties such as phase and amplitude modulation is studied. By coating a reflective layer, this device can act in the transmission or reflection mode. Finally diagrams of Interferometry setup for phase and amplitude investigations are presented.
Isolation and Identification of Phosphate Solublizing Bacteria from Tomato Fields

Microbes from soil were isolated and cultured using Pikovskaya’s medium. The isolates were screened for phosphate activity and identified as a phosphate solubilizing bacteria (PSB). The Phaseolus radiatus (green gram) seeds were germinated using these PSB as test against deionized water as control by roll towel model. Seeds were grown well in the PSB and it was verified by the estimation of concentration of total protein and total phenol in the germinated plant root (i.e.), the protein and phenol concentration of the root extract in the PSB test was higher than that of control. Biochemical tests were performed and the species were identified as Pseudomonas cichorii. Antifungal tests were also performed to find out fungal activity of the isolates. This study mainly focused on P.cichorii which has the ability to solubilize inorganic phosphates present in the soil and can be used as a biofertilizer, which will give more yields.
Customizable verifiers for web applications and their implementation

This paper presents a method that enables programmers to easily define and customize verification items for Web applications. In this method, we first specify verification conditions using regular expressions to indicate a part of code of interest, and if it is against a verification item, this method provides a mechanism to automatically correct that code using another expression. In addition, to make it possible to easily define complicated verification items that check a sequence of the pieces of program code that appear at multiple locations of the programs, the method provides several program interfaces with which we can check the part of the program code of interest in more detail.
Automatic Facial Feature Points Detection with SUSAN Operator

This paper proposes a method for detecting facial features and extracting its points from color images. A perceptually uniform chromatic system is used for representing color information in order to increasing the robustness of the extraction of the skin color region and the hair color regions. The face and the regions containing facial features are extracted from the image by applying the integral projection method, which makes use of both the color information (the skin color and the hair color) and the edge information (the strength and the orientation). The facial feature points are then detected from each region containing facial feature with the so called SUSAN corner detector. The proposed system is confirmed to be effective and robust to deal with the face images with various translations, slightly rotations and changes of facial expressions. Keyword: Facial feature point detection, Integral projection, SUSAN corner detector, Color information, Edge information
The attentional capture of colour in visual interface design: a controlled-environment study

The use of colour is an integral component in visual interface design for creating separation between objects and for conveying meaning. It has previously been established that colours can be separated in a hierarchy of primary colours and secondary colours, and that colours are consistently associated with specific mood tones. However, it has thus far not been investigated whether these two factors, which we refer to as the perception-primacy and emotion-conveyance, are associated with attentional capture in a congruent manner. To investigate this, we conducted a visual search task study in a controlled environment, in which 11 participants scanned a 20 item display for a coloured target amongst coloured distractors. We found evidence to support that primary colours capture attention significantly more than secondary colours, and inconclusive evidence that colours convey their meaning at a sufficiently early level of processing to influence attention. We end by discussing implications of our results for design practice and research in psychology.
Performance advantage of Schottky source/drain in ultrathin-body silicon-on-insulator and dual-gate CMOS

Here, for the first time, advanced simulation models are used to investigate the performance advantage of Schottky source/drain ultrathin-silicon technologies at a 25-nm gate length target. Schottky and doped source/drain MOSFETs were optimized and compared using a novel benchmark. Mixed-mode simulations of optimized devices in a two-stage NAND chain show an approximate 45% speed advantage of Schottky source/drain for one set of parameter choices. Contact requirements for Schottky source/drain, and for doped source/drain relative to ITRS targets through 2016, are discussed.
Bootstrapping Australian inbound tourism

This paper adopts a model-free approach to forecasting monthly international tourist arrivals to Australia from four major origin countries: New Zealand, UK, the USA, and China. While most researchers use parametric methodologies to model tourism demand, this study proposes a non-parametric approach that employs a ‘Partitive Simulation Process’ or PASIP by partitioning the original monthly time series into 12 sub-series according to the month. Both ordinary and time-weighted non-parametric bootstraps are used, to resample the observed samples 2,000 times, to estimate the underlying population statistics. We then conduct PASIP’s forecasts and compare them with ARIMA forecasts. There are four significant observations. First, the partitive process is a viable way of handling seasonality. Second, PASIP performs well in predicting the turning points and data trends. Third, weighted PASIP generally outperforms non-weighted PASIP in terms of forecast errors. Fourth, PASIP produces smaller forecast errors than ARIMA for UK, USA, and China data.
Corporate and Non-Profit Social Media Policies: A Content Analysis

Purpose – The purpose of this paper is to explore the characteristics of corporate and non-profit social media policies (SMP). Design/Methodology/Approach – Content analysis was used to empirically examine corporate and non-profit social media policies that are publically available online.Findings and implications – The results indicate the majority of policies receiving average scores. Additionally, the research has shown no statistically significant differences between profit and non-profit policies. The research provides a framework for analyzing organizational SMPs to reveal gaps and identify areas for improvement. Limitations – Only SMPs that are publically available online were used in content analysis. Also, the interpretation of the elements of competing values framework (CVF) used in the analysis might lead to subjective results. Originality – To the best of our knowledge, this is one of the few papers to examine and compare corporate and non-profit SMPs.
Bird composition and diversity in oak stands under variable coppice management in Northwestern Turkey

Abstract: Coppice management results in profound differences in forest structure and composition, which in turn can modify habitat value for bird species. We measured bird species richness and composition at 50 sample plots in pure oak forest stands in northwestern Turkey, which differed in age, cover and height in association with coppice management. We recorded a total of 38 bird species and 699 individuals across all stands. Regression-based multimodel inference showed that structural features of forest stands strongly affect bird diversity and abundance. While canopy cover and tree height affect bird diversity positively, elevation of sampling plots, tree density and tree diameter at breast height (DBH) had a negative effect. In addition, constrained ordination analyses revealed that canopy cover was the most important factor influencing bird species composition. Forest stands that have 42-85% canopy cover, i.e., a few (2009-2580 oak trees) large tall (13.36-15.78 m) trees, were the most preferred habitat by bird species. However, we also found that different bird species favor different stand structural features. Thus, variation in stand structure from maintaining some coppice management across the landscape may be beneficial for rare or endangered species and result in greater landscape level biodiversity.
Regional and Sectoral Evidence of the Macroeconomic Effects of Labor Reallocation: A Panel Data Analysis

This paper re-examines Lilien’s sectoral shifts hypothesis for U.S. unemployment. We employ a monthly panel that spans from 1990:01 to 2011:12 for 48 U.S. states. Panel unit root tests that allow for crosssectional dependence reveal the stationarity of unemployment. Within a framework that takes into account dynamics, parameter heterogeneity and cross-sectional dependence in the panel, we show that sectoral reallocation is significant not only at the aggregate level but also at the state level. The magnitude and the statistical significance of the latter as measured by Lilien’s index increases when both heterogeneity and cross-sectional dependence are taken into account.
2-D Equivalent finite element model of quadratic linear electromagnetic actuator

The purpose of this paper is to present a 2-D equivalent finite element model of a quadratic linear electromagnetic actuator that can save space and power as it does not employ an energy conversion system. A 2-D model, while being fairly accurate, is preferable to a 3-D finite element analysis for the design and analysis of a quadratic linear electromagnetic actuator as it requires significantly lower computing resources and results in faster calculations. We calculate the effective coil length for the equivalent 2-D finite element model and validate the accuracy of this model with experimental data.
Analysis of Factors Affecting Security Trading In Investment Banks in Kenya

Security trading is the main function of an investment bank. It is therefore the process through which financial asset of any kind is traded. This paper is aimed at analyzing the various factors affecting security trading in investments banks in Kenya. The specific objectives which affect security trading in the investment banks include; legal and the regulatory framework, insider trading, taxation of investment income and the public knowhow on security trading. In summary, the researcher found out that compliance to CMA and having proper corporate governance structures are ways through which an investment bank is said to function in accordance to the laid down legal and regulatory framework. It was also found out that insider trading and taxation greatly affects the volume of securities to be traded in an investment bank. Poor literacy level, information inadequacy and lack of accessing the so needed information are some of the factors that affect public knowledge on security trading in investment banks. In conclusion, Legal and Regulatory framework, Insider trading, Taxation of investment income and public knowhow affects security trading in an investment Bank. Keywords : Security Trading, Insider Trading, Financial Asset, Investment banks
Real-time 3 D environment mapping occlusion and collision in augumented reality

Achieving realistic augmented reality gives us several complex challenges to solve. Past work has shown that in most cases the technology available was not up to the task. However, the advances made in recent years have drastically changed the possibilities, and in this thesis we investigate them. To aid in this, we categorize augmented reality systems based on the type of information they use. The categorization shows us that we have not yet achieved a truly realistic merging of the virtual world with our real world. This thesis examines the basic operations we need for that purpose. By solving the collision and occlusion problems, we lay the groundwork for further work in achieving realistic augmented reality. We create a testbed and define metrics for quantifying the performance of our system, with respect to collision and occlusion. This testbed can be used to quantify the performance of any augmented reality system, and we apply it to our own implementation. The results show that we have defined a working testing methodology, and using the testbed we show that the Kinect V2 depth-sensor is suitable for 3D environment mapping. The collision and occlusion results become worse when too much smoothing is applied, or when upsampling introduces too much noise. Limitations of this thesis are that we implemented the system on the CPU only, when a GPU approach would produce better running time performance. Based on this thesis, future work can be performed on merging virtual lighting with the real world. Real-time 3D Environment Mapping: Occlusion and Collision in Augmented Reality iii
Parallel Implementation of the Discrete Green's Function Formulation of the FDTD Method on a Multicore Central Processing Unit

Parallel implementation of the discrete Green's function formulation of the finite-difference time-domain (DGF-FDTD) method was developed on a multicore cen- tral processing unit. DGF-FDTD avoids computations of the electromagnetic field in free-space cells and does not require domain termination by absorbing boundary condi- tions. Computed DGF-FDTD solutions are compatible with the FDTD grid enabling the perfect hybridization of FDTD with the use of time-domain integral equation methods. The developed implementation can be applied to simulations of antenna characteristics. For the sake of example, arrays of Yagi-Uda antennas were simulated with the use of parallel DGF-FDTD. The efficiency of parallel computations was in- vestigated as a function of the number of current elements in the FDTD grid. Although the developed method does not ap- ply the fast Fourier transform for convolution computations, advantages stemming from the application of DGF-FDTD instead of FDTD can be demonstrated for one-dimensional wire antennas when simulation results are post-processed by the near-to-far-field transformation.
103 : Microclimate perception analysis through cognitive mapping

Outdoor thermal comfort is not only determined by microclimate, but also by perceptual factors. As environmental psychology has brought forward, people develop cognitive “schemata” about the physical settings they are exposed to. It can be assumed that this mechanism influences thermal perception as well. To investigate this question a research project has been conducted in Dutch urban public spaces. This firstly revealed that people’s long-term microclimate experience is predominantly based on more extreme microclimate situations and secondly that people assign microclimate schemata to certain spatial configurations. Microclimate perception in relation to spatial perception often matches quite well with physical reality, but this is not always the case. Therefore, these results question the purely physical methods (measurements or simulations) normally used to map microclimate preceding urban redesign projects. To calibrate the physical approach with an experiential approach to thermal comfort a cognitive mapping method is proposed. This timeefficient method can be similar to the one used in the research project described in this paper and brings about easily usable results for the urban designer because they are explicit and place-related.