Miracle-dz/UniFAR-FTUs huggingface dataset:
Continuous-time MOSFET-C filters in VLSI

The desirable features of fully integrated, VLSI-compatible continuous-time filters are discussed. A recently proposed integrated continuous-time filter technique is reviewed, in which MOS transistors are used in place of resistors along with the nonlinearity cancellation and on-chip automatic tuning. The filters obtained using this technique are compared to switched-capacitor filters, digital filters, and continuous-time filters using different techniques. Representative experimental results are given, demonstrating the high performance that can be achieved.
Conference on Electronics , Telecommunications and Computers – CETC 2013 Social Network and Device Aware Personalized Content Recommendation

In this paper, we propose a user social network and device capabilities aware recommender system to personalize content to the current device of a user. The proposed recommender system presents some novelties that are not provided in existing collaborative and content-based filtering. First of all, we incorporate the user social network data to find similar users not only using the conventional similarities approach but also based on the social importance of the users. Furthermore, it considers the user access device to ensure that the device is capable to stream and display. We present an approach that considers user experienced items, users direct trust and the capability of contributing to the content network for finding similarity. We improve the accuracy, precision and recall of the conventional recommender system. The proposed system can be used anywhere; however, we mainly focus on IPTV content personalization. c © 2014 The Authors. Published by Elsevier Ltd. Selection and peer-review under responsibility of ISEL – Instituto Superior de Engenharia de Lisboa.
Integration of Instrumentation for Measuring Vital Signs

Abstract : We completed the review of available techniques and equipment and met with or talked with several representative groups of Army medical staff. In this study a variety of general problems were resolved and several desirable system configurations emerged. RA 2, Blood pressure, Noninvasive, Medical, Temperature, Heart rate, Blood oxygen.
Parallel Implementation of Facial Detection Using Graphics Processing Units

PARALLEL IMPLEMENTATION OF FACIAL DETECTION USING GRAPHICS PROCESSING UNITS Russell L. Marineau, B.S. Marquette University This thesis proposes to study parallelization methods to improve the computational runtime of the popular Viola-Jones face detection algorithm. These methods employ multithreaded programming and CUDA programming approaches. The thesis provides a discussion of background information on all relevant topics, which is then followed by a presentation of the code architecture changes that are proposed. Specific implementation details are then discussed in more details followed by a discussion and comparison of results obtained through various tests. This thesis first begins by presenting a history and description of the Viola-Jones algorithm. Detailed explanations of each step in the process used to detect a face are provided. Next, background information about parallel processing is provided. This includes both standard multithreaded program design as well as CUDA programming. New algorithm design methods that employ parallelization techniques will then be proposed to improve over the original Viola-Jones algorithm. These techniques include both multithreading and CUDA programming, whose potential advantages and disadvantages are discussed as well. Implementations of these new algorithms will be provided next as well as a detailed explanation of the functionality used. Finally, this thesis will provide test results for all algorithm versions, including the original algorithm as well as a comparison and possible future improvements. Simulation results indicate that the multithreaded algorithm was able to provide a maximum of 7.8x speedup over the original version when running on 16 processing cores. The CUDA version algorithm was able to provide a maximum of 47x speedup over the original version. After exploring more detailed results and comparisons, it was determined that each version has advantages and disadvantages. The multithreaded version was much simpler to code and would run on a wider range of hardware, however the CUDA version was significantly faster. In addition, the CUDA version has much room for future optimizations to further increase the speed of the algorithm.
Synthesis and Optimization of Digital Circuits

From the Publisher: Synthesis and Optimization of Digital Circuits offers a modern, up-to-date look at computer-aided design (CAD) of very large-scale integration (VLSI) circuits. In particular, this book covers techniques for synthesis and optimization of digital circuits at the architectural and logic levels, i.e., the generation of performance-and/or area-optimal circuits representations from models in hardware description languages. The book provides a thorough explanation of synthesis and optimization algorithms accompanied by a sound mathematical formulation and a unified notation. The text covers the following topics: modern hardware description languages (e.g., VHDL, Verilog); architectural-level synthesis of data flow and control units, including algorithms for scheduling and resource binding; combinational logic optimization algorithms for two-level and multiple-level circuits; sequential logic optimization methods; and library binding techniques, including those applicable to FPGAs.
An approach to determine the concentration of coloured solution using android smartphones

