the rapid growth of social media has made the Internet a critical platform for spreading misinformation, which shapes public opinion and harms society. Despite significant research in fake news detection, most probabi...
详细信息
ISBN:
(数字)9798331507817
ISBN:
(纸本)9798331507824
the rapid growth of social media has made the Internet a critical platform for spreading misinformation, which shapes public opinion and harms society. Despite significant research in fake news detection, most probabilistic efforts rely heavily on Naive Bayes, with limited exploration of other probabilistic models. this paper introduces a Bayesian network (BN) modelling-based framework for fake news detection, offering a probabilistic estimate of the likelihood of news being false. Unlike binary classification, this approach reflects human decision-making by evaluating three key questions: “who”, “what”, and “when”. Each module corresponds to a specific feature set, enabling nuanced reasoning about the news's credibility. the framework is flexible, allowing adjustments through expert input, knowledge bases, or real-world data. We validate the approach using a semi-synthetic dataset containing features from news content, user behaviour, and social context. the results highlight the framework's capacity to leverage expert knowledge, providing a more reliable and adaptive solution compared to traditional classifiers. the BN-based method demonstrates enhanced robustness, positioning it as a promising tool for tackling misinformation in an evolving digital landscape.
the proceedings contain 39 papers. the topics discussed include: graded computation tree logic with binary coding;exact exploration and hanging algorithms;embedding deduction modulo into a prover;exponentials with inf...
ISBN:
(纸本)364215204X
the proceedings contain 39 papers. the topics discussed include: graded computation tree logic with binary coding;exact exploration and hanging algorithms;embedding deduction modulo into a prover;exponentials with infinite multiplicities;classical and intuitionistic subexponential logics are equally expressive;on slicewise monotone parameterized problems and optimal proof systems for TAUT;a logic of sequentiality;environment and classical channels in categorical quantum mechanics;formal theories for linear algebra;energy and mean-payoff games with imperfect information;towards a canonical classical natural deduction system;coordination logic;second-order equational logic;fibrational induction rules for initial algebras;a sequent calculus with implicit term representation;new algorithm for weak monadic second-order logic on inductive structures;complexity results for modal dependence logic;and quantified differential dynamic logic for distributed hybrid systems.
Obesity, a condition influenced by genetic, environmental, and behavioral factors, poses significant health risks. this study leverages the GenObIA dataset, collected from January 2018 to June 2022, which includes ext...
详细信息
the proceedings contain 49 papers. the topics discussed include: Rhythm: harnessing data parallel hardware for server workloads;Paraprox: pattern-based approximation for data parallel applications;virtual ghost: prote...
详细信息
ISBN:
(纸本)9781450323055
the proceedings contain 49 papers. the topics discussed include: Rhythm: harnessing data parallel hardware for server workloads;Paraprox: pattern-based approximation for data parallel applications;virtual ghost: protecting applications from hostile operating systems;finding Trojan message vulnerabilities in distributed systems;REF: resource elasticity fairness with sharing incentives for multiprocessors;underprovisioning backup power infrastructure for datacenters;comprehending performance from real-world execution traces: a device-driver case;leveraging the short-term memory of hardware to diagnose production-run software failures;prototyping symbolic execution engines for interpreted languages;Q100: the architecture and design of a database processing unit;DianNao: a small-footprint high-throughput accelerator for ubiquitous machine-learning;disengaged scheduling for fair, protected access to fast computational accelerators;and KVM/ARM: the design and implementation of the Linux ARM hypervisor.
Various approaches can be used to solve dynamic optimization problems. For example, on the one hand, optimization algorithms can be restarted every time the problem changes. As this results in a loss of optimization p...
详细信息
the proceedings contain 63 papers. the topics discussed include: a parametric approach for smaller and better encodings of cardinality constraints;automated symmetry breaking and model selection in conjure;MinSAT vers...
ISBN:
(纸本)9783642406263
the proceedings contain 63 papers. the topics discussed include: a parametric approach for smaller and better encodings of cardinality constraints;automated symmetry breaking and model selection in conjure;MinSAT versus MaxSAT for optimization problems;counting spanning trees to guide search in constrained spanning tree problems;tractable combinations of global constraints;postponing optimization to speed up MAXSAT solving;solving weighted CSPs by successive relaxations;constraint-based program reasoning with heaps and separation;model combinators for hybrid optimization;a simple and effective decomposition for the multidimensional binpacking constraint;maintaining soft arc consistencies in BnB-ADOPT+ during search;solving string constraints: the case for constraint programming;blowing holes in various aspects of computational problems, with applications to constraint satisfaction;and focused random walk with configuration checking and break minimum for satisfiability.
Symbolic regression is a machine learning method withthe goal to produce interpretable results. Unlike other machine learning methods such as, e.g. random forests or neural networks, which are opaque, symbolic regres...
详细信息
the proceedings contain 21 papers. the topics discussed include: logical characterization of contextual hidden-variable theories based on quantum set theory;generators and relations for 2-Qubit Clifford+T operators;re...
the proceedings contain 21 papers. the topics discussed include: logical characterization of contextual hidden-variable theories based on quantum set theory;generators and relations for 2-Qubit Clifford+T operators;reducing 2-QuBit gate count for ZX-calculus based quantum circuit optimization;building qutrit diagonal gates from phase gadgets;complete flow-preserving rewrite rules for MBQC patterns with Pauli measurements;quantum linear optics via string diagrams;identification of causal influences in quantum processes;architecture-aware synthesis of phase polynomials for NISQ devices;encoding high-level quantum programs as SZX-diagrams;universal properties of partial quantum maps;the causal structure of semantic ambiguities;how to sum and exponentiate Hamiltonians in ZXW calculus;and diagrammatic analysis for parameterized quantum circuits.
We consider a practical extension of the classical dial-a-ride problem (DARP) called the electric autonomous DARP where electric and autonomous vehicles provide service for transportation requests with time windows. T...
详细信息
the proceedings contain 23 papers. the special focus in this conference is on Computability in Europe. the topics include: Elementarily Traceable Irrational Numbers;logic vs Topology on Regular ω -languages;subr...
ISBN:
(纸本)9783031369773
the proceedings contain 23 papers. the special focus in this conference is on Computability in Europe. the topics include: Elementarily Traceable Irrational Numbers;logic vs Topology on Regular ω -languages;subrecursive Graphs of Representations of Irrational Numbers;on the Complexity of Learning Programs;the Complexity of Finding Supergraphs;extending Wagner’s Hierarchy to Deterministic Visibly Pushdown Automata;On Guarded Extensions of MMSNP;turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics;structural Complexity of Rational Interactive Proofs;the Relationship Between Local and Global Structure in the Enumeration Degrees;physical Zero-Knowledge Proof for Ball Sort Puzzle;graph Subshifts;improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games;an O(√k) -Approximation Algorithm for Minimum Power k Edge Disjoint st-Paths;direct Construction of Scott Ideals;the Non-normal Abyss in Kleene’s Computability theory;a Constructive Picture of Noetherian Conditions and Well Quasi-orders;symmetry for Transfinite Computability;all Melodies Are Lost – Recognizability for Weak and Strong α -Register Machines;de Groot Duality for Represented Spaces;some Games on Turing Machines and Power from Random Strings.
暂无评论