Miracle-dz/UniFAR-FTUs huggingface dataset:
Adapted explicit two-step peer methods

Abstract In this paper, we present a general class of exponentially fitted two-step peer methods for the numerical integration of ordinary differential equations. The numerical scheme is constructed in order to exploit a-priori known information about the qualitative behaviour of the solution by adapting peer methods already known in literature. Examples of methods with 2 and 3 stages are provided. The effectiveness of this problem-oriented approach is shown through some numerical tests on well-known problems.
Individual variation in the development of the Western Vowel System of Utah

Abstract The BIT, BING, BET, BAT, BAN, BOOK, and BUT vowels of ten Utah English speakers (born 1883–1928) were analyzed over the course of several decades of their adult lives. Most speakers participated in the Western Vowel System by lowering BIT and BET, retracting BAT, and raising BAN, with some fronting BOOK and BUT. Speakers generally did not exhibit monotonic change across the years from expected positions for BET, BAT, and BAN, and for the most part for BOOK and BUT; however, most speakers showed change with regard to BIT, though speakers differed from each other on the direction of change. Even for those vowels with no consistent direction of intraindividual change, however, in many cases speakers were inconsistent in their production from year to year. Further, speakers’ envelopes of variation were different for various vowels, with the widest range of intraindividual variation in BET and BAT, less variation in BAN and BUT, and little in BIT and BOOK. It is suggested that the envelope of variation is at least as much as an important issue for studies of linguistic behavior across adulthood as any actual shift in linguistic behavior across real time.
The Web as a legal language resource

Abstract The literature has long explored the Web as corpus for language research and practice. However, little has been written on the Web as a legal language resource. This paper is aimed at exploring the Web as a tool which can provide answers to legal language queries. In this respect, it will show how Google advanced search and the WebCorp Web concordancer can shed light on legal language and bring recurrent patterns to the surface. To this aim, a few issues will be addressed touching upon the query search syntax, the choice of the best translation candidates, the extraction of frequent collocations, the noticing of high recurrences, etc. Considering the shortcomings and the advantages of Google advanced search and of the WebCorp Web concordancer, the paper findings will argue that the Web as corpus can be a reliable legal language resource as long as a selection of tools are used, and the query syntax is accurate.
Robust stability analysis of constrained model predictive control

We show that a model predictive controller is robustly stable on a linear plant if and only if some corresponding model predictive controller is nominally stable. Thus powerful nominal stability results can be used to analyze robust stability properties of model predictive controllers. We discuss how the results may be used to synthesize robust controllers. The effectiveness of this method is illustrated on an idle speed control problem.
Waste Management Integration with Green Quality Function Deployment (G-QFD) for Healthcare Centre

Abstract High doses of medical waste evidence that health waste management is problematic. A case study was conducted at various health institutions. This research analyzes various issues in the area of medical waste management. The research examines the perception of staff regarding medical waste management. The purpose of the study is to investigate the level of knowledge, attitudes and role of health practitioners in the management of medical waste. Here the quality index and the environmental index of two health centers are studied; one is a private hospital and the other one a state hospital and compares these two indices with a questionnaire. To provide environmentally friendly services, customers and environmental criteria have to be taken into account in the decision-making process and distributing the Green Quality Function provides a very useful way to achieve this goal.
Cloud Computing: A Solution to Information Support Systems (ISS)

Information Support Systems (ISS) are computer technology/network support systems that interactively support the information processing mechanisms for individuals and groups in life, public, and private organizations, and other entities. With the increasing use of technology in modern times, there is a growing requirement of Information Support Systems for the organizations. Over some decades in the past, organizations have put efforts to be at the forefront of the development and application of computer-based Information Support Systems to collect, analyze and process the data and generate information to support decisions. Various computing paradigms have been employed for the purpose and needs have emerged for enormous infrastructure, unlimited system accessibility, cost effectiveness, increased storage, increased automation, flexibility, system mobility and shift of IT focus. This paper presents a brief evaluation on how Cloud Computing paradigm can be used to meet the increasing demands of the Information Support Systems and how Cloud Computing paradigm can prove to be future solution for such systems.
Statistical Language Models for Information Retrieval: A Critical Review

