On Play by Means of Computing Machines (Preliminary Version).

William J. Rapaport; Nimrod Megiddo; Avi Wigderson; Haim Gaifman; Silvio Micali; John C. Mitchell; Michael J. O'Donnell

doi:10.2307/2274561

Nimrod Megiddo and Avi Wigderson. On play by means of computing machines (preliminary version). Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 259–274. - Haim Gaifman. A theory of higher order probabilities. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 275–292. - Silvio Micali. Knowledge and efficient computation. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 353–362.

Journal of Symbolic Logic ◽

10.1017/s0022481200028838 ◽

1988 ◽

Vol 53 (2) ◽

pp. 669-670

Author(s):

William J. Rapaport

Keyword(s):

Higher Order ◽

Efficient Computation ◽

Preliminary Version ◽

Computing Machines ◽

Reasoning About Knowledge

Download Full-text

The Hierarchical Model of Exercise Dependence

Journal of Individual Differences ◽

10.1027/1614-0001/a000172 ◽

2015 ◽

Vol 36 (4) ◽

pp. 247-257 ◽

Cited By ~ 1

Author(s):

Gayatri Kotbagi ◽

Laurence Kern ◽

Lucia Romo ◽

Ramesh Pathare

Keyword(s):

Factor Analysis ◽

Confirmatory Factor Analysis ◽

Physical Exercise ◽

Exploratory Factor Analysis ◽

Convergent Validity ◽

Large Population ◽

Assessment Tools ◽

Negative Consequences ◽

Confirmatory Factor ◽

Preliminary Version

Abstract. Physical exercise when done excessively may have negative consequences on physical and psychological wellbeing. There exist many scales to measure this phenomenon. The purpose of this article is to create a scale measuring the problematic practice of physical exercise (PPPE Scale) by combining two assessment tools already existing in the field of exercise dependency but anchored in different approaches (EDS-R and EDQ). This research consists of three studies carried out on three independent sample populations. The first study (N = 341) tested the construct validity (exploratory factor analysis); the second study (N = 195) tested the structural validity (confirmatory factor analysis) and the third study (N = 104) tested the convergent validity (correlations) of the preliminary version of the PPPE scale. Exploratory factor analysis identified six distinct dimensions associated with exercise dependency. Furthermore, confirmatory factor analysis validated a second order model consisting of 25 items with six dimensions and four sub-dimensions. The convergent validity of this scale with other constructs (GLTEQ, EAT26, and The Big Five Inventory [BFI]) is satisfactory. The preliminary version of the PPPE must be administered to a large population to refine its psychometric properties and develop scoring norms.

Download Full-text

North-Western Measurement and Control Group: Chairman's address. Digital computing machines

Proceedings of the IEE - Part B Radio and Electronic Engineering ◽

10.1049/pi-b-1.1959.0363 ◽

1959 ◽

Vol 106 (25) ◽

pp. 26-26

Author(s):

T. Kilburn

Keyword(s):

Control Group ◽

And Control ◽

Measurement And Control ◽

Computing Machines ◽

North Western

Download Full-text

Fault-Tolerant Key Distribution (Preliminary Version)

10.21236/ada261489 ◽

1993 ◽

Author(s):

Michael Reiter ◽

Kenneth Birman ◽

Robert van Renesse

Keyword(s):

Fault Tolerant ◽

Key Distribution ◽

Preliminary Version

Download Full-text

Corrections for "On the lengths of proofs in the propositional calculus preliminary version"

ACM SIGACT News ◽

10.1145/1008311.1008313 ◽

1974 ◽

Vol 6 (3) ◽

pp. 15-22 ◽

Cited By ~ 11

Author(s):

Stephen Cook ◽

Robert Reckhow

Keyword(s):

Propositional Calculus ◽

Preliminary Version

Download Full-text

Six shades lighter: a bit-serial implementation of the AES family

Journal of Cryptographic Engineering ◽

10.1007/s13389-021-00265-8 ◽

2021 ◽

Author(s):

Sergio Roldán Lombardía ◽

Fatih Balli ◽

Subhadeep Banik

Keyword(s):

Block Cipher ◽

Block Ciphers ◽

Authenticated Encryption ◽

Current Standard ◽

Asic Circuit ◽

The Family ◽

Encryption And Decryption ◽

Preliminary Version ◽

Reduction In Area ◽

Bit Serial

AbstractRecently, cryptographic literature has seen new block cipher designs such as , or that aim to be more lightweight than the current standard, i.e., . Even though family of block ciphers were designed two decades ago, they still remain as the de facto encryption standard, with being the most widely deployed variant. In this work, we revisit the combined one-in-all implementation of the family, namely both encryption and decryption of each as a single ASIC circuit. A preliminary version appeared in Africacrypt 2019 by Balli and Banik, where the authors design a byte-serial circuit with such functionality. We improve on their work by reducing the size of the compact circuit to 2268 GE through 1-bit-serial implementation, which achieves 38% reduction in area. We also report stand-alone bit-serial versions of the circuit, targeting only a subset of modes and versions, e.g., and . Our results imply that, in terms of area, and can easily compete with the larger members of recently designed family, e.g., , . Thus, our implementations can be used interchangeably inside authenticated encryption candidates such as , or in place of .

Download Full-text