Search results for "rule"

showing 10 items of 1403 documents

HTML - Hypertext Markup Language

1997

XHTMLRuleMLMarkup languageComputer sciencecomputer.file_formatHTMLSynchronized Multimedia Integration LanguageComputer Science ApplicationsWorld Wide WebSGMLcomputerInformation Systemscomputer.programming_languagePCDATACollaborative Application Markup LanguageInformatik-Spektrum
researchProduct

Bayesian chronological analyses consistent with synchronous age of 12,835-12,735 Cal BP for Younger Dryas boundary on four continents

2015

The Younger Dryas impact hypothesis posits that a cosmic impact across much of the Northern Hemisphere deposited the Younger Dryas boundary (YDB) layer, containing peak abundances in a variable assemblage of proxies, including magnetic and glassy impact-related spherules, high-temperature minerals and melt glass, nanodiamonds, carbon spherules, aciniform carbon, platinum, and osmium. Bayesian chronological modeling was applied to 354 dates from 23 stratigraphic sections in 12 countries on four continents to establish a modeled YDB age range for this event of 12,835-12,735 Cal B.P. at 95% probability. This range overlaps that of a peak in extraterrestrial platinum in the Greenland Ice Sheet …

Younger DryasBayesian probabilityCALIFORNIAGreenland ice sheetBayesianlaw.inventionPaleontologycometsynchroneitylawTERMINATIONDEPTH MODELSYounger DryasRadiocarbon datingIMPACT HYPOTHESISCOSMIC IMPACTNANODIAMONDSMultidisciplinaryWILDFIRENorthern HemispherePNAS PlusYounger Dryas impact hypothesisEXTRATERRESTRIAL IMPACTradiocarbonBLACK MATGeologySPHERULES
researchProduct

Zabezpieczenie na nieruchomości w postępowaniu karnym jako wyraz równorzędności reguł interpretacji w praktyce orzeczniczej sądu karnego

2021

Artykuł poddaje analizie instytucję zabezpieczenia na nieruchomości w postępowaniu karnym w kontekście połączenia w niej działania organów postępowania karnego w dwóch różnych procedurach i w dwóch różnych pozycjach procesowych. Zabezpieczenie następuje w zakresie tytułu wykonawczego w postaci stosownego postanowienia i wynika z postępowania karnego w fazie in personam. Tytuł wykonawczy uzyskany w procedurze karnej stanowi podstawę wpisu hipoteki przymusowej według regulacji procedury cywilnej do księgi wieczystej. Artykuł ma na celu przedstawienie powyższej problematyki w kontekście rozkładu ciężaru argumentacyjnego poszczególnych uczestników dyskursu wskazanej sytuacji procesowej, a także…

Zabezpieczenie na nieruchomościsystematic and functional rules of interpretationpostanowienie o zabezpieczeniuburden of argumentationinterpretacja semantyczna i funkcjonalnacriminal proceedingssemantichipoteka przymusowarozkładu ciężaru argumentacyjnegoSecurity on real estatepostępowanie karnepostępowanie cywilnePrzegląd Prawa i Administracji
researchProduct

A new species of the genus Zalophotrema (Digenea: Campulidae), Zalophotrema atlanticum n. sp., from the liver of the striped dolphin Stenella coerule…

1991

Zalophotrema atlanticum n. sp. from the liver of a striped dolphin, Stenella coeruleoalba (Meyen, 1833), stranded in the Canary Islands is described. This new species differs from the other Zalophotrema species in body dimensions and relative size and position of the suckers and cirrus-sac. This is the first record of a species of the genus Zalophotrema in the striped dolphin, and the Atlantic Ocean constitutes a new locality record for this genus.

Zalophotrema atlanticumbiologyEcologyGenusAnimal ecologybiology.animalZalophotremaCetaceaParasitologyStenella coeruleoalbaTrematodabiology.organism_classificationDigeneaSystematic Parasitology
researchProduct

CLEARMiner: a new algorithm for mining association patterns on heterogeneous time series from climate data

2010

International audience; Recently, improvements in sensor technology contributed to increasing in spatial data acquisition. The use of remote sensing in many countries and states, where agricultural business is a large part of their gross income, can provide a valuable source to improve their economy. The combination of climate and remote sensing data can reveal useful information, which can help researchers to monitor and estimate the production of agricultural crops. Data mining techniques are the main tools to analyze and extract relationships and patterns. In this context, this paper presents a new algorithm for mining association patterns in Geo-referenced databases of climate and satel…