Statistical language models have recently been successfully applied to many information retrieval problems. A great deal of recent work has shown that statistical language models not only lead to superior empirical performance, but also facilitate parameter tuning and open up possibilities for modeling nontraditional retrieval problems. In general, statistical language models provide a principled way of modeling various kinds of retrieval problems. The purpose of this survey is to systematically and critically review the existing work in applying statistical language models to information retrieval, summarize their contributions, and point out outstanding challenges.
Copula multivariate GARCH model with constrained Hamiltonian Monte Carlo

Abstract The Copula Multivariate GARCH (CMGARCH) model is based on a dynamic copula function with time-varying parameters. It is particularly suited for modelling dynamic dependence of non-elliptically distributed financial returns series. The model allows for capturing more flexible dependence patterns than a multivariate GARCH model and also generalizes static copula dependence models. Nonetheless, the model is subject to a number of parameter constraints that ensure positivity of variances and covariance stationarity of the modeled stochastic processes. As such, the resulting distribution of parameters of interest is highly irregular, characterized by skewness, asymmetry, and truncation, hindering the applicability and accuracy of asymptotic inference. In this paper, we propose Bayesian analysis of the CMGARCH model based on Constrained Hamiltonian Monte Carlo (CHMC), which has been shown in other contexts to yield efficient inference on complicated constrained dependence structures. In the CMGARCH context, we contrast CHMC with traditional random-walk sampling used in the previous literature and highlight the benefits of CHMC for applied researchers. We estimate the posterior mean, median and Bayesian confidence intervals for the coefficients of tail dependence. The analysis is performed in an application to a recent portfolio of S&P500 financial asset returns.
A modular flash EEPROM technology for 0.8 mu m high speed logic circuits

A flash EEPROM technology has been integrated into a 0.8 mu m double-metal CMOS high-speed process for custom integrated circuit applications. The modular approach employed effectively decouples the double-poly, thick-oxide flash EEPROM process from the single-poly, thin-oxide host process. The flash EEPROM has a <100- mu s byte programming time and a nominal 1-s bulk erasure time. The low threshold voltage of the erased cell permits access without wait states at 3-V supply. This technology has been successfully demonstrated on a 32-b microcontroller with a 32-kbyte flash EEPROM module. <<ETX>>
Mapping a Domain Model and Architecture to a Generic Design

Abstract : In contrast to the number of reports on domain analysis, little work has been done in describing the utilization of domain analysis results in the development of generic designs for building applications in a domain. This report describes a process for mapping domain information in Feature-Oriented Domain Analysis (FODA) into a generic design for a domain. The design includes supporting code components that conform to the Object Connection Architecture (OCA), a model for structuring software systems. A process for the use of the design in implementing applications is included. The processes and products described herein augment the final phase of domain analysis (or engineering) described in the original FODA report. This report also documents the continuing work of applying FODA to the movement control domain. The design and Ada code examples for the domain used in the document are from prototype software, created in part to test the processes presented
Provenance of synorogenic deposits of the Upper Cretaceous–Lower Palaeogene Jarmuta–Proč Formation (Pieniny Klippen Belt, Western Carpathians)

Abstract The Pieniny Klippen Belt contains thickening and coarsening upwards synorogenic sedimentary successions witnessing the collision of the Oravic ribbon continent with the Central Carpathian orogenic wedge after the closure of the Vahic Ocean in the Late Cretaceous to Early Palaeogene. The sedimentary record of this event is represented by flysch/wildflysch deposits of the Maastrichtian–Lower/Middle Eocene Jarmuta–Proč Formation. We present results of the provenance study of these deposits, based on the framework petrography, heavy mineral analysis and mineral chemistry. Turbiditic sandstones were classified as quarzolithic to lithic arenites. Lithic fragments are predominantly composed of carbonate rocks and low- to medium-grade metamorphic and occasional mafic volcanic rocks. The heavy mineral association is composed of both first-cycle derived and recycled ultrastable ZTR, garnets and Cr-spinels. The chemistry of the detrital tourmalines and garnets suggests a derivation from various low- to medium-grade metamorphic rocks. High-pyrope garnets, observed in the eastern part of the PKB, which were derived from high-grade granulites and eclogites, represent probably lower crustal complexes exhumed during rifting of the Vahic Ocean. The Cr-spinels show a mixed harzburgitic and lherzolitic provenance. The harzburgitic Cr-spinels might have been recycled from older exotic conglomerates of the Klape Flysch, thereby representing ophiolitic detritus of the Meliata Ocean. The lherzolitic Cr-spinels might represent a new contribution of ophiolitic detritus delivered from the exhumed subcontinental mantle forming the Vahic oceanic floor.
Detection of management fraud: a neural network approach

