Comparing Tag Scheme Variations Using an Abstract Machine Generator

In this paper we study, in the context of a WAM-based abstract machine for Prolog, how variations in the encoding of type information in tagged words and in their associated basic operations impact performance and memory usage. We use a high-level language to specify encodings and the associated operations. An automatic generator constructs both the abstract machine using this encoding and the associated Prolog-to-byte code compiler. Annotations in this language make it possible to impose constraints on the final representation of tagged words, such as the effectively addressable space (fixing, for example, the word size of the target processor /architecture), the layout of the tag and value bits inside the tagged word, and how the basic operations are implemented. We evaluate large number of combinations of the different parameters in two scenarios: a) trying to obtain an optimal general-purpose abstract machine and b) automatically generating a specially-tuned abstract machine for a particular program. We conclude that we are able to automatically generate code featuring all the optimizations present in a hand-written, highly-optimized abstract machine and we canal so obtain emulators with larger addressable space and better performance

Hybrid Approach to Solve the Capacitated Vehicle Routing Problem

The Capacitated Vehicle Routing Problem (CVRP) is one of the most studied problems in the field of transport logistics. This given that transport represents up to 10% of the value of a product. CVRP addresses the situation of finding the optimal number of vehicles to meet the demands of a set of customers. The assignment of vehicles to customers must be consolidated in routes of minimum cost, distance or time. Because this problem is of the NP-hard type, there are few instances that can be solved optimally. In this article, a greedy algorithm is presented to obtain approximate solutions to this problem in a fast way with the free license software Octave. For the comparison of results, instances with optimal values of the CVRPLIB database were used. The results showed that this algorithm was able to obtain feasible solutions with errors less than 14.0% for medium to large CVRP instances. In some cases, near-optimal solutions were obtained

The Ciao clp(FD) library. A modular CLP extension for Prolog

We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component. The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; highefficiency, being competitive with other TT> implementations; a glass-box approach, so the user can specify new constraints at different levels; and a Prolog implementation, in order to ease the integration with Ciao's code analysis components. The core is built upon two small libraries which implement integer ranges and closures. On top of that, a finite domain variable datatype is defined, taking care of constraint reexecution depending on range changes. These three libraries form what we call the TT> kernel of the library. This TT> kernel is used in turn to implement several higher-level finite domain constraints, specified using indexicals. Together with a labeling module this layer forms what we name the TT> solver. A final level integrates the CLP (J7©) paradigm with our TT> solver. This is achieved using attributed variables and a compiler from the CLP (J7©) language to the set of constraints provided by the solver. It should be noted that the user of the library is encouraged to work in any of those levels as seen convenient: from writing a new range module to enriching the set of TT> constraints by writing new indexicals

Cultural Angle and Degrees of Transculturation in Multicultural Societies

Current Western societies are characterized by cultural diversity. Europe has gradually become a place populated by very diverse groups, due mainly to an influx of immigration. Various adaptation mechanisms have developed in the receiving society, and in turn, in immigrant groups. Due to a variety of factors, including well-embedded social prejudices, stereotypes and cultural distance, there are different expressions of ethnocentrism and degrees of transculturation in multicultural contexts. The main focus of this paper is to establish an original and realistic classification of these social responses, based on systematic observation and direct interaction

Media coups and desinformation in the digital era. Irregular war in Latin America

Este artículo reflexiona acerca del papel que tienen los medios de comunicación y las redes sociales en el fenómeno de los “golpes mediáticos” en América Latina. Para ello, se explora el modelo de propaganda a través del análisis de cuatro casos relevantes de manipulación y desinformación en la región: los casos de Venezuela, México, Brasil y Ecuador. La principal conclusión a la que se llegó es que es necesario regular el sistema de medios tradicional y digital en pro de la democracia y la paz para impedir la desinfor-mación y los golpes mediáticos.This article reflects on the role of the media and social networks in the phenomenon of “media coups” in Latin America. To this end, the propaganda model is explored through the analysis of four relevant cases of manipulation and disinformation in the region: those of Venezuela, Mexico, Brazil and Ecuador. The main conclusion reached is that it is necessary to regulate the traditional and digital media system for democracy and peace to prevent disinformation and “media coups”

The magnetically-active, low-mass, triple system WDS 19312+3607

