Miracle-dz/UniFAR-FTUs huggingface dataset:
Pulse based signal processing: VLSI implementation of a Palmo filter

A new VLSI signal processing implementation technique is presented that uses a Pulse Width Modulation (PWM) signal representation combined with simple analogue processing to produce an electronically-programmable, process-tolerant filter building block. The principle benefits of this technique include full programmability, reconfigurability and testability which makes the technique an attractive proposition for VLSI. A 4th order Palmo filter is simulated and compared with the ideal response to demonstrate the validity of this novel approach. Preliminary results from a working chip demonstrate the operation of an analogue to PWM signal converter and the Palmo integrator.
An Efficient Constrained Shortest Path Algorithm for Traffic Navigation

FCD-based traffic navigation system is getting more and more attention from countries all over the world. Shortest path algorithm is one of the key techniques of a traffic navigation system. Since classical Dijkstra algorithm and heuristic A* algorithm cannot support some constrained conditions in practice, and existing algorithms supporting constraints require the road network to be modified ahead and have low efficiency. The paper studies the model of road network, and analyzes two types of constraints, one-way street and intersection turning prohibitions, then proposes the constrained A* algorithm and gives the Heuristic function. Finally, the paper tests and analyzes the algorithm, and evaluation performance of the prototype system which employs it. The result shows that the algorithm’s efficiency is fairly good.
Identifying Culprits When Probabilistic Verification Fails

Automatic design verification techniques are intended to check that a particular system design meets a set of formal requirements. When the system does not meet the requirements, some verification tools can perform culprit identification to indicate which design components contributed to the failure. With non-probabilistic verification, culprit identification is straightforward: the verifier returns a counterexample trace that shows how the system can evolve to violate the desired property, and any component involved in that trace is a potential culprit. For probabilistic verification, the problem is more complicated, because no single trace constitutes a counterexample. Given a set of execution traces that collectively refute a probabilistic property, how should we interpret those traces to find which design components are primarily responsible? This paper discusses an approach to this problem based on decision-tree learning. Our solution provides rapid, scalable, and accurate diagnosis of culprits from execution traces. It rejects distractions and accurately focuses attention on the components that primarily cause a property verification to fail.Copyright © 2012 by ASME
Child Pornography and the Internet

Avec l'expansion d'Internet, la pornographie en general, et celle mettant en cause des enfants en particulier, a augmente. Les lois americaines se sont, dans la plupart des Etats, adaptees a ce phenomene et prohibent toute emission ou possession de ce type de materiel. Cette etude se penche sur la connaissance qu'ont les citoyens americains des implications legales de la diffusion, du chargement ou de la possession de materiel pornographique impliquant des mineurs, fut-il realise en images de syntheses
Structural‐Engineering Rationales of Gold Nanoparticles for Cancer Theranostics

Personalized theranostics of cancer is increasingly desired, and can be realized by virtue of multifunctional nanomaterials with possible high performances. Gold nanoparticles (GNPs) are a type of especially promising candidate for cancer theranostics, because their synthesis and modification are facile, their structures and physicochemical properties are flexibly controlled, and they are also biocompatible. Especially, the localized surface plasmon resonance and multivalent coordination effects on the surface endow them with NIR light‐triggered photothermal imaging and therapy, controlled drug release, and targeted drug delivery. Although the structure, properties, and theranostic application of GNPs are considerably plentiful, no expert review systematically explains the relationships among their structure, property. and application and induces the engineering rationales of GNPs for cancer theranostics. Hence, there are no clear rules to guide the facile construction of optimal GNP structures aiming at a specific theranostic application. A series of structural‐engineering rationales of GNPs for cancer theranostics is proposed through digging out the deep relationships between the structure and properties of GNPs. These rationales will be inspiring for guiding the engineering of specific and advanced GNPs for personalized cancer theranostics.
Interlanguage pragmatics with a pedagogical agent: the request game

This article describes the development and evaluation of a computer-assisted language learning approach which integrates a finite state dialogue engine with an animated pedagogical agent. The design of the request game is theoretically motivated by interlanguage pragmatics and Long's Interaction Hypothesis. The tutoring system creates a venue in which a student can practice pragmatic routines and particular pragmatic features in simulated academic situations. The system was programmed to recognize students' written messages so that they can receive immediate and relevant feedback on their output. To test the usability of the system, a prototype of the request game has been tested with English learners in an English as a second language program in the US. The article concludes with the preliminary evaluation results of the system.
Non-contact dissipation on the surface of charge density wave materials

