Miracle-dz/UniFAR-FTUs huggingface dataset:
Recognizing Intention from Natural Language : Clarification Dialog and Construction Grammar

Integral to recognizing human intentions is understanding language. We describe an implemented system for Natural Language Understanding (NLU) that receives text or speech as input and produces action as output without human intervention. Using previous research from linguistic pragmatics and dialog systems, we identify several areas of difficulty in recognizing intentions from language. We discuss our implemented solutions to two of these problems: 1) clarification dialog; 2) a construction grammar approach to the interpretation of indirect speech acts.
Warning and Prohibitory Traffic Sign Detection based on Edge Orientation Gradients

A method for traffic sign shape detection is presented, which does not require extensive training and is based on fast template matching suitable for real-time applications. The proposed method is able to detect prohibitory and warning signs. Post processing phase enables detection verification thus drastically increasing detection accuracy. All method parameters, if required, can be tweaked without the need for time-consuming retraining procedures. The method shows robustness to various conditions that often impose problems for color based systems. The proposed method can be used standalone or with already developed methods as a verification layer. Keywords—computer vision, traffic sign detection, template matching
Considering from core losses in modeling the reluctance synchronous motor

Synchronous reluctance motor figures of merit have been improved thanks to the technological evolution of the materials its rotor is made of. Other factors, like new control strategies, the developments of power semiconductors and digital electronics have also played an important role in making possible this improvement. Owing to this development, it is now possible to consider this category of motors when thinking of driving loads under variable speeds. The synchronous reluctance machine may be considered as an alternative other than the conventional induction machine if the figures of merit of both the machines are made comparable. The purpose of this work is to study the cage synchronous reluctance machine. Theoretical approach and experiment are considered in the study. Based on the Honsinger equivalent circuit, the balanced synchronous operation under permanent steady state is considered as a particular case. Steady-state operation results from the laboratory are compared to the experimental results. The current and torque experimental characteristics are presented as functions of the machine speed. Dynamic and steady state conditions were considered when obtaining these curves. Theoretical and experimental results showed good agreement so that the machine modeling comprising a cage in its rotor was successfully obtained.
Multiscale Modeling of High Contrast Brinkman Equations with Applications to Deformable Porous Media.

Simulating porous media flows has a wide range of applications. Often, these applications involve many scales and multi physical processes. A useful tool in the analysis of such problems in that of homogenization as an averaged description is derived circumventing the need for complicated simulation of the fine scale features. In this work, we recall recent developments of homogenization techniques in the application of flows in deformable porous media. In addition, homogenization of media with high-contrast. In particular, we recall the main ideas of the homogenization of slowly varying Stokes flow and summarize the results of [4]. We also present the ideas for extending these techniques to high-contrast deformable media [3]. These ideas are connected by the modeling of multiscale fluid-structure interaction problems.
Notes on Support Vector Machines , COMP 24111

We start from introducing the notations to be used in this notes. We denote a set of training samples by {(x1, y1), (x2, y2), . , (xN , yN)}. The column vector xi ∈ R d denotes the d-dimensional feature vector of the i-th training sample, which corresponds to a data point in a d-dimensional space. The scalar yi ∈ {−1,+1} denotes the class label of the i-th training sample, for which +1 represents the positive class while −1 the negative class.
MATHEMATICAL MODELLING IN THE MALAYSIAN SECONDARY CURRICULUM

In this paper, the author discussed why mathematical modelling should be introduced in the mathematics curriculum at the secondary level in Malaysia. The importance of mathematical modelling process and the analysis on how Singapore and the USA had placed modelling in the mathematics curriculum are presented. Some modelling examples provided are meant to provide illustrations of the modelling tasks and processes that can be linked to the current Malaysian secondary curriculum. The benefits of modelling are enormous in the mathematics classroom. One not only understands how mathematics is used in the real-world but also construct a model or physical representation that is used to solve the problem. Using the modelling processes to solve real-world problems would help one in making conjectures and reasoning that is one of the important focus in the mathematics curriculum.
Microwave generation in experiments on sub-relativistic electron beam relaxation in magnetized plasmas

relaxation in magnetized plasmas A.V. Arzhannikov, A.V. Burdakov, V.S. Burmasov, D.E. Gavrilenko, I.A. Ivanov, A.A. Kasatov, I.V. Kandaurov, V.V. Kurkuchekov, S.A. Kuznetsov, K.I. Mekler, S.S. Popov, V.V. Postupaev, A.F. Rovenskikh, V.F. Sklyarov, A.V. Sudnikov, Yu.A. Trunev and L.N. Vyacheslavov 1 Budker Institute of Nuclear Physics SB RAS, Novosibirsk, Russia 2 Novosibirsk State University, Novosibirsk, Russia 3 Novosibirsk State Technical University, Novosibirsk, Russia
Starvation Free Scheduler for Buffered Crossbar Switches

