Metabuscador

Filtrado por:

Temas

Java (23)
Ciencias Informáticas (17)
Lenguajes y Sistemas Informáticos (17)
Ingeniería de Sistemas y Automática (10)
Programación orientada a objetos (9)
Más...

Idiomas

Recursos

RUA Docencia (31)
Escuela Politécnica Nacional (19)
Informação Tecnológica en Agricultura (Infoteca-e) (19)
Unversidad Nacional de La Plata (19)
Universidad Politécnica Salesiana (13)

Más...

Año

2015 (2)
2013 (17)
2012 (32)
2010 (19)
2009 (19)
2008 (15)
Más...

Aproximadamente 163 registro(s) hasta el momento: (java)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

VFT
Camargo, Neilor Fermino

Formato:	Teses e Dissertações
Enlaces:	RESUMO Esta dissertação apresenta uma Estrutura de Aplicação Orientada a Objetos para a construção de aplicações de visualização de fenômenos terrestres em 3D via Web. Faz uma investigação sobre os métodos, técnicas e processos de construção de Estruturas de…
Fecha:	2012-03-12
Recurso:	Universidade Federal do Parana

Recurso libre

Aplicação da JNI - Java Native Interface - na construção da ferramenta ServCLIPS.
CRUZ, S. A. B da.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Linguagem de programação Java. Java native interface (JNI). Ferramenta ServCLIPS:um exemplo de uso da JNI., 2001, Acesso em: 29 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

Unidad 8. Frameworks (curso 2011-2012)
Rizo Valero, David

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Se estudia el concepto de 'framework' y 'librería', con un ejemplo de desarrollo y aplicación de un framework de ejemplo. Se presentan algunos frameworks/librerías de uso común en Java, como el Java Collections Framework, JDBC, Hibernate, Apache Commons, etc.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

Creating a Distributed Web Application in Java Using EJB and JSP
GHERMAN, Alexandru; “Iuliu Haţieganu” University of Medicine and Pharmacy, Cluj-Napoca, România

Formato:	Peer-reviewed Article
Enlaces:	This paper presents an easier way of creating a medicine web application in Java. It describes the concepts of JavaBean, Enterprise Java Bean and Java Server Pages and the way we can use them for producing a collection of medicine…
Fecha:	2011-01-18
Recurso:	Applied Medical Informatics

Recurso libre

Notice sur l'Erpétologie de l'île de Java
Schlegel, Hermann

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

Uma introdução a tecnologia de reflexão Java.
EVANGELISTA, S. R. M.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Este documento tem por objetivo apresentar a tecnologia de reflexão existente na linguagem JAVA. Esta exposição será realizada a partir de uma implementação real de uma classe Java que fornece a funcionalidade de mapeamento entre objetos de um programa computacional…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

Implementação Java do filtro de Marr e Hildreth para detecção de bordas.
MIRANDA, J. I.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo desta publicação é apresentar a implementação Java do algoritmo de Marr e Hildreth (Marr & Hildreth, 1980) para a detecção de bordas. O objetivo maior das implementações é a construção de uma biblioteca de processamento de imagens em…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
Uva, Marcelo - Frutos, Mariana - Gonzaléz, Ariel - Arsaute, Ariel - Daniele, Marcela - Martellotto, Paola - Zorzán, Fabio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su…
Fecha:	2013-06-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

APLICACIÓN MÓVIL PARA ADMINISTRACIÓN DE BASE DE DATOS ORACLE
MIRANDA TORRES, VANESSA JHOANNA

Formato:	Thesis
Enlaces:	La información es un recurso muy importante en la empresa, el DBA es el responsable de la Base de Datos que se maneja en ella, el objetivo de esta investigación es realizar la Administración de la Base de Datos Oracle…
Fecha:	2013-11-06
Recurso:	Universidad de Guayaquil

Recurso libre

10.

Inférence statique et par contraintes des relations de composition dans des programmes Java
Habti, Norddin

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
Fecha:	2012-05-28
Recurso:	Université de Montreal

