Miracle-dz/UniFAR-FTUs huggingface dataset:
Modification of semantically enriched FE mesh models

Behaviour analysis is largely performed on the virtual model of the product before its physical manufacturing. Anyhow, the process could be further optimised especially during the product behaviour optimisation phase. This process involves repetition of four main processing steps: CAD design, mesh creation, enrichment of physical semantics and Finite Element Analysis (FEA). The product behaviour analysis is performed on the first design solution as well as on the numerous successive product optimisation loops. Each design solution evaluation necessitates the same time as required for the first product design and it is particularly crucial in the context of maintenance and lifecycle assessment. This thesis proposes a new framework for CAD-less product optimisation through FEA, which reduces the mesh preparation and semantics enrichment activities. More concretely, the idea is to directly operate the firstly created FE mesh, enriched with semantics, to perform the product modifications required to achieve its optimised version. In this thesis, the underlying concepts and the devised components for the development of such CAD-less operator are discussed. A high-level operator specification is proposed according to a modular structure that allows an easy realisation of different mesh modification operators. Finally, four instances of this high-level operator are described: merging, cracking, drilling and filleting. These operators are prototyped and validated on academic and industrial FE mesh models, thus clearly showing the feasibility of our approach.
SENSEABLE SEARCH: Selective Query Disambiguation

We present a method for detecting and resolving lexical ambiguity in information retrieval queries. Leveraging existing word sense disambiguation tools, we define a measure of query term ambiguity based on the distribution of word senses in the relevant document set. If a query term is ambiguous, we allow the user to select the correct sense of the query term, in the style of Google’s spelling correction. Secondly, we present a method for results diversification, where one word sense dominates the top results, but there is a sizable number of documents with a second sense. We present a successful qualitative evaluation of our methods which demonstrates the plausibility and applicability of the approach.
Design of Negative Resistance Oscillator with Rocord Low Phase Noise

The aim of this paper is to use a new design of a negative resistance microwave oscillator in order to fabricate oscillator with very good performance in terms of output power, efficiency, stability and phase noise. In this study the new concept of oscillator using distributed resonator and micro-strip circuit elements improve performances of our structure. A micro-strip microwave oscillator with low phase noise based on an NPN silicon planar epitaxial transistor has been designed, fabricated, and characterized. In this design, each step has been conducted by using Advanced Design System (ADS) and following a theoretical study which enable to optimize the different performances of the whole circuit. The oscillator produce a sinusoidal signal with spectrum power of 12.25 dBm at 2.45 GHz into 50 Ω load when polarized at Vcc=15V with DC to RF efficiency of 16. The obtained phase noise of -120 dBc/Hz at 100 Hz offset is the result of the use of high Q factor resonator and the depth study of the parameters of the oscillator. Simulation and measurement results are in good agreement.
Conditioned Reflexes. An Investigation of the Physiological Activity of the Cerebral Cortex

Many people are trying to be smarter every day. How's about you? There are many ways to evoke this case you can find knowledge and lesson everywhere you want. However, it will involve you to get what call as the preferred thing. When you need this kind of sources, the following book can be a great choice. conditioned reflexes an investigation of the physiological activity of the cerebreal cortex is the PDF of the book.
DISPOSITIVO DE ILUMINACIÓN LED CON INCORPORACIÓN DE ELECTRÓNICA DIGITAL Y CONTROL DESDE ANDROID POR BLUETOOTH

Resumen El control de factores como la humedad, temperatura e iluminacion en un entorno especifico resulta de gran importancia ya que pueden interferir en la realizacion de actividades. Este articulo presenta un dispositivo de control de iluminacion para un entorno o espacio. El dispositivo presentado utiliza tecnologia LED y es controlado mediante un dispositivo movil con Bluetooth. Se diseno e implemento el dispositivo utilizando un circuito basado en electronica digital sobre una placa Arduino con interfaz Bluetooth. Ademas, se definio un protocolo de aplicacion para manipular el dispositivo a distancia mediante un dispositivo movil. Los experimentos realizados sobre el dispositivo presentado muestran un funcionamiento estable y resultados prometedores. Palabras Claves: Comunicacion Bluetooth, control de un espacio, dispositivo de iluminacion LED. LED LIGHTING DEVICE WITH DIGITAL ELECTRONICS INCORPORATION AND CONTROL FROM ANDROID BY BLUETOOTH Abstract The control of factors such as humidity, temperature and lighting in a specific environment is absolutely important because they can interfere with the performance of several activities. This paper presents a lighting control device for an environment or space. The presented device uses LED technology and it is controlled by a wireless mobile device by means of Bluetooth. A circuit based on digital electronics has been designed and it has been implemented on an Arduino board with a Bluetooth interface. Also, an application protocol was defined for manipulating the proposed device by means of a mobile device. The experimentation performed on the presented device shows a stable operation of it and promising results. Keywords : Bluetooth communication, LED lighthing device, space control.
The Effect of Communication Imperfections on Collision Warning and Avoidance Strategies

