Search results for "I.2.4"

showing 10 items of 12 documents

Kyotoprotokollens innvirkning på Norge

2006

Masteroppgave i økonomi og administrasjon 2006, Høgskolen i Agder, Kristiansand I første kapittel av Masteroppgaven omhandles nettopp temaet om Norges petroleumsindustriens framtid. Visjoner for framtiden er at Norge kan bli en industriell energinasjon i verdensklasse i flere generasjoner ved kobling av kunnskapsutvikling og kommersialisering av energiressurser. Det vil for eksempel være viktig med økt internasjonalisering som gir impulser til teknologi og organisasjonsutvikling og mer stabile, langsiktige arbeidsplasser i næringen. Ikke minst er internasjonalisering viktig for eksporten til norske leverandørindustrien. I kapittel 3 blir Kyotoprotokollen presentert. Dette er en global miljø…

VDP::Samfunnsvitenskap:200::Økonomi:210::Økonometri:214BE501
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

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

Continuum: A spatiotemporal data model to represent and qualify filiation relationships

2013

International audience; This work introduces an ontology-based spatio-temporal data model to represent entities evolving in space and time. A dynamic phenomenon generates a complex relationship network between the entities involved in the process. At the abstract level, the relationships can be identity or topological filiations. The existence of an identity filiation depends on whether the object changes its identity or not. On the other hand, topological filiations are based exclusively on the spatial component, like in the case of growth, reduction, merging or splitting. When combining identity and topological filiations, six filiation relationships are obtained, forming a second abstrac…

spatial dynamicsTheoretical computer sciencefiliationintegrity constraintsSpatio-temporal modelingspatio-temporal evolutionComputer scienceOntology (information science)Object (computer science)computer.software_genreSemantic data modelConsistency (database systems)[ INFO.INFO-HC ] Computer Science [cs]/Human-Computer Interaction [cs.HC]Data modelData integrityI.2.4 [ARTIFICIAL INTELLIGENCE]: Knowledge Representation Formalisms and Methods - Semantic networks. I.2.3 [ARTIFICIAL INTELLIGENCE]: Deduction and Theorem Proving - Inference engines.Identity (object-oriented programming)semanticreasoningData mining[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]computerSemantic Web
researchProduct

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

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

"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

"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