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

Suponha que você esteja se encontrando com programadores que fizeram alguns cursos profissionais de programação (/ pensamento próprio), mas não estudaram matemática em nível universitário. Para mostrar a eles a beleza do TCS, gostaria de reunir alguns bons resultados / perguntas abertas provenientes do TCS, que podem ser facilmente explicados. …

13 soft-question  big-list  big-picture  teaching 

Fora da academia, quais são os usos dos meus 'poderes'? O que posso fazer além de ensinar e publicar artigos? Onde todos posso aplicar meus poderes? Por uma questão de argumento: Por favor, assuma que eu tenho um PhD em algoritmos / TCS e aprendi uma grande quantidade de 'coisas' …

13 soft-question  big-picture  career 

Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por resposta.

13 reference-request  soft-question  big-list  ho.history-overview 

Estou à procura de alguns conselhos e feedback. Formação: Sou estudante de matemática, com interesse em ciência da computação teórica (complexidade computacional, teoria de grafos, combinatória). Quero fazer um doutorado em Ciência da Computação e focar na teoria. Minha formação é em áreas matematicamente intensivas da ciência da computação, mas …

13 soft-question  career 

A teoria dos compiladores parece ser um assunto bastante analisado. Quais são alguns problemas em aberto ou pesquisas atuais acontecendo no campo?

13 soft-question  big-list  open-problem  compilers 

a complexidade computacional envolve grandes quantidades de combinatória e teoria dos números, algumas ingridiências da estocástica e uma quantidade emergente de álgebra. No entanto, como analista, pergunto-me se existem aplicações de análise nesse campo, ou talvez idéias inspiradas pela análise. Tudo o que sei que corresponde ligeiramente a isso é …

13 cc.complexity-theory  reference-request  soft-question  big-picture 

Isso está relacionado à questão geral de " Como faço para arbitrar um artigo? ". Estou revendo um artigo para uma conferência, e este artigo deve ser rejeitado, porque não é significativo o suficiente para publicação e apresenta falhas em alguns de seus detalhes técnicos. O artigo não está errado, …

13 soft-question  paper-review 

Eu sou um estudante de terceiro ano de uma universidade dos "top 20" que trabalha com complexidade refinada (muitas brincadeiras com 3-SUM, OV e as habituais conjecturas populares de dureza). Tenho sido bastante produtivo nos últimos anos e tenho três artigos aceitos e dois artigos submetidos. Tudo isso para dizer …

12 soft-question 

Eu tenho tentado entender o que, por que e como do -calculus, mas não consigo entender o porquê "funciona"?λλ\lambda "Intuitivamente", obtenho o modelo de computabilidade da Turing Machines (TM). Mas essa distração me deixa confusa.λλ\lambda Vamos supor que as TMs não existem - então como alguém pode ser "intuitivamente" convencido …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Eu não sou um cientista da computação teórico. Sou um teórico estável da homotopia usando -categories. Vi aplicações da teoria das categorias e da teoria topos à ciência da computação teórica, e fiquei imaginando se havia alguma maneira de usar -categories (e de preferência para mim, a teoria da homotopia …

12 lo.logic  soft-question  ct.category-theory 

Estou no meu segundo ano em um mestrado que não se relaciona muito com o TCS, embora eu desejasse. É basicamente sobre teoria de controle, sinais e sistemas e participei de aulas em sistemas avançados (robusto, não linear, ideal, estocástico), processamento avançado de sinais e otimização convexa. Estou tentando descobrir …

12 reference-request  soft-question 

A geometria computacional é uma área que eu acho bastante interessante e gostaria de dedicar cerca de um mês ou dois a um projeto que me apresente isso e me ajude a aprender os principais conceitos. Qual é uma boa maneira de abordar isso e quais são os principais conceitos …

12 soft-question  cg.comp-geom 

Pedimos desculpas antecipadamente por isso, uma pergunta suave que não tem resposta correta e fechada. Este é provavelmente o melhor fórum para fazer minha pergunta. Eu sou um estudante de terceiro ano do grupo de teoria de uma das 15 melhores escolas dos EUA. Até agora, tenho feito decentemente bem. …

12 soft-question  advice-request 

Em um trabalho de conferência, a fim de provar a -completeness de um problema, eu escrevi a frase estúpida "É claro que o problema está no N P . Então, vamos provar que é N P -Hard". De fato, não estava claro. Parece até ser um problema em aberto. Para …

11 soft-question  conferences  journals 

No passado, os periódicos eram a principal forma de divulgação e verificação de descobertas científicas / matemáticas. Em algumas áreas, eles ainda são. No entanto, na ciência da computação (teórica) esse papel é quase inteiramente desempenhado por conferências e disseminação aberta na Web (por exemplo, arxiv ou páginas pessoais). Ainda …

11 soft-question  journals