14
votes
Accepted
Is an NP-hardness proof of an NP-hard problem considered a contribution?
There are venues that are interested by elegant proofs of existing results, see for instance the Symposium on Simplicity in Algorithms.
So yes, in some cases an elegant proof can be considered as a ...
- 1,655
13
votes
Accepted
Is it a bad idea to critique someone's paper in my first publication?
I think the same standards apply, regardless of whether it's your 1st or 100th publication. If you think you've found a mistake in a published paper, a common courtesy is to first contact the paper's ...
- 10.6k
11
votes
"Berman-Hartmanis Conjecture Separates NP From All Super-Poly. DTIME Classes" -- Worthy of arXiv.org?
I'm glad you are interested in complexity but there are some issues in your paper. Your techniques relativize and there is an oracle relative to which the Berman-Hartmanis conjecture is true and NP = ...
- 8,741
10
votes
When should one start looking at existing results in theoretical CS?
Scenario 1: You spend several months tinkering around with colorings, not reading any literature. After many failed attempts you finally discover one that works. Before you can write a paper about it, ...
- 29.4k
9
votes
Journals with quick reviewing
TheoretiCS, which was launched in late 2021, is a TCS journal that fits your description. It aims to give a first verdict (either reject, either conditional accept subject to the results being correct ...
- 9,697
9
votes
What is the best place to get BibTeX entries for ICLR and other machine learning papers?
For NeurIPS (previously NIPS), the NeurIPS website itself is a good source: look for a paper, go to its page, and click on the "BibTex" link. Here is a random sample (!):
ICML, COLT, and JMLR appear ...
- 4,481
7
votes
Accepted
What is the best place to get BibTeX entries for ICLR and other machine learning papers?
As an update, I noticed that DBLP has added ICLR to tracking as of today. Now it has ICLR papers and their bibtex available at https://dblp.uni-trier.de/db/conf/iclr/
- 86
7
votes
Are there any intersections between Theory A and Theory B?
One example (from my research field) is analysis of dynamical systems: in a (linear) dynamical system, you are given a matrix $A\in {\mathbb Q}^{d\times d}$ and you reason about various properties of $...
- 5,616
7
votes
Are there any intersections between Theory A and Theory B?
One cool example of work that straddles things that are typically considered theory A and things typically considered theory B are the lower bounds on the running time of the simplex algorithm with ...
- 18.2k
6
votes
Accepted
Where do people publish/submit their work on type theory?
You can follow the activities of the EUTypes network, and see what meeting are organized. The list of events is growing nicely. As for journals, I can think of Logical Methods in Computer Science and ...
- 29.4k
4
votes
Can theoretical computer science be combined with mechanism and information design and applications in financial markets
This depends on whether the CS department you are studying at has somebody working in this field. Some of them (at least three of the top ten in the U.S.) do, and some of them don't, and some of them ...
- 24.9k
3
votes
Are research papers hard to read?
Another reason why papers are often hard to read is because the authors have usually just figured out the result and don't have much hindsight or time to digest what they did.
When you write a paper, ...
- 9,697
3
votes
What would you advise someone who wants to do research as a hobby?
As already said, it is very difficult due to time, background, money and discipline. Generally, if you are able to make a contribution to the field, in principle you would get a PhD and could work as ...
- 583
3
votes
How should I perform research as an Undergraduate
Yes, ask your professor to give you a problem that you may solve as an undergraduate. You can also look for publications that say that the problems are appropriate for undergraduates.
I think that a ...
- 1,661
3
votes
Accepted
How to generate Skolem function in practice
First of all there are two Skolem transformations, one replaces universal quantifiers and preserves validity, the other one replaces existential quantifiers and preserves satisfiability of the formula....
- 274
3
votes
Research masters programs in theoretical computer science (with a focus on complexity theory)
You may find this link useful https://www.cs.princeton.edu/~smattw/masters/masters.html
(I would have commented, but my reputation is too low)
2
votes
Are there any intersections between Theory A and Theory B?
As far as I understand it, linear logic and "implicit complexity theory" use tools that are often found in Theory B (type theory, theory of programming languages, etc.) to capture and study complexity ...
- 37.8k
2
votes
Is there research on algorithmic design patterns?
There are many general techniques and meta-theorems. Unlike software engineering, in TCS we don't want to repeat things similar to what the others did, we want to create something new or solve an ...
- 3,440
2
votes
When should one start looking at existing results in theoretical CS?
My advice would be to follow the preference of your advisor and start reading the literature. Your advisor knows you and he selected the problem for you. That he lets the decision to you but expresses ...
- 6,665
2
votes
Areas of research and open problems in functional programming
The computational implications of homotopy type theory & higher type theory.
Homotopy type theory was invented and developed by a group of computer scientists and mathematicians as a new ...
- 1,195
2
votes
Are patents good sources for academic research?
Are patents good sources for academic research?
In general, a clear NO. Typically, patents are intentionally written in a diffuse language to cover as much ground as possible (without incuring the ...
- 91
1
vote
Are patents good sources for academic research?
Before answering the question: "I was wondering if patents are good sources for writing an academic paper or if I should steer clear from them?", I'd clearly determine the goal I'd want to achieve and ...
- 111
1
vote
What tools do you use to give presentations?
For drawing it is also convenient to use Inkscape instead of tikz: it can embed latex code with the plugin Textext, and you can directly draw what you want instead of starting worrying about ...
1
vote
What tools do you use to give presentations?
I use beamer + pdfpcnotes.sty to present with pdfpc which has the following features (according to their website):
Shows current and next slide
Support for notes, both as text and on slides (as ...
Only top scored, non community-wiki answers of a minimum length are eligible