Miracle-dz/UniFAR-FTUs huggingface dataset:
An approach for quantitative image quality analysis for CT

An objective and standardized approach to assess image quality of Compute Tomography (CT) systems is required in a wide variety of imaging processes to identify CT systems appropriate for a given application. We present an overview of the framework we have developed to help standardize and to objectively assess CT image quality for different models of CT scanners used for security applications. Within this framework, we have developed methods to quantitatively measure metrics that should correlate with feature identification, detection accuracy and precision, and image registration capabilities of CT machines and to identify strengths and weaknesses in different CT imaging technologies in transportation security. To that end we have designed, developed and constructed phantoms that allow for systematic and repeatable measurements of roughly 88 image quality metrics, representing modulation transfer function, noise equivalent quanta, noise power spectra, slice sensitivity profiles, streak artifacts, CT number uniformity, CT number consistency, object length accuracy, CT number path length consistency, and object registration. Furthermore, we have developed a sophisticated MATLAB based image analysis tool kit to analyze CT generated images of phantoms and report these metrics in a format that is standardized across the considered models of CT scanners, allowing for comparative image quality analysis within a CT model or between different CT models. In addition, we have developed a modified sparse principal component analysis (SPCA) method to generate a modified set of PCA components as compared to the standard principal component analysis (PCA) with sparse loadings in conjunction with Hotelling T2 statistical analysis method to compare, qualify, and detect faults in the tested systems.
SMALL SIGNAL MODELING OF ACTIVE CLAMP FORWARD CONVERTER WITH PEAK CURRENT MODE CONTROL

With the continuous advancement of power elctronic components such as power MOSFETs and MLCCs, a primary trend is moving towards high operating frquencies. Also new design trends requires power supplies with low voltages and high currents. Forward converter is a promising topology for low and medium power applications where low voltages at high currents are required with higher efficiency. In this paper small signal model of an Active Clamp Forward Converter (ACFC) with high side clamp, small signal model of Peak Current Mode Control (PCMC) are derived, and finally the complete model of active clamp forward converter with peak current mode control is simulated in MATLAB/Simulink and the results are analysed.
An eye-movement analysis of the word-predictability effect

The primary aim of this thesis was to identify the mechanism under-pinning the wordpredictability effect, while a secondary aim was to investigate whether words are processed in serial or in parallel. In five experiments, adults’ eye-movements were monitored as they read sentences for comprehension on a computer screen. In Experiments 1 and 2, a critical target-word that was either of highor low-frequency and either predictable or unpredictable was embedded in experimental sentences. The nature of the preview of the target word was also manipulated such that it was either identical to the target or was misspelled (the misspelling was more severe in Experiment 2). Predictability effects were apparent in the identical preview condition in both experiments, whilst they were only apparent in the misspelled condition of Experiment 1. This outcome is compatible with early Guessing Game type models of reading which propose that readers make predictions about up-coming words using contextual and parafoveal information. When taken together, the results of Experiments 1 and 2 also suggested that frequency and predictability exert additive effects on fixation durations. In Experiment 3, four levels of word-predictability were employed. The function relating word-predictability and word-processing time was strictly monotonic: wordprocessing time decreased as predictability increased. This outcome was consistent with a word-prediction account of predictability in which there is no penalty for incorrect guessing. Experiment 3 also showed that processing time on the pre-target word increased as the predictability of the up-coming target increased. This outcome replicated an effect obtained by Kliegl, Nuthmann and Engbert (2006) who claim that it arises as a result of memory retrieval processes cued by prior sentence context.
An improved evolutionary programming for optimization

To avoid premature convergence and balance the exploration and exploitation abilities of classic evolutionary programming, this paper proposes an improved evolutionary programming for optimization. Firstly, multiple populations are designed to perform parallel search with random initialization in divided solution spaces. Secondly, multiple mutation operators are designed to enhance the search templates. Thirdly, selection with probabilistic updating strategy based on annealing schedule like simulated annealing is applied to avoid the dependence on fitness function and to avoid being trapped in local optimum. Lastly, re-assignment strategy for individuals is designed for every sub-population to fuse information and enhance population diversity. Furthermore, the implementations of the proposed algorithm for function and combinatorial optimization problems are discussed and its effectiveness is demonstrated by numerical simulation based on some benchmarks.
Electromagnetically Quiet Power Supply

