301.
AFDELING INFORMATICA
- Celestijnenlaan A B- Leuven; Promotor Proefschrift Voorgedragen Tot; Stefan Van Baelen; Katholieke Universiteit Leuven; Prof Tom; Holvoet Stefan; Van Baelen
Prof. dr. ir. Eric Steegmans het behalen van het doctoraat in de wetenschappen: informatica door
302.
Elementos de la auditoría en informática para centros de cómputo
- Canales Mares, Jorge
Tesis de Lic. en Informática Administrativa
303.
MODELO DE AUDITORÍA APLICABLE AL OUTSOURCING INFORMÁTICO.
- MONTES DE OCA CORREA, MARISOL
TESINA C7.1376 INFORMATICA
304.
El profesional informático en la auditoría de sistemas
- Dembonet, Paola; Facultad de Informática
305.
Prensa e informática
- Muñoz, Carme; Tomás, Roser
Crédito variable de Lengua e Informática para Bachillerato, que pretende adecuar varias materias tradicionales como las lenguas, al entorno social, lingüístico y tecnológico actual. Se tratan contenidos sobre los medios de comunicación de masas y, más concretamente, sobre la prensa. Se trabajan recursos informáticos con el programa Framework. Se ofrece material para el profesorado y para el trabajo del alumnado muy completo, Bibliografía
306.
Prensa e informática
- Muñoz, Carme; Tomás, Roser
Crédito variable de Lengua e Informática para Bachillerato, que pretende adecuar varias materias tradicionales como las lenguas, al entorno social, lingüístico y tecnológico actual. Se tratan contenidos sobre los medios de comunicación de masas y, más concretamente, sobre la prensa. Se trabajan recursos informáticos con el programa Framework. Se ofrece material para el profesorado y para el trabajo del alumnado muy completo, Bibliografía
307.
Integración de las TIC en el sistema educativo de Galicia: respuesta de los docentes
- Pérez Cota, Manuel; Vilán Crespo, Luis; Machado da Costa, José Paulo
Este artículo presenta el resultado del estudio acerca de la situación de la informática educativa en el contexto educativo de referencia (Galicia-España). El estudio está basado en una encuesta a los profesores de niveles de enseñanza no-universitaria. La finalidad del presente artículo es mostrar los resultados de última edición de la encuesta (curso 2004-05) y la evolución de los mismos desde el inicio del estudio (curso 2001-02). En este periodo estudiado se han producido hechos significativos derivados, por un lado, de una política activa por parte de la Administración Educativa conducente a incrementar el empleo de los medios informáticos en...
308.
Informática y derecho
- Congreso Iberoamericano de Derecho e Informática ( 8o : 2000 : México); Téllez Valdés, Julio (introd.)
309.
Doctor en Informática
- Un Sistema De Programación; Daniel Cabeza Gras; Idato Daniel Cabeza Gras; Licenciado En Informática
Lógica extensible y con
310.
Doctor en Informática
- Un Sistema De Programación; Daniel Cabeza Gras; Idato Daniel Cabeza Gras; Licenciado En Informática
Lógica extensible y con
311.
Aula de Informática
- Quintanilla Rodríguez, Dolores; Cayón Martínez, María Jesús; Aula de Adultos de Renedo de Piélagos (Cantabria)
Con este Proyecto se pretende lograr la consecución de los siguientes objetivos: Entender que el ordenador, como recurso didáctico, permite al usuario el procesamiento y obtención de información, el desarrollo de actividades creativas, simulaciones de la realidad asi como la elaboración de pautas de trabajo. Facilitar el conocimiento de la tecnología actual a una población que, de otro modo, no tendría acceso a ella. Conseguir una alfabetización informática. Fomentar la utilización de los ordenadores en aplicaciones concretas. Utilizar los medios informáticos como elementos motivadores del aprendizaje. Eliminar el temor que produce la informática a aquellos que no han tenido acceso...
312.
Aula de Informática
- Quintanilla Rodríguez, Dolores; Cayón Martínez, María Jesús; Aula de Adultos de Renedo de Piélagos (Cantabria)
Con este Proyecto se pretende lograr la consecución de los siguientes objetivos: Entender que el ordenador, como recurso didáctico, permite al usuario el procesamiento y obtención de información, el desarrollo de actividades creativas, simulaciones de la realidad asi como la elaboración de pautas de trabajo. Facilitar el conocimiento de la tecnología actual a una población que, de otro modo, no tendría acceso a ella. Conseguir una alfabetización informática. Fomentar la utilización de los ordenadores en aplicaciones concretas. Utilizar los medios informáticos como elementos motivadores del aprendizaje. Eliminar el temor que produce la informática a aquellos que no han tenido acceso...
313.
INFORMÁTICA Y HUMANISMO
- Ricardo Seminario Vásquez
La informática, entendida como la ciencia que hace uso del computador u ordenador para optimizar el recurso información, en el manejo o administración de una empresa, mediante los sistemas de información computarizados. Un sistema computarizado esta conformado por hardware, software, procedimientos, personas, bases de datos y documentación en interacción con su entorno.
314.
Los contratos informáticos
- Múgica Arrién, Gotzone
La irrupción de estas tecnologías en el mundo empresarial ha propiciado la aparición de nuevos modelos de contratos y nuevas formas de contratación. El ordenamiento jurídico no debe quedar al margen de esta situación, aunque como se comprobará en el presente artículo, la vertiginosa velocidad a la que avanza el mundo de la informática no ha sido correspondida con el avance de la regulación jurídica de esta materia.
315.
Reflexividade e aceleração: as estratégias racionais de sobrevivência - O caso dos profissionais do pólo de informática do Recife
- Luiz Carlos Pinto da Costa Júnior
Este trabalho é resultante de uma pesquisa que busca identificar estratégias de reflexividade em oposição a processos de desorientação, ansiedade e descentramento provocados por intensa carga de trabalho, por aceleração e por problemas contingentes de ordem técnica entre profissionais envolvidos com a criação de programas de computador na cidade do Recife. Esse é o conjunto de desafios aos quais são submetidos homens e mulheres que desenvolvem softwares. Quisemos saber como essas pessoas pautam suas ações, projetos e expectativas pessoais e profissionais no sentido de estabelecer padrões de vida mais harmoniosos entre demandas de ordem privada e obrigações vinculadas à ordem...
316.
INFORMATICA, 2003 Vol. 8, No. 2, 267--283
Reinforcement learning addresses the question of how an autonomous
agent can learn to choose optimal actions to achieve its goals. Efficient exploration is of
fundamental importance for autonomous agents that learn to act. Previous approaches to
exploration in reinforcement learning usually address exploration in the case when the environment
is fully observable. In contrast, we study the case when the environment is only
partially observable. We consider different exploration techniques applied to the learning
algorithm "Utile Suffix Memory", and, in addition, discuss an adaptive fringe depth. Experimental
results in a partially observable maze show that exploration techniques have
serious impact on performance of learning algorithm.
317.
Acta Informatica 26, 287-308 (1989)
- Joseph M. Morris
Introduction
We take the view that a specification language is a programming language with added fancy
constructs and notions that admit ease of expression but may be expensive or even impossible to implement.
The programming task is to make a specification and then step by step eliminate the fancy constructs with
correctness-preserving transformations, or refinements, until, all going well, we arrive at a program. Among
the added notions of specification languages are a richer set of data types - sets, bags, mappings,
unbounded sequences, etc. - than we are used to seeing in programming languages; their replacement with
simpler types during program development is called "data refinement"....
318.
Soporte informático a la Asociación Casa Guatemala
- Acedo Nadal, Susana
319.
Soporte informático a la asociación Casa Guatemala
- Burillo Val, Miguel
320.
Dipartimento di Informatica e Sistemistica
- S. Lucidi,L. Palagi,M. Roma,Stefano Lucidi,Laura Palagi,Massimo Roma
In this paper we consider the problem of minimizing a (possibly nonconvex)
quadratic function with a quadratic constraint. We point out some new properties
of the problem. In particular, in the first part of the paper, we show that (i) given
a KKT point that is not a global minimizer, it is easy to find a "better" feasible
point; (ii) strict complementarity holds at the local-nonglobal minimizer.
In the second part, we show that the original constrained problem is equivalent
to the unconstrained minimization of a piecewise quartic merit function. Using
the unconstrained formulation we give, in the nonconvex case, a new second order
necessary condition for global...
