Computer science project topics

Get Complete Project Material File(s) Now! » Cross-frequency coupling Cross-frequency coupling (CFC) The characterization of neural oscillations have given rise to important mechanistic hypotheses regarding their functional role in neurosciences (Buzsáki, 2006, Fries, 2015). One working hypothesis suggests that the...

Get Complete Project Material File(s) Now! » Packet oriented communications systems Nowadays, wireless communications system are often based on layer models such as the Open Systems Interconnection (OSI) model which works as follows. The incoming packet at a given layer...

Get Complete Project Material File(s) Now! » Receiver-Driven Connection-less Transport In contrast with the current sender-based TCP/IP model, ICN transport is receivercontrolled, it does not require connection instantiation and it accommodates retrieval from possibly multiple dynamically discovered sources (chapter 4)....

Get Complete Project Material File(s) Now! » Web Attacks and Hosting Providers Several works have studied the threats that affect websites all around the world as well as users visiting infected pages [86, 92–94]. Research has been focusing also on...

Get Complete Project Material File(s) Now! » Uniform approximation of generalized U-statistics through sampling As will be seen below, the statistics considered in the previous section are (generalized) U-statistics, which can be uniformly approximated by Monte-Carlo versions whose computation cost...

Get Complete Project Material File(s) Now! » EKF SLAM Inconsistency: Previous Literature EKF inconsistency is defined as the fact that the filter returns a covariance matrix that is too optimistic [48], leading to inaccurate estimates. EKF inconsistency in the con-...

Get Complete Project Material File(s) Now! » The light (monotone)functional interpretation By LD-interpretation (a short for “Light Dialectica Interpretation”) we call below our adaptation of G¨odel’s functional “Dialectica” interpretation [45] to the extraction of (more) efficient programs from (classical) proofs....

Get Complete Project Material File(s) Now! » Maximum Spanning Trees and Forests A spanning tree of a graph is a tree (a connected graph without cycles) connecting all the nodes of the graph. The weight of a spanning tree is...

Get Complete Project Material File(s) Now! » Proof theory and computation In the general context of the study of computation, approaches to proof theory traditionally fall into two categories. In the computation-as-proof-normalisation approach, proofs model programs in functional languages. The...