Preguntas etiquetadas con soft-question

¿Cuáles son las carreras típicas para los informáticos teóricos (personas con título de posgrado en informática teórica)? ¿Qué tipo de industrias e instituciones buscan el conocimiento teórico de la informática? ¿Qué carreras suelen examinar los informáticos teóricos?

13 soft-question  career 

Suponga que se está reuniendo con programadores que han tomado algunos cursos de programación profesional (/ pensamiento propio) pero no estudiaron matemáticas a nivel universitario. Para mostrarles la belleza de TCS, me gustaría reunir algunos buenos resultados / preguntas abiertas provenientes de TCS que puedan explicarse fácilmente. Un buen candidato …

13 soft-question  big-list  big-picture  teaching 

Fuera de la academia, ¿cuáles son los usos de mis 'poderes'? ¿Qué puedo hacer aparte de enseñar y publicar trabajos? ¿Dónde puedo aplicar todos mis poderes? En aras de la discusión: por favor, suponga que tengo un doctorado en algoritmos / TCS y he aprendido una gran cantidad de "cosas" …

13 soft-question  big-picture  career 

Para celebrar el cumpleaños número 100 de Alan Turing, quiero ver un documental sobre su vida. Sin embargo, hay varios documentales para elegir. ¿Qué documental sobre Alan Turing es tu favorito? Incluya solo un documental por respuesta.

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

Estoy buscando algunos consejos y comentarios. Antecedentes: soy un estudiante de pregrado en matemáticas, interesado en la informática teórica (complejidad computacional, teoría de grafos, combinatoria). Quiero obtener un doctorado en informática y centrarme en la teoría. Mi experiencia es en áreas matemáticamente intensivas de informática, pero me falta una experiencia …

13 soft-question  career 

La teoría del compilador parece ser un tema bastante investigado. ¿Cuáles son algunos problemas abiertos o investigaciones actuales que están ocurriendo en el campo?

13 soft-question  big-list  open-problem  compilers 

Esto está relacionado con la pregunta general de " ¿Cómo arbitro un trabajo? ". Estoy revisando un documento para una conferencia, y este documento debe ser rechazado, porque no es lo suficientemente significativo para su publicación y tiene fallas en algunos de sus detalles técnicos. El documento no está equivocado, …

13 soft-question  paper-review 

Soy un estudiante graduado de tercer año en una universidad "top 20" que trabaja en la complejidad fina (mucho jugando con 3-SUM, OV y las conjeturas de dureza populares habituales). He sido bastante productivo durante el último año más o menos y tengo 3 documentos aceptados y dos presentados. Todo …

12 soft-question 

He estado tratando de entender qué, por qué y cómo del cálculo pero no puedo entender "¿por qué funciona?"λλ\lambda "Intuitivamente" obtengo el modelo de computabilidad de Turing Machines (TM). Pero esta abstracción me deja confundido.λλ\lambda Supongamos que las TM no existen; entonces, ¿cómo puede uno estar "intuitivamente" convencido de la …

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

No soy un informático teórico. Soy un teórico de la homotopía estable que usa -categorías. He visto aplicaciones de la teoría de categorías y la teoría de topos a la informática teórica, y me preguntaba si había alguna forma de utilizar las categorías ∞ (y preferiblemente para mí, la teoría …

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

Estoy en mi segundo año en una maestría que no se relaciona demasiado con TCS, aunque desearía que lo hiciera. Básicamente se trata de teoría de control, señales y sistemas, y tomé clases en sistemas avanzados (robusto, no lineal, óptimo, estocástico), procesamiento avanzado de señales y optimización convexa. Estoy tratando …

12 reference-request  soft-question 

La geometría computacional es un área que me parece bastante interesante, y me gustaría dedicar aproximadamente un mes o dos a un proyecto que me presente a esto y me ayude a aprender conceptos clave. ¿Cuál es una buena manera de abordar esto y cuáles son los conceptos clave que …

12 soft-question  cg.comp-geom 

Disculpas de antemano por esta una pregunta suave que no tiene una respuesta cerrada y correcta. Este es probablemente el mejor foro para hacer mi pregunta. Soy un estudiante graduado de tercer año en el grupo de teoría de una de las 15 escuelas más importantes de EE. UU. Hasta …

12 soft-question  advice-request 

En un documento de conferencia, para probar la completitud de un problema, escribí la estúpida oración "Está claro que el problema está en N P. Por lo tanto, demostraremos que es N P- duro". De hecho, no estaba claro en absoluto. Incluso parece ser un problema abierto. Para el público …

11 soft-question  conferences  journals 

En el pasado, las revistas eran la principal forma en que los descubrimientos científicos / matemáticos se difundían y examinaban. En algunas áreas, todavía lo son. Sin embargo, en ciencias de la computación (teóricas) ese rol se realiza casi en su totalidad mediante conferencias y difusión abierta basada en la …

11 soft-question  journals