Search results for "GUI"
showing 10 items of 12462 documents
Robotics in Neurosurgery – Past, Presence and Future
2021
In multiple ways, neurosurgery is the perfect field for the implementation of robotic assisted procedures. Neurosurgical operations require precise and fine manipulation of deeply located critical neural structures that are accessed through a small corridor. The concept of robots has evolved from “human-like” machines to programmable, multifunctional specialized devices. To this day, the majority of robotic-assisted neurosurgical operations involve a shared-control system. They have involved a robotic arm that moves an instrument to a specific location based on Cartesian coordinates and is then locked in place. The operating neurosurgeon proceeds with the instrument along the path defined b…
A Formal Semantics and a Client Synthesis for a BPEL Service
2008
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…
ChiLab4It system in the QA4FAQ competition
2017
ChiLab4It is the Question Answering system (QA) for Frequently Asked Questions (FAQ) developed by the Computer-Human Interaction Laboratory (ChiLab) at the University of Palermo for participating to the QA4FAQ task at EVALITA 2016 competition. The system is the versioning of the QuASIt framework developed by the same authors, which has been customized to address the particular task. This technical report describes the strategies that have been imported from QuASIt for implementing ChiLab4It, the actual system implementation, and the comparative evaluations with the results of the other participant tools, as provided by the organizers of the task. ChiLab4It was the only system whose score re…
Grammar is the heart of language : grammar and its role in language learning among Finnish university students
2015
This article presents and discusses views on grammar and its role in formal language learning amongst Finnish university students. The results are based on a questionnaire which was distributed to students at the University of Jyväskylä as part of institutional action research. The background to the project was a feeling amongst some teachers of increased divergence between student respectively language teacher understandings of the role of grammar in language teaching. This concern raised the need to find out how students view grammar. The knowledge about thoughts on grammar amongst students would then help teachers to adjust and adept the way grammar is used in language teaching. The main…
Systems thinking and its contribution to understanding future designer thinking
2017
Design is changing in a radical way. The object of design is transforming from tangible objects into services and furthermore, into systems. Increasingly, new insights arise from the interfaces between diverse disciplines – such as art, science and technology – which through various discourses and paradigms have been specialized and driven apart. This discussion paper pinpoints the so-called systems thinkers, hybrid-people, whose methods and habits of work are constituted by the reconciliation of different disciplines. The article aims to bring more understanding to the kind of thinking that is needed in the complex and dynamic environment in which we create and use design today. This discu…
Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices
2020
We propose a methodology to verify applications developed following programming patterns inspired by natural language that interact with physical environments and run on resource-constrained interconnected devices. Natural language patterns allow for the reduction of intermediate abstraction layers to map physical domain concepts into executable code avoiding the recourse to ontologies, which would need to be shared, kept up to date, and synchronized across a set of devices. Moreover, the computational paradigm we use for effective distributed execution of symbolic code on resource-constrained devices encourages the adoption of such patterns. The methodology is supported by a rule-based sys…
The Stability-Plasticity Dilemma: Investigating the Continuum from Catastrophic Forgetting to Age-Limited Learning Effects
2013
The stability-plasticity dilemma is a well-know constraint for artificial and biological neural systems. The basic idea is that learning in a parallel and distributed system requires plasticity for the integration of new knowledge, but also stability in order to prevent the forgetting of previous knowledge. Too much plasticity will result in previously encoded data being constantly forgotten, whereas too much stability will impede the efficient coding of this data at the level of the synapses. However, for the most part, neural computation has addressed the problems related to excessive plasticity or excessive stability as two different fields in the literature.
Language Learning Methodology for Adults: A Study of Linguistic Transfer
2014
Abstract The purpose of the present research is to bring together the evidence on transfer in adult L2 and L3 language acquisition and investigate the use and the relationship between languages in contact. The role of linguistic transfer ( Odlin, 1989 ) i.e. the imposition of previously learned patterns onto a new learning situation, has a facilitation or inhibition effect on the learner's progress in mastering a new language (L2 or L3). Our findings reveal that the cross-linguistic influence occurs both from the direction of the L2 to the L3 and from the L3 to the L2 ( Odlin, 2003 , Jarvis and Pavlenko, 2008 ). In the case of our participants, in the acquisition of L2 as the foreign langua…
Diversity in random subspacing ensembles
2004
Ensembles of learnt models constitute one of the main current directions in machine learning and data mining. It was shown experimentally and theoretically that in order for an ensemble to be effective, it should consist of classifiers having diversity in their predictions. A number of ways are known to quantify diversity in ensembles, but little research has been done about their appropriateness. In this paper, we compare eight measures of the ensemble diversity with regard to their correlation with the accuracy improvement due to ensembles. We conduct experiments on 21 data sets from the UCI machine learning repository, comparing the correlations for random subspacing ensembles with diffe…
Problemas Descriptivos de Fracciones
2016
Resumen En este trabajo se presenta un estudio sobre los problemas verbales de fracciones que ha transmitido la tradición escolar. Se trata de problemas descriptivos, porque su contexto es una historieta o narración pseudorealista que no pretende dar respuesta a ninguna situación verdaderamente práctica. Mediante el análisis didáctico e histórico-epistemológico se aporta claridad metodológica sobre estos problemas de fracciones, al identificar sus distintos tipos, sus estructuras, sus lecturas analíticas, sus reglas, fórmulas y métodos de resolución.