Power supply noise and logic error probability

Voltage fluctuations caused by parasitic impedances in the power supply rails of modern ICs are a major concern in nowadays ICs. The voltage fluctuations are spread out to the diverse nodes of the internal sections causing two effects: a degradation of performances mainly impacting gate delays anda noisy contamination of the quiescent levels of the logic that drives the node. Both effects are presented together, in thispaper, showing than both are a cause of errors in modern and future digital circuits. The paper groups both error mechanismsand shows how the global error rate is related with the voltage deviation and the period of the clock of the digital system.

Assessing technology-based spin-offs from university support units

This paper takes a regional studies approach to assess spin-offs from a university-based technology transfer network. We first detect the regional objectives, inputs and outputs needed to assess spin-offs from support programmes. We then provide evidence on regional mechanisms for firm creation. We analyse spin-offs created at Catalan universities and find that many efficient spin-offs have formal technology transfer agreements, and emerge from technology-oriented universities. We also find that higher innovation levels and experience from the parent university are associated with higher efficiency, which is positively related to future fundamental profitability. Finally, we propose regional policy making and research directions.

Formalizing defeasible argumentation using a labeled deductive system

In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing common features. This paper presents a formalization of an LDS for defensible argumentation, in which the main issues concerning defeasible argumentation are captured within a unified logical framework. The proposed framework is defined in two stages. First, defeasible inference will be formalized by characterizing an argumentative LDS. That system will be then extended in order to capture conflict among arguments using a dialectical approach. We also present some logical properties emerging from the proposed framework, discussing also its semantical characterization.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Promoting Metacognitive Skills in a CSCL environment: implications for instructional and technology design

This paper aims to better understand the development of students’ learning processes when participating actively in a specific Computer Supported Collaborative Learning system called KnowCat. To this end, a longitudinal case study was designed, in which eighteen university students took part in a 12-month (two semesters) learning project. During this time period, the students followed an instructional process, using some elements of KnowCat (KnowCat key features) design to support and improve their interaction processes, especially peer learning processes. Our research involved both supervising the students’ collaborative learning processes throughout the learning project and focusing our analysis on the qualitative evolution of the students’ interaction processes and on the development of metacognitive learning processes. The results of the current research reveal that the instructional application of the CSCL-KnowCat system may favour and improve the development of the students’ metacognitive learning processes. Additionally, the implications of the design of computer supported collaborative learning networks and pedagogical issues are discussed in this paper.

Technology transfer at the periphery of the Mycenaean world: the cases of Mycenaean pottery found in central Macedonia (Greece) and the Plain of Sybaris (Italy)

The study of technology transfer in pottery production to the periphery of the Mycenaean world has been addressed by considering two different areas, southern Italy and central Macedonia. Technological features such as ceramic paste, decoration and firing have been determined for different ceramic groups established according to provenance criteria. The studies of technology and provenance have been performed following an archaeometric approach, using neutron activation analysis, petrographic analysis, X-ray diffraction and scanning electron microscopy. The results have revealed the existence of two different models. On the one hand, southern Italy seems to exhibit a more organized pottery production, which follows a Mycenaean-like technology, while in central Macedonia production is probably more varied, being based in part on the technology of the local tradition.

Catalytic gates for gas sensors based on SiC technology

En este trabajo se presenta un estudio químico y estructural de las capas metálicas de Pt y TaSix utilizadas como puerta catalítica en sensores de gas de alta temperatura basados en dispositivos MOS de SiC. Para ello se han depositado capas de diferentes espesores sobre substratos de Si. Los resultados muestran que con la reducción del espesor de Pt y con un recocido se consigue aumentar la rugosidad de las capas de puerta, lo que debería aumentar la sensibilidad y la velocidad de respuesta de los dispositivos que las incorporasen. Otro efecto del recocido es la transformación química del material de la puerta que, para capas delgadas de Pt con TaSix, produce la transformación total Pt en Pt2Ta, lo que podría afectar a las características catalíticas de la puerta. Los primeros resultados eléctricos indican que, a pesar de que las capas de Pt empleadas son gruesas y compactas, los diodos MOS túnel de SiC son sensibles a los gases CO y NO2, aunque presentan una velocidad de respuesta bastante lenta.

CLARIN: common language resources and technology infrastructure

Presentamos el proyecto CLARIN, un proyecto cuyo objetivo es potenciar el uso de instrumentos tecnológicos en la investigación en las Humanidades y Ciencias Sociales

Content and Language Integration as a part of a degree reform at Tampere University of Technology

Tampere University of Technology is undergoing a degree reform that started in 2013. One of the major changes in the reform was the integration of compulsory Finnish, Swedish and English language courses to substance courses at the bachelor level. The integration of content and language courses aims at higher quality language learning, more fluency in studies, and increased motivation toward language studies. In addition, integration is an opportunity to optimize the use of resources and to offer courses that are more tailored to the students' field of study and to the skills needed in working life. The reform also aims to increase and develop co-operation between different departments at the university and to develop scientific follow up. This paper gives an overview of the integration process conducted at TUT and gives examples of adjunct CLIL implementations in three different languages.

Population ageing and ICT: An exploratory review of technology innovation trough digital applications

The multidimensional process of physical, psychological, and social change produced by population ageing affects not only the quality of life of elderly people but also of our societies. Some dimensions of population ageing grow and expand over time (e.g. knowledge of the world events, or experience in particular situations), while others decline (e.g. reaction time, physical and psychological strength, or other functional abilities like reduced speed and tiredness). Information and Communication Technologies (ICTs) can help elderly to overcome possible limitations due to ageing. As a particular case, biometrics can allow the development of new algorithms for early detection of cognitive impairments, by processing continuous speech, handwriting or other challenged abilities. Among all possibilities, digital applications (Apps) for mobile phones or tablets can allow the dissemination of such tools. In this article, after presenting and discussing the process of population ageing and its social implications, we explore how ICTs through different Apps can lead to new solutions for facing this major demographic challenge.

Towards automated specifications of scenarios in enhanced learning technology

Recent standardization efforts in e-learning technology have resulted in a number of specifications, however, the automation process that is considered essential in a learning management system (LMS) is a lessexplored one. As learning technology becomes more widespread and more heterogeneous, there is a growing need to specify processes that cross the boundaries of a single LMS or learning resource repository. This article proposes to obtain a specification orientated to automation that takes on board the heterogeneity of systems and formats and provides a language for specifying complex and generic interactions. Having this goal in mind, a technique based on three steps is suggested. The semantic conformance profiles, the business process management (BPM) diagram, and its translation into the business process execution language (BPEL) seem to be suitable for achieving it.

Technology Catching-up and the Role of Institutions

The aim of the paper is to investigate the role played by differences in Institutional Quality on the process of technology catch-up across countries. Empirical evidence shows how countries endowed with better institutions are those experiencing higher TFP growth rates, faster rates of technology adoption and hence being those more rapidly closing the gap with the frontier. Conversely, countries lacking some minimum institutional level are shown to diverge in the long run and not to catch-up. Some institutions, however, play an ambiguous role in the creation and adoption of technology. We find that the tightening of Intellectual Property Rights reduces the ability of followers to freely imitate technology slowing down their catchup rate. This negative effect is stronger the farther the countriesare found from the frontier. Other institutional categories such as openness to trade, instead, benefit both leaders and followers.