Search results for "OGC"

showing 6 items of 6 documents

The Descriptive Complexity Approach to LOGCFL

1999

Building upon the known generalized-quantifier-based firstorder characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses of LOGCFL arising from varying the arity and nesting of groupoidal quantifiers. Our work extends the elaborate theory relating monoidal quantifiers to NC1 and its subclasses. In the absence of the BIT predicate, we resolve the main issues: we show in particular that no single outermost unary groupoidal quantifier with FO can capture all the context-free languages, and we obtain the surprising result that a variant of Greibach's "hardest contextfree language" is LOGCFL-complete under quantifier-free BIT-free interpre…

Discrete mathematicsUnary operationComputer science0102 computer and information sciences02 engineering and technologyComputer Science::Computational ComplexityArityDescriptive complexity theory01 natural sciencesNondeterministic algorithm010201 computation theory & mathematicsDeterministic automatonBIT predicate0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingNondeterministic finite automatonLOGCFL
researchProduct

The Descriptive Complexity Approach to LOGCFL

1998

Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses of LOGCFL arising from varying the arity and nesting of groupoidal quantifiers. Our work extends the elaborate theory relating monoidal quantifiers to NC1 and its subclasses. In the absence of the BIT predicate, we resolve the main issues: we show in particular that no single outermost unary groupoidal quantifier with FO can capture all the context-free languages, and we obtain the surprising result that a variant of Greibach's ``hardest context-free language'' is LOGCFL-complete under quantifier-free BIT-free proj…

FOS: Computer and information sciencesFinite model theoryUnary operationComputer Networks and Communicationsautomata and formal languages0102 computer and information sciencesComputational Complexity (cs.CC)Computer Science::Computational ComplexityArityDescriptive complexity theory01 natural sciencesTheoretical Computer ScienceComputer Science::Logic in Computer ScienceNondeterministic finite automaton0101 mathematicsLOGCFLMathematicsDiscrete mathematicscomputational complexityApplied Mathematics010102 general mathematicsdescriptive complexityNondeterministic algorithmComputer Science - Computational Complexityfinite model theoryQuantifier (logic)Computational Theory and Mathematics010201 computation theory & mathematicsF.1.3Journal of Computer and System Sciences
researchProduct

A Semantic Web Approach for Geodata Discovery

2013

International audience; Currently, vast amounts of geospatial information are o ffered through OGC's services. However this information has limited formal semantics. The most common method to search for a dataset consists in matching keywords to metadata elements. By adding semantics to available descriptions we could use modern inference and reasoning mechanisms currently available in the SemanticWeb. In this paper we present a novel architecture currently in development in which we use state of the art triplestores as the backend of a CSW service. In our approach, each metadata record is considered an instance of a given class in a domain ontology. Our architecture also adds a spatial dat…

Geospatial analysisComputer scienceFormal semantics (linguistics)SemanticWeb0211 other engineering and technologiesInference02 engineering and technologyOntology (information science)computer.software_genreWorld Wide Web[ INFO.INFO-HC ] Computer Science [cs]/Human-Computer Interaction [cs.HC]Minimum bounding box0202 electrical engineering electronic engineering information engineeringontologies[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]ArchitectureSemantic Webcatalogues021101 geological & geomatics engineeringInformation retrievalMetadataOGC servicesgeodata discovery020201 artificial intelligence & image processing[INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]computer
researchProduct

PD-1, PD-L1, and CD163 in pancreatic undifferentiated carcinoma with osteoclast-like giant cells: A expression patterns and clinical implications

2018

Undifferentiated carcinoma with osteoclast-like giant cells (UCOGC), a variant of pancreatic ductal adenocarcinoma (PDAC), has a striking genetic similarity to PDAC but a significantly improved overall survival. We hypothesize that this difference could be due to the immune response to the tumor, and as such, we investigated the expression of PD-1, PD-L1, and CD163 in a series of UCOGC. To this aim, 27 pancreatic UCOGCs (11 pure and 16 PDAC-associated), 5 extrapancreatic tumors with osteoclast-like giant cells and 10 pancreatic anaplastic carcinomas were immunostained using antibodies against PD-1, PD-L1, and CD163. In pancreatic UCOGCs, PD-L1 was expressed in neoplastic cells of 17 (63%) o…

Male0301 basic medicineIndianaProgrammed Cell Death 1 ReceptorOsteoclast; PDAC; Pancreatic Cancer; Tumor-Associated Macrophages; UCOGCOsteoclastsGiant CellsB7-H1 Antigen0302 clinical medicineTumor-Associated MacrophagesTumours of the digestive tract Radboud Institute for Molecular Life Sciences [Radboudumc 14]LymphocytesAged 80 and overbiologyTumor-associated macrophagesCell DifferentiationMiddle AgedOsteoclast; Pancreatic cancer; PDAC; Tumor-associated macrophages; UCOGC; 2734ImmunohistochemistryEuropePhenotypemedicine.anatomical_structure030220 oncology & carcinogenesisOsteoclastFemaleAntibodyCarcinoma Pancreatic DuctalAdult2734Antigens Differentiation MyelomonocyticReceptors Cell SurfaceUCOGCPathology and Forensic MedicinePancreatic Cancer03 medical and health sciencesImmune systemAll institutes and research themes of the Radboud University Medical CenterAntigens CDOsteoclastPD-L1Pancreatic cancerBiomarkers TumormedicineHumansHistiocyteAgedNeoplasm StagingPDACHistiocytesPancreatic cancermedicine.diseasePancreatic Neoplasms030104 developmental biologyGiant cellCancer researchbiology.proteinCD163
researchProduct

Topical issue on Ecological Complex Systems

2008

Properties of Higher OrganismsNoise in Biologcal SystemBiological complexityPopulation Dynamics and Ecological Pattern Formation
researchProduct

Implementing a Semantic Catalogue of Geospatial Data.

2014

International audience; Complex spatial analysis requires the combination of heterogeneous datasets. However the identification of a dataset of interest is not a trivial task. Users need to review metadata records in order to select the most suitable datasets. We propose the implementation of a system for metadata management based on semantic web technologies. Our implementation helps the user with the selection task. In this paper, we present a CSW that uses a triplestore as its metadata repository. We implement a translator between Filter Encoding and SPARQL/GeoSPARQL in order to comply to basic OGC standards. Our results are promising however, this is a novel field with room for improvem…

[ INFO.INFO-HC ] Computer Science [cs]/Human-Computer Interaction [cs.HC]OGCmetadataCSW[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]triplestore
researchProduct