Bulk electrical dissipation caused by charge-density-wave (CDW) depinning and sliding is a classic subject. We present a novel local, nanoscale mechanism describing the occurrence of mechanical dissipation peaks in the dynamics of an atomic force microscope tip oscillating above the surface of a CDW material. Local surface 2$\pi$ slips of the CDW phase are predicted to take place giving rise to mechanical hysteresis and large dissipation at discrete tip surface distances. The results of our static and dynamic numerical simulations are believed to be relevant to recent experiments on NbSe$_2$; other candidate systems in which similar effects should be observable are also discussed.
Signal Detection in the Presence of Atmospheric Noise in Tropics

A new model of HF atmospheric radio noise (ARN) that leads to observed probability distributions of noise is briefly described. The new ARN model is then applied to the detection of known signals in the presence of noise to determine optimal receiver structure for ARN. Probabilities of errors for a linear matched filter and nonlinear (-1/log) and inverted (log)^{2} correlator receivers and a phase coherent binary detector are determined and compared. It is shown that the inverted (log)^{2} correlator combined with the linear matched filter is an optimal receiver in the presence of impulsive noise in tropics. The time statistics of burst noise is applied to design of signals for improved reliability.
A Novel Cluster Selection Algorithm in the NIDS of Wireless Ad Hoc

The article presents a novel cluster selection algorithm from the point of the network security. The measure uses Kruskal algorithm to calculate the minimum spanning tree of the topological structure of wireless Ad Hoc networks and builds clustering on it which ensures the cost of communication among cluster nodes that keeps in a relatively low level. The algorithm for the NIDS (network intrusion detection system) of wireless Ad hoc provides a stable and effective support and enhances the survivability of the system. The result of simulation experiment shows that the measure has good performance.
Enhancing Activity of Pd-Based/rGO Catalysts by Al-Si-Na Addition in Ethanol Electrooxidation in Alkaline Medium

The article presents modified Pd-based catalysts supported on reduced graphene oxide (rGO), used in the electrooxidation reaction of ethanol in alkaline medium. When NaBH4 reducing agent was used, the random presence of Na was found out. According to this result, Na was used as a promoter of Pd-based catalyst. Consequently, the Al-Si-Na addition not only assisted active phase Pd nanoparticles to disperse homogenously on graphene surport, but also contributed to increase catalytic activity in the reaction. This value, 16138 mA·mg−1Pd, is about 1.5 times higer than that of the catalyst modified by Al-Si. Moreover, the stability of the catalyst is enhanced more. The electrochemical stability of PASGN.N catalyst was relatively good: after 500 scanning cycles, the current density diminished 32% compared with the highest peak current density of the 15th cycle, which was chosen as a reference. These significant improvement results in electrooxidation of ethanol have opened up the high potential application of these catalysts in direct-ethanol fuel cell.
Multimode horn antenna with both high efficiency and low cross polarization

A design method for horn antennas in which high efficiency and low cross polarization can be realized at the same time is described. In the design, the excitation coefficients for the modes at the antenna aperture are derived in order to realize these characteristics. The antenna taper shape is determined by controlling multiple modes by optimization in order to obtain these coefficients on the horn aperture. The effectiveness of the design method is verified by measurements of the radiation patterns of the tested antenna in the X band and by numerical results. It is also confirmed that a high efficiency, exceeding 80%, and a low cross polarization of less than −30 dB can be obtained. It is demonstrated that a highly efficient horn antenna with a low cross polarization, not previously available, has been realized. © 2003 Wiley Periodicals, Inc. Electron Comm Jpn Pt 1, 86(12): 36–43, 2003; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecja.10127
Finger vein extraction using gradient normalization and principal curvature

Finger vein authentication is a personal identification technology using finger vein images acquired by infrared imaging. It is one of the newest technologies in biometrics. Its main advantage over other biometrics is the low risk of forgery or theft, due to the fact that finger veins are not normally visible to others. Extracting finger vein patterns from infrared images is the most difficult part in finger vein authentication. Uneven illumination, varying tissues and bones, and changes in the physical conditions and the blood flow make the thickness and brightness of the same vein different in each acquisition. Accordingly, extracting finger veins at their accurate positions regardless of their thickness and brightness is necessary for accurate personal identification. For this purpose, we propose a new finger vein extraction method which is composed of gradient normalization, principal curvature calculation, and binarization. As local brightness variation has little effect on the curvature and as gradient normalization makes the curvature fairly uniform at vein pixels, our method effectively extracts finger vein patterns regardless of the vein thickness or brightness. In our experiment, the proposed method showed notable improvement as compared with the existing methods.
Units of production in writing: evidence of topic 'framing' in on-line writing research

