«soft-question» 태그된 질문

Katz와 Lindell은 그들의 책 에서 LFSR이 의사 난수 발생기의 기초로 끔찍하다고 언급했으며 더 이상 사용하지 않을 것을 주장합니다 (물론 사람들은 스트림 암호 대신 블록 암호를 사용하는 것이 좋습니다). 그러나 예를 들어 estream 포트폴리오의 암호 중 하나 ( Grain , 하드웨어를 대상으로 함)가 LFSR을 사용하므로 LFSR이 좋지 않다는 의견은 합의가 아닙니다. …

10 soft-question  cr.crypto-security  pseudorandom-generators 

이 위치는 같은 일에 연구의 기록과 최근 졸업 학사 또는 석사 학생을위한 연구 자신의 박사 학위에 커밋하기 전에? TCS는 최근 박사 학위 소지자들이 교수직을 신청하기 전에 연구를 할 수있는 박사후 연구 문화를 가지고 있습니다. 학사 또는 석사 학생들이 박사 학위를 신청하기 전에 연구를 수행 할 수있는 유사한 메커니즘이 있습니까? 특히, …

10 soft-question  advice-request  career 

이 질문은 고교생을위한 영감을주는 대화 와 같은 맥락에 있습니다. 박사 고문은 새 M.Sc에 영감을주는 이야기 를 해달라고 요청했습니다 . 재학생. 주제는 암호화의 기초이며 Goldreich의 책에서 가장 잘 설명됩니다 . 대화는 약 1 시간이 걸리며, 학생들에게 주요 구성 (일방 함수 / 순열, 의사 난수 생성기, 무 지식 증명, 암호화 / 서명 …

10 reference-request  soft-question  cr.crypto-security  teaching 

두 사람이 공동 작성했는지 여부를 알아낼 수있는 도구가 있습니까? 누군가의 Erdos _number_를 알아낼 수있는 도구와 같습니다.

10 soft-question 

모두 안녕하세요, 저는 현재 일부 자동화 이론의 일부 또는 공식 언어와 관련된 견고한 석사 논문 주제를 찾으려고 노력하고 있습니다. 나는 수용 가능한 주제가 무엇인지, 야심은 있지만 동시에 할 수있는 것에 대한 좋은 아이디어를 만들어 내려고 노력하고 있습니다. 어떤 제안이라도 대단히 감사하겠습니다!

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

나는 Combinatory Logic, Lambda Calculus, Functional Programming과 같은 다양한 주제에 관심이 있었고이를 연구하고 있습니다. 그러나 "계산 이론"과는 달리 "계산 성", 즉 다양한 제약으로 계산할 수없는 것들에 대한 질문에 답하려고 노력하는 것과는 달리, "프로그래밍 이론"에 대한 아날로그를 찾는 데 어려움을 겪고 있습니다. Wikipedia 는이를 다음과 같이 설명합니다. 프로그래밍 언어 이론 (PLT)은 …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

나는 독학 전문 프로그래머입니다. 나는 그것에 능숙합니다 (Ruby, Unix, Clojure, Java, Objective-C).하지만 지금은 CS에서 석사 또는 PhD 프로그램을 신청하여 다음 단계로 가져갈 생각입니다. 이 목표를 준비하기 위해 수학에서 어떤 주제를 공부해야합니까?

10 soft-question  advice-request  career 

저는 알고리즘 및 복잡성 이론을 연구하는 연구 학자이며 매개 변수화 된 복잡성을 어느 정도 사용합니다. 나에게 매개 변수가있는 복잡성에 관한 연구자들은 연구 논문 수 측면에서 매우 활발한 것으로 보입니다 (다른 사람들이 그렇지 않다는 것을 의미하지는 않습니다). 통신 복잡성, 산술 복잡성 등의 연구원들도 다양한 매개 변수를 더 많이 사용하고 있음을 알았습니다. …

9 soft-question  parameterized-complexity 

내가 올바르게 이해한다면, 그 문제를 증명하기 위해 ㅏAA NP가 어렵습니다. 가능한 모든 문제를 선택해야합니다. 비나는BiB_{i} 그것은 NP에 있고 그들이 ㅏAA 다항식 시간 계산 기능을 사용하여 각 인스턴스를 매핑합니다. 비나는BiB_{i} 의 인스턴스 ㅏAA. 첫 번째 NP 하드 문제를 찾으면 축소를 사용하여 다른 많은 문제가 NP Complete 또는 NP Hard라는 것을 알 …

9 soft-question  ho.history-overview  cook-levin 

저는 인도에서 온 대학원생입니다. 저는 저명한 교수들이 주최하는 워크샵, 컨퍼런스 및 초청 강사에 관심이 있습니다. 평소와 같이 대화가 끝나면 일부 사람들이 질문을하고 화자가 답변합니다. 그러나 내 문제는 대부분의 질문과 답변을 이해하지 못한다는 것입니다. 질문을해도 화자가 제공 한 답변을 이해할 수 없습니다. 누군가 내 경험과 제안을 내 문제에 공유 할 수 …

9 co.combinatorics  soft-question 

이것은 arXiv에 대한 독창적 인 작품 을 제출하기 위해 사람들이 전문가 모범 사례라고 생각하는 것을 확립하기위한 부드러운 질문 입니다. Robert Szelepcsényi가 시카고 대학의 웹 공간에서 10 년 전에 대학원 과정에서 쓴 논문 초안이 있습니다. 이 작업은 정확하고 모듈로 약간의 작은 오류가있는 것으로 보이며 시카고 대학이 해당 웹 공간으로 수행하려는 작업과 …

9 soft-question  research-practice 

컴퓨터 과학자가 자신의 분야를 순수한 수학자로 바꿀 수있는 가능성은 무엇입니까? 가장 매끄러운 방법은 무엇입니까? 그것을 만들 수있는 사람들을위한 어떤 예?

9 soft-question  research-practice  career 

미국의 CS 박사후 연구원을위한 연간 평균 간행물 수 (회의 진행 내용 포함)는 얼마입니까? 이 숫자를 찾거나 추정하는 방법은 무엇입니까?

9 soft-question  advice-request  research-practice  career 

CS의 일부 연구 분야에서 우리는 매우 흥미로운 결과를 얻었습니다. 이제 우리는 그것들을 출판하는 것에 대해 생각하고 있습니다. 우리 그룹의 철학은 회의 논문에 즉각적으로 작은 것을 게시하는 것입니다. 이제 저는 이러한 "작은 것들"을 더 많이 모아서 JCR 논문으로 출판합니다. 영향 요인은 2 이상입니다. 여기서 제 질문은 JCR 저널에 알맞은 논문을 준비 …

9 soft-question  research-practice  writing  paper-review  conferences 

전산 복잡도 이론 은 고유의 난이도에 따라 문제를 분류합니다. 복잡한 시스템 이론 은 시스템 개별 부품의 특성에서 명백하게 발생하지 않는 동작을 나타내는 시스템을 다룹니다. 예를 들어 혼돈 시스템, 복잡한 적응 시스템 또는 비선형 시스템이 있습니다. 이 분야들 사이에 공식적인 다리가 있습니까? 그만한 가치가 있기 때문에 셀룰러 오토마타 로 암호화를 수행한다는 …

9 cc.complexity-theory  soft-question  big-picture