Search results for "HECK"
showing 10 items of 682 documents
Qualifying semantic graphs using model checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns t…
A new approach based on NμSMV Model to query semantic graph
2011
International audience; The language most frequently used to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. Processing of large semantic graphs can be a limit to use semantics in modern information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. The data integration and shar…
Camera-based measurement of relative image contrast in projection displays
2013
International audience; This research investigated the measured contrast of projection displays based on pictures taken by un-calibrated digital cameras under typical viewing conditions. A high-end radiometer was employed as a reference to the physical response of projection luminance. Checkerboard, gray scale and color complex test images with a range of the projector's brightness and contrast settings were projected. Two local and two global contrast metrics were evaluated on the acquired pictures. We used contrast surface plots and Pearson correlation to investigate the measured contrast versus the projector's brightness and contrast settings. The results suggested, as expected, the proj…
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
2012
International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…
ScaleSem : model checking and semantic web
2012
The increasing development of networks and especially the Internet has greatly expanded the gap between heterogeneous information systems. In a review of studies of interoperability of heterogeneous information systems, we find that all the work in this area tends to be in solving the problems of semantic heterogeneity. The W3C (World Wide Web Consortium) standards proposed to represent the semantic ontology. Ontology is becoming an indispensable support for interoperability of information systems, and in particular the semantics. The structure of the ontology is a combination of concepts, properties and relations. This combination is also called a semantic graph. Several languages have bee…
Fact-checking y vigilancia del poder: La verificación del discurso público en los nuevos medios de América Latina
2018
El fact-checking ha experimentado un desarrollo importante en los últimos años, como técnica destinada a la verificación del discurso público, en un momento en que la difusión de noticias falsas o la pérdida de calidad y credibilidad de los medios alcanza cotas preocupantes. Este artículo analiza nueve iniciativas surgidas desde 2010 en media docena de países latinoamericanos, representativas de un ecosistema emergente en una región enfrentada a menudo con problemas para alcanzar una verdadera democracia mediática. Desde una aproximación cualitativa y cuantitativa, esta investigación compara la metodología de trabajo y las modalidades de evaluación que presentan, así como las temáticas y ac…
Extracellular Vesicles and Tumor-Immune Escape: Biological Functions and Clinical Perspectives
2020
The modulation of the immune system is one of the hallmarks of cancer. It is now widely described that cancer cells are able to evade the immune response and thus establish immune tolerance. The exploration of the mechanisms underlying this ability of cancer cells has always attracted the scientific community and is the basis for the development of new promising cancer therapies. Recent evidence has highlighted how extracellular vesicles (EVs) represent a mechanism by which cancer cells promote immune escape by inducing phenotypic changes on different immune cell populations. In this review, we will discuss the recent findings on the role of tumor-derived extracellular vesicles (TEVs) in re…
New 1,2,4-oxadiazole nortopsentin derivatives with cytotoxic activity
2019
New analogs of nortopsentin, a natural 2,4-bis(3&prime
Immune surveillance of neural stem cells
2022
Antigen presentation through major histocompatibility complexes and the subsequent immune surveillance by cytotoxic T lymphocytes is considered a preventive mechanism against damaged or infected cells. At the same time, the central nervous system has long been considered an isolated territory where immune responses could not be fully developed. However, in the light of recent findings, these assumptions need to be revisited. On one hand, it has been demonstrated that quiescent adult stem cells down-regulate antigen exposure and evade immune surveillance in the hair follicle and the muscle. On the other hand, the identification of lymphatic routes for the drainage of brain-derived antigens h…
The Putative Metal Coordination Motif in the Endonuclease Domain of Human Parvovirus B19 NS1 Is Critical for NS1 Induced S Phase Arrest and DNA Damage
2011
The non-structural proteins (NS) of the parvovirus family are highly conserved multi-functional molecules that have been extensively characterized and shown to be integral to viral replication. Along with NTP-dependent helicase activity, these proteins carry within their sequences domains that allow them to bind DNA and act as nucleases in order to resolve the concatameric intermediates developed during viral replication. The parvovirus B19 NS1 protein contains sequence domains highly similar to those previously implicated in the above-described functions of NS proteins from adeno-associated virus (AAV), minute virus of mice (MVM) and other non-human parvoviruses. Previous studies have show…