Recurso libre

11.

Implementação da transformada de Fourier com o Java Advanced Imaging.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetuvo deste comunicado é apresentar a implementação Java da transformada discreta de Fourier e sua inversa, usando a biblioteca Java Advanced Imaging (JAI), para mapeamento entre os domínios espacial e de frequência em imagens digitais., 2006, Acesso em: 28…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

12.

Desarrollo de un sistema basado en ASTERISK que permita investigar situaciones anómalas (bypass) en el Ecuador para la SUPERTEL
Béjar Albán, José Gonzalo

Formato:	Thesis
Enlaces:	La aparición de nuevas tecnologías ha permitido el desarrollo de diferentes técnicas utilizadas para cometer fraude en telecomunicaciones. En este trabajo se realiza una revisión de las principales tecnologías IP utilizadas en servicios de telefonía y los tipos de fraude…
Fecha:	2011-07-22
Recurso:	Escuela Politécnica Nacional

Recurso libre

13.

Learning Difficulties of 'Object-oriented Programming Paradigm Using Java': Students' Perspective
Sivasakthi, M.; Department of Education, NITTTR, Chennai-600113 - Rajendran, R.; Department of Education, NITTTR, Chennai-600113

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Peer-reviewed Article
Enlaces:	Java programming is popular both in Academia and IT Industry. Further, it is the maximum usage of programming across the world. There is a wide edge between industry expectations and knowledge of students in Java programming. Teaching and learning of…
Fecha:	2011-08-01
Recurso:	Indian journal of science and technology

Recurso libre

14.

CHARACTERISTICS OF CLASS COLLABORATION NETWORKS IN LARGE JAVA SOFTWARE PROJECTS
Savić, Miloš - Ivanović, Mirjana - Radovanović, Miloš

Formato:	Peer-reviewed
Enlaces:	Understanding software structural complexity and evolution plays an important role in controlling the software development and maintenance process. Recent studies have shown that the theory behind complex networks, especially the theory of scale-free networks, can be a useful approach to…
Fecha:	2011-03-22
Recurso:	Information technology and control

Recurso libre

15.

Java Real Time: un enfoque de desarrollo de los sistemas distribuidos en tiempo real
Reyes Maza, Luis Alberto

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.
Fecha:	2011-08-15
Recurso:	Universidad Veracruzana

Recurso libre

16.

Fabrica de software orientada a servicios con herramientas Java
Romero Redondo, Anselmo Guillermo

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.
Fecha:	2011-08-15
Recurso:	Universidad Veracruzana

Recurso libre

17.

Programa em linguagem JAVA para comunicação serial.
RABELLO, L. M.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	2009
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

18.

Libros: Orchids of Java
Soto,M.A.

Formato:	Article
Enlaces:	Descripción completa.
Fecha:	2011-07-29
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

19.

JBLIF, a tool for non-interference analysis of java and java bytecode programs
Cavadini, Salvador V.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Protecting sensitive information has become an important facet of software development. One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

20.

Recursos multimedia para la enseñanza on-line de la Física
Franco García, Angel - Beléndez Vázquez, Augusto - Ablanque Ramírez, Javier

Formato:	info:eu-repo/semantics/article
Enlaces:	Los estudiantes tienen dificultades en el aprendizaje de la Física porque a menudo no entienden completamente conceptos y principios que son a veces imposibles de ver (como en los fenómenos electromagnéticos), lo que dificulta su comprensión. A esto hemos de…
Fecha:	2013-04-10
Recurso:	RUA Docencia

Recurso libre

21.

Seminario de introducción a Java
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Introducción al lenguaje Java orientado a programadores con algo de experiencia en C++-
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

22.

Filtro de difusão linear complexa para detecção de bordas: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo deste comunicado é mostrar a implementação Java do filtro de difusão linear complexa para a detecção de bordas., 2006, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

23.

Ambiente virtual interativo com colisão de deformação de objetos para treinamento médico utilizando a API Java
kera, Marcello