Need for high speed internet connectivity has led to a substantial research in switching systems. Buffered crossbar switches have received a lot of attention from both research and industrial communities due to their flexibility and scalability. Designing a scheduling algorithm for buffered crossbar switches without starvation is a major challenge as of now. In this paper, we propose a Delay based prioritized queue with round-robin scheduler (DPQRS) which uses no speedup. Simulation result shows that DPQRS reduces the starvation considerably with maximum throughput and minimum delay comparable to PQRS and LQF-RR.
The Digital Dimension in University Traineeships : An Opportunity to Build Innovative Professional Teaching Competences

The article aims to illustrate the experiences of using digital technology in the internship of future teachers at the University of Bolzano Faculty of Education. In the Italian National Digital School Plan (2015) it is stressed that digital training is necessary not so much from the IT point of view, but as a necessary ground for the development of competences oriented towards innovation in teaching practice. As the National Teaching Training Plan (2016) – NTTPstates, universities are asked to build, in alliance with schools, the real spaces for the evolution of professional knowledge that should include an updated perspective of the basic skills of the teaching profession (pedagogical-didactic-relational) effectively supported by the use of digital technology, according to the model TPACK (Technology, Pedagogy and Content Knowledge). University of Bolzano is working, in some courses, toward these perspective, however an important part of this pedagogical-didactic innovation is played in the traineeship. Since 2016, the students of Faculty of Education have been using an e-portfolio to document and reflect on their personal and professional path and during the various indirect training workshops they share practices and reflections through digital and multimedial artifacts in a digital social platform. This way, the internship is configured as a real playground for the development of those professional skills aimed to innovate teaching practices that characterize the guidelines of NDSP request , where it is highlighted that digital competence helps to build the logic of educational innovation.
3D registration by using an alternative 3D shape representation

This paper introduces a surface matching algorithm for 3D registration that uses an alternative 3D Shape Representation: CIRCON (Cylindrical Image of Radial Contours), that both enables the compression of the 3D data, making them more manageable, and facilitates the tasks related to surface matching. By making use of the properties of this 3D shape representation two surfaces whose relative pose is unknown can be aligned. The information obtained by the surface matching process is then used for calculating a coarse transformation (rotation and translation) between both surfaces.
Using WordNet to predict numeral classifiers in Chinese and Japanese

Most nouns must be modified by a numeralclassifier combination when quantified in classifier languages like Chinese and Japanese. In this paper, we present a method to generate numeral classifiers using Chinese and Japanese WordNets. We assign synsets from WordNet to each classifier by hand and use a modified algorithm to generate sortal classifiers based on semantic hierarchies. We obtained a generation score of 78.80% for Chinese and 89.84% for Japanese.
Genetic K-means Algorithm for Credit Card Fraud Detection

Rapid growth in electronic commerce technology has led to a tremendous increase in the use of online credit card payment mode. With the usage of credit cards, the number of frauds associated with it also increases. In order to avoid credit card frauds, proper security measures need to be taken. This work reflects an attempt to detect fraudulent credit card transactions by using k-means along with genetic algorithm. Genetic Algorithm is a powerful optimization technique. The k-means algorithm groups the credit card transactions based on the independent attribute values. But, with the increase in input size, it results in outliers. Hence to provide optimized detection of frauds, we used genetic algorithm. The significant results by proposed model are observed over simple K-means and Simple Genetic Algorithm. Keywords— Fraud Detection, E-commerce technology, Credit Card, K-means, Genetic Algorithm (GA), Data Mining.
A Naturalistic Methodology for Assessing Susceptibility to Social Engineering Through Phishing

Phishing continues to be a prevalent social engineering attack. Attacks are relatively easy to setup and can target many people at low cost. This study presents a naturalistic field experiment that can be staged by organisations to determine their exposure. This exercise provides results with high ecological validity and can give organisations the information they need to craft countermeasures to social engineering risks. The study was conducted at a university campus in Kenya where 241 valid system users, also known as “insiders,” are targeted in a staged phishing experiment. The results show that 31.12% of the insiders are susceptible to phishing and 88% of them disclose passwords that grant access to attackers. This study outlines various ethical considerations that ensure such exercises do not present any actual harm. The design of data collection instruments is discussed in depth to allow organisations the opportunity to develop similar tools for routine threat assessment.
Signal processing for high-speed data modems

