Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 53 for “"Checkers"”.
-
Spell checkers and correctors : a unified treatment
… to provide a unified treatment of various spell checkers and correctors. Firstly, the spell checking and correcting problems are formally described in mathematics in order to provide a better understanding of these tasks. An approach that is similar to the way in which denotational semantics used …
-
Full Custom VLSI Design of On-Line Stability Checkers
… design and testing process of On-Line Stability Checkers. The goals of this thesis are to construct and test Stability Checker designs, and to create a design template for future class projects in the EE 431 Computer-Aided Design (CAD) of VLSI Devices course at Cal Poly.</p> <p>A method for …
-
Are Fact-checks Effective Even for Those Who Distrust Fact-checkers?
… there is concern about growing distrust of fact-checkers, particularly among those on the political right. In Chapter II we investigate whether trust in fact-checkers moderates the efficacy of warning labels. Are warning labels from fact- checkers effective even for those who say they distrust …
-
Efficient Graph Techniques for Partial Scan Pattern Debug and Bounded Model Checkers
… Partial Scan Designs • Circuit SAT Bounded Model Checkers We developed a complete Interactive Scan Pattern Debugger Suite currently being used in the industry for next generation microprocessor design. The back end is an implication graph based sequential logic simulator which creates a Debug …
-
Appraisal of free online symptom checkers and applications for self-diagnosis and triage: An Australian evaluation
… convenient, cheap, and available 24/7. Symptom checkers are one tool used by consumers to investigate their health issues. Symptom checkers are automated online programs which use computerised algorithms, asking a series of questions to help determine a potential diagnosis and/or provide …
-
Scaling Up Fact-Checking Using the Wisdom of Crowds
… scale easily. Furthermore, some distrust fact-checkers because of alleged liberal bias. We explore a solution to these problems: using politically balanced groups of laypeople to identify misinformation at scale. Examining 207 news articles flagged for fact-checking by Facebook algorithms, we …
-
Efficient and proven verification of unreliable hardware executions of classic algorithms
… use unreliable hardware, combined with software checkers executed on reliable hardware, to gain high performance with no risk. Deterministic checkers for many important algorithms are asymptotically and practically more efficient than the original problem solvers, e.g. for systems of linear …
-
Deciding What's True: Fact-Checking Journalism and the New Ecology of News
… studies the new class of political fact-checkers, journalists who specialize in assessing the truth of public claims -- and who, it is argued, constitute a professional reform movement reaching to the center of the elite US news media. In less than a decade this emergent genre of news has …
-
ONLINE MISINFORMATION AND FACT-CHECKING
… integrating fact-checking services. These fact-checkers verify posts’ content and inform users about the posts’ veracity before engaging with them. While the efficacy of fact-checking on users has been studied in prior literature, little attention has been paid to the factors that determine the …
-
Transformations for linguistic steganography
… we propose different transformation checkers in order to certify the naturalness of a modified sentence. Our lexical substitution checkers are based on contextual n-gram counts and the αskew divergence of those counts derived from the Google n-gram corpus. For adjective deletion, we …
-
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
We implemented Delta Execution in two model checkers, JPF (Java PathFinder) and BOX (Bounded Object eXploration) to evaluate the effectiveness of this technique in model checkers with different designs. The results show that DeltaExecution improves the overall exploration in both tools, but the …
-
Practical pluggable types for Java
… evaluated the Checker Framework by writing five checkers and running them on over 600K lines of existing code. The checkers found real errors, then confirmed the absence of further errors in the fixed code. The case studies also shed light on the type systems themselves.
-
Multi-Stage LLM Reasoning for Automated Detection and Classification of High-Impact Misinformation
… hesitancy than misinformation flagged by fact-checkers. These narratives can work by omitting information, misleading framing, or cherry-picked evidence, forms of manipulation that can elude traditional fact-checking. Though professional fact-checkers are often able to recognize these tactics …
-
Declarative symbolic pure-logic model checking
… violating correctness properties. Existing model checkers are well-suited for analyzing control-intensive algorithms (e.g. network protocols with simple node state). Many important analyses, however, fall outside the capabilities of existing model checkers. Examples include checking algorithms …
-
Essays on Understanding and Combating Misinformation at Scale
… misinformation is the use of professional fact-checkers. This approach, however, is not scalable: Professional fact-checkers cannot possibly keep up with the volume of misinformation produced every day. Furthermore, many people see fact-checkers as having a liberal bias and thus distrust them. …
-
Model Checking Pointer Safety in Compiled Programs
… us to bypass limitations of other software model checkers with respect to the accepted input language, so that analysing code sections written in inline assembly does not represent a barrier for us. Our technique is especially designed for programs employing complex heap-allocated data structures …
-
An automata-based automatic verification environment
… A different class of examples is that of model checkers, such as SPIN and SMV. In this work, we describe our technique to increase the utility of DOVE by extending it with the capability to build systems by specifying components. This added utility is demonstrated with a concrete example from a …
-
PDL como uma linguagem de consulta para Constraint Automata
… codificação podemos utilizar por exemplos model checkers para validar especificações do componente Reo original.
-
Kredito rizikos prognozavimas naudojantis mašininio mokymosi algoritmu ,,XGboost" /
… drugs testing to implementing an analytical checkers program.
Page 1 of 3