Miracle-dz/UniFAR-FTUs huggingface dataset:
An improved algorithm for transistors pairing for compact layout of non-series-parallel CMOS networks

An efficient method is presented for designing the minimum area layout of CMOS networks in one and two dimensions. This method is useful for finding the best possible transistor pairs, including nondual transistors. The method consists of two algorithms. The first one is a transistor pairing algorithm in which a pFET and nFET should be paired for complex gates, even where more than two transistors have the same gate signal. The second is a compatible pair search algorithm in which a compatible pair matrix is employed to represent possible covers in arbitrary CMOS networks. Experiments show that the method gives optimal solutions which are close enough to the theoretical minimum and that nondual transistor pairs produce better results.
Research on private cloud computing based on analysis on typical opensource platform: a case study with Eucalyptus and Wavemaker

Cloud computing is one of the most popular topics in the IT industry and is recently being adopted by many companies. It has four development models, as: public cloud, community cloud, hybrid cloud and private cloud. Except others, private cloud can be implemented in a private network, and delivers some benefits of cloud computing without pitfalls. This paper makes a comparison of typical open source platforms through which we can implement a private cloud. After this comparison, we choose Eucalyptus and Wavemaker to do a case study on the private cloud. We also do some performance estimation of cloud platform services and development of prototype software as cloud services.
Numerical Taxonomy Method for STLF

This paper proposes a numerical taxonomy-based method for short-term load forecasting. The method is formulated as an optimization problem using MAPE as an objective function. The data matrix andthe cluster size are optimization variables. The accuracy of the method is demonstrated on a practical system data. Two models are developed using the proposed method. Model 1 uses two temperature variables and Model 2 uses two load and two temperature variables. Both models were compared with 35 input supervised back propagation model [8] and 6 input unsupervised/supervised radial basis function [15] reported in literature for the data of the same system. It is observed that both the models gave better prediction than feed forward neural network and radial basis function neural networks.
Vidgets

We present Vidgets, a family of mechanical widgets, specifically push buttons and rotary knobs that augment mobile devices with tangible user interfaces. When these widgets are attached to a mobile device and a user interacts with them, the widgets' nonlinear mechanical response shifts the device slightly and quickly, and this subtle motion can be detected by the accelerometer commonly equipped on mobile devices. We propose a physics-based model to understand the nonlinear mechanical response of widgets. This understanding enables us to design tactile force profiles of these widgets so that the resulting accelerometer signals become easy to recognize. We then develop a lightweight signal processing algorithm that analyzes the accelerometer signals and recognizes how the user interacts with the widgets in real time. Vidgets widgets are low-cost, compact, reconfigurable, and power efficient. They can form a diverse set of physical interfaces that enrich users' interactions with mobile devices in various practical scenarios. We demonstrate their use in three applications: photo capture with single-handed zoom, control of mobile games, and making a playable mobile music instrument.
The Lions' Gate: Towards a Permaculture-inspired Blended Space

In light of the devastating ecological effects of climate breakdown and with human well-being under severe stress, this paper presents The Lions' Gate - an in-development, urban, interactive permaculture project on-campus in Edinburgh, Scotland. We argue that to address limits to computing, a radical framework is needed. We position permaculture as an alternative to the economic growth model, and it's associated temporal controls. Our work is an attempt at shifting our thinking and doing by employing a blended spaces perspective to permaculture, university campuses and digital media. By starting from a permaculture view we have the ecological and ethical tools to practice alternatives to growth. As far as Sustainable Interaction Design (SiD) is concerned - in today's climate, actions must ultimately speak louder than words.
Therapeutic Virtual Reality for Nyctophobic Disorder

Virtual Reality has become prevalent and available in the present digital era. The technological advancement generates not only beneficial but also apprehensive consequences, such as life threatening and mental hallucination. Psychological anxious disorders, for example fear of darkness and height, have been found to be an impediment in living among societies. In order to lend an assistance to alleviate these hindering symptoms, the current study developed a Virtual Reality (VR) based therapy for a nyctophobic disorder. The therapeutic program was developed by using three-dimensional (3D) and game-engine softwares. The developed system was operated on a high-performance personal computer and presented to users through fully immersive VR gears: head-mounted display and sensory handheld remote controls. The effectiveness of the program system and usage satisfaction were examined by medical and VR experts, and twenty diagnosed individuals with a nyctophobic disorder. The system program was assessed to be at a highest level (x = 4.56). The operating system and satisfaction were highly rated (x = 4.60). The results indicated that the program development in the study is practical for treating nyctophobia and can be applicable to future research.
Educamp: The Path to Becoming a Learning Organization of FPT Education

