Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2010

Phylogeny of the Teashirt-related Zinc Finger (tshz) Gene Family and Analysis of the Developmental Expression of tshz2 and tshz3b in the Zebrafish

Autores
Santos, JS; Fonseca, NA; Vieira, CP; Vieira, J; Casares, F;

Publicação
DEVELOPMENTAL DYNAMICS

Abstract
The tshz genes comprise a family of evolutionarily conserved transcription factors. However, despite the major role played by Drosophila tsh during the development of the fruit fly, the expression and function of other tshz genes have been analyzed in a very limited set of organisms and, therefore, our current knowledge of these genes is still fragmentary. In this study, we perform detailed phylogenetic analyses of the tshz genes, identify the members of this gene family in zebrafish and describe the developmental expressions of two of them, tshz2 and tshz3b, and compare them with meis1, meis2.1, meis2.2, pax6a, and pax6b expression patterns. The expression patterns of these genes define a complex set of coexpression domains in the developing zebrafish brain where their gene products have the potential to interact. Developmental Dynamics 239:1010-1018, 2010. (C) 2010 Wiley-Liss, Inc.

2010

Biological inspiration to solve complexity in intelligent and adaptive manufacturing systems

Autores
Leitao, P; Barbosa, J;

Publicação
IFAC Proceedings Volumes (IFAC-PapersOnline)

Abstract
The current demand for customization, flexibility and responsiveness constitutes a challenge to achieve intelligent and adaptive manufacturing systems. Understanding how in nature the complex things are performed in a simple and effective way, allows us to copy them and develop complex and powerful adaptive and evolvable systems. The paper overviews some principles found in nature and biology and analyses the application of bio-inspired solutions to solve complex engineering problems, especially in the manufacturing field. The paper also discusses the effective applicability of these methods in several areas of manufacturing systems and analyses the available agent-based tools to support the simulation of bio-inspired solutions.

2010

Linearity and iterator types for Gödel's System I

Autores
Alves, S; Fernandez, M; Florido, M; MacKie, I;

Publicação
Higher-Order and Symbolic Computation

Abstract
System L I is a linear ?-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of Gödel's System I. System LI owes its power to two features: the use of a closed reduction strategy (which permits the construction of an iterator on an open function, but only iterates the function after it becomes closed), and the use of a liberal typing rule for iterators based on iterative types. In this paper, we study these new types, and show how they relate to intersection types. We also give a sound and complete type reconstruction algorithm for System LI. © 2010 Springer Science+Business Media, LLC.

2010

Slicing for architectural analysis

Autores
Rodrigues, NF; Barbosa, LS;

Publicação
SCIENCE OF COMPUTER PROGRAMMING

Abstract
Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an ORC specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed.

2010

Design of an extensible metadata editor based on RDF

Autores
Lea, JP; Queiros, R;

Publicação
Proceedings of the European Conference on Knowledge Management, ECKM

Abstract
The content of a Learning Object is frequently characterized by metadata from several standards, such as LOM, SCORM and QTI. Specialized domains require new application profiles that further complicate the task of editing the metadata of learning object since their data models are not supported by existing authoring tools. To cope with this problem we designed a metadata editor supporting multiple metadata languages, each with its own data model. It is assumed that the supported languages have an XML binding and we use RDF to create a common metadata representation, independent from the syntax of each metadata languages. The combined data model supported by the editor is defined as an ontology. Thus, the process of extending the editor to support a new metadata language is twofold: firstly, the conversion from the XML binding of the metadata language to RDF and vice-versa; secondly, the extension of the ontology to cover the new metadata model. In this paper we describe the general architecture of the editor, we explain how a typical metadata language for learning objects is represented as an ontology, and how this formalization captures all the data required to generate the graphical user interface of the editor.

2010

Fibre Optic Modal Interferometry for Sensing Applications

Autores
Santos, JL; Ferreira, LA; Araujo, FM; Frazao, O;

Publicação
2ND WORKSHOP ON SPECIALTY OPTICAL FIBERS AND THEIR APPLICATIONS WSOF-2

Abstract
Fibre optic modal interferometry has been around for long as a sensing concept. Initially mainly supported on the utilization of standard Hi-Bi fibres associated to polarimetric modal interferometry, later this sensing approach evolved to modal interference based on spatial modes propagating in the core, and on spatial modes propagating in the core and in the cladding, with coupling performed by fibre devices such as long period gratings and tapers. More recently the outcome of Photonic Crystal Fibres (PCF) originated a burst of activity around the concept of modal interferometry for sensing. The reasons for that viewed in a historic perspective are presented in this work.

  • 3676
  • 4496