Extracting invariant characteristics of sketch maps: Towards place query-by-sketch

In geography, invariant aspects of sketches are essential to study because they reflect the human perception of real-world places. A person's perception of a place can be ex-pressed in sketches. In this article, we quantitatively and qualitatively analyzed the characteristics of single objects and characteristics among objects in sketches and the real world to find reliable invariants that can be used to establish references/correspondences between sketch and world in a matching process. These characteristics include category, shape, name, and relative size of each object. Moreover, quantity and spatial relationships—such as topological, or-dering, and location relationships—among all objects are also analyzed to assess consistency between sketched and actual places. The approach presented in this study extracts the reliable invariants for query-by-sketch and prioritizes their relevance for a sketch-map matching process

Propositional update operators based on formula/literal dependence

International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators

Graphical means for inspecting qualitative models of system behaviour

This article presents the design and evaluation of a tool for inspecting conceptual models of system behaviour. The basis for this research is the Garp framework for qualitative simulation. This framework includes modelling primitives, such as entities, quantities and causal dependencies, which are combined into model fragments and scenarios. Given a library of model fragments and a scenario describing an initial situation, the qualitative simulation engine generates predictions in the form of a state-transition graph. This rich knowledge representation has potential for educational purposes. However, communicating the contents of simulation models effectively to learners is not trivial. The predicate logic format used by Garp is not easy for non-experts to understand, and a simulation often contains so much information that it is difficult to get an overview while still having access to detailed information. To address these problems, a tool has been developed that generates graphical representations of the information contained in a qualitative simulation. This tool, named VisiGarp, incorporates a vocabulary of graphical elements for model ingredients and relationships, and combines these into interactive diagrams. VisiGarp has been evaluated by thirty students, with promising results, using a setup which included simulation results and exercises about Brazilian Cerrado ecology

From proteomic analysis to potential therapeutic targets: functional profile of two lung cancer cell lines, A549 and SW900, widely studied in pre-clinical research

Lung cancer is a serious health problem and the leading cause of cancer death worldwide. The standard use of cell lines as in vitro pre-clinical models to study the molecular mechanisms that drive tumorigenesis and access drug sensitivity/effectiveness is of undisputable importance. Label-free mass spectrometry and bioinformatics were employed to study the proteomic profiles of two representative lung cancer cell lines and to unravel the specific biological processes. Adenocarcinoma A549 cells were enriched in proteins related to cellular respiration, ubiquitination, apoptosis and response to drug/hypoxia/oxidative stress. In turn, squamous carcinoma SW900 cells were enriched in proteins related to translation, apoptosis, response to inorganic/organic substances and cytoskeleton organization. Several proteins with differential expression were related to cancer transformation, tumor resistance, proliferation, migration, invasion and metastasis. Combined analysis of proteome and interactome data highlighted key proteins and suggested that adenocarcinoma might be more prone to PI3K/Akt/mTOR and topoisomerase IIα inhibitors, and squamous carcinoma to Ck2 inhibitors. Moreover, ILF3 overexpression in adenocarcinoma, and PCNA and NEDD8 in squamous carcinoma shows them as promising candidates for therapeutic purposes. This study highlights the functional proteomic differences of two main subtypes of lung cancer models and hints several targeted therapies that might assist in this type of cancer.publishe