Buscar recursos académicos

Given a combinatorial optimisation problem, there are typically multiple ways of modelling it for presentation to an automated solver. Choosing the right combination of model and target solver can have a significant impa...

In the Python world, NumPy arrays are the standard representation for numerical data and enable efficient implementation of numerical computations in a high-level language. As this effort shows, NumPy performance can be ...

The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following ...

Fil: Herszkowich, Enrique. Universidad de Buenos Aires; Argentina. Desde el último cuarto del siglo XX hizo irrupción en Medio Oriente primero, y en Occidente después, una nueva forma de participación política que l...

Part 1 The lexical database: nouns in WordNet, George A. Miller modifiers in WordNet, Katherine J. Miller a semantic network of English verbs, Christiane Fellbaum design and implementation of the WordNet lexical database...

Caffe provides multimedia scientists and practitioners with a clean and modifiable framework for state-of-the-art deep learning algorithms and a collection of reference models. The framework is a BSD-licensed C++ library...

Convolutional networks are powerful visual models that yield hierarchies of features. We show that convolutional networks by themselves, trained end-to-end, pixels-to-pixels, improve on the previous best result in semant...

Convolutional networks are powerful visual models that yield hierarchies of features. We show that convolutional networks by themselves, trained end-to-end, pixels-to-pixels, exceed the state-of-the-art in semantic segme...

With the continuous expansion of data availability in many large-scale, complex, and networked systems, such as surveillance, security, Internet, and finance, it becomes critical to advance the fundamental understanding ...

The authors introduce an algorithm, called matching pursuit, that decomposes any signal into a linear expansion of waveforms that are selected from a redundant dictionary of functions. These waveforms are chosen in order...

The importance of correctly determining the requirements of a system at the very beginning of the development process it is a well known fact. Experience shows that the incorrect definition of the requirements leads to t...

La reflexión en torno al lenguaje y a la experiencia de los límites que caracteriza a la literatura moderna ha tomado frecuentemente en las obras la forma de un debate contradictorio sobre la figura y el género femeni...

Uniform Resource Identifiers are an integral part of the current Architecture of the World Wide Web. This work analyzes the implications and possibilities of using Universal Resource Names as unique and persistent identi...

Webservices technology is one of the stilts on which the concept WEB 2.0 is sustained. This technology allows to send information between computers connected to the network, providing a high portability level communicati...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities, an internal state, a set of input variables ...

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a def...

The social appropriation of water in Patagonia is not only associated with its historical-spatial configuration and the uses of the territory, but also with the social, environmental and economic interests around water, ...

The C preprocessor is heavily used in C programs because it provides useful and even necessary additions to the C language. Since preprocessor directives are not part of C, they are removed before parsing and program ana...

El lenguaje es siempre valorativo, aún cuando adopte formas aparentemente objetivas o neutras. Esta conjetura básica guía el análisis comparativo de diversos artículos aparecidos en el diario El País en los meses d...

Fil: Brain, Robert M. Universidad de Columbia Británica; Canadá. El presente trabajo esboza una genealogía alternativa para dar cuenta del cambio epistemológico y técnico que supuso el pasaje de la energía a la inf...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities an internal state, a set of input variable th...

When IBM's John Backus first developed the Fortran programming language, back in 1957, he certainly never dreamt that it would become a world-wide success and still be going strong many years later. Given the oft-repeate...

"The “Internet of Water” project will deploy 2,500 sensors along the Flemish river system, in Belgium. These sensors will be part of a monitoring system. This will produce anenormous amount of data, on which predicti...

Graph databases are increasingly being used for modeling complex networks using the property graph data model, which annotates nodes and edges in a graph with property-value pairs. However, existing research primarily fo...