Tabla de Contenidos: “…Seriously -- If you're stuck, relax -- Leave the room and go work somewhere else -- Get off the stinkin' computer -- Ignore the little voice that says, "I'm just a hack on crack from Hackensack. -- Go to the store where they sell the stuff…”

Tabla de Contenidos: “…14.1 Purely functional mutable state -- 14.2 A data type to enforce the scoping of side effects -- 14.2.1 A little language for scoped mutation -- 14.2.2 An algebra of mutable references -- 14.2.3 Running mutable state actions -- 14.2.4 Mutable arrays -- 14.2.5 A purely functional in-place quicksort -- 14.3 Purity is contextual -- 14.3.1 What counts as a side effect? …”

Tabla de Contenidos: “…D.6 Proof of Pr[U] 0.044 for 3 -- References -- Satisfiability Modulo Finite Fields -- 1 Introduction -- 1.1 Related Work -- 2 Background -- 2.1 Algebra -- 2.2 Ideal Membership -- 2.3 Zero Knowledge Proofs -- 2.4 SMT -- 3 The Theory of Finite Fields -- 4 Decision Procedure -- 4.1 Algebraic Reduction -- 4.2 Incomplete Unsatisfiability and Cores -- 4.3 Completeness Through Model Construction -- 5 Implementation -- 6 Benchmark Generation -- 6.1 Examples -- 7 Experiments -- 7.1 Comparison with Bit-Vectors -- 7.2 The Cost of Field Polynomials -- 7.3 The Benefit of UNSAT Cores -- 7.4 Comparison to Pure Computer Algebra -- 7.5 Main Experiment -- 8 Discussion and Future Work -- A Proofs of IdealCalc Properties -- B Proof of Correctness for FindZero -- C Benchmark Generation -- References -- Solving String Constraints Using SAT -- 1 Introduction -- 2 Preliminaries -- 3 Overview -- 4 Reducing the Alphabet -- 5 Propositional Encodings -- 5.1 Substitutions -- 5.2 Theory Literals -- 6 Refining Upper Bounds -- 6.1 Unsatisfiable-Core Analysis -- 7 Implementation -- 8 Experimental Evaluation -- 9 Conclusion -- References -- The GOLEM Horn Solver -- 1 Introduction -- 2 Tool Overview -- 3 Back-end Engines of GOLEM -- 3.1 Transition Power Abstraction -- 3.2 Engines for State-of-the-Art Model-Checking Algorithms -- 4 Experiments -- 4.1 Category LRA-TS -- 4.2 Category LIA-Lin -- 4.3 Category LIA-Nonlin -- 5 Conclusion -- References -- Model Checking -- CoqCryptoLine: A Verified Model Checker with Certified Results -- 1 Introduction -- 2 CoqCryptoLine -- 2.1 CryptoLine Language -- 2.2 The Architecture of CoqCryptoLine -- 2.3 Features and Optimizations -- 3 Walkthrough -- 4 Evaluation -- 5 Conclusion -- References -- Incremental Dead State Detection in Logarithmic Time -- 1 Introduction -- 2 Guided Incremental Digraphs -- 2.1 Problem Statement…”

Tabla de Contenidos: “…Figure 3.3: The OS 1st edition map of 1863 showing only the inner enclosure and with a path leading to the 'Strange Little Mound' recorded in the Name Book entry (Reproduced with the permission of the National Library of Scotland). -- Figure 3.4: The site as mapped by Christison (1900b: 81, fig. 37 -- Reproduced by kind permission of the Society of Antiquaries of Scotland). -- Figure 3.5: The RCAHMS survey of 1953. …”

“…Since the popularisation of the internet, low-income Brazilians have received little government support to help them access it. …”

“…And, as recent research has shown, even the literate scribes learned texts by repeated recitation, while the nonliterate ordinary people had little if any direct contact with written scrolls. …”

“…For instance, ChatGPT has little in common with algorithms that banks use to evaluate loan applicants. …”

“…From passes complete ratios to average transfer fees, the game has now been blitzed with statistics, but mostly they only confuse and hide the real story. …”

“…The past few decades have seen the legal system entering American popular culture like never before, from the media blitzes surrounding high-profile trials to the countless television programs in which judges rule on everyday disputes. …”
Sumario

“…This title presents the tale of how a little girl named Fern, with the help of a friendly spider, saved her pig Wilbur from the usual fate of nice fat little pigs…”

“…Unlike some modern object-oriented languages, C provides little linguistic support or motivation for creating reusable application programming interfaces (APIs). …”

“…In 'Modern Moral Philosophy' (1958), she claimed that the term moral, understood as picking out a special, sui generis category, is literally senseless and should therefore be abandoned. …”

“…"It has long been contended that the Indian Constitution of 1950, a document in English created by elite consensus, has had little influence on India’s greater population. Drawing upon the previously unexplored records of the Supreme Court of India, A People’s Constitution upends this narrative and shows how the Constitution actually transformed the daily lives of citizens in profound and lasting ways. …”

“…When, in the first few weeks of his posting to the little-known Central Asian Republic of Uzbekistan, he comes across photographs of a political dissident who has literally been boiled to death, he ignores diplomatic nicety and calls it for what it is: torture of the cruelest sort. …”
Acceso a las primeras páginas
Sumario