Miracle-dz/UniFAR-FTUs huggingface dataset:
Some experiments on activity outlier detection (Discussion Paper)

The rise of cyber crime observed in recent years calls for more efficient and effective data exploration and analysis tools. In this respect, the need to support advanced analytics on activity logs and real time data is driving data scientist’ interest in designing and implementing scalable cyber security solutions. However, when data science algorithms are leveraged for huge amounts of data, their fully scalable deployment faces a number of technical challenges that grow with the complexity of the algorithms involved and the task to be tackled. Thus algorithms, that were originally designed for classical scenarios, need to be redesigned in order to be effectively used for cyber security purposes. In this paper, we explore these problems and then propose a solution which has proven to be very effective in identifying malicious activities.
C-Lenses Explained: Bx Foundations for the Rest of Us

Bidirectional transformations (bx) are mechanisms for maintaining the consistency of multiple artefacts. Some of the challenges bx research aims to address include answering fundamental questions such as how best to precisely characterise consistency, “good” consistency maintainers, and the required input and assumptions to guarantee this good behaviour. While substantial progress has been made towards unifying the different (variants of) formal frameworks for bx, many of these formal results are not yet easily accessible to more practically-oriented bx researchers, often due to a missing background in (advanced) category theory. This is an unfortunate situation, as many bx tools are developed and maintained by practically-oriented bx researchers, who would but currently cannot fully profit from formal results and insights. In particular, we are not aware of any practical implementation of C-lenses, not even preliminary discussions about its relevance to practical bx. We believe this is because of the inaccessibility of the categorical language, and write this paper to decipher C-lenses for bx researchers without any substantial background in category theory. Our goal is to spark broader interest in C-lenses and in discussions on their usefulness in practice and potential for improving existing, and inspiring new bx tools. We start by reviewing the well-known state-based bx framework, already accessible to a broad audience due to its simplicity. We then explain how this framework can be elegantly generalised to the richer, delta-based setting of C-lenses using multiple examples and illustrative diagrams.
Cataplexy Detection: Neurologists, You Are Not Alone! (Discussion Paper)

Narcolepsy with cataplexy is a severe lifelong disorder characterized, among the others, by the sudden loss of bilateral face muscle tone triggered by emotions (cataplexy). In this extended abstract, we present two methodologies for the automatic analysis of patients’ videos able to assist neurologists in diagnosing the disease and/or detecting attacks. Indeed, recent findings demonstrated that the detection of abnormal motor behaviors in video recordings of patients undergoing emotional stimulation is effective in characterizing the disease symptoms. Such motor behaviors (ptosis, mouth opening, head drop) are however to be discovered by neurologists through manual inspection of patients’ videos. Automatic content-based video analysis is clearly of immediate help here. Experimental results conducted on real data support the effectiveness of the presented automated techniques.
Using Automatic Vehicle Identification Data to Gain Insight into Travel Time Variability and Its Causes

Unreliable transport systems cause stress and anxiety for travelers and create difficulties for authorities managing network operations. This study conducted a comprehensive investigation of travel time distributions in terms of various time windows based on extensive automatic vehicle identification data collected from the CityLink Tollway in Melbourne, Australia. The study also examines the components of travel time variability and explores their relationships. Given the number of factors affecting travel time variability and their interaction effects, multiple regression analysis is used to quantify the contribution of the various sources to the variability in travel time. Application of the methodology to two groups of data—namely, travel times in morning peak and afternoon peak—demonstrates that they have distinctive sources of variability. Morning peak travel times vary mostly because of driver-related factors, specifically lane choice decisions, whereas 25% of the variability of travel times in the afternoon peak corresponds to capacity-related factors.
Extraction of Medical Concepts from Italian Natural Language Descriptions (Discussion Paper)

In this paper we present a Natural Language Processing (NLP) pipeline to automatically extract medical concepts from a free text written in a language other than English. To do so, we use common NLP techniques and the metathesaurus of Unified Medical Language System (UMLS). Specifically, our goal is to automatically extract ontological concepts representing which part of the human body is injured and what is the nature of the injury, given an Italian textual description of a work accident. We start by partitioning the text into tokens and assigning to each token its part-of-speech, and then use an appropriate tool to extract relevant concepts to be searched within UMLS. We tested our system on a public large repository containing textual descriptions of work accidents produced by INAIL. Experimental results confirm that our system is able to correctly extract relevant medical concepts from texts written in Italian.
Guide to Fully Homomorphic Encryption over the [Discretized] Torus