At the Power Electronic Systems Laboratory of the Swiss Federal Institute of Technology research is done to reduce the size of common mode EMC filters in switched mode power supplies and variable speed motor drives. The targeted power range of these SMPS’ is around 5kW to 50kW . They have a three-phase connection at the input. In order to accomplish that, active EMC filters are being studied, which requires the use of HF power amplifiers. These have special EMC requirements regarding their supply voltage because they operate at frequencies of up to 30MHz. This thesis aims to develop a low volume power supply suitable for such active filters. Different topologies, some of them with promising low emissions, others with low component count, are searched for and evaluated regarding their total volume. The main inductors and transformers of two candidate topologies are designed and built to measure parasitic properties. This leads to mathematical models suitable for simulation, which account for a broad band of electromagnetic phenomena. The simulation results define the size of filters required to meet the maximum conducted noise limits, leading to the total volume of those topologies. An important part of this work is the modeling of the main inductors at frequencies of up to 30MHz and the design of low volume EMC filters. The smallest converter is built and tested. This includes the final design of the control circuit, PCB layout, thermal verification, initial operation and measurements of conducted emissions, checking for EMC.
Enhancement of Antiferromagnetic Correlations Induced by Nonmagnetic Impurities: Origin and Predictions for NMR Experiments

Spin models that have been proposed to describe dimerized chains, ladders, two dimensional antiferromagnets, and other compounds are here studied when some spins are replaced by spinless vacancies, such as it occurs by Zn doping. A small percentage of vacancies rapidly destroys the spin gap, and their presence induces enhanced antiferromagnetic correlations near those vacancies. The study is performed with computational techniques which includes Lanczos, world-line Monte Carlo, and the Density Matrix Renormalization Group methods. Since the phenomenon of enhanced antiferromagnetism is found to occur in several models and cluster geometries, a common simple explanation for its presence may exist. It is argued that the resonating-valence-bond character of the spin correlations at short distances of a large variety of models is responsible for the presence of robust staggered spin correlations near vacancies and lattice edges. The phenomenon takes place regardless of the long distance properties of the ground state, and it is caused by a “pruning” of the available spin singlets in the vicinity of the vacancies. The effect produces a broadening of the low temperature NMR signal for the compounds analyzed here. This broadening should be experimentally observable in the structurally dimerized chain systems Cu(NO3)2 � 2.5H2O, CuWO4, (V O)2P2O7, and Sr14Cu24O41, in ladder materials such as SrCu2O3, in the spin-Peierls systems CuGeO3 and NaV2O5, and in several others since it is a universal effect common to a wide variety of models and compounds.
Consensus on a multicore machine

The communication latency within a multicore machine is almost non existent and non uniform. The reduced propagation time changes the requirements for a consensus protocol from reducing the number of communication rounds to reducing the number of messages. Furthermore, a multicore machine features clusters of cores within which consensus is easier and faster to solve. By running di erent protocols within clusters and between clusters we can solve consensus with a hierarchy of agreements. In this thesis, we investigate the problems that consensus on a multicore machine faces and propose solutions. In a second part, we present an agreement framework that hierarchically composes di erent consensus protocols and shared memory according to the performance characteristics of the underlying multicore machine.
Régi és új orális antikoagulánsok hazai alkalmazása pitvarfibrillációban

