968 resultados para Execution semantics
Resumo:
The application of dexterous robotic hands out of research laboratories has been limited by the intrinsic complexity that these devices present. This is directly reflected as an economically unreasonable cost and a low overall reliability. Within the research reported in this thesis it is shown how the problem of complexity in the design of robotic hands can be tackled, taking advantage of modern technologies (i.e. rapid prototyping), leading to innovative concepts for the design of the mechanical structure, the actuation and sensory systems. The solutions adopted drastically reduce the prototyping and production costs and increase the reliability, reducing the number of parts required and averaging their single reliability factors. In order to get guidelines for the design process, the problem of robotic grasp and manipulation by a dual arm/hand system has been reviewed. In this way, the requirements that should be fulfilled at hardware level to guarantee successful execution of the task has been highlighted. The contribution of this research from the manipulation planning side focuses on the redundancy resolution that arise in the execution of the task in a dexterous arm/hand system. In literature the problem of coordination of arm and hand during manipulation of an object has been widely analyzed in theory but often experimentally demonstrated in simplified robotic setup. Our aim is to cover the lack in the study of this topic and experimentally evaluate it in a complex system as a anthropomorphic arm hand system.
Resumo:
One of the most undervalued problems by smartphone users is the security of data on their mobile devices. Today smartphones and tablets are used to send messages and photos and especially to stay connected with social networks, forums and other platforms. These devices contain a lot of private information like passwords, phone numbers, private photos, emails, etc. and an attacker may choose to steal or destroy this information. The main topic of this thesis is the security of the applications present on the most popular stores (App Store for iOS and Play Store for Android) and of their mechanisms for the management of security. The analysis is focused on how the architecture of the two systems protects users from threats and highlights the real presence of malware and spyware in their respective application stores. The work described in subsequent chapters explains the study of the behavior of 50 Android applications and 50 iOS applications performed using network analysis software. Furthermore, this thesis presents some statistics about malware and spyware present on the respective stores and the permissions they require. At the end the reader will be able to understand how to recognize malicious applications and which of the two systems is more suitable for him. This is how this thesis is structured. The first chapter introduces the security mechanisms of the Android and iOS platform architectures and the security mechanisms of their respective application stores. The Second chapter explains the work done, what, why and how we have chosen the tools needed to complete our analysis. The third chapter discusses about the execution of tests, the protocol followed and the approach to assess the “level of danger” of each application that has been checked. The fourth chapter explains the results of the tests and introduces some statistics on the presence of malicious applications on Play Store and App Store. The fifth chapter is devoted to the study of the users, what they think about and how they might avoid malicious applications. The sixth chapter seeks to establish, following our methodology, what application store is safer. In the end, the seventh chapter concludes the thesis.
Resumo:
Background: Piezoelectric instrumentation seems to offer 3 important advantages for cutting bone structures. Be more precise because it is produced by micro-vibrations from the cutting insert. Be safer because the ultrasonic frequency used does not affect soft tissue. Thirdly, the less invasive cutting action produces minor tissue damage and consequently probably a better healing Aim of the Study: The aim of this study is to evaluate the effectiveness of piezoelectric device capability in maxillo-facial surgery, in order to take advantage of these favourable capacity. Material and Methods: Considering the several potential application of the piezoelectric technology in Orthognathic, Oncologic and Extractive surgery, we would like to design protocols in order to verify how this new device can modify the surgical technique, the surgical time, the patients healing and its quality of life. Results: Due to the precise Piezosurgery cut, we can manage the Cad-Cam-Custom Made plates protocol in Oncologic Surgery and in Orthognatic Surgery increasing our percentage of comparison between the 3D preoperative plan and the surgical execution. We also found a better quality of life impaction in Patient who underwent and extractive surgery Conclusion: Piezosurgery device seems to be a strong surgical aid were safe and precise cut are needed and its capability to reduce the discomfort Patients need to be study in deep also in major surgery like Orthognatic and Oncologic surgery.
Resumo:
La Fusariosi della spiga (FDS) è una fitopatia diffusa a livello mondiale che colpisce le colture cerealicole, tra cui il frumento duro, ed è in grado di causare gravi danni di tipo qualitativo ed economico. Le specie fungine responsabili appartengono al genere Fusarium, tra cui F. graminearum, F. culmorum e più recentemente F. poae. La conseguenza più rilevante riguarda la contaminazione della granella da micotossine, molecole prodotte dai miceti, considerate dalla comunità scientifica ad alto rischio per la salute dell’uomo e animali. L’eziologia è molto complessa, dal momento che su una stessa spiga di frumento possono coesistere più specie fungine che contribuiscono ad influenzare i quantitativi di micotossine prodotte. Lo scopo della ricerca è incentrato sulla caratterizzazione di ceppi di F. poae, in termini di potenziale patogeno e aggressività. Tramite l’allestimento di un saggio di inoculazione in vitro “Petri-dish” è stato possibile attribuire un indice di aggressività a ciascun isolato fungino, basato su parametri quali AUHPC e AUDPC standard, insieme ad altre variabili come la riduzione della lunghezza del coleottile e del tasso di germinazione. Il saggio è stato esteso anche a F. culmorum, per valutare la riproducibilità del test su altre specie fungine. Il test in vitro offre diversi vantaggi, tra cui affidabilità e rapidità di esecuzione ed è quindi adatto allo screening di ceppi patogeni da utilizzare in successive sperimentazioni. Gli stessi ceppi di F. poae, provenienti da una prova di inoculazione artificiale in serra su piante di frumento duro, sono stati caratterizzati dal punto di vista bio-molecolare. Poichè lo studio della fusariosi della spiga richiede la determinazione quantitativa della biomassa dei patogeni nei tessuti della pianta-ospite, anche in assenza di sintomi, il protocollo di Real-Time PCR con chimica SYBR® Green I qui sviluppato, ha dimostrato essere un buon compromesso tra attendibilità, rapidità e costi complessivi della metodica.
Resumo:
Systems Biology is an innovative way of doing biology recently raised in bio-informatics contexts, characterised by the study of biological systems as complex systems with a strong focus on the system level and on the interaction dimension. In other words, the objective is to understand biological systems as a whole, putting on the foreground not only the study of the individual parts as standalone parts, but also of their interaction and of the global properties that emerge at the system level by means of the interaction among the parts. This thesis focuses on the adoption of multi-agent systems (MAS) as a suitable paradigm for Systems Biology, for developing models and simulation of complex biological systems. Multi-agent system have been recently introduced in informatics context as a suitabe paradigm for modelling and engineering complex systems. Roughly speaking, a MAS can be conceived as a set of autonomous and interacting entities, called agents, situated in some kind of nvironment, where they fruitfully interact and coordinate so as to obtain a coherent global system behaviour. The claim of this work is that the general properties of MAS make them an effective approach for modelling and building simulations of complex biological systems, following the methodological principles identified by Systems Biology. In particular, the thesis focuses on cell populations as biological systems. In order to support the claim, the thesis introduces and describes (i) a MAS-based model conceived for modelling the dynamics of systems of cells interacting inside cell environment called niches. (ii) a computational tool, developed for implementing the models and executing the simulations. The tool is meant to work as a kind of virtual laboratory, on top of which kinds of virtual experiments can be performed, characterised by the definition and execution of specific models implemented as MASs, so as to support the validation, falsification and improvement of the models through the observation and analysis of the simulations. A hematopoietic stem cell system is taken as reference case study for formulating a specific model and executing virtual experiments.
Resumo:
Computing the weighted geometric mean of large sparse matrices is an operation that tends to become rapidly intractable, when the size of the matrices involved grows. However, if we are not interested in the computation of the matrix function itself, but just in that of its product times a vector, the problem turns simpler and there is a chance to solve it even when the matrix mean would actually be impossible to compute. Our interest is motivated by the fact that this calculation has some practical applications, related to the preconditioning of some operators arising in domain decomposition of elliptic problems. In this thesis, we explore how such a computation can be efficiently performed. First, we exploit the properties of the weighted geometric mean and find several equivalent ways to express it through real powers of a matrix. Hence, we focus our attention on matrix powers and examine how well-known techniques can be adapted to the solution of the problem at hand. In particular, we consider two broad families of approaches for the computation of f(A) v, namely quadrature formulae and Krylov subspace methods, and generalize them to the pencil case f(A\B) v. Finally, we provide an extensive experimental evaluation of the proposed algorithms and also try to assess how convergence speed and execution time are influenced by some characteristics of the input matrices. Our results suggest that a few elements have some bearing on the performance and that, although there is no best choice in general, knowing the conditioning and the sparsity of the arguments beforehand can considerably help in choosing the best strategy to tackle the problem.
Resumo:
La capacità di estrarre entità da testi, collegarle tra loro ed eliminare possibili ambiguità tra di esse è uno degli obiettivi del Web Semantico. Chiamato anche Web 3.0, esso presenta numerose innovazioni volte ad arricchire il Web con dati strutturati comprensibili sia dagli umani che dai calcolatori. Nel reperimento di questi temini e nella definizione delle entities è di fondamentale importanza la loro univocità. Il nostro orizzonte di lavoro è quello delle università italiane e le entities che vogliamo estrarre, collegare e rendere univoche sono nomi di professori italiani. L’insieme di informazioni di partenza, per sua natura, vede la presenza di ambiguità. Attenendoci il più possibile alla sua semantica, abbiamo studiato questi dati ed abbiamo risolto le collisioni presenti sui nomi dei professori. Arald, la nostra architettura software per il Web Semantico, estrae entità e le collega, ma soprattutto risolve ambiguità e omonimie tra i professori delle università italiane. Per farlo si appoggia alla semantica dei loro lavori accademici e alla rete di coautori desumibile dagli articoli da loro pubblicati, rappresentati tramite un data cluster. In questo docu delle università italiane e le entities che vogliamo estrarre, collegare e rendere univoche sono nomi di professori italiani. Partendo da un insieme di informazioni che, per sua natura, vede la presenza di ambiguità, lo abbiamo studiato attenendoci il più possibile alla sua semantica, ed abbiamo risolto le collisioni che accadevano sui nomi dei professori. Arald, la nostra architettura software per il Web Semantico, estrae entità, le collega, ma soprattutto risolve ambiguità e omonimie tra i professori delle università italiane. Per farlo si appoggia alla semantica dei loro lavori accademici e alla rete di coautori desumibile dagli articoli da loro pubblicati tramite la costruzione di un data cluster.
Resumo:
Cognitive task performance differs considerably between individuals. Besides cognitive capacities, attention might be a source of such differences. The individual's EEG alpha frequency (IAF) is a putative marker of the subject's state of arousal and attention, and was found to be associated with task performance and cognitive capacities. However, little is known about the metabolic substrate (i.e. the network) underlying IAF. Here we aimed to identify this network. Correlation of IAF with regional Cerebral Blood Flow (rCBF) in fifteen young healthy subjects revealed a network of brain areas that are associated with the modulation of attention and preparedness for external input, which are relevant for task execution. We hypothesize that subjects with higher IAF have pre-activated task-relevant networks and thus are both more efficient in the task-execution, and show a reduced fMRI-BOLD response to the stimulus, not because the absolute amount of activation is smaller, but because the additional activation by processing of external input is limited due to the higher baseline.
Resumo:
Accurate placement of lesions is crucial for the effectiveness and safety of a retinal laser photocoagulation treatment. Computer assistance provides the capability for improvements to treatment accuracy and execution time. The idea is to use video frames acquired from a scanning digital ophthalmoscope (SDO) to compensate for retinal motion during laser treatment. This paper presents a method for the multimodal registration of the initial frame from an SDO retinal video sequence to a retinal composite image, which may contain a treatment plan. The retinal registration procedure comprises the following steps: 1) detection of vessel centerline points and identification of the optic disc; 2) prealignment of the video frame and the composite image based on optic disc parameters; and 3) iterative matching of the detected vessel centerline points in expanding matching regions. This registration algorithm was designed for the initialization of a real-time registration procedure that registers the subsequent video frames to the composite image. The algorithm demonstrated its capability to register various pairs of SDO video frames and composite images acquired from patients.
Resumo:
When healthy observers make a saccade that is erroneously directed toward a distracter stimulus, they often produce a corrective saccade within 100ms after the end of the primary saccade. Such short inter-saccadic intervals indicate that programming of the secondary saccade has been initiated prior to the execution of the primary saccade and hence that the two saccades have been programmed concurrently. Here we show that concurrent saccade programming is bilaterally impaired in left spatial neglect, a strongly lateralized disorder of visual attention resulting from extensive right cerebral damage. Neglect patients were asked to make saccades to targets presented left or right of fixation while disregarding a distracter presented in the opposite hemifield. We examined those experimental trials on which participants first made a saccade to the distracter, followed by a secondary (corrective) saccade to the target. Compared to healthy and right-hemisphere damaged control participants the proportion of secondary saccades directing gaze to the target instead of bringing it even closer to the distracter was bilaterally reduced in neglect patients. In addition, the characteristic reduction of secondary saccade latency observed in both control groups was absent in neglect patients, whether the secondary saccade was directed to the left or right hemifield. This pattern is consistent with a severe, bilateral impairment of concurrent saccade programming in left spatial neglect.
Resumo:
The paralysis-by-analysis phenomenon, i.e., attending to the execution of one's movement impairs performance, has gathered a lot of attention over recent years (see Wulf, 2007, for a review). Explanations of this phenomenon, e.g., the hypotheses of constrained action (Wulf et al., 2001) or of step-by-step execution (Masters, 1992; Beilock et al., 2002), however, do not refer to the level of underlying mechanisms on the level of sensorimotor control. For this purpose, a “nodal-point hypothesis” is presented here with the core assumption that skilled motor behavior is internally based on sensorimotor chains of nodal points, that attending to intermediate nodal points leads to a muscular re-freezing of the motor system at exactly and exclusively these points in time, and that this re-freezing is accompanied by the disruption of compensatory processes, resulting in an overall decrease of motor performance. Two experiments, on lever sequencing and basketball free throws, respectively, are reported that successfully tested these time-referenced predictions, i.e., showing that muscular activity is selectively increased and compensatory variability selectively decreased at movement-related nodal points if these points are in the focus of attention.
Resumo:
The embryonic head development, including the formation of dental structures, is a complex and delicate process guided by specific genetic programs. Genetic changes and environmental factors can disturb the execution of these programs and result in abnormalities in orofacial and dental structures. Orofacial clefts and hypodontia/ oligodontia are examples of such abnormalities frequently seen in dental clinics. An insight into the mechanisms and genes involved in the formation of orofacial and dental structures has been gradually gained by genetic analysis of families and by the use of experimental vertebrate models such as the mouse and chick models. The development of novel clinical therapies for orofacial and dental pathological conditions depends very much on a detailed knowledge of the molecular and cellular processes that are involved in head formation.