First posed as a challenge in 1978 by Rivest et al. [RAD78], fully homomorphic encryption—the ability to evaluate any function over encrypted data— was only solved in 2009 in a breakthrough result by Gentry [Gen09, Gen10]. After a decade of intense research, practical solutions have emerged and are being pushed for standardization. This guide is intended to practitioners. It explains the inner-workings of TFHE [CGGI20], a torus-based fully homomorphic encryption scheme. More exactly, it describes its implementation on a discretized version of the torus. It also explains in detail the technique of the programmable bootstrapping.
P/poly Invalidity of the Agr17 Functional Encryption Scheme

Functional encryption (FE) is an advanced topic in the research of cryptography, and the Agr17 FE scheme is one of the major FE schemes. It took the BGG+14 attribute-based encryption (ABE) scheme as a bottom structure, which was upgraded into a ‘partially hiding predicate encryption’ (PHPE) scheme and combined with a fully homomorphic encryption (FHE) scheme. However, there is a remaining problem, the implementation of the modulus reduction, in the Agr17 FE scheme. First, a modulus reduction is necessary for the polynomial-time computability of the scheme. Second, the detailed steps of the modulus reduction were absent in the scheme (including its conference version and full version). Instead, the authors only pointed out several reference works. The author’s meaning seemed to be that the modulus reduction of the Agr17 FE scheme can be obtained by directly using or simply generalizing these reference works. Third, these reference works only described various modulus reductions of FHE schemes, without the hint of how to generalize them into the modulus reduction of FE schemes. Finally, any modulus reduction of FHE can not be simply generalized into the modulus reduction of the Agr17 FE scheme due to the following two facts: (1) The Agr17 FE scheme has two moduli, which are the modulus of the FHE ciphertext and of the ABE ciphertext, both are originally superpolynomial in size for processing P/poly functions. (2) Both moduli need
A new predistortion based on the double-mode adaptive technique for satellite communications

Satellite communication channels are equipped with the Traveling Wave Tube (TWT) amplifiers which cause severe nonlinear distortions when they work near saturation. In this paper, a new predistorter is designed based on the double-mode adaptive technique. Firstly, a neural network is used to design the amplitude predistorter, and the error-filtering scheme is applied to improve the classical structure of adaptive control, hence the convergent process turns to be rapid by using the LMS algorithm. Secondly, a real polynomial is applied to identify the phase character of TWT, and then the negative polynomial is copied to the transmitted path. Simulation results show that the compensated system is characterized by the approximately ideal amplifier within the range of saturated input value.
Exploring Stressors of Hong Kong Expatriate Construction Professionals in Mainland China: Focus Group Study

Following the recent economic boom in Mainland China (ML), the Chinese construction industry has undergone continuous expansion. As a result, many construction companies in Hong Kong (HK) have expanded their business into ML. Necessary strategic changes in the direction of company business have led to an increasing number of HK expatriate construction professionals working in ML (HKE-CP-M). Due to the dynamic nature of the construction industry, it has long been recognized that HK construction professionals (HK-CPs) are a highly stressed group. Conducting work in an unfamiliar environment can cause HKE-CP-Ms stress. Hence, this study aims to explore and identify the various types of expatriate stressors that cause HKE-CP-Ms stress. To achieve this aim, six standardized focus groups were held: four expatriate groups comprised of HKE-CP-Ms working in Beijing, Shanghai, Guangzhou, and Macau, respectively; a repatriated HK-CP group; and a HK-CP group with no expatriate work experience. The expatriate stressor.
Performance evaluation of permanent magnet synchronous machines with concentrated and distributed windings including the effect of field-weakening

The aim of this paper is to evaluate different concentrated fractional pitch winding designs in comparison to a distributed full pitch winding design with one slot per pole per phase as a reference. The rotor design is fixed and the permanent magnets are surface mounted, i.e. the rotor has negligible magnetic saliency. The studied parameters are power capability considering inverter capacity, field-weakening performance, torque ripple (including cogging), iron losses, winding losses and thermal behaviour. The results of the machine performance comparisons are based on a comprehensive use of finite element analysis tools. Measurement results from tests on a laboratory prototype are used to define heat coefficients.
New and emerging tools for library practice in the New Millennium

The paper provides an overview of trends in library practice worldwide. The trend is largely moderated by information and communication technology (ICT). The new tools of library practice are therefore essentially digital. The economic and social environment of library practice in Nigeria is briefly surveyed before discussing the new library. Discussion on the new library focuses on the uses of electronic mal, wed browsing and web page design, utilizing resources on the web, and manual processing. The paper concludes by listing the challenges in the way of the Nigerian academic/research librarian in appropriating the new tools for library practice. The challenges include funding for ICT, Internet connectivity, maintenance of facilities, provision of functional infrastructure (such as telephone and reliable electric power supply), and, of course, training and continuous professional development. Keywords : emerging, library, millennium, new, practice, tools Lagos Journal of Library and Information Science Vol. 1(1) 2003: 67-72
Automatic defect inspection of patterned thin film transistor-liquid crystal display (TFT-LCD) panels using one-dimensional Fourier reconstruction and wavelet decomposition

