Miracle-dz/UniFAR-FTUs huggingface dataset:
Automatic theory generation from analyst text files using coherence networks

This paper describes a three-phase process of extracting knowledge from analyst textual reports. Phase 1 involves performing natural language processing on the source text to extract subject-predicate-object triples. In phase 2, these triples are then fed into a coherence network analysis process, using a genetic algorithm optimization. Finally, the highest-value sub networks are processed into a semantic network graph for display. Initial work on a well- known data set (a Wikipedia article on Abraham Lincoln) has shown excellent results without any specific tuning. Next, we ran the process on the SYNthetic Counter-INsurgency (SYNCOIN) data set, developed at Penn State, yielding interesting and potentially useful results.
MOSYN: a MOS circuit synthesis program employing 3-way decomposition and reduction based on seven-valued logic

A novel circuit synthesis method is proposed in which a 3-way decomposition and reduction procedure is used recursively for a given logic function. Logic functions are described and manipulated using a 7-valued logic system to exploit such advantages as bidirectional conductivity of MOS networks. A circuit synthesis program (MOSYN) based on this method was implemented on VAX/UNIX and was able to generate a set of possible circuits under several constraints, which are equivalent in logic but have different topologies. The algorithm is applicable not only to CMOS static circuits but also to other static and dynamic circuits, including NMOS and cascode voltage switch logic.
Design and reliability analysis of high-speed and continuous data recording system based on disk array

In many real-time fields the sustained high-speed data recording system is required. This paper proposes a high-speed and sustained data recording system based on the complex-RAID 3+0. The system consists of Array Controller Module (ACM), String Controller Module (SCM) and Main Controller Module (MCM). ACM implemented by an FPGA chip is used to split the high-speed incoming data stream into several lower-speed streams and generate one parity code stream synchronously. It also can inversely recover the original data stream while reading. SCMs record lower-speed streams from the ACM into the SCSI disk drivers. In the SCM, the dual-page buffer technology is adopted to implement speed-matching function and satisfy the need of sustainable recording. MCM monitors the whole system, controls ACM and SCMs to realize the data stripping, reconstruction, and recovery functions. The method of how to determine the system scale is presented. At the end, two new ways Floating Parity Group (FPG) and full 2D-Parity Group (full 2D-PG) are proposed to improve the system reliability and compared with the Traditional Parity Group (TPG). This recording system can be used conveniently in many areas of data recording, storing, playback and remote backup with its high-reliability.
Statistical assessment of papers submitted to the “British Medical Journal”

When the humble author submits his paper to a learned journal I suppose one of his main fears is that the editor's fearsome statistician will immediately devour and discard months of hard work on a subject which the author thought he knew as much about as anyone. How thoroughly unfair that someone who knows nothing about the subject can wield such power. The fear is real because the lowly researcher, starved of funds and miles from a friendly statistician, knows that editors have become increasingly strict and look on perfection in this respect as the hallmark of a high scientific standard. I do not quibble with this admirable objective, except to make one point. In my occasional role as a referee I would say it is not difficult to detect statistical weakness in a paper. What is more important, because it is more difficult to detect, is weakness in the underlying physiology, or what ever the science may be, and the trouble is that an impeccable clinical trial can be an extremely effective smokescreen for thoroughly bad physiology. Conversely, the best physiology (with exceptions) does not need refined statistical analysis to convince one of its veracity. No harm will come from good physiology clothed in shaky statistics, but errors may lie hidden for years behind a sound statistical analysis. The moral for the author who suspects his physiology is weak and is determined to pierce the editor's defences is to make sure that his statistics are perfect. How is the poor editor, defending himself against several hundred such authors each week, to detect scientific "codswallop" clothed in beautiful statistics? Only by getting a physiologist to catch a physiologist. That is usually just what the editor does, but I continue to be surprised at the poor scientific quality of many papers. The trouble is that whereas one medical statistician can cover all the clinical sciences, the scientific material can be assessed only by someone working in the same discipline, and even then refereeing error may occur in both directions. Bad physiology may go undetected, and good physiology may end up in the editor's wastepaper basket.
A Review Research on Mobile Social Networking Application in Constructing Seamless Learning Space

Much like web-based social networking, as a brand new social media, mobile social networking is increasingly influence people’s lifestyle, and the “Post 90s” students are the mainly users of this new medium. Nevertheless, the worrying thing is that the learning situations of undergraduate students are confronted with many difficulties and challenges. On the other side, with the widely spread of the Mobile Internet and mobile devices, mobile learning is becoming more and more popular. Therefore, making full use of mobile social networking and other mobile technologies, to construct a sustainable seamless learning space of mobile learning for colleges and universities, and to design relevant learning resources and processes, have important significance of motivating students’ learning enthusiasm and improving their learning effect. Keywords-mobile social networking; mobile learning; seamless
The virtual other: Aspects of social interaction with synthetic characters

