Perguntas com a marcação «soft-question»

Estarei participando da minha primeira conferência de ciência da computação e, depois de ler os conselhos sobre como melhorar as conferências , notei que várias sugestões eram sobre alunos de pós-graduação que participavam de sua primeira conferência. Que conselho você daria para um estudante de graduação que participe de sua …

25 soft-question  big-list  conferences 

Eu estava lendo isso . Diz ... Você não se sentirá faminto por fundos como a Matemática Pura. (Você sempre ficará faminto por financiamento.) ... Por que matemáticos puros precisam de financiamento? (Opa, sua pergunta sobre o excesso de matemática) Por que alguém que faz pesquisa teórica precisaria de financiamento? …

25 soft-question  career 

Recentemente, ensinei expansores e introduzi a noção de gráficos Ramanujan. Michael Forbes perguntou por que eles são chamados assim, e eu tive que admitir que não sei. Alguém?

25 graph-theory  soft-question  ho.history-overview  expanders 

Acho que li muitos documentos ambiciosos do CRR . O problema é que esses documentos não são revisados ​​por pares, mas costumam parecer interessantes e passam por verificações básicas de plausibilidade. Ou talvez não, e eu só preciso melhorar minhas verificações de plausibilidade. Aqui está uma amostra recente desses artigos: …

24 soft-question  graph-isomorphism  paper-review  ppad 

Estou procurando um livro sobre estruturas de dados avançadas que vão além do que é abordado em livros-texto padrão como Cormen, Leiserson, Rivest e "Introduction to Algorithms" de Stein. Um livro que pode ser usado para ministrar um curso de pós-graduação em estruturas avançadas de dados, como Erik Demaine e …

24 soft-question  ds.data-structures  survey  books 

Em sua resposta a essa pergunta , Stephane Gimenez me indicou um algoritmo de normalização em tempo polinomial para provas em lógica linear. A prova no artigo de Girard usa redes de prova, que são um aspecto da lógica linear de que eu realmente não sei muito. Agora, eu tentei …

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

Existem muitas aplicações de análises reais em ciência da computação teórica, cobrindo testes de propriedades, complexidade da comunicação, aprendizado do PAC e muitos outros campos de pesquisa. No entanto, não consigo pensar em nenhum resultado no TCS que dependa de análises complexas (fora da computação quântica, onde números complexos são …

24 soft-question  big-picture 

Além de se tornar totalmente acadêmico e obter um doutorado / pós-doutorado, ou procurar um emprego mais ou menos 'padrão' no desenvolvimento de software, quais são algumas outras opções de carreira no campo de CS completo ou semi-teórico?

24 soft-question  advice-request  career 

Vamos olhar para o futuro daqui a 30 anos. Vamos ser otimistas e assumir que as áreas relacionadas ao aprendizado de máquina continuam se desenvolvendo tão rapidamente quanto o que vimos nos últimos 10 anos. Isso seria ótimo, mas qual seria o papel da algorítmica tradicional em um futuro tão …

23 ds.algorithms  soft-question  machine-learning 

Pelo que entendi (que é muito pouco, por favor, corrija-me onde erro!), A teoria das linguagens de programação geralmente se preocupa com provas "intuicionistas". Na minha própria interpretação, a abordagem exige que levemos a sério as consequências da computação na lógica e na provabilidade. Uma prova não pode existir a …

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

Recentemente, estou recebendo meus artigos rejeitados de periódicos (por exemplo, TALG) com base apenas em não ter uma diferença significativa entre a versão do periódico e os procedimentos (por exemplo, SODA). As principais razões para eu enviar para uma revista é o seu processo de revisão completo. Fora isso, o …

23 soft-question  research-practice  conferences  journals 

Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que essa pergunta pode ser melhorada e possivelmente reaberta, visite o centro …

23 soft-question  big-list  paper-review 

Fiquei imaginando quais ferramentas as pessoas desse campo (ciência da computação teórica) usam para criar apresentações. Como grande parte da ciência da computação não está apenas escrevendo artigos, mas também fazendo apresentações, pensei que essa seria uma questão importante e delicada. Isso é inspirado na pergunta anterior, que ferramentas você …

23 soft-question  research-practice  writing 

No artigo "A COMPLEXIDADE DOS PROBLEMAS DE SATISFIABILIDADE", de Thomas J. Schaefer, o autor mencionou que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

É sobre a eficácia com que podemos expressar um algoritmo em questão. Eu preciso disso para o meu ensino de graduação. Entendo que não existe uma maneira padrão de escrever um pseudo-código. Diferentes autores seguem diferentes convenções. Seria útil se as pessoas aqui indicassem o modo como seguem e pensam …

22 ds.algorithms  soft-question  advice-request  writing