Large-sized flat-panel displays have become increasingly important for use in computer monitors and televisions. This paper has considered the problem of automatic visual inspection of micro-defects including pinholes, scratches and particles in patterned thin film transistor-liquid crystal display (TFT-LCD) panel surfaces. For large-sized TFT-LCD panel inspection, high-resolution line scan is demanded. We propose a global one-dimensional (1-D) Fourier-based image reconstruction scheme that directly works on the 1-D line images instead of the traditional two-dimensional area images. The proposed method fully uses the inherent geometric structure of a TFT-LCD panel. It first eliminates the frequency components that represent the periodic pattern of a TFT-LCD line image in the 1-D Fourier spectrum and then back-transforms the 1-D Fourier-domain image to the 1-D spatial domain image using the inverse Fourier transform. The Fourier reconstruction process can effectively remove the patterned background and distinctly preserve local anomalies in the resulting 1-D image. Wavelet decomposition is further applied to remove uneven illumination in the filtered image so that defects can be easily segmented with simple statistical control limits. Experimental results on a number of micro-defects embedded in TFT-LCD panels show that the proposed method can reliably detect various ill-defined defects without designing and measuring the quantitative features of individual defect types.
A Concept For A High Resolution Optical Lithographic System For Producing One-Half Micron Linewidths

This paper describes a concept for developing an optical printer having a one-half micron linewidth capability to meet the pro-jected needs of future Integrated Circuit (IC) production facilities. Our approach for meeting this objective is to combine the appro-priate features of the current 1:1 reflective optical printers with the stepping characteristic of the 10:1 refractive optical systems. The proposed, very deep, UV step and repeat system has the potential of reaching a one-half micron linewidth production goal entirely with optical technology. The key subsystem elements necessary to achieve these goals are discussed. These subsystems include a reflective optical system, a 10:1 stepper configuration having a linearity limit of 0.5 microns and an FOV of 15 mm, a deep UV laser source, photoresists having the required sensitivity, an alignment capability of 500 Å , a focal sensor having a 500 Å tolerance and the associated mechanical, electronic and environmental controls compatible with a produc-tion throughput of 60-four inch wafers/hour.
A low-voltage, low power divide-by-4 LC-tank injection-locked frequency divider

A low-voltage wide locking range injection-locked frequency divider (ILFD) using a standard 0.18 µm complementary metal-oxide-semiconductor process is presented. The ILFD is based on a differential LC VCO with one injection metal oxide semiconductor field effect transistor (MOSFET) for coupling external signals to the resonator. The low-voltage operation and wide locking range is obtained by boosting the gate voltage swing of the ILFD. Measurements show that at the supply voltage of 0.67 V, the divider's free-running frequency is tunable from 3.91 to 4.22 GHz, and the core power consumption is 1.87 mW. At the incident power of 0 dBm the divide-by-4 operation range is about 2 GHz (12.3%), from the incident frequency 15.3–17.3 GHz. The divide-by-2 locking range is about 5.1 GHz (77%), from the incident frequency 4.1–9.2 GHz.
Investigation of Output Mechanical Power Limits on High-Torque Electrostatic Actuators Using High-Frequency Complementary Metal Oxide Semiconductor (CMOS) Camera Combined with Image Processing Software

The following work investigates output mechanical power limits of electrostatic micromotors using stator/rotor contact interactions. Loading characteristics of micrometer size motors monolithically coupled with elastic polysilicon torque sensors are measured through an high-frequency complementary metal oxide semiconductor (CMOS) camera combined with a specific image processing software. Short duration video sequences recorded during the rotor braking are analyzed by tracking of a target pixel attached to the tested devices. Output mechanical power limits are measured through electrostatic probing on the wafer level within a few milliseconds. Experiments point out an unusual mechanical power per mass unit which is as high as 100 W/gr, considering driving frequencies on the order of 100 kHz.
Compact modeling of quantum effects in double gate MOSFETs

