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

Examinar perguntas através da lente algorítmica (isto é, do ponto de vista algorítmico ou da complexidade) tornou-se útil em disciplinas fora do 'domínio padrão' da ciência da computação. Em particular, o CS causou impacto na biologia através da biologia computacional, na física através do processamento quântico de informações, e a …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

No prefácio de seus livros muito influentes Automata, Languages ​​and Machines (Volumes A, B), Samuel Eilenberg prometeu tentativamente os Volumes C e D lidando com "uma hierarquia (chamada hierarquia racional) dos fenômenos não racionais ... usando relações racionais como uma ferramenta para comparação. Conjuntos racionais estão no fundo dessa hierarquia. …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Eu sou novo na área de CS e notei que em muitos dos artigos que li, não há resultados empíricos (nenhum código, apenas lemas e provas). Por que é que? Considerando que a Ciência da Computação é uma ciência, não deveria seguir o método científico?

31 soft-question  research-practice  writing 

Alguém ousa tentar esclarecer qual é a relação desses campos de estudo ou talvez até mesmo dar uma resposta mais concreta no nível dos problemas? Como o que inclui quais assumindo algumas formulações amplamente aceitas. Se eu entendi direito, quando você passa de SAT para SMT, está basicamente entrando no …

30 soft-question  sat  terminology 

Muitos especialistas acreditam que a conjectura é verdadeira e a usa em seus resultados. Minha preocupação é que a complexidade dependa fortemente da conjectura .P ≠ N PPNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Então, minha pergunta é: Desde que a conjectura não seja comprovada, alguém deve / deve considerá-la como uma …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Recentemente, um amigo meu (trabalhando no TCS) mencionou em uma conversa que "ele queria ver / conhecer todos (ou tanto quanto possível) os belos resultados do TCS em sua vida". Isso meio que me fez pensar sobre os belos resultados nessa área e, portanto, a motivação para a seguinte pergunta: …

29 soft-question  big-list 

Estou estudando recentemente Haskell e linguagens de programação. Alguém poderia recomendar alguns livros sobre teoria dos tipos?

28 soft-question  pl.programming-languages  type-theory 

Sendo engenheiro de software a maior parte da minha vida, não tenho absolutamente nenhuma idéia de como começar a publicar um tipo de papel "acadêmico". Durante minha pesquisa mais recente, encontrei um algoritmo interessante para a tarefa que resolvi (relacionado a alguns cálculos nos mercados financeiros). Não é um ótimo …

28 soft-question  research-practice  paper-review 

Além da ACM, IEEE computer Society, Google Scholar, qual é o melhor site para obter entradas de bibtex para artigos relacionados à ciência da computação?

28 soft-question  research-practice  paper-review  bibliography 

Apresentação agora apresentada. Slides disponíveis abaixo. Apresentar o trabalho em andamento é algo que todos devemos fazer para obter feedback antecipado e ajudar a cristalizar nossas idéias. Infelizmente, muitos estudantes de pós-graduação precisam de ajuda para superar esse obstáculo de apresentar pesquisas iniciais, mesmo que seja apenas para seu próprio …

28 soft-question  advice-request 

Sinto muito se esta pergunta é um pouco vaga, mas estou curioso para saber como os pesquisadores bem-sucedidos "sentem" os resultados no TCS. Por exemplo, álgebra linear pode ser entendida geometricamente ou em termos de suas interpretações físicas (vetores próprios podem ser considerados "pontos estáveis" em um sistema) etc.) Também …

27 soft-question  intuition 

Ouvi de alguns pesquisadores seniores em ciência da computação teórica que trabalhar em um emprego que não é de pesquisa, mesmo que por alguns anos, acabará com sua carreira como pesquisador da TCS. No entanto, desconfio da alegação de que o caminho de ser um pesquisador do TCS para um …

26 soft-question  advice-request  career 

Sobre quais tópicos do TCS ausentes na Wikipedia você mais gostaria de ter um artigo? Podem ser omissões gritantes ou apenas tópicos que você acha que realmente deveriam ter um artigo. Um tópico por resposta, para que os mais procurados possam ser votados. Atualização 5/2/2017 : Shuchi Chawla está liderando …

26 soft-question  big-list  survey 

Esta é minha primeira pergunta na pilha de histórias, portanto, não seja muito rude se eu estiver violando a etiqueta de alguma forma) Como sabemos, em matemática, mesmo matemáticos, astros e gênios famosos estão cometendo erros sérios de tempos em tempos. Por exemplo, o teorema de quatro cores e o …

26 soft-question  big-list 

Espero que essa não seja uma pergunta politicamente incorreta, mas para um estudante de doutorado que geralmente publica no CCC / ITCS / ICALP (e ocasionalmente no FOCS / STOC), poderia ser prejudicial (em termos de carreira) publicar trabalhos menos significativos em conferências de menor prestígio (por exemplo, MFCS, FCT, …

25 soft-question  career