The detection of management fraud is an important issue facing the auditing profession. A major contributor to this issue is the Loebbecke and Willingham (1989) conceptual model for the detection of management fraud. A cascaded Logit approach using the Loebbecke and Willingham model was developed (Bell et al., 1993). The present study offers an alternative approach using artificial neural networks (ANNs). This paper develops a successful discriminator of management fraud using both the generalized adaptive neural network architectures (GANNA) and the adaptive logic network (ALN) approaches to designing neural networks. The discriminant functions can distinguish between fraudulent and non-fraudulent companies with superior accuracy to the cascaded Logit results. <<ETX>>
The True Nature of the Portfolio Balance Channel of Quantitative Easing Policy

Abstract This paper analyses the effects of the ECB´s Public sector purchase programme (PSPP) on portfolios of the Eurozone investors. The ECB claims that the PSPP works mainly through the portfolio balance channel when the conditions on the asset markets are changed by the presence of a bidding central bank and investors are under those conditions forced to reallocate their portfolio to the state that better corresponds to ECB-changed market conditions and their preferences. This paper incorporates counterfactual analysis approach rather than analysis of direct change of prices and yields of given assets and uses sectoral data regression analysis of asset holdings of different investors in the Eurozone. This study addresses questions regarding size and direction of investors’ reallocations – what types of investors were acting as the main counterparts to the ECB on the market for government bonds and what asset classes were preferred and chosen as an alternative by investors in the Eurozone to reallocate their funds. The series of obtained regression estimates and counterfactual analysis graphic representation answers to questions mentioned above and identifies a nonnegligible effect of the PSPP on the rebalancing of government bond portfolios towards riskier corporate bonds and equities across investor types in major Eurozone countries.
Fault modeling and test pattern generation in the design of array processors

Deals with the problem of establishing a model for test pattern generation and hierarchical fault coverage during the earliest phases of the design of processor arrays. A general approach, valid for the two intermediate design steps of processor arrays, consisting of identical combinational cells with identical local interconnections, is presented. The classes of architectures considered are iterative logic arrays, and systolic and semisystolic arrays implementing locally recursive algorithms. Three basic abstraction levels can be identified in the synthesis of array architectures: the data flow graph, the signal flow graph, and the array level. The authors introduce a methodology to map the testability and testing techniques identified for each level to the others. <<ETX>>
Teaching Chemistry at Indira Gandhi National Open University.

The Open Distance Learning (ODL) concept is fast becoming popular all over the world and it has a lot of relevance for a highly populated country like India. However, the most important aspect of this type of teaching-learning process is establishment of the credibility especially when the laboratory based science programmes are delivered from such institutions. The apprehensions arise because teaching laboratory based science related subjects at a distance is difficult due to students’ compulsory presence for the experimental work and also the cost involvement. Through this paper we intend to establish the credibility and authenticity of the B.Sc. (major) in chemistry programme by giving a brief comparative account of IGNOU and conventional university courses. It discusses the delivery aspects of this programme highlighting the existing delivery mechanism, analyses the weaknesses in the present system substantiated by a survey study and also suggests some new approaches to make chemistry courses more effective from learner’s learning point of view. The survey study has been helpful also in suggesting appropriate technologies for the effective delivery of Chemistry courses.
A laser pointer

A laser pointer comprising a main unit (1) comprising a laser diode (3) adapted to emit a laser beam (30) in a first direction (X1), the main unit (1) being attached to a first phalanx (P1 ) of a finger (20), control means (4) adapted to control the laser diode, detection means (5) adapted to detect the condition that said first joint is substantially aligned with a second phalanx (P2) adjacent to the first phalanx, wherein the control means (4) controls the starting and stopping of the laser diode (3) depending on the condition that the first joint is substantially aligned with the second phalanx of the finger.
High-performance advanced filter bank analog-to-digital converter for universal RF receivers

The advanced filter bank analog-to-digital converter (AFB ADC) is a breakthrough approach to very high-speed, high-resolution analog-to-digital conversion which improves the speed of conversion by up to six times the state-of-the-art by using a parallel array of individual converters (patent pending). The AFB ADC uses multirate filter bank signal processing to improve performance. Because of its unique architecture, the AFB ADC is continuously upgradeable as new analog-to-digital converter chips become available, thereby maintaining its performance advantage. This paper describes the architecture and provides hardware prototype results for a 12-bit, 80 MSa/s system for use in a universal, software-reconfigurable radio frequency (RF) receiver for cellular, satellite, or military communications. A 14-bit, 325 MSa/s system is currently being developed.
Design and Implementation of Hardware Based Entropy Analysis