Modems for leased telephone lines have in the last few years reached data rates which come close to the theoretical limit given by Shannon's capacity theorem. In this paper an overview of the key signal-processing algorithms used in leased-line modems is presented. The transmission of several bits per symbol with uncoded modulation is reviewed, and the use of trellis-coded modulation (TCM) with two-dimensional signal constellations is discussed. It is shown that the coding gains offered by TCM are vital to reliable operation at 14.4 kb/s and above. Algorithms for compensating intersymbol interference and carrier-phase errors are then presented, and the limitations of conventional equalizers addressed. The adaptation of the receiver to the unknown characteristics of a telephone line is discussed, and rapid-training algorithms allowing very short startup times are given. Attention then focuses on recent work which combines the functions of equalization and symbol decoding. This leads to a modem receiver comprising a whitened-matched filter and a reduced-state maximum-likelihood sequence decoder. The performance of such a receiver in the presence of severe channel distortion is compared with that of a conventional receiver using separate equalization and TCM decoding. <<ETX>>
United States Patent

Methods and apparatus for implementing microfluidic analysis devices are provided. A monolithic elastomer membrane associated with an integrated pneumatic manifold allows the placement and actuation of a variety of fluid control structures, such as structures for pumping, isolating, mixing, routing, merging, splitting, preparing, and storing volumes of fluid. The fluid control structures can be used to implement a variety of sample introduction, preparation, processing, and storage techniques.
A Battery Storage System for Distributed Demand Response in Rural Environments

This paper presents the results of deploying three sets of 75 kWh battery distributed energy storage (BDES) systems at residences located in Binger, Oklahoma and Fayetteville, Arkansas. In addition, a commercial facility installation has been brought on-line. These sites include renewable energy generation consisting of a residential 450W solar photovoltaic source and a 65 kW wind turbine at the commercial facility. The BDES system was developed in collaboration with the University of Arkansas and deployed with assistance from Caddo Electric Cooperative (Oklahoma) and Ozarks Electric Cooperative (Arkansas). Results confirm the expected benefits of battery distributed energy storage systems for demand response management.
Two heuristics to the share-of-choice product line design problem

Two heuristics are proposed in this paper to solve the problem of constructing an optimal product line using partworth estimates from conjoint analysis. The objective of this NP-hard problem is to choose a level for each attribute to construct a product line so that the line's share-of-choice is maximised. Existing solution approaches include heuristics that have been only tested on small simulated problems and an exact method that requires long run times when tested on a large commercial problem. Computational results demonstrate that one of our heuristics is capable of finding near optimal solution to large simulated and commercial problems in seconds. The performance of the other heuristic fluctuates with the degree of consumer heterogeneity in a sample.
Patent SMT Based on Combined Phrases for NTCIR-7

In this paper, we describe a combined phrase approach to the Statistical Machine Translation of Japanese patents into English. To resolve the segmentation errors caused by the rich OOV (out-of-vocabulary) words in the patent texts, the character based translation phrases are first employed. Then the word based translation phrases are established to utilize the dependable word level information. Finally the two translation phrases tables are linearly combined to capture both character and word level translation correspondences. Preliminary experiments on NTCIR-7 corpus indicate that the BLEU scores of the proposed method significantly out-perform the usual word based approach.
Theories of adaptive neural growth

When interpreting the results of experiments that investigate biological development, one is faced with a wealth of data. Producing a model of such development must always involve some degree of abstraction. The appropriate level of abstraction and the importance of particular experimental evidence is determined by one’s modelling objective. Models may potentially be motivated by one of two complementary aims: 1. To understand how biological neurons achieve their mature interconnectivity. 2. To improve the learning ability of artificial neural nets (ANNs) by taking inspiration from the growth of biological nervous systems. These aims are exemplified in the thesis by two simulated neural models. The first is a model of neuromuscular development that places an emphasis on achieving biological plausibility. The second is a platform for modifying the connectivity of artificial neural networks. This feature generation mechanism (FGM) platform supports a variety of growth procedures that are inspired by evidence from biological development. The model of development at the mammalian neuromuscular junction (NMJ) focusses on the achievement of single innervation, and is an extension of the existing dual constraint model (DCM). The identities of the molecules involved in the DCM are proposed and the framework is adjusted accordingly. This extension allows a variety of developmental phenomena to be replicated, including the presence of both activity-dependent & independent competition between terminals. A further framework is established that provides a potential explanation for the paradoxical results of synaptic interaction under focal blockade conditions. The FGM model concerns feed-forward ANNs and attempts to improve their unsupervised pattern recognition ability. Different FGMs consist of functions that in the right combination produce connectivity patterns that maximise the average Shannon information provided by the output of individual nodes. They also allow the network to construct partial input features which form an any-of-N representation of a given input pattern. FGM networks are shown to outperform other straightforward unsupervised ANNs in trials on simple data sets. More demanding tests are performed indicating that an FGM net with Boolean weights outperforms a competitive network using continuous weights. The slight superiority of the FGM performance is achieved with a third of the free parameters of the competitive net. The nature of the FGM induced partial connectivity implies that these networks would scale up to larger problems more easily their fully connected counterparts.
2 Feasibility of a spaceborne dual-wavelength radar at 94 GHz and 215 GHz for monitoring ice clouds : Comparison with radar / lidar synergy 2

