at the 14th Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011)

Technical Report TR-2011/1, Department of Languages and Computation. University of Almeria November 2011. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister (Editors)The seventh workshop on Knowledge Engineering and Software Engineering (KESE7) was held at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA-2011) in La Laguna (Tenerife), Spain, and brought together researchers and practitioners from both fields of software engineering and artificial intelligence. The intention was to give ample space for exchanging latest research results as well as knowledge about practical experience.University of Almería, Almería, Spain. AGH University of Science and Technology, Kraków, Poland. University of Würzburg, Würzburg, Germany

BPMN – A Logical Model and Property Analysis

Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN

Expanding the mass spectrometry toolkit for interrogating chromatin proteomics

Chromatin is comprised of DNA and a vast network of proteins, which help structure and regulate a cell’s genetic material through processes including cell differentiation, regulation of genes, and DNA repair. At the core of chromatin structure lays a nucleosome, consisting of DNA wrapped around an octameric protein complex made of histones. Histones can undergo post translational modifications (PTMs) which govern protein-protein interactions (PPIs) and ultimately control gene activation and suppression. Histone PTMs can already be quantitated using existing well defined methods such as liquid chromatography mass spectrometry (LC-MS). However with the increasing popularity of techniques such as chromatin immunoprecipitation aimed at identifying and understanding the role of PTMs under very specific circumstances, ever smaller amounts of histones are being produced and push heavily on the limits of LC-MS detection. We were able to reduce the number of cells required for a typical histone PTM LC-MS analysis from 10^6 cells to 10^5 cells and permitting technical replicates at this level. Chemical cross-linking mass spectrometry is another useful tool in characterising PPIs whilst simultaneously providing limited structural information, even from native cellular environments and cell lysates making it highly promising for chromatin. Much development has been made in this technology, however data analysis for this technique can still be difficult and laborious. We proposed to address this by simplifying the complexity of the data by altering the functional chemistry of the cross-linker, with limited levels success. Finally, some molecules have great therapeutic potential in addressing erroneous chromatin regulations that are implicated in a number of cancers. In order for more efficient therapeutics to be developed, it is important to identify how and where they bind to proteins. We were able to address this issue for a ligand-protein pair, for a protein known to be implicated in cancer and modify histones.Open Acces

Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel

National audienceCe document contient les actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Gé}nie de la Programmation et du Logiciel (GDR GPL) s'étant déroulées à Nancy du 3 au 5 avril 2013. Les contributions présentées dans ce document ont été sélectionnées par les différents groupes de travail du GDR. Il s'agit de résumés, de nouvelles versions, de posters et de démonstrations qui correspondent à des travaux qui ont déjà été validés par les comités de programmes d'autres conférences et revues et dont les droits appartiennent exclusivement à leurs auteurs

Atlas of Renaissance Antiquarianism

Renaissance antiquarianism can be defined as a cultural phenomenon that aims to interpret the past by cross-referencing heterogeneous sources accumulated and collected over time. This entailed the use of new investigative techniques which involved combining literary sources and material findings to provide a reliable foundation for the idea of history. Atlas of Renaissance Antiquarianism, moving along different lines of theoretical and practical conceptualisation, declines the matters according to a plethora of different disciplines: philology, iconology, numismatics, epigraphy, chronology, conviviality, art, and fashion. The purpose of this manyfold investigation is to demonstrate how the antiquarian approach – that based the growth of thought on documented sources and empirical evidence – represented a methodological perspective capable to influence the way the past was viewed through a critical analysis of sources