By questioning the concept of "believability" frequently used as a measure for the success of embodied agents, the article lays out the reasons and implications for replacing it by a concept of "agency. " It discusses the numerous expectations that are involved in the interaction between social actors, whether human or artificial. It is shown that research attempts to satisfy the requirements of communicative rationality which, however, presupposes implicitly a shared and unproblematic background. Cultural background as part of the "lifeworld" in the sociological sense, plays an important role in interactional behavior that serves to establish, maintain, and terminate any communicative activity. It is here that problems and breakdowns in communication occur most frequently and remain inaccessible to rational discourse of criticism and justification. Embodied agents inevitably bring with them the background of their designers, as there is no such thing as a neutral background. The article concludes with the unresolved problem of cross-cultural portability of embodied agents and their lifeworld.
CALL and the development of learner autonomy: Towards an activity-theoretical perspective

While the concepts and principles associated with learner autonomy underpin a broad range of CALL applications and research projects, current debates and research paradigms in CALL do not provide adequate tools and models to investigate in depth the relationship between CALL and the development of learner autonomy. This paper explores the potential of cultural-historical activity theory to study this relationship. Starting from the complex and multidimensional nature of learner autonomy, it highlights some of the weaknesses in the CALL literature addressing some aspects of this relationship. Following a presentation of the main tenets of cultural-historical activity theory (CHAT), including the notion of contradiction which is at the core of CHAT, it then seeks to demonstrate how activity theory can assist us in rethinking our understanding of learner autonomy in the context of technology-rich language learning environments and in formulating suitable criteria and questions, which can guide judgemental and empirical analyses. The paper concludes by illustrating some of the principles explored through examples drawn from an activity-theoretical judgemental analysis of a French module delivered to first year students in Dublin City University.
Seizure detection by recurrent backpropagation neural network analysis

Detection of the onset of seizure-activity in the EEG record of an epileptic patient is an important step in the localization of seizure foci. We employ the use of three multilayer recurrent neural-network architectures to detect seizure-activity onset in multichannel subdural EEG (SEEG) data. Representing each architecture as (input layer-hidden layer-output layer), the three neural networks examined were 5-10-5, 5-5-1, and 5-10-1
Self-Localization Systems and Algorithms for Wireless Sensor Networks

Wireless Sensor Networks, a novel technology about acquiring and processing information, have been proposed for a multitude of diverse applications. The problem of self-localization, that is, determining where a given node is physically or relatively located in the networks, is a challenging one, and yet extremely crucial for many applications. In this paper, the evaluation criterion of the performance and the taxonomy for wireless sensor networks self-localization systems and algorithms are described, the principles and characteristics of recent representative localization approaches are discussed and presented, and the directions of research in this area are
Supervised Rank Normalization with Training Sample Selection

Feature normalization as a pre-processing step has been widely used to reduce the effect of different scale in each feature dimension and error rate in classification. Most of the existing normalization methods, however, do not use the class labels of data points and, as a result, do not guarantee the optimality of normalization in classification aspect. A supervised rank normalization method, combination of rank normalization and supervised learning technique, was proposed and demonstrated better result than others. In this paper, another technique, training sample selection, is introduced in supervised feature ∙제1저자 · 교신저자 : 허경용 ∙투고일 : 2014. 11. 3, 심사일 : 2014. 12. 16, 게재확정일 : 2015. 1. 6. * 동의대학교 전자공학과 (Dept. of Electronic Engineering, Dong-eui University) ** 동의대학교 멀티미디어공학과 (Dept. of Multimedia Engineering, Dong-eui University) ※ 이 논문은 2013년 동의대학교 교내연구비 지원으로 연구되었음 (과제번호:2013AA140) 22 Journal of The Korea Society of Computer and Information January 2015 normalization to reduce classification error more. Training sample selection is a common technique for increasing classification accuracy by removing noisy samples and can be applied in supervised normalization method. Two sample selection measures based on the classes of neighboring samples and the distance to neighboring samples were proposed and both of them showed better results than previous supervised rank normalization method. ▸
The case for interpretive structural modelling as a technique for enhancing electronic meeting system support

The author describes the use of PRISM, a GSS (group support systems) tool based on the principles of ISM (interpretive structural modeling), using four representative case studies. Each case illustrates the pitfalls associated with generating ideas through simple brainstorming and nominal group techniques, typical of prevailing GSS tools. The strengths associated with ISM are discussed, revealing the potential benefits it offers to the development of more robust GSS tools. The case studies presented show how ISM can overcome the weaknesses inherent in less-structured problem-solving methods, such as Kepner-Tregoe, Porter's strategic business planning methodology, and Cooper's new product method, all of which make assumptions about the problem that is to be solved. <<ETX>>
AI-Based Planning for :Data Analysis Tasks

