Teaching and learning in the knowledge society (2009)
The education processes within the knowledge society of the twenty-first century involve a complex analysis and transformation of learning and teaching proposals. The ubiquitous penetration of...
Dr. C. Osvaldo Rodriguez, Dra Alicia Jubert, Pis Diez, Ing Claudio Godoy, Lic Carlos Rodríguez, ...
A very poor neighborhood in Argentina that has many features of lower middle class is called “barrio carenciado”. Many heads of the families are unemployed and although children have access to...
Abstract DER: Dynamic Evidential Reasoning applied to Hyperspectral Images Classification (2008)
Lic Cecilia Sanz, Phd Ramiro Jordan, Facultad De Informática, La Plata
This paper describes a new classification method (DER) based on evidential reasoning to which a series of modifications are added [1]. DER allows including new evidence for the classification process...
Abstract: Accurate Reflections Through a Z-Buffered Environment Map (2008)
Gustavo A. Patow, Depto De Informática, La Plata
A new algorithm for computing accurate reflections with an environment map is presented. This new algorithm keeps the z-buffers originally calculated to obtain the map and uses them to find the best...
Tagging, Encoding, and Jones Optimality (2008)
Abstract. A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modulo...
Roxana S. Giandini, Claudia F. Pons, Gabriela A. Pérez, La Plata, Facultad De Informática
Model Refinement is a dependency relationship that relates two elements that represent the same concept at different levels of abstraction. In the UML specification document this relationship, like...
Laboratorio de Investigacicin y Formacicin en Informatica (2008)
Alicia Diaz, Tornas Isakowitz, Alicia Diaz, La Plata, Tomas Isakowitz
RMCase: Computer-Aided Support for Hypermedia Design and Development We present the design of a computer-aided environment, RMCase, to support the design and construction of hypermedia applications....
Pattern Recognition in Medical Images using Neural Networks Summary (2008)
Lic Laura Lanzarini, Laboratorio Investigación, Desarrollo Informática, La Plata
The proposal of this research line is the search for alternatives to the resolution of complex problems where human knowledge should be apprehended in a general fashion. In particular, the activities...
2 Instituto de Computac~ao (2008)
R. Zucchello, La Plata, R. Dahab
The class of acyclic clique-interval (ACI) graphs is introduced as the class of those graphs G=(V,E) whose cliques are intervals (chains) of an acyclic order on the vertex set V. The class of ACI...
Practical Verification Strategy for Refinement Conditions in UML Models (2008)
Claudia Pons, Diego Garcia, La Plata
Abstract. This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of...
Ro Sartorio, Patricia San Martín, Gustavo Rossi, La Plata
Abstract. En este trabajo presentamos un primer avance de la investigación sobre la utilización de la teoría de coordinación de contrato para aplicaciones e-learning "context-awareness...
Natalia Correa, La Plata, Facultad De Informática, Roxana Giandini
The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relationship makes it...
Lic Claudia, C. Russo, Lic Hugo, D. Ram, Eng Armando, De Giusti, ...
In this paper two images compression techniques with loss based on the method used by the compression Standard Joint Photographic Experts Groups (JPEG) and on the Quadtree adaptive partitioning...
Parallel Recognition and Classification of Objects (2008)
C. A. Fern, O Ruscitti, Lic Marcelo Naiouf, Eng Arm, O De Giusti, ...
The development of parallel algorithms for an automatic recognition and classification of objects from an industrial line (either production or packaging) is presented. This kind of problem...
A Hypertext for blind people. (2007)
Mauricio F. Lumbreras, Fac Cs, Nacional La Plata, La Plata
We present some ideas about the problems of the blind people have in order to access information. By using an appropriate version of the hypertext model, we develop a system which tries to solve...
THE CPLD AS A GENERAL PHYSICAL MODELING SYNTHESIS ENGINE (2007)
Sergio D. Baron, Daniel A. Gil, La Plata, La Plata
In this paper we propose a system based on a Complex Programmable Logic Device (CPLD) as a physical modeling synthesis engine and a hardware description language (VHDL) to implement the physical...
Natalio Krasnogor, La Plata, Pablo Moscato, Michael G. Norman
ABSTRACT: In this paper we present a new hybrid heuristic for large geometric Traveling Salesman Problems. The method is based on the use of the Delaunay Triangulation of a set of cities. Many...
Formal Foundations of Object-Oriented Modeling Notations (2007)
Claudia Pons, Gabriel Baum, La Plata
In this paper, the different solutions that have been suggested to realize the integration of graphic modeling languages, known and accepted by the software developers, with formal modeling languages...
Semidynamic Point Sets for Polynomial-Time Learning (2007)
Pablo Moscato, Natalio Krasnogor, Cetad Centro, La Plata
Many problems currently addressed by using the so-called "Artificial Neural Network " systems can be viewed as "learning" problems in which the task is to perform a correct...
Computer Support for Designing Structured Hypermedia Applications (2007)
Tom Isakowitz, Vanesa Maiorana, La Plata, Gabriel Gilabert, Nea Phronesis
We present the prototype of a computer-aided environment, RMCase, to support the design and construction of hypermedia applications. The environment is based upon the Relationship Management...
The N-Nested Simulation Equivalences Are Not Congruences for the Priority Operators (2007)
Pedro Ruben D'argenio, Juan Vicente Echagüe, Cecilia Pertino, U. Nacional, U. Nacional, ...
In this paper we are interested in the semantics of reactive systems. We deal with the family of priority operators induced by partial orders over the set of actions. We study the compatibility of...
CHEMICAL DIFFUSION IN STELLAR CONVECTIVE REGIONS (2007)
J. A. Panei, O. G. Benvenuto, Facultad Ciencias, La Plata
The aim of this work is to show the evolution of one massive star with a full spectrum of turbulence convective mixing. We present results for one star with mass 5:0 M fi. We compute the evolution...
Semidynamic Point Sets for Polynomial-Time Learning (2007)
Pablo Moscato, Natalio Krasnogor, Cetad Centro, La Plata
Many problems currently addressed by using the so-called "Artificial Neural Network " systems can be viewed as "learning " problems in which the task is to perform...
Shorter Table ATA Evaluation of Elementary Functions in Single Precision (2007)
Oscar N. Bria, Iii−lidi Cetad, La Plata
In this paper a slightly modification is proposed to the original Wong and Goto’s ATA method for the computation of elementary functions in IEEE 754 single precision. The identification of a...
Regulating Software Development Process by Formal Contracts (2007)
Claudia Pons, Gabriel Baum, La Plata
While the notion of formal contract regulating the behavior of software agents is accepted, the concept of contract regulating the activities of software developers is quite vague. In general there...
Boson Stars in General Scalar-Tensor Gravitation: Equilibrium Configurations (2007)
We study equilibrium configurations of boson stars in the framework of general scalar-tensor theories of gravitation. We analyse several possible couplings, with acceptable weak field limit and, when...
MIDDLE OBSERVER Object Behavioral Intent (2007)
La Plata, Pablo Iaría, Pablo Iaría, Ulises Chesini, Ulises Chesini
The refinement presented in this paper incorporates the possibility of decoupling the common behavior from the observers avoiding data redundancy in such a way we can maintain consistency among them...
www-lifia.info.unlp.edu.ar (2007)
Martin Wirsing, Nora Koch, Gustavo Rossi, Ra Garrido, La Plata, ...
www.pst.informatik.uni-muenchen.de FAST e. V. Forschungsinstitut fr angewandte Softwaretechnologie
Paraconsistency in Chang's Logic with Positive and Negative Truth Values (2007)
Renato A. Lewin, Marta Sagastume, La Plata, La Plata
In [6], C. C. Chang introduced a natural generalization of Lukasiewicz infinite valued propositional logic L. In this logic the truth values are extended from the interval [0,1] to the interval...
CHEMICAL DIFFUSION IN STELLAR CONVECTIVE REGIONS (2007)
J. A. Panei, O. G. Benvenuto, Facultad Ciencias, Astronómicas Geofísicas, La Plata
The aim of this work is to show the evolution of one massive star with a full spectrum of turbulence convective mixing. We present results for one star with mass 5.0 M ⊙. We compute the evolution...
Letter Quaternary structure constraints on evolutionary sequence divergence. (2006)
María Silvina Fornasari, Gustavo Parisi, Julián Echave, Julián Echave, La Plata, Suc C. C, ...
Total length of text: 9267 characters including spaces
Estimate of the Functional Size in the Requirements Elicitation (2005)
Mabel Bertolami, Facultad De Ingeniería, Comodoro Rivadavia, Alejandro Oliveros, Facultad De Informática, La Plata, ...
Early measurement of software size allows to estimate costs and effort as well as to plan the development schedule. In previous reports, an approach which applies the Function Points Analysis to the...
T.: Reasoning about static and dynamic properties in alloy: A purely relational approach (2005)
Marcelo F. Frias, Gabriel A. Baum, Facultad De Informática, La Plata, Nazareno M. Aguirre, ...
We study a number of restrictions associated with the first-order relational specification language Alloy. The main shortcomings we address are: — the lack of a complete calculus for deduction in...
Dimensions in the Object Oriented software Development Process (2002)
Claudia Pons, Gabriel Baum, Roxana Giandini, La Plata
During the object-oriented software development process, a variety of models of the system is built. All these models are not independent, but they are related to each other. Elements in one model...
Paraconsistency in Chang’s logic with positive and negative truth values (2002)
Renato A. Lewin, Facultad De Matemáticas, Católica Chile, Marta Sagastume, La Plata, La Plata
In [6], C. C. Chang introduced a natural generalization of ̷Lukasiewicz infinite valued propositional logic ̷L. In this logic the truth values are extended from the interval [0,1] to the interval...
The logic of equilibrium and abelian lattice ordered groups (2002)
Adriana Galli, Renato A. Lewin, Facultad De Matemáticas, Marta Sagastume, La Plata, La Plata, ...
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. “Truth values ” are interpreted as deviations...
The Logic of Equilibrium and Abelian Lattice Ordered Groups (2002)
Adriana Galli Universidad, Adriana Galli, Renato A. Lewin, Facultad De Matematicas, Marta Sagastume, La Plata, ...
We introduce a deductive system which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are interpreted as deviations...
This document in subdirectoryRS/03/2/ Tagging, Encoding, and Jones Optimality ∗ (2002)
Olivier Danvy, Copyright C, Olivier Danvy, Olivier Danvy, ...
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
Simplifying and solving qualified types for principal type specification (2002)
Abstract. Principal Type Specialisation is an approach to Type Specialisation designed to generate polymorphic residual programs and giving chance of modular specialisation. Principality is obtained...
On the evaluation of agent oriented modeling methods (2002)
Luca Cernuzzi, Gustavo Rossi, La Plata
Abstract. An increasing number of methodologies and modelling methods are being proposed in the area of agent-oriented software engineering. However, one of the open problems in order for...
Designing Personalized Web Applications (2001)
The goal of this paper is to argue the need to approach the personalization issues in Web applications from the very beginning in the application’s development cycle. Since personalization is a...
Designing Personalized Web Applications (2001)
The goal of this paper is to argue the need to approach the personalization issues in Web applications from the very beginning in the application’s development cycle. Since personalization is a...
Patterns for Modelling Behavior in Virtual Environment Applications (1999)
Alicia Díaz, La Plata, La Plata, Ronald Melster
: We present two behavioral patterns that we found by analyzing virtual environment element constellations. These behavioral patterns describe two situations: when a behavioral dependency occur...
A.: Representability and Program Construction within Fork Algebras (1998)
Marcelo F. Frias, Gabriel A. Baum, La Plata, Armando M. Haeberer
The representation theorem for fork algebras was always misunderstood regarding its applications in program construction. Its application was always described as “the portability of properties of...
On the q = ½ Non-Extensive Maximum Entropy Distribution (1998)
L. Rebollo-neira, A. Plastino, La Plata, J. Fernandez-rubio
A detailed mathematical analysis on the q = 1=2 non-extensive maximum entropy distribution of Tsallis' is undertaken. The analysis is based upon the splitting of sucha distribution into two...
Representability and Program Construction within Fork Algebras (1998)
Marcelo F. Frias, Gabriel A. Baum, La Plata, Armando M. Haeberer
The representation theorem for fork algebras was always misunderstood regarding its applications in program construction. Its application was always described as "the portability of properties...
A General Conservative Extension Theorem in Process Algebras With Inequalities (1996)
A general conservative extension theorem for process algebras with inequalities is stated. General results for proving operational conservative extension up to a semantic preorder and equational...
A Methapor for the Visually Impaired: Browsing Information in a 3D auditory Environment (1995)
Mauricio Lumbreras, Gustavo Rossi, La Plata
e-mail: [mauricio,grossi] @ info.unlp.edu.ar In this paper we propose a conversational metaphor to provide an easy access to an information base in the context of a 3D aural environment. This...
RMCase: computer-aided support for hypermedia design and development (1995)
Alicia Díaz, Tomás Isakowitz, Formación En Informática, La Plata
We present the design of a computer-aided environment, RMCase, to support the design and construction of hypermedia applications. The environment is based upon the Relationship Management...
RMCase: A Computer-Aided Support for Hypermedia Design and Development (1995)
Alicia Daz, Toms Isakowitz, Formacin En Informtica, La Plata
We present the design of a computer-aided environment, RMCase, to support the design and construction of hypermedia applications. The environment is based upon the Relationship Management...
Natalio Krasnogor, La Plata, Pablo Moscato, Michael G. Norman
: In this paper we present a new hybrid heuristic for large geometric Traveling Salesman Problems. The method is based on the use of the Delaunay Triangulation of a set of cities. Many heuristics for...
Pablo Moscato, Fernando Tinetti, Cetad Centro, La Plata
Very recently many researchers, with backgrounds in parallel computing, started to develop hybrids of traditional genetic algorithms. The main departure from standard genetic algorithms is that these...
A Computational Ecology for the Quadratic Assignment Problem (1992)
Jorge Carrizo, O Tinetti, Pablo Moscato, La Plata
A new heuristic method for the Quadratic Assignment Problem based on the use of a "Computational Ecology" and a modified version of HillierConnors heuristic HC-63 are presented in this...
A Computational Ecology for the Quadratic Assignment Problem (1992)
Jorge Carrizo, O Tinetti, Pablo Moscato, La Plata
A new heuristic method for the Quadratic Assignment Problem based on the use of a "Computational Ecology" and a modified version of Hillier-Connors heuristic HC-63 are presented in this...
Pablo Moscato, La Plata, La Plata, Michael G. Norman
In this paper we present an approach for global combinatorial optimization applied to the TSP which combines local search heuristics with a population-based strategy. Due to its intrinsic parallelism...
Pablo Moscato, La Plata, La Plata, Michael G. Norman
In this paper we present an approach for global combinatorial optimization applied to the TSP which combines local search heuristics with a population-based strategy. Due to its intrinsic parallelism...
A Competitive-Cooperative Approach to Complex Combinatorial Search (1991)
Michael Norman, Pablo Moscato, La Plata
Combinatorial optimization problems confront us with the problem of searching in a huge configuration space. Associated with each of these configurations is the value of a utility function and the...