Theory
in [Programming]
|
Indexing of unlabled trees For labeled trees, there is the Pr�fer code which uniquely describe them. Does there exist something similar for unlabled trees? Thanks, M. K. Shen ... 10 Mar 2010 17:33
CFP with Extended Deadline of Mar. 21, 2010: The 2010 International Conference on Foundations of Computer Science (FCS'10), USA, July 2010 It would be greatly appreciated if this announcement could be shared with individuals whose research interests include theoretical foundations of computer science. Thanks. ------- CALL FOR PAPERS Paper Submission Deadline (EXTENDED): March 21, 2010 FCS'10 ... 10 Mar 2010 04:10
3SAT - Index Clause Classification I describe a method of classifying clauses in a 3SAT instance. One type of clause is always satisfiable in polynomial steps. Two other types of clauses are solvable in polynomial steps if certain conditions are met. Index set: a maximal set of independent clauses Index clause: a clause in the index set Index ... 9 Mar 2010 23:44
ICNAAM 2010 Mini-Symposium on Computational Bioimaging and Visualization Dear Colleague, Within the ICNAAM 2010 - 8th International Conference of Numerical Analysis and Applied Mathematics (http://www.icnaam.org), to be held in Rhodes, Greece, on 19-25 September 2010, we are organizing the Mini- Symposium on Computational Bioimaging and Visualization. Due to your research activitie... 9 Mar 2010 14:38
Turing Computable Fucntions and Circuit Families Is it true that given Turing computable function f, there exists a uniform family of circuits {Cn} that computes f? If this is true, how are the output of the Turing machine and the output bits of the circuits Cn related? Is there a standard reference where I can find out more about this? ... 12 Mar 2010 05:02
Call for Papers Reminder (extended): The World Congress on Engineering WCE 2010 CFP: The World Congress on Engineering WCE 2010 From: International Association of Engineers (IAENG) WCE 2010: London, U.K., 30 June - 2 July, 2010 http://www.iaeng.org/WCE2010 Draft Paper Submission Deadline (extended): 18 March, 2010 The WCE 2010 is organized by International Association of Engineers (IAENG... 9 Mar 2010 01:18
Call for papers: TMFCS-10, USA, July 2010 It would be highly appreciated if you could share this announcement with your colleagues, students and individuals whose research is in theoretical computing, complexity theory, algorithms, computational science and related areas. Call for papers: TMFCS-10, USA, July 2010 The 2010 International Conference on T... 7 Mar 2010 21:47
find minimal number of cliques covering a graph First of all: I only know some graph theory basics (with terms in German), so I'm not sure if all of the following will make sense to the reader ... This is a real problem converted into a graph theory problem. Given: a simple undirected graph without isolated vertexes G = (V, E) Wanted: a set of cliq... 6 Mar 2010 08:33
Seminar by Prof Mike Holcombe, 10 March 2009: Formal methods, supercomputers and simulation - understanding complex biological, economic and social systems (Apologies if you receive multiple copies of this announcement) BCS-FACS Evening Seminar Series Formal methods, supercomputers and simulation - understanding complex biological, economic and social systems Professor Mike Holcombe (Sheffield University) ... 5 Mar 2010 18:28
حصرياً فيلم الاكشن والخيال العلمى الرهيب Polar Storm 2009 بجودة DVDRip بمساحة 177 ميج ÍÕÑíÇ æÈÃäÝÑÇÏ ÊÇã Ýíáã ÈÏá ÝÇÞÏ äÓÎå DVDRip ÈãÓÇÍÉ 279 ãíÌÇ http://www.agd3as7ab.com/vb/showthread.php?t=2340 ÃÎíÑÇ ÇáäÓÎÉ ÇáÃÕáíÉ ãä Ýíáã ÃáÝ ãÈÑæß Dvdrip http://www.agd3as7ab.com/vb/showthread.php?t=2451 ÍÕÑíÇ Ýíáã ÇáÒãåáæíå äÓÎå DVDRip ÈãÓÇÍÉ 292 ãíÌÇ ÑæÇÈØ ÕÇÑæÎíå http://www.agd3as7ab.com/vb/showthread.php?t=2614 ... 5 Mar 2010 16:12 |