Aims: We investigated in detail the system WDS 19312+3607, whose primary is an active M4.5Ve star previously thought to be young (tau ~ 300-500 Ma) based on high X-ray luminosity. Methods: We collected intermediate- and low-resolution optical spectra taken with 2 m-class telescopes, photometric data from the $B$ to 8 mum bands, and eleven astrometric epochs with a time baseline of over 56 years for the two components in the system, G 125-15 and G 125-14. Results: We derived M4.5V spectral types for both stars, confirmed their common proper motion, estimated the heliocentric distance and projected physical separation, determined the galactocentric space velocities, and deduced a most-probable age older than 600 Ma. We discovered that the primary, G 125-15, is in turn an inflated, double-lined, spectroscopic binary with a short period of photometric variability of P ~ 1.6 d, which we associated to orbital synchronisation. The observed X-ray and Halpha emissions, photometric variability, and abnormal radius and effective temperature of G 125-15 AB indicate strong magnetic activity, possibly due to fast rotation. Besides, the estimated projected physical separation between G 125-15 AB and G 125-14 of about 1200 AU makes WDS 19312+3607 to be one of the widest systems with intermediate M-type primaries. Conclusions: G 125-15 AB is a nearby (d ~ 26 pc), bright (J ~ 9.6 mag), active spectroscopic binary with a single proper-motion companion of the same spectral type at a wide separation. They are thus ideal targets for specific follow-ups to investigate wide and close multiplicity or stellar expansion and surface cooling due to reduced convective efficiency.Comment: A&A, in pres

An automatic documentation generator for (C)LP - Reference manual

Lpdoc is an automatic program documentation generator for (C)LP systems. Lpdoc generates a reference manual automatically from one or more source files for a logic program (including ISO-Prolog, Ciao, many CLP systems, ...). It is particularly useful for documenting library modules, for which it automatically generates a description of the module interface. However, lpdoc can also be used quite successfully to document full applications and to generate nicely formatted plain ascii "readme" files. A fundamental advantage of using lpdoc to document programs is that it is much easier to maintain a true correspondence between the program and its documentation, and to identify precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text: • assertions (types, modes, etc. ...) for the predicates in the program, and • machine-readable comments (in the "literate programming" style). The assertions and comments included in the source file need to be written using the Ciao system assertion language. A simple compatibility library is available to make traditional (constraint) logic programming systems ignore these assertions and comments allowing normal treatment of programs documented in this way. The documentation is currently generated in HTML or texinf o format. From the texinf o output, printed and on-line manuals in several formats (dvi, ps, info, etc.) can be easily generated automatically, using publicly available tools, lpdoc can also generate 'man' pages (Unix man page format) as well as brief descriptions in html or emacs info formats suitable for inclusion in an on-line index of applications. In particular, lpdoc can create and maintain fully automatically WWW and info sites containing on-line versions of the documents it produces. The lpdoc manual (and the Ciao system manuals) are generated by lpdoc. Lpdoc is distributed under the GNU general public license. Note: lpdoc is fully supported on Linux, Mac OS X, and other Un*x-like systems. Due to the use of several Un*x-related utilities, some documentation back-ends may require Cygwin under Win32. This documentation corresponds to version 3.0 (2011/7/7, 16:33:15 CEST)

Biomass Porous Carbons Derived from Banana Peel Waste as Sustainable Anodes for Lithium-Ion Batteries

Disordered carbons derived from banana peel waste (BPW) were successfully obtained by employing a simple one-step activation/carbonization method. Different instrumental techniques were used to characterize the structural, morphological, and textural properties of the materials, including X-ray diffraction, thermogravimetric analysis, porosimetry and scanning electron microscopy with energy-dispersive X-ray spectroscopy. The chemical activation with different porogens (zinc chloride, potassium hydroxide and phosphoric acid) could be used to develop functional carbonaceous structures with high specific surface areas and significant quantities of pores. The BPW@H3PO4 carbon exhibited a high specific surface area (815 m2 g−1), chemical stability and good conductivity for use as an anode in lithium-ion batteries. After 200 cycles, this carbon delivered a reversible capacity of 272 mAh g−1 at 0.2 C, showing a notable retention capacity and good cycling performance even at high current densities, demonstrating its effectiveness and sustainability as an anode material for high-energy applications in Li-ion batteries