The proposals for cloud-profiling satellites by ESA and NASA have both considered a payload of a 94 GHz radar and a visible lidar; the very different scattering behaviour of the two instruments would enable aerosols, rain, and cloud of all types to be detected. In section 2.5 we will show how lidar and radar can be used to infer the presence of supercooled water layers embedded within ice clouds, but the main intended synergetic use of the two instruments is in the retrieval of the microphysical characteristics of purely ice clouds; because the radar return is approximately proportional to the sixth power of diameter while the lidar echo is proportional to the second, the radar/lidar backscatter ratio is a potentially very sensitive measure of crystal size. Preliminary demonstrations of the retrieval of ice cloud parameters by this method have been presented by Intrieri et al. (1993), Donovan et al. (1999) and Donovan and van Lammeren (2000). The main problem to overcome is attenuation of the lidar signal, which can be substantial and is difficult to correct for given the uncertainty in the extinction-to-backscatter ratio. From space the occurrence of multiple scattering can also significantly degrade the retrievals. The penetration depths of a spaceborne lidar signal are estimated in section 2.3. In this section we take a different approach and examine the potential of dual-wavelength radar for the quantitative determination of ice crystal size and ice water content (IWC). In particular the combination of 94 GHz and 215 GHz is considered.
Effects of graded levels of Dioscorea villosa extracts on physiological response of West African Dwarf goat.

Okukpe K. M*. , Adeloye A. A. , Soladoye A. O. , Adua M. M. , Aderibigbe T.A. and Opowoye I. O. Reproductive Physiology Unit, Department of Animal Production, Faculty of Agriculture, University of Ilorin; Department of Physiology, College of Medicine, University of Ilorin, P.M. B. 1515, Ilorin, Kwara State, Nigeria; Department of Animal Science, Nasarawa State University, Keffi, Nasarawa State, Nigeria.
Symbolic Presentation of Nonlinear Dynamic Systems in Terms of Lego-Objects

In this paper we propose a symbolic representation of the solutions of the equations of evolution of dynamical systems in the framework of matrix formalism and Lie algebra for a number of elements of the accelerator (in particular, quadrupoles and octupoles) up to the 4-th order. The considered solutions present so-called Lego objects, which are included in the general scheme of the representation beam dynamics and used for its preliminary and computer modeling.
Evaluating the creativity of computational musical improvisation systems

Evaluating the creativity of computational musical improvisation systems This proposal demonstrates the SPECS creativity evaluation methodology: Standardised Procedure for Evaluating Creative Systems (Jordanous, 2011). SPECS has been used to systematically evaluate how creative four computational music improvisation systems are, using a three-step process: 1. Stating what creativity means in the context of musical improvisation 2. Deriving standards from Step 1 to test the computational systems' creativity 3. Performing tests to evaluate the systems along the standards identified in Step 2 Four jazz improvisation systems were evaluated: For Steps 1 and 2, 14 key aspects of creativity were identified using computational linguistics techniques. In a questionnaire completed by 34 people of varying musical expertise, some of these aspects were found more important in the specific context of creativity in musical improvisation. Work submitted to CIM11 with Bill Keller reports these results. For Step 3, the improvisation systems were rated on each of the 14 aspects, These ratings were then weighted according to their perceived importance in musical improvisation creativity, as found in the questionnaire results. Overall GenJam was found to be most creative, though other systems were perceived as having higher associated value (Impro-Visor) or to be more spontaneous (Voyager). As well as being a methodological contribution, the SPECS approach to evaluation has generated both comparative feedback on how creative various computational improvisors are and, perhaps more importantly, detailed formative feedback on how to improve each systems' creativity.