This paper is concerned with the definition of pause location in the analysis of on-line text production. A basic concern in psycholinguistic and applied linguistic research into language production is the selection of a suitable and valid unit on which to base the measurement of productivity and fluency. In existing research on spoken language, units have tended to be defined according to syntactic, semantic and phonological criteria, but do not embrace discourse-related notions such as topic which could be important in the analysis of the production process. In my recent work on written text production using keystroke logging, I have attempted to extend and develop existing notions of units of production in the direction of the potential discourse roles of units of language. In this paper I outline the set of so-called 'framing devices' proposed to reflect the thematic function of certain units, and illustrate these categories through data from a study of L1 and L2 writers of English within an academic context.
Using the Technological, Pedagogical, and Content Knowledge Framework to Design Online Learning Environments and Professional Development

In this article we sought to understand how social studies teachers' metacognitive awareness of their technological, pedagogical, and content knowledge (TPACK) changed after their participation in a program that consisted of: (a) professional development for the use of an online learning environment; and (b) using an online learning environment in their classrooms. Inservice teachers who went through the TPACK-based program experienced considerable movement within the TPACK diagrammatic knowledge domains and expressed positive and encouraging comments regarding their knowledge domains portrayed within the TPACK framework. Quantitative and qualitative results are shared along with implications of designing professional development, online learning environments using TPACK, and advancing the TPACK framework itself.
Genetic algorithms and permutation problems: a comparison of recombination operators for neural net structure specification

The specification of neural net architectures by genetic algorithm (GA) is thought to be hampered by difficulties with crossover. This is the 'permutation' or 'competing conventions' problem: similar nets may have the hidden units defined in different orders so that they have very dissimilar genetic strings, preventing successful recombination of building blocks. Previous empirical tests of a number of recombination operators using a simulated net-building task indicated the superiority of one that sorts hidden unit definitions by overlap prior to crossover. However, simple crossover also fared well, suggesting that the permutation problem is not serious in practice. This is supported by an observed reduction in performance when the permutation problem is removed. The GA is shown to be able to resolve the permutations, so that the advantages of an increase in the number of maxima outweigh the difficulties of recombination. <<ETX>>
Robust non-linear control through neuroevolution

Many complex control problems require sophisticated solutions that are not amenable to traditional controller design. Not only is it difficult to model real world systems, but often it is unclear what kind of behavior is required to solve the task. Reinforcement learning approaches have made progress in such problems, but have so far not scaled well. Neuroevolution, has improved upon conventional reinforcement learning, but has still not been successful in full-scale, non-linear control problems. This dissertation develops a methodology for solving real world control tasks consisting of three components: (1) an efficient neuroevolution algorithm that solves difficult non-linear control tasks by coevolving neurons, (2) an incremental evolution method to scale the algorithm to the most challenging tasks, and (3) a technique for making controllers robust so that they can transfer from simulation to the real world. The method is faster than other approaches on a set of difficult learning benchmarks, and is used in two full-scale control tasks demonstrating its applicability to real world problems.
Historical film processing

This paper describes work using historical film material, including what is believed to be the world's first feature length film. The digital processing of historical film material permits many new facilities: digital restoration, electronic storage, automated indexing, and electronic delivery to name a few. Although the work aims ultimately to support all of the previously mentioned facilities, this paper concentrated upon automatic scene change detection, brightness correction, and frame registration. These processes are fundamental to a more complete and complex processing system, but, by themselves, could be immediately used in computer-assisted film cataloging.
An investigation of the continuing professional development practices of Indonesian academic libraries

Purpose – This paper reports on ongoing research examining the present and desired state of academic library staff education and professional development in Indonesia. The long‐term goal of the research is to determine ways in which Indonesian academic libraries and their staff can be supported in order to assist universities in producing high‐quality research, teaching, and learning outcomes. The paper seeks to address these issues.Design/methodology/approach – A survey was delivered to managers of libraries serving Indonesian public universities. The survey instrument used in this research was based on that used in the neXus2 survey distributed to Australian library managers in 2007. The paper includes a comparison of survey results on key outcomes for Indonesian and Australian library managers.Findings – The paper reports on the library policies and practices regarding the current level and type of continuing professional development and work place training; and the management, funding and prioritisati.
Total to central luminosity ratios of quiescent galaxies in MODS as an indicator of size evolution

