Metabuscador

Filtrado por:

Temas

Idiomas

Español (95)
Inglés (37)
pt_BR (27)
Francés (5)
es (5)
Más...

Recursos

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

Más...

Año

2015 (2)
2013 (14)
2012 (27)
2010 (16)
2009 (17)
2007 (13)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

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

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

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

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

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

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 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

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

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

10.

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

11.

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

12.

Libros: Orchids of Java
Soto,M.A.

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

Recurso libre

13.

Memorias del Congreso Latinoamericano de Computación de Alto Rendimiento (CLCAR) - Java for high performance and distributed computing
Baker, Mark A. - Shafi, Aamir - Grove, Matthew

Formato:
Enlaces:	Java for high performance and distributed computing. (Baker, Mark A.; Shafi, Aamir y Grove, Matthew) Abstract The Java language first came to public attention in 1995; very soon after it was being speculated that Java may…
Fecha:	2008-06-26
Recurso:	Universidad de los Andes Venezuela

Recurso libre

14.

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

15.

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

16.

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

17.

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

18.

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

19.

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

20.

VisualJVM: a visual tool for teaching Java technology
Garrido Abenza, Pedro Pablo - Ledesma Latorre, Bernardo - Grediaga Olivo, Ángel

Formato:	info:eu-repo/semantics/article
Enlaces:	This paper presents a laboratory session of an advanced programming course to introduce students to the technology involved with the Java programming language. In this special lab session the educational software tool VisualJVM is used, providing a graphical front-end to…
Fecha:	2009-10-29
Recurso:	RUA Docencia

Recurso libre

21.

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

22.

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

23.

Desarrollo de Software para análisis bidimensional de Transferencia de Calor en estado estable medi
Escudero Guevara, David Roberto

Formato:	Tesis
Enlaces:	En este trabajo se ha desarrollado, con fines didácticos y de investigación, un programa computacional para analizar problemas bidimensionales de transferencia de calor en estado estable mediante el método de los elementos finitos. La codificación del programa se realizó utilizando…
Fecha:	2011-10-12
Recurso:	Universidad San Francisco de Quito

Recurso libre

24.

Exploración de evolución del protocolo IPv4 a IPv6. Un enfoque práctico sobre Java
Aldrette Malacara, Alejandra

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Descripción completa.
Fecha:	2005-05-17
Recurso:	CIRIA

Recurso libre

25.

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

26.

Hipermedia física aplicada en el contexto de un centro comercial
Carpi, Federico E. - García Peña, Gabriel

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: 1- Introducción 2- Sistemas móviles y sensibles al contexto 3- E-commerce y M-commerce 4- Hipermedia e hipermedia física 5- Descripción del sistema basado en hipermedia física 6- Diseño 7- Implementación 8-…
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

27.

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

28.

Activación/desactivación de elementos que componen el hogar desde un celular (Domótica).
Arias Hermenegildo, Carlos Gabriel - Heredia Montiel, Johnny Enrique - Tufiño Espinoza, Jonathan Stalyn

Formato:	Thesis
Enlaces:	En esta memoria se ha descrito el proceso de desarrollo del sistema de activación/desactivación de elementos que componen el hogar. Cada uno de los módulos que lo componen se han diseñado por separado y, posteriormente se han unido para su…
Fecha:	2012-11-29
Recurso:	Universidad Politécnica Salesiana

Recurso libre

29.

ARQUITECTURA PARA LA CONSTRUCCION DE MUNDOS VIRTUALES COLABORATIVOS BASADA EN JAVA RMI Y VRML
ESTRADA SEGOVIA, GUADALUPE MANUEL

Formato:	Thesis
Enlaces:	Descripción completa.
Fecha:	2008-10-20
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

30.

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

31.

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

32.

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

33.

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

34.

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

35.

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

36.

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

37.

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

38.

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

39.

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

40.

ARCHAEOLOGICAL RESEARCH AT KENDENG LEMBU, EAST JAVA, INDONESIA
Noerwidi, Sofwan

Formato:	info:eu-repo/semantics/article, Peer-reviewed article, info:eu-repo/semantics/publishedVersion
Enlaces:	This report describes new excavations at the site of Kendeng Lembu in East Java, a location previously researched by van Heekeren and Soejono. The new research in several locations has revealed a Neolithic layer with red-slipped pottery, and a separate…
Fecha:	2009-06-22
Recurso:	Bulletin of the Indo-Pacific Prehistory Association

Recurso libre

41.

Yusak Soleiman, The Dutch Reformed Church in Late Eighteenth Century Java: An Eastern Adventure
Coté, Joost; Royal Netherlands Historical Society (editorial secretary)

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	Descripción completa.
Fecha:	2013-09-17
Recurso:	BMGN - Low Countries Historical Review

Recurso libre

42.

Desarrollo de una aplicación web para la gestión de flotas de transporte terrestre para la compañía Tramaco Express Cía. Ltda.
Jiménez Jiménez, Jonnathan Stalin - Verdezoto Bósquez, Rocío Maribel

Formato:	Thesis
Enlaces:	El presente proyecto tiene como objetivo el desarrollo de una aplicación web para la compañía Tramaco Express Cía. Ltda., la misma que apoya en la administración de la flota vehicular e insumos como: el registro de personal (propietarios de vehículos,…
Fecha:	2013-09-17
Recurso:	Escuela Politécnica Nacional

Recurso libre

43.

Modelo arquitetônico para integração do software social preço público e a plataforma para dispositivos móveis android
Cardoso, Luciano Brasil

Formato:	TCC
Enlaces:	O Preço Público é uma comunidade virtual web para compartilhamento do conhecimento dos preços de produtos de empresas tradicionais (que não utilizam e-commerce). Esse trabalho tem como objetivo principal definir um modelo arquitetônico capaz de integrar o software social Preço…
Fecha:	2015-02-06
Recurso:	Universidade Federal de Lavras - UFLA

Recurso libre

44.

Tuning de una Red de Clientes Ultralivianos para ambientes de desarrollo JAVA
Díaz, Francisco Javier - Ambrosi, Viviana - Venosa, Paula - Giecco, Juan P. - Pousa, Adrián - Alonso, Nicolás

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artículo presenta el tuning de una red de clientes ultralivianos utilizados para ambientes de desarrollo JAVA, con tecnología SUN2, en el marco del proyecto COE3. Se investigó la performance en dicho entorno, analizando el backend de los clientes ultralivianos…
Fecha:	2012-09-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

45.

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

46.

Implementando firma digital con J2EE
Clemens, María Patricia - Falcone, Alejandro César

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: I. Conceptos generales 1- Introducción y conceptos generales 2- Infraestructura de clave pública 3- Certificados digitales 4- Firma digital II. J2EE Java 2 Platform Enterprise Edition 5- J2EE introducción y modelo
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

47.

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

48.

DECOR : détection et correction des défauts dans les systèmes orientés objet
Moha, Naouel

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

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)