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

Tôi sẽ tham dự hội nghị khoa học máy tính đầu tiên của mình và sau khi đọc lời khuyên về cách cải thiện các hội nghị, tôi nhận thấy một số gợi ý là về các sinh viên tốt nghiệp tham dự hội nghị đầu tiên của họ. Bạn …

25 soft-question  big-list  conferences 

Tôi đã đọc nó . Nó nói rằng ... Bạn sẽ không thấy mình đói vì tài trợ như Toán học thuần túy. (Bạn vẫn sẽ luôn thấy mình đói vì tài trợ.) ... Tại sao các nhà toán học thuần túy cần tài trợ? (Câu hỏi về dòng chảy …

25 soft-question  career 

Gần đây tôi đã dạy các nhà mở rộng, và đưa ra khái niệm về đồ thị Ramanujan. Michael Forbes đã hỏi tại sao họ được gọi theo cách này và tôi phải thừa nhận rằng tôi không biết. Bất kỳ ai?

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

Tôi đoán rằng tôi đã đọc quá nhiều bài báo CoRR đầy tham vọng . Vấn đề là những bài báo đó không được xem xét ngang hàng, nhưng thường nghe có vẻ thú vị và vượt qua kiểm tra tính hợp lý cơ bản. Hoặc có thể họ không, …

24 soft-question  graph-isomorphism  paper-review  ppad 

Tôi đang tìm một cuốn sách về các cấu trúc dữ liệu nâng cao vượt xa những gì được đề cập trong sách giáo khoa tiêu chuẩn như "Giới thiệu về thuật toán" của Cormen, Leiserson, Rivest và Stein. Một cuốn sách có thể được sử dụng để giảng dạy …

24 soft-question  ds.data-structures  survey  books 

Có nhiều ứng dụng phân tích thực trong khoa học máy tính lý thuyết, bao gồm kiểm tra tài sản, độ phức tạp trong giao tiếp, học PAC và nhiều lĩnh vực nghiên cứu khác. Tuy nhiên, tôi không thể nghĩ ra bất kỳ kết quả nào trong TCS dựa …

24 soft-question  big-picture 

Trong câu trả lời của mình cho câu hỏi này , Stephane Gimenez đã chỉ cho tôi một thuật toán chuẩn hóa thời gian đa thức để chứng minh cho logic tuyến tính. Bằng chứng trong bài báo của Girard sử dụng lưới bằng chứng, đó là một khía cạnh …

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

Ngoài việc học tập đầy đủ và nhận bằng tiến sĩ / hậu tài liệu, hoặc tìm kiếm một công việc 'tiêu chuẩn' ít nhiều trong phát triển phần mềm, một số lựa chọn nghề nghiệp khác trong lĩnh vực CS đầy đủ hoặc bán lý thuyết là gì?

24 soft-question  advice-request  career 

Chúng ta hãy nhìn vào tương lai khoảng 30 năm nữa. Hãy lạc quan và cho rằng các lĩnh vực liên quan đến học máy tiếp tục phát triển nhanh như những gì chúng ta đã thấy trong 10 năm qua. Điều đó sẽ là tuyệt vời, nhưng sau đó …

23 ds.algorithms  soft-question  machine-learning 

Từ những gì tôi hiểu (rất ít, vì vậy xin vui lòng sửa cho tôi biết tôi sai ở đâu!), Lý thuyết về ngôn ngữ lập trình thường liên quan đến các bằng chứng "trực giác". Theo cách hiểu của riêng tôi, cách tiếp cận đòi hỏi chúng ta phải …

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

Gần đây tôi nhận được các bài báo của mình bị từ chối từ các tạp chí (ví dụ, TALG) trên cơ sở không có sự khác biệt đáng kể giữa phiên bản tạp chí và thủ tục tố tụng (ví dụ, SODA). Những lý do chính để tôi gửi …

23 soft-question  research-practice  conferences  journals 

Vì hiện tại, câu hỏi này không phù hợp với định dạng Hỏi & Đáp của chúng tôi. Chúng tôi hy vọng câu trả lời sẽ được hỗ trợ bởi các sự kiện, tài liệu tham khảo hoặc chuyên môn, nhưng câu hỏi này có thể sẽ thu hút tranh …

23 soft-question  big-list  paper-review 

Tôi đã tự hỏi những công cụ mà mọi người trong lĩnh vực này (khoa học máy tính lý thuyết) sử dụng để tạo ra các bài thuyết trình. Vì rất nhiều khoa học máy tính không chỉ là viết bài mà còn thuyết trình nên tôi nghĩ rằng đây …

23 soft-question  research-practice  writing 

Trong bài báo "TÍNH TOÁN CỦA VẤN ĐỀ SATISFIABILITY" của Thomas J. Schaefer, tác giả đã đề cập rằng 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 

Đây là về cách hiệu quả chúng ta có thể thể hiện một thuật toán trong tầm tay. Tôi cần điều này cho giảng dạy đại học của tôi. Tôi hiểu không có cách nào như cách viết mã giả. Các tác giả khác nhau theo các quy ước khác …

22 ds.algorithms  soft-question  advice-request  writing