Results 71 to 80 of about 1,083,968 (197)
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report) [PDF]
, 2014 Monotonicity in concurrent systems stipulates that, in any global state, extant system actions remain executable when new processes are added to the state.
Kaiser, Alexander +2 more
core
Real-time fact-checking can change people’s opinion about a candidate, but only if the ratings are decisive. [PDF]
, 2017 Fact-checking of political events has become an important component of 21st century political campaigns. But does fact-checking actually influence how people vote? In new research, Amanda Wintersieck finds that voters’ evaluations of a candidate’s debate
Wintersieck, Amanda
core
Beyond the Battlefield: A Cross-European Study of Wartime Disinformation
Journalism and MediaRussia’s invasion of Ukraine has profoundly altered the global geopolitical landscape. Owing to its geographical proximity, the conflict has had a considerable impact on Europe.
Rocío Sánchez-del-Vas +1 more
doaj +1 more source
Automatic Stance Detection Using End-to-End Memory Networks
, 2018 We present a novel end-to-end memory network for stance detection, which jointly (i) predicts whether a document agrees, disagrees, discusses or is unrelated with respect to a given target claim, and also (ii) extracts snippets of evidence for that ...
Baly, Ramy +5 more
core +1 more source
Fact Checking with Insufficient Evidence
Transactions of the Association for Computational Linguistics, 2023 Pepa Atanasova +3 more
doaj +1 more source
Optical tomography of Fock state superpositions
, 2011 We consider optical tomography of photon Fock state superpositions in connection with recent experimental achievements. The emphasis is put on the fact that it suffices to represent the measured tomogram as a main result of the experiment.
Dodonov V V +8 more
core +1 more source
"More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking [PDF]
, 2003 The standard technique for LTL model checking ($M\models\neg\vi$) consists on translating the negation of the LTL specification, $\vi$, into a B\"uchi automaton $A_\vi$, and then on checking if the product $M \times A_\vi$ has an empty language.
Sebastiani, Roberto, Tonetta, Stefano
core +1 more source
Representating groups on graphs
, 2009 In this paper we formulate and study the problem of representing groups on graphs. We show that with respect to polynomial time turing reducibility, both abelian and solvable group representability are all equivalent to graph isomorphism, even when the ...
Dutta, Sagarmoy, Kurur, Piyush P
core +1 more source
Journal of Danubian Studies and Research, 2023 The problem of counteracting media manipulation has become particularly acute in the conditions of modern war. The author considers media literacy as a key competence of the future teacher.
Olha Shykyrynska
doaj
Forwarding Tables Verification through Representative Header Sets [PDF]
, 2016 Forwarding table verification consists in checking the distributed data-structure resulting from the forwarding tables of a network. A classical concern is the detection of loops.
Boufkhad, Yacine +5 more
core +3 more sources