FPT Education has long strived to become a learning organization, which, by definition, is one skilled at creating, acquiring, and transferring knowledge, and at modifying its behavior to reflect new knowledge and insights. Therefore, since 2014, FPT Education has firstly launched Educamp, an annual educational conference. Educamp is to connect educators and industry experts, in and out of Vietnam, to share ideas, knowledge, and experiences to enhance Vietnamese education. In the range of this paper, the author will describe and evaluate the effectiveness of the implementation of Educamp at FPT Education and which specific outcomes this conference has directly brought to the faculty and staff of FPT Education. Firstly, the author will give an overview introduction of the concepts of 'learning organization', as well as of 'Educamp'. Educamp's main purposes and its continuous development throughout five years at FPT Education will also be provided in this paper. Previous conferences' themes and topics will be compared to the trends in education of the respective years. Secondly, how Educamp has had the positive impact(s) on FPT Education will be analyzed. An online survey, which consists of open answer questions, will be conducted on a group of Educamp's past participants. The actual comments and feedback from them will serve as the base for said analysis. The survey results indicate that Educamp's participants, both educators and industry experts, are 'transformed' after participating in the conference, hence showing a positive impact of Educamp on FPT Education. Last but not least, the author will suggest some other models to enhance building the learning organization model at FPT Education.
Optimization of the dynamical behavior of high-performance lens systems to reduce dynamic aberrations

In high-performance optical systems, small disturbances can be suﬃcient to put the projected image out of focus. Little stochastic excitations, for example, are a huge problem in those extremely precise opto-mechanical systems. To avoid this problem or at least to reduce it, several possibilities are thinkable. One of these possibilities is the modiﬁcation of the dynamical behavior. In this method the redistribution of masses and stiﬀnesses is utilized to decrease the aberrations caused by dynamical excitations. Here, a multidisciplinary optimization process is required for which the basics of coupling dynamical and optical simulation methods will be introduced. The optimization is based on a method for eﬃciently coupling the two types of simulations. In a concluding example, the rigid body dynamics of a lithography objective is optimized with respect to its dynamical-optical behavior.
Research of Composite Ontology Mapping Strategy on the Parsing Graph

According to complex context relation of ontology, considering different input schema, ontology graph is created with general environment. Based on ontology structure, the paper constructs multiple level graph representation, By introducing similarity propagation of structural and instance level on context relation and rapid mapping with a rapid matching algorithm, a composite ontology mapping strategy is proposed, which iteratively achieves ontology mapping result with reused idea. Finally feasibility and effectiveness of the strategy is proved by complexity analysis to algorithm and some contrast test.
SoCRATES: Scala radar for test smells

Test smells are indications of poorly designed unit tests. Previous studies have demonstrated their negative impact on test understanding and maintenance. Moreover, surveys show that developers are not able to identify test smells, hindering optimal software quality. Automated tools can aid developers to handle these issues and detect test smells in the early stage of software development. However, few tools are publicly available and all of them target JUnit -- the most popular testing framework in Java. To overcome these limitations, we propose SoCRATES. This fully automated tool is able to identify six test smells in Scala Test which is the most prevalent testing framework in Scala. An empirical investigation on 164 Scala projects shows that our tool is able to reach a high precision without sacrificing recall. Moreover, the results show that Scala projects have a lower diffusion than Java projects. We make SoCRATES publicly available as an IntelliJ IDEA plugin, as well as an open-source project in order to facilitate the detection of test smells.
Autonomous Racing: A Comparison of SLAM Algorithms for Large Scale Outdoor Environments

The task of simultaneous localization and mapping (SLAM) is a widely studied field in robotics research in the last decades. The goal of SLAM is to create an accurate map of the environment considering uncertainties in the pose as well as the environmental perception of the robot. Historically SLAM algorithms are applied in the field of indoor robotics. Recent developments in the area of autonomous driving surge a focus for SLAM applications in large scale outdoor environments. Two notable open source SLAM software packages are Gmapping and Google Cartographer. This paper focuses on a qualitative comparison of the aforementioned algorithms for such a scenario. We discuss the underlying algorithmic differences of the two packages. This serves as the foundation to present the SLAM results for different parameter configurations. We evaluate the accuracy of the resulting maps and the respective computational limitations. The maps are further evaluated against manually measured ground truth track boundaries. We show that the existing approaches can be adapted to large-scale outdoor environments.
Designing chain reaction contraptions from causal graphs

