functionalprogramming languages, which emphasize a paradigm in which code modules return a value, have traditionally been used primarily in research and academia rather than in commercial software development and tes...
详细信息
the existing solution to the privacy preserving linear programming, can leak the user's private data when the data is much less. In this paper, the secure multiparty computation is generalized to the problem of pr...
详细信息
ISBN:
(纸本)9781479944194
the existing solution to the privacy preserving linear programming, can leak the user's private data when the data is much less. In this paper, the secure multiparty computation is generalized to the problem of privacy-preserving linear programming, and we present a computing protocol of privacy-preserving linear programming. the protocol is applied to consider the problem of linear programming with less and vertically distributed data, not only the maximum value of the original linear programming can be calculated in the case having optimal solution, but also the private data of all participants can be protected in the calculation.
We used megavariate analysis techniques to analyze the post-practice reflection data collected by our programming tutors. We found that correctly solving the problem is closely associated withthe number of attempts n...
ISBN:
(纸本)9780769529165
We used megavariate analysis techniques to analyze the post-practice reflection data collected by our programming tutors. We found that correctly solving the problem is closely associated withthe number of attempts needed by the learner to identify the underlying concept during reflection.
Lisp is one of the basic functionalprogramming languages. there are many modifications and implementations of language dialects, but stable and simple implementations that have proven their reliability over time are ...
详细信息
Can lambda calculus be transformed to an artistic expression and if so, what could it sound like? this paper discusses the CodeKlavier's Ckalculator: an arithmetic calculator for the piano following lambda calculu...
详细信息
ISBN:
(纸本)9781450368117
Can lambda calculus be transformed to an artistic expression and if so, what could it sound like? this paper discusses the CodeKlavier's Ckalculator: an arithmetic calculator for the piano following lambda calculus principles. the CodeKlavier is aspiring to become a performative programming language for the piano and the Ckalculator is the fourth sub-system in its development. As a well understood formalisation of computation, lambda calculus is utilised as the foundation of the Ckalculator in order to help us achieve a transition from a coding system to a computer programming language. Performing lambda calculus withthe piano adds a conceptual, creative and performative dimension to otherwise simple arithmetic operations. this paper gives a brief introduction to the project, discusses the motivation, the system, and its artistic application before reflecting on the project's future.
this paper presents a case study of participation in a programming contest to stimulate student interest in learning programming. the hypothesis of this study is that students will be more willing to learn programming...
详细信息
ISBN:
(纸本)9781941763384
this paper presents a case study of participation in a programming contest to stimulate student interest in learning programming. the hypothesis of this study is that students will be more willing to learn programming if the programming experience is fun. the students were asked to create Android applications (apps) based on their own ideas, experience the fun of programming, and thus gain confidence and a sense of accomplishment. the students who participated in the programming contest began to learn programming voluntarily. In addition, when the application that they created did not run well, they initiated a trial and error process on their own. the programming contest provided students withthe goal of learning programming and a willingness to continue learning.
In this paper, an integer linear programming (ILP)-based algorithm in behavioral synthesis procedure was proposed to low down the peak temperature of chip and guarantee the performance of circuit. It has been founded ...
详细信息
ISBN:
(纸本)9781424411313
In this paper, an integer linear programming (ILP)-based algorithm in behavioral synthesis procedure was proposed to low down the peak temperature of chip and guarantee the performance of circuit. It has been founded on the observation that different behavioral synthesis results will significantly affect the power dissipation of functional units, which will further affect the thermal distribution of the chip. In order to avoid the overheating in one cycle or on one module, the concepts of peak cycle power and peak module power are introduced to restrict the maximum power dissipation in boththe temporal aspect and the spatial aspect. ILP formulations were modeled and constructed under the multiple supply voltages and multicycling scheme, which needs the support of parameterized functional units library. Experimental results on benchmarks indicate that withthe consideration of thermal-aware behavioral synthesis, our ILP-based algorithm on average reduces the peak temperature of functional units by 13.9 degrees C when compared to the thermal unaware synthesis flow.
As part of their education, Computer Science students develop hundreds of computer programs and receive only summative feedback on the end results of their program designs and code. We demonstrate a need for a formati...
详细信息
ISBN:
(纸本)9780769529165
As part of their education, Computer Science students develop hundreds of computer programs and receive only summative feedback on the end results of their program designs and code. We demonstrate a need for a formative feedback mixed-initiative system able to reflect on the progress of students, and identify opportunities to prompt students when they venture into 'poor' programming styles.
We present a model of jazz improvisation where short-term decision making by each performer is modeled as a function from contexts to music. Contexts can be shared, such as an agreed-upon chord progression, or they ca...
详细信息
ISBN:
(纸本)9781450368117
We present a model of jazz improvisation where short-term decision making by each performer is modeled as a function from contexts to music. Contexts can be shared, such as an agreed-upon chord progression, or they can also be private-a current state for each musician. We formalize this model in Haskell to generate potentially infinitely long jazz improvisations, and we have also used the same model in Python to support real-time human-computer interaction through jazz.
暂无评论