Using the very deep Subaru images of the GOODS-N region, from the MOIRCS Deep Survey and images from the HST/ACS, we have measured the Luminosity Ratio (LR) of the outer to the central regions of massive (M>10^{10.5}M_{Sun}) galaxies at fixed radii in a single rest-frame for z<3.5 as a new approach to the problem of size evolution. We didn't observe any evolution in the median LR. Had a significant size growth occurred, the outer to central luminosity ratios would have demonstrated a corresponding increase with a decrease in redshift.
Using PhysX Simulation Fire Model of Backdraft in Unity 3D Game Engine

Smoke simulation is an interesting topic in simulation fluid dynamics and graphics area. Main research area is simulation Backdraft physical unity 4.2.1f4 version. The Unity 3D game engine 4.2 versions have been start support PhysX. From Game Smoking part using Fluvio 2.1. 0 Multiphasic Simulation smoke effect, Smoke Coordinate based on FDS Simulation. When firefighters discover and search a building fire survivor pulling air into itself, they generally evacuate immediately, because this is a strong indication that a backdraft is imminent. Due to pressure differences, puffs of smoke are sometimes drawn back into the enclosed space from which they emanated, which is how the term backdraft originated. Backdrafts are very dangerous, often surprising even experienced firefighters. The most common tactic used by firefighters to defuse a potential backdraft is to ventilate a room from its highest point, allowing the heat and smoke to escape without igniting explosively. The paper main goal is focus on simulation naturally fire model of backdraft. Use the Simulation data in Unity 3D game Engine. After computing the coordinates and explosion of Unity 3D simple particle system of Fluvio 2.1. 0 and PhysX discuss moving location boundary and physically effects, make them flow like simulation’s real world smoke fluid and physically support fire effect backdraft model.
Fine‐Motion Estimation Using Ego/Exo‐Cameras

Robust motion estimation for human–computer interactions played an important role in a novel method of interaction with electronic devices. Existing pose estimation using a monocular camera employs either ego‐motion or exo‐motion, both of which are not sufficiently accurate for estimating fine motion due to the motion ambiguity of rotation and translation. This paper presents a hybrid vision‐based pose estimation method for fine‐motion estimation that is specifically capable of extracting human body motion accurately. The method uses an ego‐camera attached to a point of interest and exo‐cameras located in the immediate surroundings of the point of interest. The exo‐cameras can easily track the exact position of the point of interest by triangulation. Once the position is given, the ego‐camera can accurately obtain the point of interest's orientation. In this way, any ambiguity between rotation and translation is eliminated and the exact motion of a target point (that is, ego‐camera) can then be obtained. The proposed method is expected to provide a practical solution for robustly estimating fine motion in a non‐contact manner, such as in interactive games that are designed for special purposes (for example, remote rehabilitation care systems).
A COORDINATED DECENTRALIZED APPROACH TO ONLINE PROJECT DEVELOPMENT

With the growth rate of online learning outpacing traditional face-to-face instruction, universities are beginning to recognize the importance of strategic planning in its development. Making the case for online learning requires sound project management practices and an understanding of the business models on which it is predicated. The objective of the present case study is to provide a replicable integrated model for the development of online programs. The case study examines a coordinated decentralized model for collaborative project development and presents the lessons learned from the program’s implementation. The case provides information for reflection on how adaptations and modifications affected program development and how these short-cycle decisions present a model of effective practices for future initiatives.
Conformal array antenna for mobile satellite communications

In the case of mobile satellite communication antennas for automobiles and aircraft, a necessary electrical characteristic is to scan the beam over a wide angle. Also, from the viewpoint of aerodynamics and design, conformal arrays are desirable which are fit to the shape of the moving body. This paper discusses the radiation characteristics of a conformal array suitable for mobile satellite communications. In addition, a one-piece fabrication of a conformal array is carried out and its electrical characteristics are evaluated. First, it is shown by means of computation of a 16-element partial spherical array with icosahedron arrangement that the radiation characteristics can be varied by adjusting the curvature in the conformal array and there exists an optimum value. Next, a trial fabrication is carried out to establish a one-piece fabrication technique. The test results are described for a 16-element hemispherical array made by a vacuum-forming method and a 16-element partial spherical array made by a roundfaced compression method which is employed to improve the fabrication accuracy of a thin partial spherical array. Excellent single-element characteristics and array radiation characteristics are obtained with the 16-element partial spherical array using the round-faced compression method. Hence, the validity of the fabrication method is verified.