Vehicle-to-vehicle (V2V) communication technology has brought new developments for collision warning and avoidance system due to its broader environment information and perception range. Yet it also has limitations: packet loss, time delay and limited communication distance. This paper focuses on the effect of communication imperfections on collision warning and avoidance strategies. To better understand the avoidance behaviors, we propose two typical scenarios: vehicle following scenario and intersection scenario. In former scenario, a classical collision warning strategy, i.e., distance-base crash alert and avoidance algorithm is proposed; and in the latter scenario, a priority of vehicles using V2V communication is analyzed. Then the numerical experiments are carried out, which reveal the performance of warning and avoidance in different communication imperfections such as pack loss, time delay, limited communication distance. The results further demonstrate our model can be used to help avoid collisions and relieve traffic congestion.
Evaluation of Design Alternatives for Flexible Elliptic Curve Hardware Accelerators

ii iii Erklärung Hiermit versichere ich, die vorliegende Arbeit selbständig und ohne Benutzung anderer als der von mir angegebenen Quellen angefertigt zu haben. Alle aus fremden Quellen direkt oder indirektübernommenen Gedanken sind als solche gekennzeichnet. Die Arbeit wurde noch keiner Prüfungsbehörde in gleicher oderähnlicher Form vorgelegt.
Appropriate terminology in the nomenclature of the color vision deficiency

The colour vision deficiencies (CVDs) are visual disorders occuring in the absence or abnormal function of one or more cones. Although the term ‘’Color blindness’’ has been used to describe CVDs, it is actually a wrong term for nomenclature. It seems that ’’color vision deficiency sould be correct term for this disorder because color blindness means the absence of the ability to detect or distinguish any color. CVDs include various mild or heavy, and hereditary or acquired color vision deficids. In this review, we aimed to summarize the CVDs. Correspondence to: Burak Turgut, MD, Professor of Ophthalmology, Department of Ophthalmology, Faculty of Medicine, Yuksek Ihtisas University, 06520, Ankara, Turkey, Tel: +90 312 2803601; Fax: +90 3122803605; E-mail: burakturgut@yiu.edu. tr
A framework for fast automatic image cropping based on deep saliency map detection and gaussian filter

ABSTRACT Extracting robust visual saliency map and image cropping are fundamental problems in computer vision, graphics, and so on. It is not easy task to accurately detect and crop the entire salient object from images with complex background. In this paper, a deep learning strategy is adopted to train a large data-set of images, to get saliency map from the input image using graph-based segmentation and gray level adjustment to enhance and extract more accurate and clear saliency map. Furthermore, the Gaussian filter and image scaling used along with cropping method to keep better presentation of the visual object. The important task of overall framework is to take care about relevant image contents as well as to identify more region of interest and get optimum rectangle from the saliency map with minimum and maximum rectangular windows. Quality and low computational complexity have been focused while performing the cropping operation because automatic and efficient cropping technique should not only rely on geometric constraints, but it should be fast enough to consider the important image contents. The applied method use different data-set of images, to ensure the efficiency of this technique and the experimental results show that the framework is not only fast as well as much better for image cropping. We used Matlab and Caffe framework for efficient experimental results.
Detecting and Mitigating Target Link-Flooding Attacks Using SDN

DDoS attacks have caused very serious damage to enterprise networks. Recently, a new kind of DDoS attack called link-flooding attack (LFA), has surfaced and is already being used by attackers to flood and congest network critical links. LFA is very difficult to detect since adversaries often utilize large-scale legitimate low-speed flows and rolls target links to isolate target areas for launching attacks. To address such a critical security problem, we design and implement a novel LFA defense system called LFADefender that leverages some key features, such as programmability, network-wide view, and flow traceability, of an emerging network technology, Software-Defined Networking (SDN), to effectively detect and migrate LFA. In LFADefender, we propose a LFA target link selection approach and design a LFA congestion monitoring mechanism to effectively detect LFA. In addition, we present a multiple optional paths rerouting method to temporarily mitigate links congestion caused by LFA. We further propose a malicious traffic blocking approach to radically mitigate LFA. Our evaluation results show that LFADefender can accurately detect and rapidly mitigate LFA, but only imposes minimal overhead in the communication channels between network controllers and data planes.
Intuitive Interfaces in Human-Robot Interaction