The aim of this study is hardware implementation of the Entropy analysis. Designing and verifying entropy analysis is the major finding of this study aper. Entropy tells how much amount of data can be compressed. Entropy analysis plays a major role in scan based SoC testing. Size and complexity have been the major issues for current scenario of System-on-a-Chip (SoC) testing. Test data compression is a must for such cases. Entropy analysis is taken for both specified and unspecified bits (don't care bits). Unspecified bits are specified using Zero and One fill algorithms. The X-filling technique is applied for fixed to fixed codes. The proposed method is successfully tested on ISCAS89 benchmark circuits.
Security of Key in Cloud Using Cryptography

Cloud Computing provides new visualization to the world. Cloud Computing transforms the way by which information technology (IT) is consumed and managed, promising improved cost efficiencies, and the ability to scale application on demand. Cloud Computing allow user to store large amount of data in cloud storage and use as when required. Since Cloud Computing is rest on internet, security issues like privacy, data security, confidentiality and authentication is encountered. Customer information stored at cloud needs to be protected against potential intruders as well as cloud service provider. Organizations are transferring important information to the cloud that increases concerns over security over data. Cryptography is common approach to protect the sensitive information in cloud. Cryptography involves managing encryption and decryption keys. In this paper we have given a encryption and decryption algorithm to manage key in the cloud.
Innovation Management in Good Practice Context

Abstract The issue of innovation has also been pursued in social sciences and subsequently specifically in the field of application of socio-scientific knowledge. It is not just about professional engineering ethics but we perceive it in a complex and wider social context. Doing good as well as good practice are more than the professional code of ethics or an effort for technical or managerial excellence. Innovative changes should not be parameterized solely by economic efficiency or performance. With regard to new knowledge and technology development, their ethical aspects become more important and focus more on good life. In the context of social sciences with interdisciplinary trends, applied ethics and its subdisciplines (professional ethics, business ethics, ethics of science and research) can take over and play an important practical role. Innovative processes are increasingly becoming the focus of applied ethics, especially in terms of ethical risks. Our mission is to offer an interdisciplinary view of innovation as discussed in the ethics aspect. Based on these considerations, we conclude that ethics need to be integrated into individual innovation processes and adopted as an important condition for eliminating (mitigating) social risks. In our theoretical considerations we offer a view of the scientific risks and forms of prevention related to innovative change in important areas including engineering practice or health protection.
Boundary least squares method with three-dimensional harmonic basis of higher order for solving linear div-curl systems with Dirichlet conditions

Abstract Solving linear divergence-curl system with Dirichlet conditions is reduced to finding an unknown vector function in the space of piecewise-polynomial gradients of harmonic functions. In this approach one can use the boundary least squares method with a harmonic basis of a high order of approximation formulated by the authors previously. The justification of this method is given. The properties of the bilinear form and approximating properties of the basis are investigated. Convergence of approximate solutions is proved. A numerical example with estimates of experimental orders of convergence in Vhp $\begin{array}{} {\bf V}_h^p \end{array}$-norm for different parameters h, p (p ⩽ 10) is presented. The method does not require specification of penalty weight function.
Four Styles of Quali-Quantitative Analysis: Making sense of the new Nordic food movement on the web

Abstract Through the example of a web corpus built to study the emergence of the New Nordic Food phenomenon in Scandinavia, I discuss how quali-quantitative analysis can help us make sense of onlife traces. I propose four styles of analysis that address the meaning problem in different ways, namely 1) through complementarity, a division of labour in which quantitative and qualitative methods are allowed to unfold relatively undisturbed by one another, the latter performing the job of situating and interpreting the insights gleaned from the former; 2) through a single level of analysis, whereby the potential of onlife traces is seen to reside in their ability to be both qualitatively rich and quantifiable at the same time, enabling an analysis of how apparent macro phenomena are produced on the micro level; 3) through curation, a critical practice in which a qualitative understanding of different media environments and their effects on the production of onlife traces becomes integral to the way in which such data should be sourced and quantified; and 4) through algorithmic sensemaking, whereby the relational reasoning typically associated with qualitative fieldwork is emulated quantitatively through techniques like pattern recognition.