The purpose of this research is to determining the concentration of the coloured solution NiSO4 and to know the accuracy of smartphone application usage. Determining the concentration of a coloured solution using a smartphone can be an alternative to overcome the limitations of spectrophotometric or colorimetric instruments. An approach using the smartphone is based on hue colon is read by a smartphone application, then the data generated from the application is RGB value and will be processed to determine the concentration. Determining the concentration of the coloured solution is assisted by three standards solution and the concentration are known to make the standard curves. The methodology of this research is research and development. The results in this research have a fairly good accuracy percentage, for both unknown concentrations of NiSO4 solution the percentage of accuracy is 100% and 95% with a percent error is 0% and 5%. This indicates the application on the smartphone is suitable for use in determining the concentration of the coloured solution.
Graph Analysis and Visualization for Brain Function Characterization Using EEG Data

Over the past few years, there has been an increased interest in studying the underlying neural mechanism of cognitive brain activity as well as in diagnosing certain pathologies. Noninvasive imaging modalities such as functional magnetic resonance imaging (fMRI), positron emission tomography (PET), and dynamic signal acquisition techniques such as quantitative electroencephalography (EEG) have been vastly used to estimate cortical connectivity and identify functional interdependencies among synchronized brain lobes. In this area, graph-theoretic concepts and tools are used to describe large scale brain networks while performing cognitive tasks or to characterize certain neuropathologies. Such tools can be of particular value in basic neuroscience and can be potential candidates for future inclusion in a clinical setting. This paper discusses the application of the high time resolution EEG to resolve interdependence patterns using both linear and nonlinear techniques. The network formed by the statistical dependencies between the activations of distinct and often well separated neuronal populations is further analyzed using a number of graph theoretic measures capable of capturing and quantifying its structure and summarizing the information that it contains. Finally, graph visualization reveals the hidden structure of the networks and amplifies human understanding. A number of possible applications of the graph theoretic approach are also listed. A freely available standalone brain visualization tool to benefit the healthcare engineering community is also provided (http://www.ics.forth.gr/bmi/tools.html).
Contribution à l'étude numérique de la propagation d'un défaut de collage dans une structure sandwich Nida

SAFRAN Aircelle produit des panneaux sandwiches constitues de peaux composites collees sur une âme nid d’abeille (« Nida ») en aluminium pour des applications de nacelle de moteur d’avion. Des decollements locaux peuvent exister a l’interface peau/Nida et reduire significativement la capacite structurale de ces sandwiches. L’objectif de cette these entre l’ISMANS et SAFRAN Aircelle reside dans la mise en place d’une approche de type « Virtual testing » pour reduire les couts de validation et de verification des sandwiches possedant des decollements.L’originalite de ces travaux vient du choix de la representation des sandwiches a travers deux familles de modeles : les modeles « âme pleine » (modelisation volumique) prevus pour une utilisation en bureau d’etudes et les modeles « âme creuse » (modelisation physique des clinquants) permettant d’analyser finement les mecanismes de propagation des decollements peau/Nida. Une technique de sous-structuration a ete mise en oeuvre avec succes et a permis de reduire significativement les temps de calcul du modele « âme creuse ». La mecanique de l’endommagement, avec des elements a zone cohesive, a ete choisie pour determiner numeriquement le seuil de propagation des decollements, apres une etude comparative avec la mecanique lineaire elastique de la rupture et une methode de recalage essais. Pour alimenter les lois d’endommagement disponibles dans les codes industriels, une methode experimentale a ete proposee. Des essais de type DCB sandwiches ont permis de remonter aux proprietes mecaniques de l’interface en mode d’ouverture et en mode mixte, avec un seul montage. Ces essais ont ete recales avec succes, notamment en mode I pur.
Fairness Crowded Out by Law. An Experimental Study on Withdrawal Rights

Withdrawal rights protect buyers in distance selling, for example when ordering via the Internet. After introducing such a law in Germany the proportion of returned goods drastically increased although most sellers had already offered a return option before. We experimentally investigate scenarios in which sellers can voluntarily offer a withdrawal right. In a second treatment it is provided by law. We find indications that a voluntary provision is perceived as friendly, so that buyers reciprocate by not exploiting sellers too heavily. A third treatment reveals that small return costs for buyers have only a marginal influence on withdrawal behaviour.
Profesi Kependidikan : problema, solusi, dan reformasi pendidikan

Buku ini secara terperinci membahas mengenai suatu uraian pengantar profesi kependidikan, sepuluh perubahan pendidikan untuk peningkatan SDM, profesionalisme guru, merekonstruksi masyarakat dan kebudayaan melalui pengubahan sistem pengelolaan pendidikan di sekolah, jabatan profesional dan tantangan guru dalam pembelajaran, kompetensi profesionalisme guru, reformasi pendidikan, peran teknologi dalam perkembangan pendidikan di Indonesia, dan peran guru dalam pengembangan media pembelajaran di era teknologi komunikasi dan informasi.
Bildbasierte SLAM-Relativnavigation und 3D-Rekonstruktion für das On-Orbit-Servicing von unbekannten und unkooperativen Raumflugkörpern

Fur das autonome On-Orbit-Servicing sind die Kenntnis uber die Form des Zielraumflugkorpers und eine adaquate Relativnavigation wahrend der Annaherungsphase essentiell fur kollisionsfreie Interaktionen und Serviceoperationen. Fur den Fall, dass die Form des Ziels unbekannt ist (z. B. Weltraumschrott oder beschadigte Satelliten), muss dessen 3D-Form geschatzt werden. Kamerabasierte Messungen bieten Vorteile in Kosten, Gewicht und Leistungsaufnahme, ergeben aber wegen der ungunstigen Beleuchtungsbedingungen, den speziellen Oberflachen von Raumfahrzeugen und der begrenzten Rechenkapazitat an Bord oft nur eine verteilte 3D-Punktwolke mit niedriger Dichte. Ubliche 3D-Rekonstruktionsalgorithmen basieren auf dichten Punktwolken und sind sehr rechenintensiv. Daher sind geeignete neue und echtzeitfahige Algorithmen fur die Auswertung notwendig. Vorgestellt wird ein Ansatz, bei dem alle notwendigen Informationen zur Durchfuhrung eines Rendezvous-manovers bezuglich eines unbekannten, unkooperativen und um eine Achse rotierenden Zieles ausschlies-lich aus Stereokameradaten gewonnen werden. Durch Einsatz eines Rendezvous-SLAM-Algorithmus (SLAM - Simultaneous Localization and Mapping) wird die Positions-Messung markanter Punkte auf der Zieloberflache ("Bildverarbeitung") stark verbessert und die Schatzung kinematischer (Relativ-)Zustande bezuglich des Zieles ermoglicht ("Zustandsschatzung"). Die resultierende, verrauschte Punktwolke mit niedriger Dichte wird nun genutzt, um die Stereobild-basierte Re-konstruktion der unbekannten Form des Ziels ("Geometrische Rekonstruktion") zu verbessern und somit eine Kollisionsvermeidung und eine geometrische Charakterisierung des Zieles zu ermoglichen. Der vorlie-gende Beitrag skizziert das Gesamtkonzept und prasentiert experimentelle Ergebnisse auf der Basis von synthetischen Bilddaten und realen Bilddaten eines institutseigenen Rendezvous-Simulators.
On adaptive vision feedback control of robotic manipulators

An adaptive vision feedback control system for a manipulator for grasping a moving object is described. The pose (position and orientation) of the object is determined from camera images and its time history is described by an AR (autoregressive) model. Because of the inherent delay caused by the image processing unit, the object pose is predicted for the controller using the AR model. An adaptive controller is designed using the discrete-time Lyapunov theory. The error which is defined in the joint space as the difference between the pose of the end-effector of the manipulator and the predicted pose of the object is shown to approach zero asymptotically by the second method of Lyapunov. The construction of the controller also gives an updating scheme for estimating unknown constant parameters of the manipulator model. <<ETX>>
Anti-sway control for boom cranes

Increasingly boom cranes were used as harbor mobile cranes for container handling. In comparison to gantry cranes or overhead traveling cranes up until now there are only a few automation concepts for boom cranes, due to the dominant nonlinear plant behavior and the problem of measuring the rope angle, which the established methods can not be used. In this paper a trajectory tracking control for boom cranes is presented consisting of decentralized control modules and a trajectory generation module. Nonlinearities are compensated by a feedforward strategy and by gain scheduling adaptation of feedforward and feedback control. The rope angle is reconstructed out of gyroscope measurement signals by disturbance observers. The trajectory tracking control is realized on a harbor mobile crane LIEBHERR LHM 400. Measurement results show the efficiency of the presented control concept.
Research into practice: evaluation of Skills Hub content and implications for library staff development in the creation of video OERs

The University of Northampton Skills Hub is an online open-access repository of academic skills resources whose primary content is a body of short video open educational resources (OERs) created in-house by staff. To ensure OER quality and to identify staff development needs, the Skills Hub: Review, Redesign, Rebuild project was conducted. The project assessed the quality of fifty of the Skills Hub’s video OERs by inviting fifteen reviewers from different user groups to critically assess the resources. The results were analysed thematically and then considered in relation to the extant literature on the creation of multimedia educational resources and online OERs. Four main practical categories required attention in the creation of future video OERs: technical, presentation, structural and content. These four categories fed into four superordinate categories regarding cognition and reception of OERs: comprehension, concentration, information retention and professionalism. Practitioner recommendations are made for video OER producers, and the findings are situated in relation the principles of multimedia learning theory.
Surgical Robotics: Creating a New Program

Objective: To share our recent experience in developing and implementing a program for computer-assisted, robot-enhanced surgery. Background: Minimally invasive surgery has revolutionized our approach to the surgical patient during the last decade. While robotic surgery does promise the ability to operate at a distance, thus providing surgical skills in remote and hazardous areas, we have found several features that could enhance our abilities as surgeons in the same room with our patient. These include tremor filtration, motion scaling, movement indexing, provision of a wrist at the end of the intracorporeal instrument, movements of the instrument that are intuitive in that they follow the surgeon's hand, and a steadier image controlled by the surgeon. It is our view that robotic surgery is the next logical step in performing more complex procedures on smaller patients in a minimally invasive manner. Methods and Procedures: We defined a core group of individuals who shared our vision: pediatric surgeons,.
An Effective Framework to Provide Optimized Security in Big Data Environments

: The Buzz word in the industry of late is the Big Data. It is the most talked about term across multiple domains which directly or indirectly profit from the usage of this technology. In short Big Data can be called as an enlarged version of data mining. It can be said as such because the size quantum of data being used here are exponentially huge. Not only is the size of data is huge, also the problems we encounter in data mining also magnify into huge proportions and the worst news is that the traditional methods used in data mining won’t work for Big Data, simple because the size of the data is huge. Hence it throws open a huge field with varied research potential. Here in this work, a novel approach is presented to tackle the problems pertaining to security. Security implementation methods are a double edged sword. Too much security leads to inefficiency and too little leads to compromise of data. Balancing this is the key to success in any application. But in Big Data apart from this balancing act, the huge quantum of data makes traditional approaches of security time consuming. Hence a unique strategy is proposed here that not only provides the right security but it can also deal with the huge quantum of data.
An Asynchronous Parallel Hybrid Optimization Approach To Simulation-Based Mixed-Integer Nonlinear Problems

To address simulation-based mixed-integer problems, a hybrid algorithm was recently proposed that combines the global search strengths and the natural capability of a genetic algorithm to handle integer variables with a local search on the real variables using an implementation of the generating set search method. Since optimization is guided only by function values, the hybrid is designed to run asynchronously on a parallel platform. The algorithm has already been shown to perform well on a variety of test problems, and this work is a first step in understanding how the parallelism and local search components influence the search phase of the algorithm. We show that the hybridization can improve the capabilities of the genetic algorithm by using less function evaluations to locate the solution and provide a speed-up analysis on a standard mixed-integer test problem with equality and inequality constraints.
Oscillatory mechanisms for controlling information flow in neural circuits

Mammalian brains generate complex, dynamic structures of oscillatory activity, in which distributed regions transiently engage in coherent oscillation, often at specific stages in behavioural or cognitive tasks. Much is now known about the dynamics underlying local circuit synchronisation and the phenomenology of where and when such activity occurs. While oscillations have been implicated in many high level processes, for most such phenomena we cannot say with confidence precisely what they are doing at an algorithmic or implementational level. This thesis presents work towards understanding the dynamics and possible function of large scale oscillatory network activity. We first address the question of how coherent oscillatory activity emerges between local networks by measuring phase response curves of an oscillating network in vitro. The network phase response curves provide mechanistic insight into inter-region synchronisation of local network oscillators. Highly simplified firing models are shown to reproduce the experimental data with remarkable accuracy. We then focus on one hypothesised computational function of network oscillations; flexibly controlling the gain of signal flow between anatomically connected networks. We investigate coding strategies and algorithmic operations that support flexible control of signal flow by oscillations, and their implementation by network dynamics. We identify two readout algorithms which selectively recover population rate coded signal with specific oscillatory modulations while ignoring other distracting inputs. By designing a spiking network model that implements one of these mechanisms, we demonstrate oscillatory control of signal flow in convergent pathways. We then investigate constraints on the structures of oscillatory activity that can be used to accurately and selectively control signal flow. Our results suggest that for inputs to be accurately distinguished from one another their oscillatory modulations must be close to orthogonal. This has implications for interpreting in vivo oscillatory activity, and may be an organising principle for the spatio-temporal structure of brain oscillations.
“QUE HORAS ELA VOLTA?” E “DOMÉSTICA” - UMA ANÁLISE DA REPRESENTAÇÃO DO TRABALHO DOMÉSTICO FEMININO REMUNERADO NO CINEMA BRASILEIRO CONTEMPORÂNEO

Este trabalho busca trazer algumas reflexoes sobre a representacao do emprego domestico feminino no cinema contemporâneo brasileiro a partir dos filmes “Que Horas Ela Volta? ” ( Anna Muylaert, 2015) e “Domestica” ( Gabriel Mascaro, 2012) ; por serem de generos diferentes, ficcao e documentario, foi necessario levantar uma discussao sobre as diferencas e aproximacoes destes diferentes produtos cinematograficos. Entender a producao filmica como parte do contexto historico-politico-social levou o autor a tracar um breve panorama historiografico do cinema no Brasil. As questoes de genero presentes no filme sao cruzadas com os trabalhos de Ana Alice Costa, Simone de Beauvoir, Nancy Fraser e Christine Delphy.
Computer Program Construction

Preface 1. Sets and relations 2. Program specifications 3. Breaking text into lines 4. Program correctness 5. Program construction 6. A construction exercise: Justifying text 7 8. Heuristics for generalization 9. An exercise in inductive decomposition 10. The weakest prespecification problem 11. The initialization problem 12. Exercises in sequential decomposition 13. The demonic sequential specifications 14. Programming from composite specifications 15. An exercise in construction yb parts: Upsort Summary Appendices