From old wars to new wars and global terrorism

The 9/11 attacks created an urgent need to understand contemporary wars and their relationship to older conventional and terrorist wars, both of which exhibit remarkable regularities. The frequency-intensity distribution of fatalities in "old wars", 1816-1980, is a power-law with exponent 1.80. Global terrorist attacks, 1968-present, also follow a power-law with exponent 1.71 for G7 countries and 2.5 for non-G7 countries. Here we analyze two ongoing, high-profile wars on opposite sides of the globe - Colombia and Iraq. Our analysis uses our own unique dataset for killings and injuries in Colombia, plus publicly available data for civilians killed in Iraq. We show strong evidence for power-law behavior within each war. Despite substantial differences in contexts and data coverage, the power-law coefficients for both wars are tending toward 2.5, which is a value characteristic of non-G7 terrorism as opposed to old wars. We propose a plausible yet analytically-solvable model of modern insurgent warfare, which can explain these observations.

The Work of Amnesty International and Human Rights Watch: Evidence from Colombia

We process the main written output of Amnesty International and Human Rights Watch on Colombia covering the period 1988-2004, recording all numerical conflict information and accounts of specific conflict events. We check for internal consistency and against a unique Colombian conflict database. We find that both organizations have substantive problems in their handling of quantitative information. Problems include failre to specify sources, unclear definitions, an erratic reporting template and a distorted portrayal of conflict dynamics. Accounts of individual events are fairly representative and much more useful and accurate than the statistical information. We disprove a common accusation that Amnesty International and Human Rights Watch rarely criticize the guerrillas, but do find some evidence of anti-government bias. The quantitative human rights and conflict information produced by these organizations for other countries must be viewed with scepticism along with cross-country and time series human rights data based on Amnesty International reports.

Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new tasks; the grid is expected to assign resources to tasks in a fair, trustworthy way. These distinctive features of GC systems make their specification and verification a challenging issue. Although prior works have proposed formal approaches to the specification of GC systems, a precise account of the interaction model which underlies resource sharing has not been yet proposed. In this paper, we describe ongoing work aimed at filling in this gap. Our approach relies on (higher-order) process calculi: these core languages for concurrency offer a compositional framework in which GC systems can be precisely described and potentially reasoned about.Comment: In Proceedings DCM 2013, arXiv:1403.768

Session-based concurrency in Maude:Executable semantics and type checking

Session types are a well-established approach to communication correctness in message-passing processes. Widely studied from a process calculi perspective, here we pursue an unexplored strand and investigate the use of the Maude system for implementing session-typed process languages and reasoning about session-typed process specifications. We present four technical contributions. First, we develop and implement in Maude an executable specification of the operational semantics of a session-typed π-calculus by Vasconcelos. Second, we also develop an executable specification of its associated algorithmic type checking, and describe how both specifications can be integrated. Third, we show that our executable specification can be coupled with reachability and model checking tools in Maude to detect well-typed but deadlocked processes. Finally, we demonstrate the robustness of our approach by adapting it to a higher-order session π-calculus, in which exchanged values include names but also abstractions (functions from names to processes). All in all, our contributions define a promising new approach to the (semi)automated analysis of communication correctness in message-passing concurrency

Location, orbit and energy of a meteoroid impacting the moon during the Lunar Eclipse of January 21, 2019

During lunar eclipse of January 21, 2019 a meteoroid impacted the Moon producing a visible light flash. The impact was witnessed by casual observers offering an opportunity to study the phenomenon from multiple geographical locations. We use images and videos collected by observers in 7 countries to estimate the location, impact parameters (speed and incoming direction) and energy of the meteoroid. Using parallax, we achieve determining the impact location at lat. $-29.43^{+0.30}_{-0.21}$, lon. $-67.89^{+0.07}_{-0.09}$ and geocentric distance as 356553 km. After devising and applying a photo-metric procedure for measuring flash standard magnitudes in multiple RGB images having different exposure times, we found that the flash, had an average G-magnitude $\langle G\rangle = 6.7\pm0.3$. We use gravitational ray tracing (GRT) to estimate the orbital properties and likely radiant of the impactor. We find that the meteoroid impacted the moon with a speed of $14^{+7}_{-6}$ km/s (70% C.L.) and at a shallow angle, $\theta < 38.2$ degrees. Assuming a normal error for our estimated flash brightness, educated priors for the luminous efficiency and object density, and using the GRT-computed probability distributions of impact speed and incoming directions, we calculate posterior probability distributions for the kinetic energy (median $K_{\rm med}$ = 0.8 kton), body mass ($M_{\rm med}$ = 27 kg) and diameter ($d_{\rm med}$ = 29 cm), and crater size ($D_{\rm med}$ = 9 m). If our assumptions are correct, the crater left by the impact could be detectable by prospecting lunar probes. These results arose from a timely collaboration between professional and amateur astronomers which highlight the potential importance of citizen science in astronomy.Comment: 19 pages, 11 figures, 4 tables. Data and scripts available in https://github.com/seap-udea/MoonFlashes. Accepted for publication in MNRA