Formato:	Teses e Dissertações
Enlaces:	Descripción completa.
Fecha:	2011-08-26
Recurso:	Universidade Federal do Parana

Recurso libre

24.

Incorporando seguridad a las componentes de interfaz de usuario del framework JSF (JAVA Server Faces) con soporte para clientes heterogéneos
Iuliano, Pablo José

Formato:	Tesis, Tesis de grado
Enlaces:	Descripción completa.
Fecha:	2011-06-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

25.

Módulo manejador de presentación para la plataforma Java de transacciones electrónicas jPOS
Paoletti, Jerónimo

Formato:	Tesis, Tesis de grado
Enlaces:	jPOS es un producto open source, desarrollado en JAva, que tiene como objetivo principal proveer un framework de desarrollo de transacciones electrónicas financieras sustentadas en el protocolo ISO 8583. Hoy por hoy es el framework para el desarrollo de Sistemas…
Fecha:	2011-06-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

26.

Filtro de difusão complexa não-linear para atenuação de ruídos: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Filtro de difusão complexa não linear. Aspecto da implementação. Estudo de caso., 2007, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

27.

Curvatura da superfície de proteínas no Java Protein Dossier.
FALCÃO, P. K. - BAUDET, C. - HIGA, R. H. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Definição de superfície. Cálculo dos valores de curvatura com SurfRace., 2002, Acesso em: 30 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

28.

Filtro Schen-Castan (ISEF) para detecção de borda.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Com esta publicação, dá-se prosseguimento na implementação de algoritmos úteis para a detecção de bordas, atividade importante também no campo de visão por computador. O objetivo maior dessas implementações é a constituição de uma biblioteca de processamento de imagens em…
Fecha:	2009-03-17
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

29.

Diseño de un sistema digital para monitoreo de deformación volcánica para el Instituto Geofísico de la Escuela Politécnica Nacional
Jua Vivar, Sandro Ethelwoldo

Formato:	Tesis
Enlaces:	En este proyecto se diseña un sistema para transmitir a una estación de control central, la deformación del suelo provocada por el movimiento del magma dentro del volcán que, al ejercer presión sobre las paredes internas, produce cambios en la…
Fecha:	2009-12-12
Recurso:	Escuela Politécnica Nacional

Recurso libre

30.

Software educativo para el aprendizaje de la óptica, Educational Software for Learning Optics
Lobo, Hebert - Gutiérrez, Gladys - Rosario, Jesús - Briceño B., Jesús R. - Villarreal, Manuel - Díaz Araujo, Juan Carlos - Pacheco, Ana

Formato:	Texto
Enlaces:	Partiendo del reconocimiento de las dificultades curriculares que se encuentran en el proceso de enseñanza-aprendizaje de las Ciencias Naturales, en particular de los fenómenos ondulatorios y luminosos, se elaboró un software educativo como herramienta didáctica en formato digital, que cuenta…
Fecha:	2009-11-12
Recurso:	Universidad de los Andes Venezuela

Recurso libre

31.

Una infraestructura para la implementación de aplicaciones distribuidas en Internet
Bustamante Sandoval, Pablo

Formato:	Tesis
Enlaces:	Esta tesis propone una infraestructura genérica para el desarrollo de aplicaciones distribuidas y paralelas sobre laWeb. Esta infraestructura está orientada a permitir que todos los usuarios de Internet sean capaces de participar en la ejecución de aplicaciones distribuidas, usando una…
Fecha:	2011-10-03
Recurso:	Universidad San Francisco de Quito

Recurso libre

32.

Gestión de errores, Gestió d'errors
Cachero Castro, Cristina - Ponce de León Amador, Pedro José

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Gestión de errores mediante excepciones. Motivación. Captura de excepciones en C++ y Java. Lanzamiento de exceociones en C++ y Java. Jerarquía de excepciones estándar. Excepciones de usuario.
Fecha:	2008-01-30
Recurso:	RUA Docencia

Recurso libre