As CMOS scales down to the limits imposed by oxide tunneling and voltage non-scaling, double-gate (DG) MOSFET has become a subject of intense VLSI research. In this dissertation, quantum effects were investigated in both long channel and short channel Double-Gate MOSFETs. A 1-D numerical Poisson-Schrodinger solver was developed for the quantum solutions in DG MOS structure. The solver can be expanded for the current characteristics of DG MOSFETs because of equivalent influence of the quasi-Fermi potential and the gate voltage on the inversion charge density. Through extension solutions in symmetric DG MOSFETs, quantum effects induced threshold voltage shift was expressed as a close form function of the silicon thickness based on a physical approximation. The gate capacitance degradation due to quantum effects was modeled by the inversion layer thickness change, which can be extracted from the inversion charge density. Quantum I - V and C - V characteristics were generated by the analytical classical potential model with the threshold voltage and gate capacitance degradation implemented as quantum corrections. Complicated quantum mechanical behavior of electrons in asymmetric DG MOSFETs was investigated. The threshold voltage shift can be calculated with the electron ground state energy calculated through different methods. An equivalent small-signal capacitance circuit was developed to model the charge coupling between the two gates and inversion channels. The capacitance model was valid for different types of DG MOSFETs and different operation region. A 2-D analytical potential solution to the Poisson's equation was incorporated into the Schrodinger equation for the quantum solutions in short channel DG MOSFETs. With the eigen energies calculated through the perturbation method, quantum subthreshold current was calculated. The results agreed well with the simulated data by an iteration procedure. The quantum threshold voltage shift and sunthreshold slope in short channel DG MOSFETs were expressed as close functions of device parameters and bias, which can easily be implemented into the classical model
A Framework for a Strategic Repositioning Strategy: A Case Study of Bulmers Original Cider

R epositioning is conscious adaptation to a changing environ-ment, representing a fundamental shift in the firm’s value proposition (Turner, 2003). Repositioning as a pure play is largely neglected in the strategy literature, while empirical studies are rare. This paper explores the concept and process of strategic repositioning, based on the case of Bulmers cider in Ireland. A framework for successful repositioning is proposed, with six elements: core strategic values, strategic flexibility/learning capabilities, customer awareness and sensitivity, external orientation, management commitment, and belief in the product and brand. The Bulmers case affirms the ontological status of repositioning as a viable strategy. The case also indicates that repositioning is a feasible means of strategic change, which is transformational with limited scale, and is largely intellectual and enacted with strategic learning. This paper affirms the external/internal duality and need for an evolutionary, repositioning process of Turner (2003). It also extends Turner’s study due to the successful and more persuasive context of the Bulmers study, and by providing a tentative template for successful repositioning.
Exploring soft TQM dimensions and their impact on firm performance: some exploratory empirical results

The aim of the paper is to study soft total quality management practices and their impacts on firm performance. In the research, the systematic literature review was used. After identifying a research gap, a theoretical framework was developed and research hypotheses were formulated. We have further checked the validity and reliability of measurement items using confirmatory factor analysis. The research framework was tested using multiple linear regressions under the effect of controllable variables (i.e. size of employees, supply uncertainty and demand uncertainty) of firm performance. The research hypotheses are well supported, which is consistent with previous extant literature.
Main Text: Episodic memory relies on synaptic modifications transforming fleeting experiences into durable memory traces (1). The strengthening of synaptic connections between neurons that are active during the experience of an episode in turn critically depends on the temporal structure

Brain oscillations mediate efficient information transfer between neurons in animal models of memory. Theta and gamma oscillations in the medial temporal lobe are thought to establish short-latency co-firing of neurons to support memory formation. However, evidence for 20 such a role of oscillations in human episodic memory has so far remained elusive. We recorded single unit activity and local field potentials in patients with epilepsy. The results show that phase coupling of neurons to faster theta and gamma oscillations correlates with co-firing at short latencies (~20-30 ms) and occurs during successful memory formation. Phase coupling at slower oscillations in these same frequency bands, by contrast, correlates with longer co-firing latencies 25 and occurs during memory failure. A computational model using slow and fast theta/gamma oscillations demonstrates that faster oscillations yield more efficient synaptic plasticity. These results support the long-standing assumption that oscillations support episodic memory formation via establishing short-latency co-firing of neurons. 30
KNOWLEDGE EXTRACTION FOR AUTOMATED RECRUITMENT PROCESS USING NATURAL LANGUAGE PROCESSING

: When companies post jobs to their sites or other sites then hundreds of applications are received. Reading these CVs and recruiting the right candidates is a work that will include higher workforce to getting the result manually. Parsing Resume and scanning the same is an old process and estimating his proficiency in certain areas are practiced earlier. If we see currently there are no open-source CV parsers are available to extract knowledge from CV with expected results and therefore the purpose of the dissertation is to remove the shortcoming in the current Recruitment System’s which are used for extracting information from available CV that was available with the organization. With this research dissertation we are trying to generate solution to problem and provides accuracy in results and does the work faster. CV/Resumes taken from different professions use different formats, fonts, styling and structuring and vocabulary. We are focusing the concept of Automated Recruitment process and the mail logic behind it is to provide ease to Recruitment Process with the help of Technology.