computer-science

Best computer-science universities in Europe?

I am in 11th grade and only one year left when I finish my school. I am sure I want to dedicate my life to programming. In my country the education's level is not so high as in Europe, so I want to emigrate and study not just for a diploma, but for knowledge too. So, what universities would you suggest me which has subject Computer-Scien...

What algorithms did Dijkstra develop?

I recently asked a question about one of the Dijkstra’s algorithms (shunting-yard). But almost everyone thought "Dijkstra's algorithm" meant his shortest path algorithm. What other algorithms has Dijkstra developed? ...

Learning networking fundamentals

Not having a CS degree has left large holes in my programming related knowledge. In particular I'd really like to learn some of the computer networking stuff I would have got in a good CS degree. The problem I really have is "not knowing what I don't know". So far I know I don't know anything about the following (as far as computer netw...

Real world example of Unification in First Order Logic?

I know this is only part of a programming question, but at the moment, I'm doing a little bit of logic programming. One thing I still don't understand correctly is Unification in First Order Logic. I read the Wikipedia article and it is more or less clear that the purpose is searching a term that unifies two sentences... There are also ...

Where to get all versions of x86 aka IA32 Instruction Set Architecture manuals

Hello, I know about Intel 64 and IA-32 Architectures Software Developer's Manuals. I also know that these cover all the legacy & old processor ISAs. But I want the individual manual (the one that released along with the processor) for each of the processors. I managed to find the 80386 manual EDIT: I'm starting bounty. ...

SAS(Statistical Analysis System) Career As a computer science student

Hi. I have completed MSc in Computer science this academic year. So I am fresher... While I am doing graduation and post graduation I did many projects using PHP and MySQL. Now I got opportunity to get into SAS(Statistical Analysis System) career, and I heard that SAS having better career growth than PHP developement. For the past 4 days...

Is Automata Theory dead?

I loved the course I took in Automata Theory and Formal Languages, so naturally I started looking around the interwebs to learn what happened since the time the books on which the course was based were written. What I discovered was that the list of stuff I wasn't familiar with seemed to be very short. For example, from the list of aut...

CS Education, where was it? Where is it now? Where is it going?

I'm planning on doing research into Computer Science education for my senior project and I could think of no better group of people to consult than the SO community. So, what do you think about the state of CS education in the United States (and the rest of the world, though I had planned on focusing on the US)? What do you feel are nec...

Computer Engineering Graduation Project Idea

We (a group of 4) are looking for interesting ideas for our final year project in Computer Engineering Department.. We prefer it software oriented, but a hardware idea will work as well.. Our current skills include: C++, C#, Java, SQL, ASP.NET, HTML/CSS, PHP Assembly, VHDL, Hardware design and some electronics Pattern Recognition an...

What is this Hash-like/Tree-like Construct Called?

I want to create a "Config" class that acts somewhere between a hash and a tree. It's just for storing global values, which can have a context. Here's how I use it: Config.get("root.parent.child_b") #=> "value" Here's what the class might look like: class Construct def get(path) # split path by "." # search tree for node...

Algorithm for optimally choosing actions to perform a task

There are two data types: tasks and actions. An action costs a certain time to complete, and a set of tasks this actions consists of. A task has a set of actions, and our job is to choose one of them. So: class Task { Set<Action> choices; } class Action { float time; Set<Task> dependencies; } For example the primary task could be "Get...

Computer Science taxonomy

I am developing web application where users have collection of tags. I need to create a suggestion list for users based on the similarity of their tags. For example, when a user logs in to the system, system gets his tags and search these tags in the DB of users and showing users who have similar tags. For instance if User 1 has followi...

what practical proofs are there about the Turing completeness of neural nets? what nns can execute code/algorithms?

I'm interested in the computational power of neural nets. It is generally accepted that recurrent neural nets are Turing complete. Now I was searching for some papers which proofs this. What I found so far: Turing computability with neural nets, Hava T. Siegelmann and Eduardo D. Sontag, 1991 I think this is only interesting from a th...

Masters in Computer Science

Hi, My name is Gautam. I come from India. I am extremely passionate about Web Development.. I like to build web applications all the time.. Can I make this web application building a full time profession? I have just graduated from bachelors... Is there a Master of Computer Science in Web Development? Can I choose Masters in Web Deve...

How do I implement graphs and graph algorithms in a functional programming language?

Basically, I know how to create graph data structures and use Dijkstra's algorithm in programming languages where side effects are allowed. Typically, graph algorithms use a structure to mark certain nodes as 'visited', but this has side effects, which I'm trying to avoid. I can think of one way to implement this in a functional langu...

Fitch Format Proofs - any resources around?

I am currently studying Fitch Format first order logic proofs. My lecturer follows closely Language, Proof and Logic by Jon Barwise. I am trying to do some proofs but I am having some trouble getting to understand how to do these proofs. As I have already read what Language Proof and Logic has to offer, I'd like to know if there are an...

3-cnf-sat with a twist question

If you change the 3-cnf-sat problem as follows: For each ci, ci = -xi1 OR -xi2 OR xi3 meaning exactly one of the variables appears without a negation. You are also given values (0 or 1) to some (or all) of the x's. You should be able to solve the problem (finding values of the x's that satisfy the problem or prove that it is unsatisfiabl...

What is a "Decentralized Uniqueness Algorithm"?

The function in COM to create a GUID (CoCreateGUID) uses a "Decentralized Uniqueness Algorithm", but my question is, what is it? Can anybody explain? ...

Finding the nth number of primes

I can not figure out why this won't work. Please help me from math import sqrt pN = 0 numPrimes = 0 num = 1 def checkPrime(x): '''Check\'s whether a number is a prime or not''' prime = True if(x==2): prime = True elif(x%2==0): prime=False else: root=int(sqrt(x)) for i in range(3,root,2): ...

Bits and storage

Pls can someone tell me two physical methods by which a bit of information can be stored in a device attached to a computer...Thanks. ...