This study explores the intuitiveness of four user interfaces (UI) for controlling a mobile robot (BOE Bot): Electromyography, Oculus Rift, joystick, and speech recognition. Intuitiveness was assessed through two means: participants success in navigating the robot through a maze after self-directed training, and scores on usability questionnaires.
Simplified models for simulating replica exchange simulations and recovering kinetics of protein folding

Protein folding is a fundamental problem in modern structural biology. The nature of the problem poses challenges to the understanding of the process via computer simulations. One of the challenges in the computer simulation of proteins at the atomic level is the efficiency of sampling conformational space. Replica exchange (RE) methods are widely employed to alleviate the difficulty. To study how to best employ RE to protein folding and binding problems, we constructed a kinetic network model for RE studies of protein folding and used this simplified model to carry out "simulations of simulations" to analyze how the underlying temperature dependence of the conformational kinetics and the basic parameters of RE all interact to affect the number of folding transitions observed. When protein folding follows anti-Arrhenius kinetics, we observe a speed limit for the number of folding transitions observed at the low temperature of interest, which depends on the maximum of the harmonic mean of the folding and unfolding transition rates at high temperature. The efficiency of temperature RE was also studied on a more complicated and realistic continuous two-dimensional potential. Comparison of the efficiencies obtained using the continuous and discrete models makes it possible to identify non-Markovian effects which slow down equilibration of the RE ensemble on the more complex continuous potential. In particular, the efficiency of RE is limited by the timescale of conformational relaxation within free energy basins. The other challenges we are facing in all-atom simulations is to obtain meaningful information on the slow kinetics and pathways of folding. We present a kinetic network model which recover the kinetics using RE-generated states as the nodes of a kinetic network. Choosing the appropriate neighbors and the microscopic rates between the neighbors, the correct kinetics of the system can be recovered by running a simulation on the network. %%%%
Cognitive Cooperation in Wireless Networks

In recent years, vertical handover (VHO) has been identified as the primary vehicle to provision seam-less mobility and quality of service (QoS) transparency for end-user in composite network. This allows end-user to enjoy ubiquitous connectivity in the most efficient way, irrespective of time and place, commonly known as always best connected. In this chapter, the authors introduce the notion of cognitive cooperation as a means to provide optimized VHO opportunistically in order to exploit the inherent heterogeneity that exists within such composite network to improve radio resource usage. Through the cognitive cooperation, the chapter proposes a distributed load adaptation strategy (LAS) framework which exploits the benefits of joint optimization, particularly between link adaptation and load adaptation on-demand. The authors advocate that such synergetic interactions between the physical layer (PHY) and medium access control (MAC) layer have advantages over the PHY approach based only on link adaptation. Comprehensive performance analyses show that the LAS framework arbitrates a QoS-balanced system in which statistical QoS guarantee for multimedia traffic can be provisioned and overall system capacity can be maximized.
Fluid Flow Approximation of the Mean Buffer Occupancy in a Packet-Speech Multiplexer

In this paper we will explain the method of approximating the mean buffer occupancy in a packetspeech multiplexer. The model that we use is often used in literature for modelling the statistical multiplexer and that is - the fluid flow model with the ON/OFF packet traffic sources. Our idea is based on the indirect obtain of an approximate equation for the calculation of the mean buffer occupancy through the asymptotic approximation of overflow probability in the proposed model with an infinite buffer. Actually, usage of the results obtained by the two different approaches in analysis of the suggested modelcreates the possibility of extracting the equation for the approximate calculation of the mean buffer occupancy.
Federated Filter for Distributed Navigation and Tracking Applications

The federated filter comprises an extension of Kalman filtering to distributed estimation problems characterized by a collection of local estimators whose solutions are combined by a master or global estimator. The federated filter employs a rigorous information-sharing methodol- ogy to gather, propagate, and combine information from local sensors in a near globally optimal manner. This methodology offers several implementation modes in two basic classes. In the first class, local filters collectively retain the cumulative system information, and the master filter performs periodic fusion (combining) operations. In the second class, the master filter retains the cumulative system information, and local filters perform short-term information-gathering operations. The paper reviews the information-sharing principles and implementation modes of the federated filter. It then describes several federated filter examples. The first two examples involve a distrib- uted navigation system with a GPS receiver containing its own local filter, an inertial navigation unit, and other navigation sensors. The third example is a multiplatform target track fusion filter, characterized by local trackers processing own-ship sensor measurements on each platform, and a global tracker that combines local tracks across platforms. The fourth example is an integrated GPS signal-tracking/navigation filter, with local filters repre-senting signal tracking loops, and a master GPS/inertial navigation filter. The last example involves a federated filter/smoother that combines the outputs of two post- processors designed for separate reference instrumentation systems, to reconstruct flight test trajectories in a fully optimal manner. Illustrative simulation results are presented for the first three application examples.
MESAR-the application of modern technology to phased array radar

