Cerca risorse accademiche

The University of Colombo, Sri Lanka has been in the forefront of the “Computer Revolution” in Sri Lanka. It has introduced the teaching of computer programming and applications as early as in 1967, more than a decad...

Based on the imp&-calculus, ASP (Asynchronous Sequential Processes) de nes distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. ...

El presente trabajo describe el software KARMIN (de KARnaugh MINimizer), una aplicación que resuelve funciones lógicas, ya sea ingresando los datos de la misma mediante su Tabla de Verdad, o mediante su Mapa de Karnaug...

Historically Functional Programming FP for short has been associated with a small scope of applications mainly academic The computer science community did not pay enough attention to its potential perhaps due t...

Se presenta una primera experiencia de voto electrónico sobre Internet que permite integrar en las elecciones estudiantiles de la UNLP el voto de los centros regionales. La arquitectura de hardware del sistema y las car...

A proposal to use data mining techniques to analyze e-mails corresponding to courses carried out through a distance education plat- form is made. The purpose of this type of analyses is determining which are the groups o...

En este trabajo presentamos algunos aspectos de la investigación que se está realizando como parte de un trabajo de tesis de la Maestría de Tecnología Informática Aplicada en Educación, de la Facultad de Informáti...

"Relation algebras are algebras arising from the study of binary relations. They form a part of the eld of algebraic logic, and have applications in proof theory, modal logic, and computer science. An interesting problem...

La rama de la Informática conocida como procesamiento de imágenes digitales comprende diferentes temas de Investigación y Desarrollo, así como aplicaciones que involucran las distintas etapas que van desde la adquisi...

Sistemas de Tempo Real são aqueles sistemas onde a execução correta não depende apenas dos resultados lógicos da computação, mas também do tempo no qual os resultados são produzidos, ou seja, se ocorre dentro do...

We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which th...

Materie / parole chiave: ChatGPT; Artificial intelligence; Industrial applications; Natural language generation (Computer science); Computer programs

Materie / parole chiave: Multimedia systems; Composite applications (Computer science)

1957 marked the beginning of modern education in computing in Argentina. I was lucky enough to live this part of the history. After issuing an international bid that year, all members of a special commission from the Uni...