Preguntas etiquetadas con soft-question

Asistiré a mi primera conferencia de ciencias de la computación y después de leer los consejos sobre cómo mejorar las conferencias , noté que varias sugerencias eran sobre estudiantes graduados que asistían a su primera conferencia. ¿Qué consejo tiene para un estudiante graduado que asiste a su primera conferencia y …

25 soft-question  big-list  conferences 

Estaba leyendo esto . Dice ... No te encontrarás con hambre de financiación como Pure Mathematics. (Todavía siempre te encontrarás hambriento de fondos) ... ¿Por qué los matemáticos puros necesitan financiación? (Ooops su pregunta de overflow matemático) ¿Por qué alguien que realiza una investigación teórica necesita financiación? Creo que las …

25 soft-question  career 

Recientemente enseñé expansores e introduje la noción de gráficos Ramanujan. Michael Forbes preguntó por qué se les llama así, y tuve que admitir que no lo sé. ¿Nadie?

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

Supongo que leí demasiados documentos ambiciosos de CoRR . El problema es que esos documentos no son revisados ​​por pares, pero a menudo suenan interesantes y pasan verificaciones básicas de plausibilidad. O tal vez no, y solo necesito mejorar mis verificaciones de plausibilidad. Aquí hay una muestra reciente de tales …

24 soft-question  graph-isomorphism  paper-review  ppad 

Estoy buscando un libro sobre estructuras de datos avanzadas que vaya más allá de lo que se cubre en los libros de texto estándar como Cormen, Leiserson, Rivest y Stein "Introducción a los algoritmos". Un libro que se puede usar para enseñar un curso de posgrado sobre estructuras de datos …

24 soft-question  ds.data-structures  survey  books 

En su respuesta a esta pregunta , Stephane Giménez me señaló un algoritmo de normalización de tiempo polinómico para pruebas en lógica lineal. La prueba en el documento de Girard utiliza redes de prueba, que son un aspecto de la lógica lineal que realmente no conozco mucho. Ahora, he tratado …

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

Existen muchas aplicaciones de análisis real en ciencias de la computación teóricas, que abarcan las pruebas de propiedad, la complejidad de la comunicación, el aprendizaje PAC y muchos otros campos de investigación. Sin embargo, no puedo pensar en ningún resultado en TCS que se base en análisis complejos (fuera de …

24 soft-question  big-picture 

Además de ser completamente académico y obtener un doctorado / postdoctorado, o buscar un trabajo más o menos "estándar" en el desarrollo de software, ¿cuáles son otras opciones de carrera en el campo de CS completo o semi teórico?

24 soft-question  advice-request  career 

Veamos el futuro dentro de 30 años. Seamos optimistas y asumamos que las áreas relacionadas con el aprendizaje automático continúan desarrollándose tan rápido como lo que hemos visto en los últimos 10 años. Eso sería genial, pero ¿cuál sería el papel de los algoritmos tradicionales en un futuro así? Aquí, …

23 ds.algorithms  soft-question  machine-learning 

Por lo que entiendo (que es muy poco, ¡así que corrígeme donde me equivoco!), La teoría de los lenguajes de programación a menudo se ocupa de las pruebas "intuicionistas". En mi propia interpretación, el enfoque requiere que tomemos en serio las consecuencias del cálculo en la lógica y la demostrabilidad. …

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

Hace poco recibí mis documentos rechazados de revistas (es decir, TALG) por el simple hecho de no tener una diferencia significativa entre la versión de la revista y los procedimientos (es decir, SODA). Las principales razones para que me envíe a una revista es su minucioso proceso de revisión. Aparte …

23 soft-question  research-practice  conferences  journals 

Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas sean respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente solicitará debate, argumentos, encuestas o discusión extendida. Si cree que esta pregunta se puede mejorar y posiblemente volver a …

23 soft-question  big-list  paper-review 

Me preguntaba qué herramientas utilizan las personas en este campo (informática teórica) para crear presentaciones. Dado que gran parte de la informática no es solo escribir documentos sino también hacer presentaciones, pensé que esta sería una pregunta suave importante. Esto se inspira en la pregunta anterior, ¿ qué herramientas utilizas …

23 soft-question  research-practice  writing 

En el artículo "LA COMPLEJIDAD DE LOS PROBLEMAS DE SATISFIABILIDAD" de Thomas J. Schaefer, el autor ha mencionado 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 …

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

Esto se trata de cuán efectivamente podemos expresar un algoritmo a mano. Necesito esto para mi enseñanza de pregrado. Entiendo que no existe una forma estándar de escribir un pseudocódigo. Diferentes autores siguen diferentes convenciones. Sería útil si las personas aquí señalan la forma en que siguen y piensan cuál …

22 ds.algorithms  soft-question  advice-request  writing