MESAR (Multifunction Electronically Scanned Adaptive Radar) is an experimental phased array radar which exploits recent advances in technology to reduce cost and realize the potential of phased array radar to a far greater extent than has so far been achieved. It employs a solid state active array and has a digital beamformer together with programmable waveform generation and signal processing. MESAR is a collaborative and jointly funded venture between Plessey Radar and the Admiralty Research Establishment and has been in development since 1982.
Data fusion: a study of adaptative combinations with incomplete certainty qualification: Part I: algebraical and behavioral properties

Purpose – In previous work, the algebraical properties of this rule and its relationship with other generalized operator was studied. In this paper, the aim is to focus on one of the previous steps, which consists in certainty qualification, and it is investigated how this factor influences the behavior of the induced combination rule. Design/methodology/approach – Dubois and Prade have proposed an adaptive combination rule that moves gradually from a conjunctive mode to a disjunctive mode as soon as the conflict between the sources increases. The proposal can be viewed as a result of some rational steps. This includes: conjunctive combination; re‐normalization of a subnormal result that may results from conjunctive operation where the lack of normalization is interpreted as a conflict; certainty qualification; restriction of the conflict influence; generalization to more than two sources. Findings – Algebraical properties of the proposals have been investigated and illustrations of some special cases are highlighted and evaluated. Further studies continue in Part II. Originality/value – New functional adaptive rules are put forward based on Residual implicators and t‐conorm operators.
Aplicação da análise sociométrica de redes sociais a fóruns de discussão de comunidades virtuais

This work aims at implementing the methodology of social network analysis to better understand interaction dynamics within forums of virtual learning communities. In this particular case the methodology of social network analysis was applied to a discussion forum in a virtual community created within the E-learning and Virtual Learning Communities subject, which is part of the master’s degree ICT in Education and Training. Using specific software such as UCINET and Netdraw it was possible to reach a better understanding of the type and dynamics of interactions among the different members of this community, the density of this network, the centrality, betweenness and closeness degree of all players while giving us a broad perspective on the roles of each player or group in the network.
Gesture recognition-based wireless intelligent judgment system

The invention discloses a gesture recognition-based wireless intelligent judgment system. A non-negligible time interval is between observing referee gesture by naked eyes and executing correspondingoperation; and for a recorder, the work load is burdensome, so wrong operation is easy to emerge, and the operation is influenced by subjective factors to a certain extent. The gesture recognition-based wireless intelligent judgment system comprises gloves (1), the palm part of the facade of the glove is provided with a conductive rubber sheet (2), the conductive rubber sheet and a resistor are connected in series and then are grounded or are in zero potential, each of fingertip parts of five fingers of the gloves is provided with conductive rubber (3) and is connected with a power supply on the back of the glove, each of the second joints of the ring finger and the middle finger is provided with conductive rubber and is connected in series with the resistor and then is grounded or is in zero potential, and the back of the glove is provided with a group of acceleration sensors (4) and a group of terrestrial magnetic sensors (5). The gesture recognition-based wireless intelligent judgment system is applied to basketball, volleyball, baseball, American football, hockey ball and the like, and competition fields similar with the sport events.
Rapid Serial Visual Presentation Design For Cognition

Thank you for downloading rapid serial visual presentation design for cognition. Maybe you have knowledge that, people have search numerous times for their chosen novels like this rapid serial visual presentation design for cognition, but end up in harmful downloads. Rather than enjoying a good book with a cup of coffee in the afternoon, instead they are facing with some harmful bugs inside their computer.
The semantic analysis of advanced programming languages

We live in a time where computing devices power essential systems of our society: our automobiles, our airplanes and even our medical services. In these safetycritical systems, bugs do not just cost money to fix; they have a potential to cause harm, even death. Therefore, software correctness is of paramount importance. Existing mainstream programming languages do not support software verification as part of their design, but rely on testing, and thus cannot completely rule out the possibility of bugs during software development. To fix this problem we must reshape the very foundation on which programming languages are based. Programming languages must support the ability to verify the correctness of the software developed in them, and this software verification must be possible using the same language the software is developed in. In the first half of this dissertation we introduce three new programming languages: Freedom of Speech, Separation of Proof from Program, and Dualized Type Theory. The Freedom of Speech language separates a logical fragment from of a general recursive programming language, but still allowing for the types of the logical fragment to depend on general recursive programs while maintaining logical consistency. Thus, obtaining the ability to verify properties of general recursion programs. Separation of Proof from Program builds on the Freedom of Speech language by relieving several restrictions, and adding a number of extensions. Finally, Dualized Type Theory is a terminating functional programming language rich in constructive duality, and shows promise of being a logical foundation of induction