This paper describes the application of a domainindependent planner, COLLAGE, to the task of planning data-retrieval and data-preparation steps performed by earfh scientists. We describe the nature of this process, its inherent dificulties, the potential benefits of automation, and why AI-based planning is particularly suitable for carrying out this automation. We then describe the COLLAGE architecture and our work thus far in extending and applying it to this task. Two features of COLLAGE that make it particularly useful are its use of localized search and a diverse and extendable set of plan construction techniques.
Functional Residue Prediction by Multiple Sequence Alignment for Carbohydrate Binding Modules

Multiple sequence alignment is often used to locate consensus sequence stretches with evolutionary and functional conservation. However, when sequence similarity among the queries becomes low, sequence alignment tools generate extremely diverse results. The aim of this study is to incorporate relevant biological knowledge and assumptions to improve quality of general alignment on low similarity sequences. Since recognition of key features in carbohydrate binding module (CBM) family does not apply to general models, a more accurate weighted entropy function employing secondary-structure-based and key-residueweighted algorithms for alignment was designed to approach this goal. The results indicate that the proposed method is able to detect the known ligand-binding residues and to predict unknown functional residues in cellulose binding domains (CBDs) and xylooligosaccharides binding domains (XBDs) in terms of three-dimensional structures. Our results contribute molecular basis of CBDs and XBDs and potential application in development of alternative energy for future needs.
Population size and functional efficiency in public library authorities: the statistical evidence

Regression analysis is used to analyse the available statistical evidence on the range, cost and usage of UK public libraries to determine whether any gen eral relationship exists between the pop ulation size served by a public library authrority and its functional efficiency, while recognizing that some aspects of the impact of size require a more quali tative assessment. Examines the perfor mance of the smallest authorities against the UK national average. The statistical analysis of service provision over the 1980s is based on the returns made by the chief librarians to the annual Public Library Statistics (Actuals) produced by CIPFA's (Chartered Institute of Public Finance and Accountancy) Statistical Information Service. The general mea sures of service used in the study consist of: total number of service points; lend ing limit (maximum number of items allowable on loan); issue period; and opening hours (including mobile libraries). Results provide some confir mation of diseconomies of scale in small library authoritites, which incur greater per capita expenditure than larger author ities. Concludes that size is not the only factor determining the scope and range of services. The research was supported by a grant from the British Library, Research and Development Department.
Animated face modeling and adaptation with triangular B-spline

This paper concentrates on creating individual faces for MPEG4 compliant animation with triangular B-spline. We reconstruct 3D face by adapting a generic face model. A semi-automatic method, which creates human face from Cyberware range and texture dat, and deformation primitive, an auxiliary tool for face editing, are presented. In both tools triangular method more robust to range data errors and facilitates the optimization process. For the Cyberware data of an individual face, our method first modifies the generic model to initialize in a semiautomatic way. Then non-linear optimization is performed to decide shape information for this specific face. Texture mapping is trivial after face shape is decided. Our method needs a minimum user interaction. It is also robust for different initialization. Our deformation primitive, which is designed semantically, facilitates face-editing procedure greatly. The reconstructed 3D face can be animated immediately with MPEG4 Facial Animation Parameter streams.
Silicon‐based 0.69‐inch AMOEL microdisplay with integrated driver circuits

Abstract Silicon‐based 0.69‐inch AMOEL microdisplay with integrated driver and timing controller circuits for microdisplay applications has been developed using 0.35 μm 1‐poly 4‐metal standard CMOS process with 5 V CMOS devices and CMP (Chemical Mechanical Polishing) technology. To reduce the large data programming time consumed in a conventional current programming pixel circuit technique and to achieve uniform display, de‐amplifying current mirror pixel circuit and the current‐mode data driver circuit with threshold roltage compensation are proposed. The proposed current‐mode data driver circuit is inherently immune to the ground‐bouncing effect. The Monte‐Carlo simulation results show that the proposed current‐mode data driver circuit has channel‐to‐channel non‐uniformity of less than ±0.6 LSB under ±70 mV threshold voltage variaions for both NMOS and PMOS transistors, which gives very good display uniformity.
Foundations of deductive databases and logic programming