Absztrakt: Bevezetes: A pitvarfibrillacio kezeleseben a regi es az uj antikoagulansok jelentősen csokkentik a stroke es mortalitas előfordulasat. Celkitűzes: Annak felderitese, hogy az elmult időben a pitvarfibrillaciot elszenvedő betegek milyen aranyban kaptak hatasos stroke-profilaxist, es milyen volt ezeknek a betegeknek a gyogyszer-adherenciaja. Modszer: Az OEP/NEAK adatbazisaban szereplő, pitvarfibrillaciot elszenvedő betegekre vonatkozo adatgyűjtes. A vizsgalt időszak: 2010–2015. Azok a betegek kerultek bevalogatasra, akiknek ez idő alatt legalabb egyszer szerepelt az I48 BNO-kod a nyilvantartasaban. Adherensnek tekintettuk azokat a betegeket, akik legalabb 80%-ban kivaltottak a receptjeiket. Eredmenyek: Magyarorszagon 3% a pitvarfibrillacio prevalenciaja. Az adott evben egeszsegugyi ellatasra kerulő, pitvarfibrillalo betegek mortalitasa 7–10% kozotti. A betegek egyharmada nem kap effektiv stroke-profilaxis kezelest. A legutolso, 2015. evet figyelembe veve az adherencia 55% volt a K-vitamin-antagoni.
Integration and Prediction of PPI Using Multiple Resources from Public Databases

Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature systems and storage formats. In particular, the study and use of pr otein-protein interactions is one area wher e ther e is an impor tant need for data integration. Without good integration strategies, it is difficult to assess how much interaction data is available and its properties. Results: We pr esent a data integration approach for protein-protein interactions. This integrative approach has been implemented into PIANA, a protein-protei n interaction software framework under the GNU Public License (http://sbi.imim.es/piana). We find that the integrated network of interactions shows properties very similar to those observed in pr eviously reported protein interaction networks. We also find that interaction prediction methods find interactions for many proteins for which experimental methods have not produced any information.
A Fast, Constant-Order, Symbol Ranking Text Compressor

Recent work on “symbol ranking” text compressors included a version which combines moderate compression with high speed and has been described in a poster at the 1997 Data Compression Conference. That work is extended here, especially to produce a compressor capable of efficient hardware implementation. The compressor is based on a conventional set-associative cache, with LRU update. To process a symbol, a context of the three preceding symbols is hashed to access a particular cache line. If the access “hits”, the LRU index is emitted as the recoded symbol, or otherwise the symbol is emitted and the LRU status updated. Several versions are described, with some improving the performance by maintaining a Move-To-Front list of symbols and emitting some symbols as “short” 5-bit indices into this table, or by encoding runs of correctly-predicted symbols. The final performance is in the range of 3.5 – 4 bits per byte over the Calgary Corpus, with software speeds of up to 1 Mbyte/s. The best of the hardware designs should run at 100Mbyte/s with discrete components, or 200–300 Mbyte/s with a completely integrated design.
Análisis de la Influencia de las Propiedades Semánticas en los Sistemas de Recomendación

Resumen:Este articulo propone un procedimiento para la evaluacion del impacto que tiene la inclusion de determinadaspropiedades semanticas y sus combinaciones en la estimacion de recomendaciones de contenidos audiovisuales,generadas por un sistema de recomendacion semantico para usuarios en el domino de la Television Digital. Este trabajo parte de la hipotesis de que el incremento moderado del numero de propiedades involucradas en el calculo delas predicciones mejora paulatinamente su precision y que cada propiedad semantica tiene una influencia especifica.Los resultados experimentales demuestran que el uso de diferentes combinaciones de propiedades semanticas, tiende areducir el error promedio en distinta proporcion. Abstract: This paper presents an evaluation procedure focused on analyzing the impact of the inclusion of determinedsemantic properties and their combinations, on the audiovisual content recommendation estimation performed by asemantic recommender system to users in the domain of Digital Television. This work is based on the assumption that byincreasing the number of semantic properties involved in the prediction estimation, its accuracy will be improved giventhat each semantic property has a determined influence. The obtained results show that the use of different semanticproperties combinations leads, in general, to a specific reduction of the average estimation error
Highly reliable synchronous and asynchronous remote procedure calls

The remote procedure call mechanism currently available in the distributed computing environment (DCE RPC) is believed to obey the same programming paradigm as the local procedure call programming paradigm. In this paper we observe that error handling differs significantly between the local procedure call paradigm and the DCE RPC paradigm, with the DCE RPC paradigm being the more complicated. After discussing DCE RPC error handling, we proceed to describe a new form of remote procedure call, the highly reliable remote procedure call (HR RPC). The goal of the HR RPC is to make remote procedure calls highly reliable, that is as reliable as local procedure calls, and to make the remote procedure call programming paradigm truly the same as that of the local procedure call programming paradigm. The authors have implemented prototype UNIX(R) HR RPCs using a minimal queued transaction processing system (MQTPS) that operates between a client application program and the DCE RPC mechanism, and have extended it to provide asynchronous remote procedure calls, as well as priority and concurrency control. Hence, the prototype is implemented as middleware that runs in UNIX user space and is disjoint from both UNIX and the DCE RPC mechanism. Thus, the prototype HR RPCs can be easily ported to any UNIX machine supporting DCE RPC.
Hand Feature Extraction Algorithm Using Curvature Analysis For Recognition of Various Hand Gestures

The present invention relates to a method for extracting a hand feature based on a curvature analysis for recognition of various hand gestures. The method for extracting a hand feature based on a curvature analysis for recognition of various hand gestures comprises: (a) a preprocessing step of performing a hand candidate group extracting process of extracting a candidate group presumed as a hand region so as to find the hand region from a lot of objects in an input image and a process of finding the hand region from the hand candidate group; and (b) a step of extracting the hand feature from an image of the hand region, that is, a feature extracting step of extracting a hand outline, a boundary point between fingers, an outline feature point, and a central point of a hand and extracting feature information on the number of opened fingers and a state of fingers stuck attached. A hand feature extracting algorithm based on a curvature analysis capable of recognizing the number of fingers and the attaching of fingers is used for extracting a feature necessary for the hand gesture recognition. The hand feature extracting algorithm recognizes various hand gestures by detecting the hand region from the input image through a skin color range filter and a labeling based on a color model and extracting the feature about the number of the opened fingers and the attached fingers by using the outline, the feature points, and curvature information extracted from the outline and the feature points. According to a test result, while a recognition rate and a processable frame rate are similar to those of the existing algorithm, the number of cases of gestures which can be defined with the extracted feature is about four times more than the number of cases of gestures in the existing algorithm. Therefore, much more various hand gestures can be recognized.
Visualizing the evolution of genetic algorithm search processes

The paper discusses how visualization techniques can facilitate the development of GA-systems. It demonstrates how visualization techniques can be used for the analysis of search space coverage, of convergence behavior, and of the topology of the explored search space. We describe the features of a GA-visualization environment that uses quadcodes to generate search space coverage maps, that employs 2D-distance maps to visualize convergence, and uses contour maps to visualize fitness. We also describe how these maps are generated. Moreover, we discuss how movies are employed for visualizing the evolution of a GA-system. Finally, we discuss the architecture of our GA-visualization system which is implemented on the top of the Khoros visualization package.
PARAGON: a paradigm for the specification, verification and testing of real-time systems

The PARAGON toolset provides an environment for the modular and hierarchical design of resource-bound, real-time systems. It offers well-integrated graphical and textual specification languages with formal semantics. Both languages are based on the Algebra of Communicating Shared Resources (ACSR), a process algebra with explicit notions of time, resources and priority. The integration of the three notions widens the applicability of the PARAGON formalisms to embedded systems, control systems, and fault-tolerant systems where run-time resource requirements must be considered during the design phase. To facilitate the design of complex systems, PARAGON allows a designer to describe a system incrementally through refinement steps that preserve system properties. To increase dependability of system models, PARAGON offers three types of analysis: automated verification of system requirements, interactive simulation, and testing. In this paper, we demonstrate the design methodology that PARAGON offers through examples.
A low voltage digitally programmable current-mode filter

A technique for a low voltage low distortion digitally programmable current-mode continuous-time filter is proposed. The technique of digitally programmable is based on an inherent linear MOST-only current division technique. This technique is used to design a digitally programmable current mirror (DPCM). Then we used the (DPCM) to design a digitally programmable current mode integrator. As an application for the digitally programmable current mode integrator, a digitally programmable analog filter is designed. Both of selectivity and center frequency can be programmed independently. The filter has been simulated using the parameters of 0.8 /spl mu/m CMOS process, and 3volt power supply.
A service recommender system based on the co-evolutionary contract net for migrating workflows

RFID (Radio Frequency Identification) technologies have dramatically lowered the cost of data acquisition and have enabled applications to constantly analyze and execute complex operations in real-time. However the technology poses many new challenges on current data management systems for turning this data into RFID applications and initiates the logic built into the system of real-time identifying, locating, tracking and monitoring physical world. In this paper we present the semantics-based CEP (Complex Event Processing) infrastructure on hierarchical data model for the capture, filtering and automatic transformation RFID data, and provide complex event detection patterns and algorithms for the generation of business logic semantic information.