Khoa học máy tính lý thuyết soft-question

2

Các thanh ghi dịch chuyển phản hồi tuyến tính thường không được các nhà mật mã học khuyến khích?

Katz và Lindell đã đề cập đến trong cuốn sách của họ rằng LFSR đã trở nên khủng khiếp khi làm cơ sở cho các trình tạo giả danh, và ủng hộ rằng họ không được sử dụng nữa (tốt, họ cũng khuyên mọi người nên sử dụng mật mã …

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

7

Có vị trí pre-doc trong TCS không?

Có vị trí cho sinh viên tốt nghiệp cử nhân hoặc thạc sĩ gần đây với một hồ sơ nghiên cứu để làm việc như một nhà nghiên cứu trước khi cam kết tiến sĩ của họ? TCS có văn hóa về các vị trí hậu tài liệu cho các …

10 soft-question advice-request career

2

Nói chuyện tạo động lực về nền tảng của mật mã

Câu hỏi này nằm trong cùng một câu nói truyền cảm hứng cho học sinh trung học năm cuối . Tiến sĩ của tôi cố vấn yêu cầu tôi nói chuyện truyền cảm hứng cho M.Sc. sinh viên. Chủ đề là nền tảng của mật mã học , được minh …

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

5

Lý thuyết tự động / Chủ đề luận văn ngôn ngữ chính thức

Xin chào, hiện tại tôi đang cố gắng tìm một đề tài luận văn thạc sĩ vững chắc liên quan đến một số nhánh của lý thuyết automata hoặc liên quan đến các ngôn ngữ chính thức. Tôi đang cố gắng tạo ra một số ý tưởng tốt cho một …

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

4

Làm sao để biết X và Y có đồng tác giả không?

Có công cụ nào mà người ta có thể tìm ra nếu hai người có đồng tác giả hay không? Giống như công cụ mà người ta có thể tìm ra Erdos _number_ của ai đó .

10 soft-question

1

Câu hỏi trực tuyến là gì mà lý thuyết ngôn ngữ lập trình đang cố gắng trả lời?

Tôi đã quan tâm đến nhiều chủ đề khác nhau như Logic kết hợp, Tính toán Lambda, Lập trình hàm trong một thời gian và đã nghiên cứu chúng. Tuy nhiên, không giống như "Lý thuyết tính toán" cố gắng trả lời câu hỏi về "khả năng tính toán", tức …

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

8

Những khóa học toán nào tôi nên học để chuẩn bị cho thạc sĩ CS hoặc tiến sĩ?

Tôi là một lập trình viên chuyên nghiệp tự học. Tôi khá giỏi về nó (Ruby, Unix, Clojure, Java, Objective-C), nhưng bây giờ tôi đang nghĩ đến việc đưa nó lên cấp độ tiếp theo bằng cách có thể đăng ký chương trình thạc sĩ hoặc tiến sĩ trong CS. …

10 soft-question advice-request career

1

Là sự phức tạp tham số hóa sẽ là tương lai của lý thuyết phức tạp?

Tôi là một học giả nghiên cứu, người làm việc trong lý thuyết Thuật toán và Độ phức tạp, tôi sử dụng độ phức tạp tham số hóa ở một mức độ nào đó. Đối với tôi, dường như các nhà nghiên cứu về độ phức tạp tham số hóa …

9 soft-question parameterized-complexity

1

Stephen Cook có thấy tầm quan trọng của việc thể hiện rằng SAT là NP-Hard trước khi thực sự chứng minh điều đó không?

Nếu tôi hiểu chính xác, để chứng minh rằng vấn đề là NP khó, bạn cần chọn tất cả các vấn đề có thể có B i trong NP và sau đó chứng minh rằng chúng giảm xuống A bằng cách sử dụng hàm tính toán thời gian đa thức, …

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

1

Hiểu các cuộc hội đàm trong Hội nghị và Hội thảo

Tôi là một sinh viên tốt nghiệp từ Ấn Độ. Tôi rất quan tâm đến việc tham dự Hội thảo, hội nghị, và mời các giảng viên được đưa ra bởi các giáo sư nổi tiếng. Vào cuối buổi nói chuyện như thường lệ, một số người sẽ đặt câu …

9 co.combinatorics soft-question

3

Đệ trình người khác làm việc với arXiv

Đây là một câu hỏi nhẹ nhằm mục đích thiết lập những gì mọi người nghĩ là cách thực hành chuyên nghiệp tốt nhất để gửi tác phẩm không có nguồn gốc trên arXiv. Có một bản nháp của một bài báo [1] của Robert Szelepcsényi, tại không gian web …

9 soft-question research-practice

1

Về việc chuyển đổi từ một nhà khoa học máy tính sang một nhà toán học

Khả năng cho một nhà khoa học máy tính thay đổi lĩnh vực của mình thành một nhà toán học thuần túy là gì? và cách trơn tru nhất để làm điều đó là gì? bất kỳ ví dụ cho những người có thể làm cho nó?

9 soft-question research-practice career

2

Số lượng ấn phẩm trung bình hàng năm cho CS postdocs

Số lượng ấn phẩm trung bình (bao gồm cả thủ tục hội nghị), mỗi năm, cho các nhà nghiên cứu sau tiến sĩ CS ở Mỹ là bao nhiêu? Các cách để tìm hiểu hoặc ước tính con số này là gì?

9 soft-question advice-request research-practice career

5

Làm thế nào để bạn quyết định khi bạn có đủ kết quả nghiên cứu để viết một bài báo và bạn gửi bài báo nào

Trong một số lĩnh vực nghiên cứu trong CS, chúng tôi đã nhận được một số kết quả rất thú vị. Bây giờ chúng tôi đang suy nghĩ về việc xuất bản chúng. Trong nhóm chúng tôi, triết lý là xuất bản những thứ nhỏ nhặt trong các tài liệu …

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

1

Có một mối quan hệ giữa lý thuyết phức tạp tính toán và lý thuyết hệ thống phức tạp?

Lý thuyết phức tạp tính toán phân loại các vấn đề theo độ khó vốn có của chúng. Lý thuyết hệ thống phức tạp giải quyết các hệ thống thể hiện các hành vi không rõ ràng phát sinh từ các thuộc tính của các bộ phận riêng lẻ của …

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

Câu hỏi được gắn thẻ «soft-question»