33.

Seminario: el entorno de desarrollo Eclipse
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Descripción del entorno de desarrollo Eclipse para Java, con actividades a realizar para conocer sus características.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

34.

Práctica 1. Gráficos Vectoriales con SVG (curso 2011-2012) (versión 11.09.12)
Rizo Valero, David

Formato:	learningObject
Enlaces:	Enunciado de la práctica 1. Se trata de implementar en Java una clase sencilla. Se proporciona una implementación en C++ de referencia.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

35.

Migración de código en ambientes distribuidos
García Martín, Santiago

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario de la presentación: I. Definición del Problema II. Conceptos Generales III. Debug IV. Sistema de carga de clases en Java V. AgletClassLoader VI. Entendiendo la Excepción VII. Resolviendo el problema VIII.Conclusión
Fecha:	2011-05-17
Recurso:	Unversidad Nacional de La Plata

Recurso libre

36.

Guante con sensores para reproducir el sonido de las letras por medio de lenguaje sordo mudo con soporte de tecnología java
León Montoya, Fernando Arturo - Merino Miño, Xavier David

Formato:	Thesis
Enlaces:	En la tesis planteada “Guante con sensores para reproducir el sonido de las letras por medio del lenguaje sordo mudo con soporte de tecnología JAVA” se muestra como la capacidad especial de aprendizaje del lenguaje se ha solucionado por medio…
Fecha:	2012-03-15
Recurso:	Universidad Politécnica Salesiana

Recurso libre

37.

Rotâmeros raros no Java Protein Dossier.
YAMAGISHI, M. E. B. - FALCÃO, P. R. K. - OLIVEIRA, S. R. de M. - HIGA, R. H. - SANTOS, E. H. dos - MAZONI, I. - VIEIRA, F. D. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo do STING é oferecer uma plataforma para análise e visualização de estruturas proteicas., 2006, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

38.

Formatação de dados usando a ferramenta Velocity.
CRUZ, S. A. B. da - MOURA, M. F.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Origem e características; Arquitetura. Funcionamento e esquema de uso. Linguagem VTL. Aplicação Java. Configuração da Velocity. Trecho de código fonte Java exemplificando o uso da ferramenta Velocity. Trecho de template em VTL relativo ao item anterior., 2002, Acesso em: 29…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

39.

Apresentação gráfica de parâmetros protéicos utilizando o Java Protein Dossier.
HIGA, R. H. - BAUDET, C. - FALCÃO, P. K. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Parâmetros apresentados pelo JPD. Sequência de resíduos. Contatos. Contatos internos. Contatos na interface. Estrutura secundária. Dupla ocupância. Fator de temperatura. Entropia relativa. Confiabilidade. Acessibilidade de resíduos. Ângulos de torsão. Potencial eletrostático. Curvatura na superfície. Hidrofobicidade. Analisando com maior detalhes os…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

40.

Identificando Pockets na superfície protéica usando o Java Protein Dossier - JPD.
YAMAGISHI, M. E. B. - FALCÃO, P. R. K. - HIGA, R. H. - SANTOS, E. H. dos - JARDINE, J. G. - MAZONI, I. - OLIVEIRA, S. R. de M. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	2005, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

41.

Comparativo do Plone com gerenciadores de conteúdo em PHP, Java e Python.
ROMANI, L. A. S. - CAMPOS, L. A. de.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Definição e estrutura de CMS. Plataformas de desenvolvimento: PHP. Java. Python; Gerenciador de Conteúdo-Plone. Comparativo de Plone com outros gerenciadores., 2005, Acesso em: 29 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

42.

Automatización del control de los trabajos prácticos en un entorno blended learning
Dapozo, Gladys N. - Godoy Guglielmone, María Viviana - Greiner, Cristina L. - Ríos, Nelson

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo se presenta un proyecto de incorporación de una herramienta de software para el control automatizado de los trabajos prácticos de los alumnos semivirtuales de la asignatura Introducción a la Informática, materia del primer año de la carrera…
Fecha:	2012-09-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