Chain reaction contraptions, commonly referred to as Rube Goldberg machines, achieve simple tasks in an intentionally complex fashion via a cascading sequence of events. They are fun, engaging and satisfying to watch. Physically realizing them, however, involves hours or even days of manual trial-and-error effort. The main difficulties lie in predicting failure factors over long chains of events and robustly enforcing an expected causality between parallel chains, especially under perturbations of the layout. We present a computational framework to help design the layout of such contraptions by optimizing their robustness to possible assembly errors. Inspired by the active learning paradigm in machine learning, we propose a generic sampling-based method to progressively approximate the success probability distribution of a given scenario over the design space of possible scene layouts. The success or failure of any given simulation is determined from a user-specified causal graph enforcing a time ordering between expected events. Our method scales to complex causal graphs and high dimensional design spaces by dividing the graph and scene into simpler sub-scenarios. The aggregated success probability distribution is subsequently used to optimize the entire layout. We demonstrate the use of our framework through a range of real world examples of increasing complexity, and report significant improvements over alternative approaches. Code and fabrication diagrams are available on the project page.
Persistent protected modules and persistent processes as the basis for a more secure operating system

The MONADS computer architecture is based on a very large persistent virtual memory which eliminates the need for a conventional file store and filing system, thus providing a suitable basis for persistent programming. The architecture also provides direct support for persistent objects (modules), which are protected by capabilities, and for processes which persist not only between login sessions but also over system shutdowns. The authors briefly outline these aspects of the architecture and describe how they are used in the design of the MONADS operating system. They then show how these features naturally give rise to a wide range of security advantages which would be very difficult to achieve in conventional systems. They first discuss the security advantages of persistent protected modules and then they consider how persistent processes are organised, how they relate to modules and how they contribute to stronger security. Next they describe how users can communicate despite the protection mechanisms and how such communication can be carried out securely. Then follows a concluding discussion of the security and other advantages of a persistent architecture and an indication of the direction of future work. <<ETX>>
Breaking the Cornucopian Paradigm: Towards Moderate Internet Use in Everyday Life

The Internet and digital devices are increasingly embedded in our everyday lives. The hidden environmental impacts of this infrastructure are substantial and quietly growing at an increasing rate. Our collective Internet use is following a 'Cornucopian paradigm', which is unsustainable. And yet, while intentionally limiting our online connectivity might be seen negatively as a retrograde step, in this paper, we offer ways in which users might welcome attempts to moderate their Internet use through improving four aspects of our digitally-mediated lives: relationships, digital wellbeing, productivity at work, and online privacy. Given these areas, we discuss how our research agenda may realistically be facilitated and what challenges we may face in moving from the reinforcement of 'business as usual' trends. By investigating and developing user-centred, moderate Internet use, we can 'break' the Cornucopian paradigm.
Foveated AR

We present a near-eye augmented reality display with resolution and focal depth dynamically driven by gaze tracking. The display combines a traveling microdisplay relayed off a concave half-mirror magnifier for the high-resolution foveal region, with a wide field-of-view peripheral display using a projector-based Maxwellian-view display whose nodal point is translated to follow the viewer's pupil during eye movements using a traveling holographic optical element. The same optics relay an image of the eye to an infrared camera used for gaze tracking, which in turn drives the foveal display location and peripheral nodal point. Our display supports accommodation cues by varying the focal depth of the microdisplay in the foveal region, and by rendering simulated defocus on the "always in focus" scanning laser projector used for peripheral display. The resulting family of displays significantly improves on the field-of-view, resolution, and form-factor tradeoff present in previous augmented reality designs. We show prototypes supporting 30, 40 and 60 cpd foveal resolution at a net 85° × 78° field of view per eye.
Faster Pseudopolynomial Time Algorithms for Subset Sum

Given a (multi) set S of n positive integers and a target integer u, the subset sum problem is to decide if there is a subset of S that sums up to u. We present a series of new algorithms that compute and return all the realizable subset sums up to the integer u in Õ(min { √nu,u5/4,σ }), where σ is the sum of all elements of S and Õ hides polylogarithmic factors. We also present a modified algorithm for integers modulo m, which computes all the realizable subset sums modulo m in Õ(min { √nm,m5/4}) time. Our contributions improve upon the standard dynamic programming algorithm that runs in O(nu) time. To the best of our knowledge, the new algorithms are the fastest deterministic algorithms for this problem. The new results can be employed in various algorithmic problems, from graph bipartition to computational social choice. Finally, we also improve a result on covering Zm, which might be of independent interest.
A Modular System Oriented to the Design of Versatile Knowledge Bases for Chatbots

