A Computation Model of Acquisition for Children's Addition Strategies.

1991 ◽  
Author(s):  
Randolph M. Jones ◽  
Kurt VanLehn
Keyword(s):  
Computation Model

A Distributed Hierarchical Deep Computation Model for Federated Learning in Edge Computing

2021 ◽  
pp. 1-1
Author(s):  
Haifeng Zheng ◽  
Min Gao ◽  
Zhizhang Chen ◽  
Xinxin Feng
Keyword(s):  
Edge Computing ◽  
Computation Model

A Logically Justified Model of Computation I

1981 ◽  
Vol 4 (1) ◽  
pp. 151-172
Author(s):  
Pierangelo Miglioli ◽  
Mario Ornaghi
Keyword(s):  
Computer Science ◽  
Program Synthesis ◽  
Completeness Theorem ◽  
Point Of View ◽  
Program Execution ◽  
Computation Model ◽  
Clear Explanation ◽  
Direct Interpretation ◽  
Adequacy Condition ◽  
General Explanation

The aim of this paper is to provide a general explanation of the “algorithmic content” of proofs, according to a point of view adequate to computer science. Differently from the more usual attitude of program synthesis, where the “algorithmic content” is captured by translating proofs into standard algorithmic languages, here we propose a “direct” interpretation of “proofs as programs”. To do this, a clear explanation is needed of what is to be meant by “proof-execution”, a concept which must generalize the usual “program-execution”. In the first part of the paper we discuss the general conditions to be satisfied by the executions of proofs and consider, as a first example of proof-execution, Prawitz’s normalization. According to our analysis, simple normalization is not fully adequate to the goals of the theory of programs: so, in the second section we present an execution-procedure based on ideas more oriented to computer science than Prawitz’s. We provide a soundness theorem which states that our executions satisfy an appropriate adequacy condition, and discuss the sense according to which our “proof-algorithms” inherently involve parallelism and non determinism. The Properties of our computation model are analyzed and also a completeness theorem involving a notion of “uniform evaluation” of open formulas is stated. Finally, an “algorithmic completeness” theorem is given, which essentially states that every flow-chart program proved to be totally correct can be simulated by an appropriate “purely logical proof”.

Binomial Bit-Rate Computation Model Based on Wireless Channel

2012 ◽  
Vol 241-244 ◽  
pp. 2482-2486
Author(s):  
Wei Ming Yang ◽  
Jian Zhang ◽  
Jin Xiang Peng
Keyword(s):  
Solution Method ◽  
Rate Distortion ◽  
Wireless Channel ◽  
Video Communication ◽  
Bit Allocation ◽  
Bit Rate ◽  
Computation Model ◽  
Refresh Rate ◽  
Network Bandwidth ◽  
Inter Frame

For the encoding bit-rate problem in H.264 wireless video communication, the bit-rate computation model and the standard deviation distortion model were analyzed to establish the relation between the quantization parameter of encoding bit-rate and the intra-frame refresh rate of macroblocks, a new proposal of the coding rate thus put forward based on the general binomial computation model theory. Furthermore, this method not only can adaptively adjust the bit allocation and quantization parameters to prevent buffer from overflowing downward or upward under given network bandwidth, but also can apply the rate-distortion to perfect the solution method, control the encoding bits accurately and optimize the allocation between the inter-frame encoding macroblocks.

Research on the bit computation model for time variable channel bandwidth

2007 ◽  
Vol 12 (3) ◽  
pp. 442-446 ◽  
Author(s):  
Jian Zhang ◽  
Min Huang ◽  
Guoqiang Han
Keyword(s):  
Time Variable ◽  
Computation Model ◽  
Time Variable Channel ◽  
Channel Bandwidth

scholarly journals PC206. A Novel Computation Model of the Carotid Artery to Determine Fluid Dynamic Effects on Plaque Instability

2016 ◽  
Vol 63 (6) ◽  
pp. 217S
Author(s):  
Kristy Cosgrove ◽  
Scott J. Hymel ◽  
T. Cooper Woods ◽  
Damir B. Khismatullin ◽  
Hernan Bazan
Keyword(s):  
Carotid Artery ◽  
Fluid Dynamic ◽  
Dynamic Effects ◽  
Computation Model ◽  
Plaque Instability
Sign in / Sign up

Export Citation Format

Share Document