Factores que afectan el posicionamiento de productos en el exterior: el caso del sector floricultor antioqueño

El desempeño exportador de una firma depende de factores internos y externos. Este artículo presenta un ejercicio de valoración de factores que inciden en las exportaciones del sector floricultor del departamento de Antioquia, Colombia. Para ello, se sigue un método de decisiones jerárquico apoyado en juicios de expertos con el concurso de empresarios, gremios e instituciones. Los resultados indican que la visión empresarial limitada, el entrenamiento del capital humano, la capacidad interna logística de la organización y la volatilidad del tipo de cambio constituyen los principales limitantes que encara el sector para su internacionalización vía exportaciones. Los hallazgos de la investigación sirven de propuesta para validar una metodología que permita priorizar los factores que condicionan las decisiones de expansión internacional. DOI: http://dx.doi.org/10.22518/16578953.54

La formación de Abejorral y sus implicaciones sobre la evolución de la cordillera central de Colombia durante el cretáceo

Mapas, ilustracionesLos sedimentos de la formación Abejorral se depositaron sobre rocas metamórficas y plutónicas de la Cordillera Central durante dos transgresiones ocurridas durante el Aptiano y el Albiano. En casa serie, la mayor parte de los sedimentos se depositó en condiciones de plataforma continental, antecedidas por una breve fase de ambiente litoral. Poco tiempo después del Albiano medio los sedimentos fueron sometidos a una intensa deformación, acompañada de un metamorfismo dinamo-térmico. Se considera que la cusa de esta deformación fue la obducción del Complejo Ofiolítico del Cauca sobre el Occidente Colombiano. Diversas formaciones sedimentarias del Cretáceo inferior se correlacionan con la formación Abejorral. Estos sedimentos se depositaron bajo condiciones semejantes y también fueron recubiertos y deformados por el manto ofiolítico. (Texto tomado de la fuente)Desde sus inicios en 1912 se llamó "Anales de la Escuela Nacional de Minas", a partir del No. 48 en 1940 cambio a "Anales de la Facultad Nacional de Minas"

Obducción cretácea en el occidente colombiano

