Вопросы с тегом «soft-question»

Я буду участвовать в моей первой конференции по информатике, и после прочтения совета о том, как улучшить конференции, я заметил, что некоторые предложения касались аспирантов, посещающих их первую конференцию. Что вы посоветуете для аспиранта, посещающего его первую конференцию?

25 soft-question  big-list  conferences 

Я читал это . Это говорит ... Ты не будешь голоден, как Чистая Математика. (Вы все равно всегда будете нуждаться в финансировании.) ... Почему чистые математики нуждаются в финансировании? Зачем кому-то, проводящему теоретические исследования, нужно финансирование? Я думаю, что инструментами торговли являются бумага, карандаши, ноутбук с хорошим интернет-соединением и принтер …

25 soft-question  career 

Недавно я преподавал расширители и ввел понятие рамануджановских графов. Майкл Форбс спросил, почему их так называют, и я должен был признать, что не знаю. Кто угодно?

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

Я предполагаю, что я прочитал слишком много амбициозных статей CoRR . Проблема в том, что эти документы не рецензируются, но часто звучат интересно и проходят базовые проверки правдоподобия. Или, может быть, нет, и мне просто нужно улучшить проверку правдоподобия. Вот недавний образец таких работ: Деревья единственности: возможный полиномиальный подход к …

24 soft-question  graph-isomorphism  paper-review  ppad 

Я ищу книгу о продвинутых структурах данных, которая выходит за рамки того, что описано в стандартных учебниках, таких как Cormen, Leiserson, Rivest и Stein "Введение в алгоритмы". Книга, которую можно использовать для преподавания курса для выпускников по продвинутым структурам данных, таким как курс Advanced Data Structures Эрика Демайна и MIT …

24 soft-question  ds.data-structures  survey  books 

В своем ответе на этот вопрос , Стефан Хименес указал мне на алгоритм нормализации полиномиальное время для доказательств в линейной логике. В доказательстве в статье Жирара используются сети доказательств, которые являются аспектом линейной логики, о которой я на самом деле не очень много знаю. Я уже пытался читать статьи о …

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

Существует множество применений реального анализа в теоретической информатике, охватывающих тестирование свойств, сложность коммуникации, обучение PAC и многие другие области исследований. Тем не менее, я не могу думать о каком-либо результате в TCS, который опирается на комплексный анализ (за исключением квантовых вычислений, где комплексные числа являются неотъемлемой частью модели). У кого-нибудь …

24 soft-question  big-picture 

Помимо получения полной академической успеваемости и получения докторской / постдокументальной степени или перехода на более или менее «стандартную» работу по разработке программного обеспечения, какие существуют другие варианты карьерного роста в полной или полутеоретической области КС?

24 soft-question  advice-request  career 

Давайте посмотрим на будущее через 30 лет. Давайте будем оптимистичными и предположим, что области, связанные с машинным обучением, продолжают развиваться так же быстро, как мы видели за последние 10 лет. Это было бы здорово, но какова будет роль традиционной алгоритмики в таком будущем? Здесь под «традиционной алгоритмикой» я подразумеваю обычный …

23 ds.algorithms  soft-question  machine-learning 

Из того, что я понимаю (что очень мало, поэтому, пожалуйста, поправьте меня, где я ошибаюсь!), Теория языков программирования часто связана с "интуиционистскими" доказательствами. В моей собственной интерпретации, подход требует, чтобы мы серьезно относились к последствиям вычислений для логики и доказуемости. Доказательство не может существовать, если не существует алгоритма, строящего последствия …

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

Я недавно получаю свои статьи, отклоненные из журналов (то есть, TALG), просто из-за отсутствия значительной разницы между журналом и версией (то есть, SODA). Основными причинами для меня, чтобы представить в журнал является его тщательный процесс рецензирования. Помимо этого, ограничение в 20 страниц SODA более чем достаточно для всего, что я …

23 soft-question  research-practice  conferences  journals 

В настоящее время этот вопрос не очень подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, вызовет дебаты, споры, опрос или расширенное обсуждение. Если вы считаете, что этот вопрос можно улучшить и, возможно, вновь открыть, обратитесь за …

23 soft-question  big-list  paper-review 

Мне было интересно, какие инструменты люди в этой области (теоретическая информатика) используют для создания презентаций. Поскольку большая часть компьютерных наук занимается не только написанием статей, но и презентациями, я подумал, что это будет важный мягкий вопрос. Это вдохновлено предыдущим вопросом, какие инструменты вы используете для написания статей . Наиболее распространенным, …

23 soft-question  research-practice  writing 

В статье Томаса Дж. Шефера « Сложность проблем с удовлетворенностью» автор упомянул, что 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. The computer would …

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

Речь идет о том, как эффективно мы можем выразить алгоритм под рукой. Мне нужно это для моего обучения студентов. Я понимаю, что нет такой вещи, как стандартный способ написания псевдокода. Разные авторы следуют различным соглашениям. Было бы полезно, если бы люди указывали на то, как они следуют и считают лучшим. …

22 ds.algorithms  soft-question  advice-request  writing