The paper illustrates a system that implements a framework, which is oriented to the development of a modular knowledge base for a conversational agent. This solution improves the flexibility of intelligent conversational agents in managing conversations. The modularity of the system grants a concurrent and synergic use of different knowledge representation techniques. According to this choice, it is possible to use the most adequate methodology for managing a conversation for a specific domain, taking into account particular features of the dialogue or the user behavior. We illustrate the implementation of a proof-of-concept prototype: a set of modules exploiting different knowledge representation methodologies and capable of managing different conversation features has been developed. Each module is automatically triggered through a component, named corpus callosum, that selects in real time the most adequate chatbot knowledge module to activate.
The Paragon implementation of the NX message passing interface

Implementing high performance message passing for the Paragon parallel supercomputer and its OSF/1 operating system presented many unique challenges. We chose a message passing design which complements the rich feature set of the hardware and the operating system. We show how the implementation meets the challenges while continuing to make progress in higher performance. <<ETX>>
User Activity Based Application-Layer DoS/DDoS Attack Defense Algorithm

In application-layer DoS/DDoS attacks, malicious users attack the victim server by sending lots of legitimate requesting packages, which overwhelm the server bottleneck resources. Normal user’s request thus may not be satisfied. The traditional intrusion detection systems for network-layer cannot effectively identify this attack, and recent researches on this kind of attack are mainly for Web servers. This paper proposed a new defense algorithm based on user activity for topic-based Pub/Sub communication servers in mobile push notification systems. Users consuming system bottleneck resources the most can get high scores and thus are considered overactive. With some resource retaken strategy, overactive users’ connections will be dropped according to system performance level. Therefore, the system can get rid of latent threatens. Experiments indicated that this algorithm can identify normal and abnormal users well.
SOCIAL TAGGING AND THE NEXT STEPS FOR INDEXING

Social tagging, as a particular type of indexing, has thrown into question the nature of indexing. Is it a democratic process? Can we all benefit from user-created tags? What about the value added by professionals? Employing an evolving framework analysis, this paper addresses the question: what is next for indexing? Comparing social tagging and subject cataloguing; this paper identifies the points of similarity and difference that obtain between these two kinds of information organization frameworks. The subsequent comparative analysis of the parts of these frameworks points to the nature of indexing as an authored, personal, situational, and referential act, where differences in discursive placement divide these two species. Furthermore, this act is contingent on implicit and explicit understanding of purpose and tools available. This analysis allows us to outline desiderata for the next steps in indexing.
PAAA: An Implementation of Programming Assignments Automatic Assessing System

Now we are in the information age, and distance learning is becoming more and more popular. For subjects related to computer science, programming assignments can't be avoided. But it's hard for human to review massive answers. Therefore, on the basis of former study, we put forward a new method, which is on the level of source code comprehension. In this paper, we revealed a method of programming assignment automatic assessing. Our project, Programming Assignments Automatic Assessing (PAAA), imitates human reviewers' action, and take such strategy to look through the source code. Furthermore, with the help of general grammar analyze tool ANTLR, it is able to read source code written in different languages, and build a language-independent program directed graph. Through a lot of tests, PAAA can be up to a lot of grading jobs of programming assignments assessment. And the result shows that PAAA's result is very close to human's marking.
The disparties and diffrequencies in binocular stereoscopic vision

The mechanism of binocular stereoscopic vision (BSV) has not been clarified and there exist controversies and differing opinions. The research is of profound significance. It is the purpose of our research to study the laws of nature of stereoscopic vision. Our results supported the argument that the shape, distance and brilliance, colouring are unable to separate in the vision process generally. The former is detected by disparity and the latter depends on diffrequency. They can be separately investigated by experiments, however, and the results show both making a greater contribution to BSV. But that does not mean the conclusion is correct, i.e., the disparity can negate diffrequency function and vice versa. We consider that disparity or diffrequency are essential conditions to generate BSV, but only if both disparity and diffrequency are complementary and connected together.
Diffusion and Mixing in Fluid Flow

We study enhancement of diﬀusive mixing on a compact Riemannian manifold by a fast incompressible ﬂow. Our main result is a sharp description of the class of ﬂows that make the deviation of the solution from its average arbitrarily small in an arbitrarily short time, provided that the ﬂow amplitude is large enough. The necessary and suﬃcient condition on such ﬂows is expressed naturally in terms of the spectral properties of the dynamical system associated with the ﬂow. In particular, we ﬁnd that weakly mixing ﬂows always enhance dissipation in this sense. The proofs are based on a general criterion for the decay of the semigroup generated by an operator of the form Γ + iAL with a negative unbounded self-adjoint operator Γ, a self-adjoint operator L , and parameter A ≫ 1. In particular, they employ the RAGE theorem describing evolution of a quantum state belonging to the continuous spectral subspace of the hamiltonian (related to a classical theorem of Wiener on Fourier transforms of measures). Applications to quenching in reaction-diﬀusion equations are also considered.