MapasIlustracionesLas serpentinitas de los alrededores de MedeIIín son, cuerpos tabulares que presentan contactos subhorizontales con las rocas sobre las cuales reposan. Los contactos de Ias serpentinitas con las anfibolitas subyacentes están definidos por una zona de esquistos cloríticos y talcosos intensamente plegados. Estas serpentinitas fueron emplazadas tectónicamente durante el Cretáceo por medio de una obducción. A lo largo del occidente colombiano afloran ofiolitas cretáceas que representan corteza oceánica. Estas rocas fueron emplazadas durante la obducción que se demuestra para las serpentinitas. Este conjunto de ofiolítico es, al menos en parte, de edad aptiana y se emplazó sobre rocas autóctonas de edad cretácea temprana. El manto ofiolítico fue intruído por el Batolito Antioqueño, de edad cretácea tardía. El emplazamiento de las ofiolitas produjo estos efectos dinámicos variables sobre las rocas autóctonas. Las rocas metamórficas fueron afectadas por metamorfismo dinámico-térmico retrógrado de la zona adyacente al contacto y las formaciones sedimentarias del Cretáceo Inferior sufrieron una intensa deformación caracterizada por el aplastamiento de fósiles y de cantos de conglomerados, y por plegamientos, generalmente fuerte, que afectaron toda secuencia. Después de la obducción, el occidente colombiano fue modificado profundamente por erosión y fallamientos, lo que hace que hoy en día las relaciones entre el manto ofiolítico y las rocas autóctonas sean difíciles de estudiar. (Texto tomado de la fuente)The serpentinites that crop out near the city of Medellin are tabular bodies presenting subhorizontal contacts with the underlying rocks. The contacts of the serpentinites with older amphibolites are marked by a zone of intensely-deformed chlorite and talc schists. The serpentinites were tectonically emplaced by an obduction during Cretaceous. Throughout Western Colombia there are Cretaceous ophiolites that represent oceanic crust. These rocks were emplaced during the obduction that is shown for the serpentinites. The ophiolites are, at least in part, of Aptian age, and were emplaced over autochthonous rocks of Early Cretaceous age. The ophiolite thrust sheet was intruded by the Antioquian Batholith, of Late Cretaceous age. It is considered that the obduction probable took place during late Albian time. The emplacement of the ophiolites produced variable Dynamic effects on the autochthonous rocks. The maramorphic rocks underwent a retrograde dynamothermal metamorphism in the vicinity of the contact, while the Lower Cretaceous sedimentary rocks underwent an intense deformation characterized by flattening of fossils and pebbles of conglomerates and by pervasive small-scale folding. After the obduction the area was so profoundly modified by erosion and faulting that presently the original relations between the ophiolite sheet and the autochthonous rocks are difficult to observe. (Text take from the resource)Aux evirons de Medellín, les serpentinites présentent des contacts sub-horizontaux avec les roches sur lesquelles elles reposent. Les contacts des serpentinites avec les amphibiolites sous-jacentes sont representés par une zone de schistes chloriteux et de talcschistes forment plissés. Ces serpentinites se sont mises en place au moyen d´une obduction pendant le Crétacé. Des ensembles ophiolitiques, representant l´ écorce océanique, afleurent tout au long de l´Occident Colombien. Ces roches se sont mises en place pensandt I´obduction demontrée pour les serpentinites. Cet ensemble ophiolitique est, au moins en partie, d´age aptien et s´est mis en place sur les roches autochotones d´age crétacé inférieur. La nappe d´ophiolites a été intruit par le Batolite d´Antioquia, d´age crétace supérieur. La mise en place des ophiolites a produit des effets dynamiques variables sur les roches autochtones. Les roches métamorphiques ont souffert un métamorphisme thermodynamique rétrograde prés de la zone de contact et les marqué par une deformation intense caracterisée par l´aplatissement des fossiles et des galets de conglomerants et par des plissements, generalement forts, qui ont affecté toute la sequence. Apres l´obduction, l´Occident colombien a été profondement modifié par erosion et faillages, ce qui fait que, actuellement, les relations entre la nappe d´ophiolites et les roches autochtones soient difficiles á étudier. (Texte tiré de la ressource)Desde sus inicios en 1912 se llamó "Anales de la Escuela Nacional de Minas", a partir del No. 48 en 1940 cambio a "Anales de la Facultad Nacional de Minas"

La formación de Abejorral y sus implicaciones sobre la evolución de la cordillera central de Colombia durante el cretáceo

Mapas, ilustracionesLos sedimentos de la formación Abejorral se depositaron sobre rocas metamórficas y plutónicas de la Cordillera Central durante dos transgresiones ocurridas durante el Aptiano y el Albiano. En casa serie, la mayor parte de los sedimentos se depositó en condiciones de plataforma continental, antecedidas por una breve fase de ambiente litoral. Poco tiempo después del Albiano medio los sedimentos fueron sometidos a una intensa deformación, acompañada de un metamorfismo dinamo-térmico. Se considera que la cusa de esta deformación fue la obducción del Complejo Ofiolítico del Cauca sobre el Occidente Colombiano. Diversas formaciones sedimentarias del Cretáceo inferior se correlacionan con la formación Abejorral. Estos sedimentos se depositaron bajo condiciones semejantes y también fueron recubiertos y deformados por el manto ofiolítico. (Texto tomado de la fuente)Desde sus inicios en 1912 se llamó "Anales de la Escuela Nacional de Minas", a partir del No. 48 en 1940 cambio a "Anales de la Facultad Nacional de Minas"