Computer science project topics

Get Complete Project Material File(s) Now! » Excluded middle and proof irrelevance In the constructive type theory implemented by the Coq system, the excluded middle principle does not hold in general for any statement expressed in the Prop sort. It...

Get Complete Project Material File(s) Now! » Standard and Nested Proof Theory This chapter is concerned with the basics of the » structural approach « to proof theory, and it provides background for the rest of the document, starting with...

Get Complete Project Material File(s) Now! » Expressiveness A fundamental part of the research in computability, and linguistic formalisms, in particular, has involved the expressiveness of syntactic variants. This includes questions such as whether a given fragment of a logic...

Get Complete Project Material File(s) Now! » Architectures proposed by SDO Standards have been viewed as a mechanism to avoid vendor lock-in [25]. Specifically, standards provide (i) a broad agreement over a well-defined scope; (ii) a well-accepted policy and intellectual...

Get Complete Project Material File(s) Now! » Montgomery Reduction Montgomery [Mon85] introduces a MR algorithm that avoids computing the costly naive division. The idea is to use an auxiliary number r by which the MR and the division are straightforward....

Get Complete Project Material File(s) Now! » Design of WSN Simulator The design, development, and deployment of sensor networks are application specific, mainly because of the distinctiveness of the considered deployment environment. Reliable generic predictive models for radio propagation or...

Get Complete Project Material File(s) Now! » Significant cognitive agent architectures Different models and architectures, like BDI (Belief-Desire-Intention), SOAR (State, Operator, and Result) and ACT-R (Adaptive Components of Thought-Rational) are developed to build cognitive frameworks for intelligent agents in order...

Get Complete Project Material File(s) Now! » Application to Military Vessels Accidents caused by the failure modes considered in the second generation intact stability criteria may be fatal (see the report of the accident occurred to the Chicago Express off...

Get Complete Project Material File(s) Now! » Believable Characters in Video Games This thesis focuses on the design of believable characters in virtual envi- ronments. However, there are a lot of different environments. The choice of one environment has a...