481.
Vrije Universiteit Brussel
- Vakgroep Informatica,En Toegepaste Informatica,Peter Stuer,Robert Meersman,Steven De Bruyne
This paper reports on the
construction of a personalized theme creation engine as a possible catalyst to the active use in secondary education
in Europe of digital media published on-line by selected museums
482.
Semantic Ontology Tools in IS Design
- Vakgroep Informatica,En Toegepaste Informatica,Robert Meersman,R. A. Meersman
The availability of computerized lexicons, thesauri and "ontologies" --we
discuss this termi nology-- makes it possible to formalize semantic aspects of
information as used in the analysis, design and implementation of information
systems (and in fact general software systems) in new and useful ways. We survey a
selection of relevant ongoing work, discuss different issues of semantics that arise,
and characterize the resulting computerized information systems, called CLASS for
Computer-Lexicon Assisted Software Systems. The need for a "global" common
ontology (lexicon, thesaurus) is conjectured, and some desirable properties are
proposed. We give a few examples of such CLASS-s and indicate avenues of current
and future research in this area....
483.
On Linear Time Minor Tests And Depth First Search
- Vakgroep Informatica
Recent results on graph minors make it desirable to have efficient algorithms,
that for a fixed set of graphs {H,...,He}, test whether a given
graph G contains at least one graph Hi as a minor. In this paper we show the
following result: if at least one graph Hi is a minor of a 2 x k grid graph, and
at least one graph Hi is a minor of a circus graph, then one can test in O(n)
time whether a given graph G contains at least one graph H (Hx,..., He)
as a minor. This result generalizes a result of Fellows and Langston. The algorithm
is...
484.
Parallel Aspects of Numerical Weather Prediction on a Grid of Transputers
- Vakgroep Informatica
This document is a report of a feasibility study, initiated by the Dutch weather
forecast service (KNMI) and the department of computer science of the university
of Utrecht, of the possibilities of parallelizing numerical weather prediction programs
for execution on a grid of transputers.
485.
Non-failure Analysis and Granularity Control in Parallel Execution of Logic Programs
- Facultad De Informatica
Logic Programming Languages o#er an excellent framework for the application
of automatic parallelization techniques. On the other hand, there are theoretical
results that ensure when parallel(ized) programs are correct (i.e. obtain the
same results as their corresponding sequential ones), and when execution of parallel
(ized) programs do not take longer than that of the sequential ones. However,
such results do not take into account a number of overheads which appear in practice,
such as process creation and scheduling, which can induce a slow-down, or,
at least, limit speedup, if they are not controlled in some way. In this dissertation,
we have developed (an integrated in an advanced system...
486.
AS OPORTUNIDADES DE APRENDIZAGEM NA ALFABETIZAÇÃO MEDIADAS PELO USO DO COMPUTADOR COMO ESTRATÉGIA DE ENSINO
- Gilmara da Silva
Essa pesquisa investigou quais são as oportunidades de aprendizagem que se apresentam aos alunos quando os computadores são utilizados pelo professor como estratégia metodológica para alfabetizar. Esse trabalho investigativo possibilitou também, descrever as relações que ocorrem entre os sujeitos participantes durante a realização das atividades propostas em um laboratório de informática; identificar os procedimentos didáticos utilizados para explorar o computador, além de verificar as oportunidades de aquisição e compreensão da linguagem escrita que estão subjacentes ao software educativo, ao aplicativo ou ao programa selecionado, verificando como as crianças utilizam essas ferramentas para aprender a linguagem escrita. As bases teóricas que...
487.
Desarrollo de una propuesta de procesos y procedimientos para la administración de materias curriculares en el Departamento de Electrónica, Sistemas e Informática
- Infante Díaz, Gabriel; Luna Ramírez, Alejandro
Tesis de Lic. en Informática Administrativa
488.
El licenciado en Informática Administrativa como consultor en la creación y actualización de los sistemas y procedimientos administrativos de una mediana empresa abarrotera
- Navarro Eguiarte, Eduardo Rafael; Hernández González, Raúl
Tesis de Lic. en Informática Administrativa
489.
Análisis, diseño e implementación de un sistema para el control de socios y tesorería de la Sociedad de Alumnos de Informática Administrativa
- Huerta Regalado, Mónica Patricia; Lázaro López, Sofía
Tesis de Lic. en Informática Administrativa
490.
CREACION E IMPLEMENTACION DE UN SISTEMA INFORMATICO A LA EVALUACION DE EJECUTIVOS DE ATENCION TELEFONICA BAJO LA NORMATIVIDAD ISO 9001:2008.
- MUNOZ GARCIA, BIANCA IRENE; RANGEL GARCIA, MARTHA PAOLA; TENORIO ROLDAN, EDUARDO; ZAMORA HERNANDEZ, JOSE FERNANDO
TESINA C7.1390 INFORMATICA
491.
MESTRE EM ENGENHARIA INFORMÁTICA
- João Leitão; Universidade De Lisboa; Faculdade De Ciências; João Carlos; Antunes Leitão; Mestrado Em; Engenharia Informática; João Carlos; Antunes Leitão; Faculdade De; Ciências Da; Universidade De Lisboa; Luís Eduardo; Teixeira Rodrigues; Henrique João; Lopes Domingos; Miguel Nuno; Dias Alves; Pupo Correia; Paulo Jorge; Cunha Vaz; Dias Urbano; Departamento De Informática
files are stored in PDF, with the report number as filename. Alternatively, reports are available by post from the above address.
492.
Aplicaciones informáticas de oficina : módulo introducción a la informática y sistemas operativos
- Arambarri Esnaola, Begoña
La Asociación de Empresas de Economía Social de la Región de Murcia (AMUSAL) dedicada a la formación de trabajadores activos y desempleados elabora materiales didácticos propios para sus actuaciones formativas que son permanentemente puestos al día previa valoración de las necesidades de las empresas asociadas, en el ámbito de la gestión y dirección empresarial. En este caso se trata del módulo formativo : introducción a la informática y sistemas operativos del área de aplicaciones informáticas
493.
Aplicaciones informáticas de oficina : módulo introducción a la informática y sistemas operativos
- Arambarri Esnaola, Begoña
La Asociación de Empresas de Economía Social de la Región de Murcia (AMUSAL) dedicada a la formación de trabajadores activos y desempleados elabora materiales didácticos propios para sus actuaciones formativas que son permanentemente puestos al día previa valoración de las necesidades de las empresas asociadas, en el ámbito de la gestión y dirección empresarial. En este caso se trata del módulo formativo : introducción a la informática y sistemas operativos del área de aplicaciones informáticas
494.
O PROINFO e a formação de Professores em Goiânia
- Alex Santos Bandeira Barra
A presente dissertação é resultado da pesquisa sobre a inserção do Programa Nacional de Informática na Educação (ProInfo) no município de Goiânia, estado de Goiás, Brasil. O foco central da pesquisa é a relação professor/informática, a partir das políticas de formação de professores no contexto das tecnologias da informação e da comunicação, desenvolvidas pelo ProInfo. Seu objeto de pesquisa é a formação docente realizada pela Secretaria Municipal de Educação (SME) através do estudo dos cursos oferecidos pelo Núcleo de Tecnologia Educacional (NTE) municipal. Utilizaram-se os seguintes procedimentos metodológicos: entrevistas, questionários e análise de documentos. A partir dos resultados da pesquisa...
495.
Pràctiques en empreses en els estudis d'informàtica: dels convenis de cooperació educativa a les estades en entorns laborals
- Soler Masó, Josep; García Campos, Rafael; Marzo Lázaro, Josep Lluís; Suy Franch, Josep; Thió i Fernández de Henestrosa, Santiago
Les pràctiques en empresa tenen una gran importància en els Estudis de Informàtica.L’experiència d’incorporar-se al món laboral en els darrers cursos acadèmics, poder veurecom es treballa des d’un departament informàtic o poder treballar amb els Sistemes de Informació d’una organització és un factor que motiva enormement a l’estudiant, al mateix temps que aprèn hàbits de treball i nous entorns informàtics. En aquest article es presental’evolució que han tingut aquestes pràctiques en els darrers cinc anys en els estudis de Informàtica impartits des de l’Escola Politècnica Superior (EPS) de la Universitat de Girona (UdG). Tradicionalment, aquest primer contacte amb l’empresa sol...
496.
Strong Normalization of Typeable Rewrite Systems
- Van Bakel,Afdeling Informatica
This paper studies termination properties of rewrite systems that are typeable using intersection
types. It introduces a notion of partial type assignment on Curryfied Term Rewrite
Systems, that consists of assigning intersection types to function symbols, and specifying the
way in which types can be assigned to nodes and edges between nodes in the tree representation
of terms. Two operations on types are specified that are used to define type assignment
on terms and rewrite rules, and are proven to be sound on both terms and rewrite rules. Using
a more liberal approach to recursion, a general scheme for recursive definitions is presented,
that generalizes primitive recursion,...
497.
Strong Normalization of Typeable Rewrite Systems
- Van Bakel,Afdeling Informatica
This paper studies termination properties of rewrite systems that are typeable using intersection
types. It introduces a notion of partial type assignment on Curryfied Term Rewrite
Systems, that consists of assigning intersection types to function symbols, and specifying the
way in which types can be assigned to nodes and edges between nodes in the tree representation
of terms. Two operations on types are specified that are used to define type assignment
on terms and rewrite rules, and are proven to be sound on both terms and rewrite rules. Using
a more liberal approach to recursion, a general scheme for recursive definitions is presented,
that generalizes primitive recursion,...
498.
XML Metadata Interchange (XMI)
- Recerca Informatica,Nihon Unisys
this document or any derivative works thereof, so long as
the OMG reproduces the copyright notices and the below paragraphs on all distributed copies.
The material in this document is submitted to the OMG for evaluation. Submission of this document
does not represent a commitment to implement any portion of this specification in the products of
the submitters.
WHILE THE INFORMATION IN THIS PUBLICATION IS BELIEVED TO BE ACCURATE,THE
COMPANIES LISTED ABOVE MAKE NO WARRANTY OF ANY KIND WITH REGARD TO
THIS MATERIAL INCLUDING BUT NOT LIMITED TO THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. The companies listed
above shall not be liable for errors...
499.
Protocols for Local Area Networks: A Survey
- Vakgrop Informatica,Nicolien Dros
This paper contains a discussion of possible applications of Local Area Networks,
a brief survey of OSI protocols, some remarks on ways of improving the performance
of LANs, and a more extensive treatment of Blast protocols and special protocols for
Remote Procedure Call.
500.
An Architecture For Document Management
- Centro De Informatica Cin
The main goal of this work is to investigate a computational architecture for a document management environment. Its propose is to digitalize and extract information from documents of any type, transforming them into structured electronic documents. The environment was divided into Specification and Extraction modules. In the first module, the user performs the Document Specification, capturing physical, semantic and process information from the document. The Extraction module uses this information, in order to recognize documents of the same class of the specified one. This environment offers the possibility to visualize the classification results and to correct eventual mistakes it has...