Introduction, by J. Minker Part I - Negation and Stratified Databases Chapter 1 Negation in Logic Programming, by J.C. Shepherdson Chapter 2 Towards a Theory of Declarative Knowledge, by K.R. Apt, H.A. Blair, and A. Walker Chapter 3 Negation as Failure Using Tight Derivations for General Logic Programs, by A. Van Gelder Chapter 4 On the Declarative Semmantics of Logic Programs with Negation, by V. Lifschitz Chapter 5 On the Declarative Semantics of Deductive Databases and Logic Programs, by T.C. Przymusinski Chapter 6 On Domain Independent Databases, by R.W. Topor and E.A. Sonenberg Part II - Fundamental Issues in Deductive Databases and Implementation Chapter 7 Foundations of Semantic Query Optimization for Deductive Databases, by U.S. Chakravarthy, J. Grant, and J. Minker Chapter 8 Intelligent Query Answering in Rule Based Systems, by T. Imielinski Chapter 9 A Theorem-Proving Approach to Database Integrity, by F. Sadri and R. Kowalski Chapter 10 A Logic-based Language for Database Updates, by S. Manchanda and D.S. Warren Chapter 11 Compiling the GCWA in Indefinite Deductive Databases, by L. Henschen and H. Park Chapter 12 Performance Evaluation of Data Intensive Logic Programs, by F. Bancilhon and R. Ramakrishnan Chapter 13 A Superjoin Algorithm for Deductive Databases, by J.A. Thom, K. Ramamohanarao, and L. Naish Part III - Unification and Logic Programs Chapter 14 Logic Programming and Parallel Complexity, by P.C. Kanellakis Chapter 15 Unification Revisited, by J-L Lassez, M.J. Maher, and K. Marriott Chapter 16 Equivalences of Logic Programs, by M.J. Maher Chapter 17 Optimizing Datalog Programs, by Y. Sagiv Chapter 18 Converting AND-Control to OR-Control by Program Transformation, by M.H. van Emden and P. Szeredi Authors Referees Author Index Subject Index
A Study on the Group Routing Algorithm in DHT-based Peer-to-Peer System

As the P2P System is a distributed system that shares resources of nodes that participate in the system, all the nodes serve as a role of server and client. Currently, although systematic, structured P2P systems such as Chord, Pastry, and Tapestry were suggested based on the distributed hash table, these systems are limited to for performance efficiency. For this enhanced performance efficiency limited, the article herein suggests group routing algorithm. The suggested algorithm is a node-to-group routing algorithm which divides circular address space into groups and uses a concept of pointer representing each group, which is an algorithm where routing is performed based on pointer. To evaluate algorithm performance, a comparative analysis was conducted on average hops, routing table size, and delayed transmission for chord and routing, a signature algorithm in P2P systems. Therefore, enhanced performance is verified for comparative items from the simulation results.
Microwave and Millimeter Wave R & D in India

108 years ago Sir JC Bose did his legendry experiments at Kolkata at 50 GHz. Most of the subsequent work on microwaves and millimeter waves in India was done during the last 40 years. National Atomic Energy, Space and Defence R & D programmes have provided the thrust and mission orientation to the related developments. Matching inputs for research and education have been provided by several national level institutions. Most of the industrial production in the related high-tech areas is confined to Public Sector Units. Involvement of private sector has also occurred but mostly through the use of CKD and SKD kits. India is self-reliant in the front line areas of radars, communication transponders for satellites and related system engineering and technologies. Almost no base exists for required components and devices. The paper reviews the growth of microwave and millimeter wave R & D activities in India, particularly during the last 40 years and identifies future hopes and opportunities.
Lexical Resources and Tools for Tagging Polish Texts Within Gramlex

In this paper we present some of the main results obtained within the European project COPERNICUS 621 "GRAMLEX" aiming at development of basic resources, tools and methods useful in language engineering. Results presented here were obtained by the Polish team of the GRAMLEX project using Polish data but are easily portable to all Indo-European languages. They are of special interest for highly inflectional languages (e.g. for all Slavonic languages). The high portability of results follows from the proposed, very general format of morphological description (GRAMCODE) and from the general character and great simplicity of algorithms referring to this format. In the paper we briefly present the GRAMODE format, as well as the fundamental dictionary based tool for morphological lemmatization and tagging of texts (LEXAN).
Computer-based formative assessment to promote reflection and learner autonomy

Abstract This paper introduces a computer-based system primarily for formative assessment to help learners identify their knowledge, difficulties and misconceptions in a subject in order that they can focus their efforts where most required. The system constructs a dynamic model of students’ understanding as they answer questions which is continually updated as they interact further. Students can view this individual ‘learner model’ which offers simple representations of their knowledge state. They can also compare their knowledge level with that of their peer group and with instructor expectations for the current stage of the course. Instructors can set up their own questions to ensure that the environment is suitable for their specific courses. The aim is to help learners identify their knowledge, difficulties and misconceptions, engage in prompt reflection on their knowledge and learning and facilitate planning, thus encouraging learner autonomy. We present the results of use of the system in five university courses in Electronic, Electrical and Computer Engineering.