[ INFO.INFO-IR ] Computer Science [cs]/Information Retrieval [cs.IR]Association rule learning[INFO.INFO-WB] Computer Science [cs]/WebComputer scienceAssociation (object-oriented programming)[ INFO.INFO-WB ] Computer Science [cs]/Web[SCCO.COMP]Cognitive science/Computer scienceContext (language use)computer.software_genreNOAA-AVHRR imagesImage-based Information Systemsassociation rules[SCCO.COMP] Cognitive science/Computer science[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB]Spatial analysisAgricultural crops[ INFO.INFO-MM ] Computer Science [cs]/Multimedia [cs.MM][INFO.INFO-MM] Computer Science [cs]/Multimedia [cs.MM][INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]Series (mathematics)[INFO.INFO-WB]Computer Science [cs]/Web[INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM][ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB]Remote sensing (archaeology)[ SCCO.COMP ] Cognitive science/Computer science[INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]Data mining[INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR]Vegetation IndexAlgorithmcomputer
researchProduct

RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker

2011

International audience; The most frequently used language 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. 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 between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2SPIN, which converts RDF graphs into SPIN language. This conversion aims checking the semantic graphs with the model checker SPIN in order to verify the consistency of the data. To illustrate our propos…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationTheoretical computer science[INFO.INFO-WB] Computer Science [cs]/WebComputer science0211 other engineering and technologies[ INFO.INFO-WB ] Computer Science [cs]/WebTemporal logic02 engineering and technologyRDF/XMLRDF020204 information systemsSemantic computing021105 building & construction0202 electrical engineering electronic engineering information engineeringSPARQLBIMRDFCwmSemantic WebBIM.Semantic Web Rule Language[INFO.INFO-WB]Computer Science [cs]/WebModel-Checkingcomputer.file_format[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationSPINSemantic graphSemantic technologyIFC[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulationcomputer
researchProduct

Characterizations of convex approximate subdifferential calculus in Banach spaces

2016

International audience; We establish subdifferential calculus rules for the sum of convex functions defined on normed spaces. This is achieved by means of a condition relying on the continuity behaviour of the inf-convolution of their corresponding conjugates, with respect to any given topology intermediate between the norm and the weak* topologies on the dual space. Such a condition turns out to also be necessary in Banach spaces. These results extend both the classical formulas by Hiriart-Urruty and Phelps and by Thibault.

[ MATH ] Mathematics [math]Mathematics::Functional AnalysisApproximate subdifferentialDual spaceConvex functionsApplied MathematicsGeneral MathematicsBanach spaceUniformly convex spaceSubderivativeApproximate variational principleCalculus rulesLocally convex topological vector spaceCalculusInterpolation spaceMSC: Primary 49J53 52A41 46N10[MATH]Mathematics [math]Reflexive spaceLp spaceMathematics
researchProduct

Design and evaluation of rule-based cropping systems

2009

 ; absent

[ SDE.MCG ] Environmental Sciences/Global Changes[SDE.MCG] Environmental Sciences/Global Changes[SDE.MCG]Environmental Sciences/Global Changescropping systemsrule-based
researchProduct

The Classical Antiquity in the Romanian cinema. Ancient Rome: a precious enemy

2008

International audience; français : L'Antiquité, mais particulièrement la Rome Antique fut un sujet très important dans le cinéma roumain pendant le régime de Nicolae Ceauşescu. Certaines périodes de l'histoire romaine sont connectées à la civilisation dace et par conséquent, beaucoup de produits culturels roumains sont focalisés sur la relation entre les Romains et les Daces. Le régime de Ceausescu confère une importance particulière à cette période qui devient le berceau de la nation roumaine. La signification de l'histoire antique évolue d'une acception modérée dans les années 60, caractérisée par la synthèse de deux composants ethniques (le Daces et les Romains) à l'une radicale, pendant…

[ SHS.HIST ] Humanities and Social Sciences/History[SHS.HIST] Humanities and Social Sciences/Historycommunist rulenationalismpeplum[SHS.HIST]Humanities and Social Sciences/HistoryRomanian cinema
researchProduct

Semantic User Profiling for Digital Advertising

2015

International audience; With the emergence of real-time distribution of online advertising space (“real-time bidding”), user profiling from web navigation traces becomes crucial. Indeed, it allows online advertisers to target customers without interfering with their activities. Current techniques apply traditional methods as statistics and machine learning, but suffer from their limitations. As an answer, the proposed approach aims to develop and evaluate a semantic-based user profiling system for digital advertising.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Data AnalysisBig DataACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.5: Online Information Services[ INFO ] Computer Science [cs]OntologyACM : H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.1: Content Analysis and IndexingACM : H.: Information SystemsUser ProfilingACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONSReasoningACM : H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS[INFO] Computer Science [cs][INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]ACM : H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software/H.3.4.5: User profiles and alert servicesACM: H.: Information SystemsInferenceACM : H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.5: Online Information Services[INFO]Computer Science [cs]Logical Rules[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.1: Content Analysis and IndexingSWRLACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software/H.3.4.5: User profiles and alert servicesSemantic Web
researchProduct