43.

Consideraciones para la implantación de una intranet educacional usando java
Saavedra Rodríguez, Oscar - Gómez Vega, Cristián

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artículo tiene como objetivo presentar al lector los resultados parciales del proyecto en actual desarrollo: “Teacher on Line” (ToL), un moderno sistema de Educación a Distancia basado en Tecnología Web. Resultan relevantes los aspectos de desarrollo y cualidades de…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

44.

Fusão espectral de imagens de satélite no espaço de cores.
MIRANDA, J. I. - MARABITA, M. A.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Espaço de cores RGB (red, green, blue). Espaço de cores IHS (intensity, hue, saturation). Espaço de cores LHS (lightness, hue, saturation). Métodos de interpolação. Estudo de caso., 2007, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

45.

Filtro de Canny para detecção de bordas: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo deste comunicado é apresentar a implementação JavaTM do filtro para detecção de bordas de Canny (Canny, 1986). A implementação é uma necessidade de uso em projetos desenvolvidos na Embrapa Informática Agropecuária na área de processamento de imagens aplicado…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

46.

Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
Haouari, Dorsaf

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	La documentation des programmes aide les développeurs à mieux comprendre le code source pendant les tâches de maintenance. Toutefois, la documentation n’est pas toujours disponible ou elle peut être de mauvaise qualité. Le recours à la redocumentation s’avère ainsi nécessaire.
Fecha:	2011-11-24
Recurso:	Université de Montreal

Recurso libre

47.

Manual de prácticas de robótica móvil programadas en Java utilizando el Kit Lego Mindstorms
Castro Estrada, Esteban Antonio

Formato:	Trabajo Recepcional
Enlaces:	Tesina presentada a la Facultad de Instrumentación Electrónica y Ciencias Atmosféricas de la Universidad Veracruzana, Región Xalapa.
Fecha:	2012-11-09
Recurso:	Universidad Veracruzana

Recurso libre

48.

Conectividad de Java con bases de datos mediante invocación de objetos con métodos remotos (objetos RMI)
Daladier Jabba Molinares; Universidad del Norte - Maureen Alies Fuentes; Universidad del Norte - John Pinto Molina; Universidad del Norte - Marirosa Buendía Rodríguez; Universidad del Norte - Julio Cesar Ceballos Salazar; Universidad del Norte

Formato:	,
Enlaces:	El desarrollo de aplicaciones distribuidas está teniendo cada vez más auge entre las empresas del mundo; esto se debe a la gran importancia que ha adquirido el Internet en los últimos años. Para dar solución a esta necesidad surgen arquitecturas…
Fecha:	2011-07-28
Recurso:	Ingeniería y desarrollo

Recurso libre

49.

Automated Erythema Quantification in Radiation Therapy - a Java Based Tool
PUTORA, Paul Martin; Department of Radiation-Oncology, Kantonsspital St. Gallen, 9007 St. Gallen, Switzerland. - PAULIS, Ludovit; Institute of Pathophysiology, School of Medicine, Comenius University and Institute, Slovakia. Center for Cardiovascular Research, Charité-Universitätsmedizin, Berlin, Germany. - PLASSWILM, Ludwig; Department of Radiation-Oncology, Kantonsspital St. Gallen, 9007 St. Gallen, Switzerland.

Formato:	Peer-reviewed Article
Enlaces:	Introduction: In radiotherapy, erythema is a common side-effect, especially during radiotherapy treatment regimes that last several weeks. The measurement of erythema might be of clinical relevance, especially when standardized interpretation is possible. Aim: The aim of this article is to…
Fecha:	2011-02-10
Recurso:	Applied Medical Informatics

Recurso libre

50.

Abstract Certification of Java Programs in Rewriting Logic
Alba Castro, Mauricio Fernando

Formato:	text (thesis)
Enlaces:	In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming language Maude. We focus on safety properties, i.e.…
Fecha:	2011
Recurso:	Dialnet (Tesis)