Запитання з тегом «soft-question»

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

25 soft-question  big-list  conferences 

Я читав це . Він говорить ... Ви не почуєте себе таким голодним для фінансування, як чиста математика. (Ви все одно завжди будете голодувати за фінансування.) ... Навіщо чистим математикам потрібне фінансування? (Ooops the mathoverflow pitanje) Чому хтось, хто займається теоретичними дослідженнями, потребує фінансування? Я думаю, що інструменти торгівлі - …

25 soft-question  career 

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

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

Я здогадуюсь, що я прочитав занадто багато амбітних доповідей Комісії . Проблема полягає в тому, що ці документи не рецензуються, але часто звучать цікаво і проходять основні перевірки правдоподібності. А може, ні, і мені просто потрібно покращити перевірку правдоподібності. Ось останній зразок таких робіт: Унікальність дерев: можливий поліномний підхід до …

24 soft-question  graph-isomorphism  paper-review  ppad 

Я шукаю книгу про вдосконалені структури даних, що виходить за рамки того, що охоплено стандартними підручниками, такими як «Вступ до алгоритмів» Кормена, Лейзерсона, Рівеста та Штейна. Книга , яка може бути використана для викладання курсу на рівень випускника на складних структури даних , такі як Ерік Демейн і Андре Шульц …

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 

Окрім того, щоб отримати повністю академічну освіту та отримати докторський ступінь / докторську ступінь, або піти на більш-менш «стандартну» роботу в розробці програмного забезпечення, які ще існують варіанти кар’єри в повній або напівтеоретичній галузі CS?

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 be instructed …

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

Мова йде про те, наскільки ефективно ми можемо виразити алгоритм. Мені це потрібно для моєї студентської викладання. Я розумію, що немає такого поняття, як стандартний спосіб написання псевдокоду. Різні автори дотримуються різних умов. Було б корисно, якби тут люди зазначили, спосіб, яким вони слідують і вважають найкращим. Чи є якась …

22 ds.algorithms  soft-question  advice-request  writing