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

Nhiều khu vực trên thế giới bị xung đột giữa hai nhóm (thường là dân tộc hoặc tôn giáo). Với mục đích của câu hỏi này, tôi cho rằng hầu hết mọi người của cả hai bên đều muốn sống trong hòa bình, nhưng có rất ít người cực đoan …

7 reference-request  game-theory  voting 

Tôi hiện đang xem xét các tiềm năng của điện toán đám mây liên quan đến hiệu quả năng lượng và CNTT xanh. Liên quan đến đánh giá này, tôi đang xem xét các kỹ thuật để tăng hiệu quả sử dụng năng lượng trong các trung tâm dữ liệu …

7 reference-request  computer-architecture  operating-systems  computer-networks  power-consumption 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Tôi đang nghiên cứu các phương pháp khác nhau để định nghĩa tính toán với các hệ thống động lực liên tục. Tôi đã cố gắng tìm một giới thiệu hay về lý thuyết "hệ thống chuyển đổi nhà nước" nhưng không thực hiện được. Có ai biết một giới …

7 computability  automata  reference-request  computation-models 

Là một phần của khóa học tôi đang giảng dạy về Cấu trúc dữ liệu, tôi muốn sinh viên nghiên cứu và trình bày việc sử dụng Cấu trúc dữ liệu trong phần mềm / dịch vụ phổ biến. Tuy nhiên, googling cơ bản cho tôi thấy rằng thông tin …

6 data-structures  reference-request  applied-theory 

Có người nói với tôi rằng hàm đã được giới thiệu để làm cho phép tính dễ dàng hơn. Nếu chúng ta phải tính , chúng ta có thể tính thay thế kể từ . Làm thế nào điều này có thể làm cho việc tính toán dễ dàng hơn? …

6 algorithms  complexity-theory  reference-request  education