Search results for "I.2.4"

showing 10 items of 12 documents

Topological Logics with Connectedness over Euclidean Spaces

2013

We consider the quantifier-free languages, Bc and Bc °, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of R n ( n ≥ 2) and, additionally, over the regular closed semilinear sets of R n . The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed semilinear sets in all dimensions greater than 1,…

FOS: Computer and information sciencesComputer Science - Logic in Computer ScienceGeneral Computer ScienceUnary operationClosed setLogicSocial connectedness0102 computer and information sciencesTopological space68T30 (Primary) 03D15 68Q17 (Secondary)Topology01 natural sciencesTheoretical Computer ScienceMathematics - Geometric TopologyEuclidean geometryFOS: Mathematics0101 mathematicsMathematicsI.2.4; F.4.3; F.2.2Discrete mathematicsI.2.4010102 general mathematicsGeometric Topology (math.GT)Predicate (mathematical logic)Undecidable problemLogic in Computer Science (cs.LO)Computational Mathematics010201 computation theory & mathematicsF.4.3F.2.2Boolean satisfiability problemACM Transactions of Computational Logic
researchProduct

A Relational Tsetlin Machine with Applications to Natural Language Understanding

2021

TMs are a pattern recognition approach that uses finite state machines for learning and propositional logic to represent patterns. In addition to being natively interpretable, they have provided competitive accuracy for various tasks. In this paper, we increase the computing power of TMs by proposing a first-order logic-based framework with Herbrand semantics. The resulting TM is relational and can take advantage of logical structures appearing in natural language, to learn rules that represent how actions and consequences are related in the real world. The outcome is a logic program of Horn clauses, bringing in a structured view of unstructured data. In closed-domain question-answering, th…

FOS: Computer and information sciencesComputer Science - Machine LearningComputer Science - Logic in Computer ScienceComputer Science - Computation and LanguageI.2.4Computer Science - Artificial IntelligenceComputer Networks and CommunicationsI.2.7Machine Learning (cs.LG)Logic in Computer Science (cs.LO)Artificial Intelligence (cs.AI)Artificial IntelligenceHardware and ArchitectureComputation and Language (cs.CL)I.2.7; I.2.4SoftwareInformation Systems
researchProduct

"Table 2" of "Precise study of the Z/gamma* boson transverse momentum distribution in ppbar collisions using a novel technique"

2011

The measured PHI* distributions for the dimuon events corrected back to the particle level. The distributions are normalised to unity inidividually for each abs(yrap) bin and channel.

InclusiveSingle Differential Cross SectionDSIG/DPHI20477612047761Di-Muon ProductionZ ProductionPBAR P --> MU+ MU- XPBAR P --> GAMMA* XPBAR P --> Z0 XAzimuthal Angular Dependence1960.0Muon production
researchProduct

"Table 7" of "Measurement of $Z / \gamma^\ast +jet+X$ angular distributions in $p \bar{p}$ collisions at $\sqrt{s}=1.96$ TeV"

2009

Individual percentage contributions to the systematic error for the binning in PHI(P=3)-PHI(P=4) for Z/GAMMA* transverse momentum > 25 GeV.

InclusiveSingle Differential Cross SectionDSIG/DPHI20477612047761Z ProductionAstrophysics::High Energy Astrophysical PhenomenaPBAR P --> Z0 JET XJet ProductionNuclear ExperimentPBAR P --> GAMMA* JET XAzimuthal Angular Dependence1960.0
researchProduct

"Table 2" of "Measurement of $Z / \gamma^\ast +jet+X$ angular distributions in $p \bar{p}$ collisions at $\sqrt{s}=1.96$ TeV"

2009

Differential cross section in bins of PHI(P=3)-PHI(P=4) for Z/GAMMA* transverse momentum > 45 GeV.

InclusiveSingle Differential Cross SectionDSIG/DPHI20477612047761Z ProductionAstrophysics::High Energy Astrophysical PhenomenaPBAR P --> Z0 JET XJet ProductionNuclear ExperimentPBAR P --> GAMMA* JET XAzimuthal Angular Dependence1960.0
researchProduct

"Table 1" of "Measurement of $Z / \gamma^\ast +jet+X$ angular distributions in $p \bar{p}$ collisions at $\sqrt{s}=1.96$ TeV"

2009

Differential cross section in bins of PHI(P=3)-PHI(P=4) for Z/GAMMA* transverse momentum > 25 GeV.

InclusiveSingle Differential Cross SectionDSIG/DPHI20477612047761Z ProductionAstrophysics::High Energy Astrophysical PhenomenaPBAR P --> Z0 JET XJet ProductionNuclear ExperimentPBAR P --> GAMMA* JET XAzimuthal Angular Dependence1960.0
researchProduct

"Table 8" of "Measurement of $Z / \gamma^\ast +jet+X$ angular distributions in $p \bar{p}$ collisions at $\sqrt{s}=1.96$ TeV"

2009

Individual percentage contributions to the systematic error for the binning in PHI(P=3)-PHI(P=4) for Z/GAMMA* transverse momentum > 45 GeV.

InclusiveSingle Differential Cross SectionDSIG/DPHI20477612047761Z ProductionAstrophysics::High Energy Astrophysical PhenomenaPBAR P --> Z0 JET XJet ProductionNuclear ExperimentPBAR P --> GAMMA* JET XAzimuthal Angular Dependence1960.0
researchProduct

"Table 1" of "Precise study of the Z/gamma* boson transverse momentum distribution in ppbar collisions using a novel technique"

2011

The measured PHI* distributions for the dielectron events corrected back to the particle level. The distributions are normalised to unity inidividually for each abs(yrap) bin and channel.

InclusiveSingle Differential Cross SectionDSIG/DPHI20477612047761Z ProductionElectron productionPBAR P --> E+ E- XPBAR P --> GAMMA* XPBAR P --> Z0 XAzimuthal Angular Dependence1960.0
researchProduct

2,4-Dimetoksibenzaldehīda kondensācija ar etilcianoacetātu jonu šķidrumu vidēs

2019

2,4-Dimetoksibenzaldehīda kondensācija ar etilcianoacetātu jonu šķidrumu vidēs. Maševska Z., zinātniskais vadītājs prof., Dr.h.ķīm. Zicmanis A. Maģistra darbs, 54 lappuses, 14 attēli, 10 tabulas, 66 literatūras avoti, 19 pielikumi. Latviešu valodā. Darbā apkopota literatūra par jonu šķidrumu iegūšanas metodēm, to attīrīšanu, toksiskajām īpašībām, fizikāli-ķīmiskajām īpašībām. Apkopota informācija par Knēvenāgela kondensācijas reakcijas principiem. Sintezēti 17 strukturāli atšķirīgi jonu šķidrumi. Veiktas Knēvenāgela kondensācijas reakcijas jonu šķidrumu vidēs, izvērtēti iegūtie rezultāti. Iegūtie rezultāti salīdzināti ar citiem līdzīgiem pētījumiem.

KNĒVENĀGELA KONDENSĀCIJAS REAKCIJASETILCIANOACETĀTSBĀZISKIE JONU ŠĶIDRUMI24-DIMETOKSIBENZALDEHĪDSĶīmija
researchProduct

L. Fiorentini, Strattide. Testimonianze e frammenti

2018

UNESCO::CIENCIAS DE LAS ARTES Y LAS LETRAS:CIENCIAS DE LAS ARTES Y LAS LETRAS [UNESCO]Strattide. Testimonianze e frammenti RedondoJordi 254 2571135-9560 8276 Studia philologica valentina 514939 2018 20 6886199 L. Fiorentini
researchProduct