Perguntas com a marcação «reference-request»

Muitas áreas do mundo sofrem conflitos entre dois grupos (geralmente étnicos ou religiosos). Para o propósito desta pergunta, suponho que a maioria das pessoas de ambos os lados queira viver em paz, mas há poucos extremistas que incitam ao ódio e à violência. O objetivo desta pergunta é encontrar uma …

7 reference-request  game-theory  voting 

Atualmente, estou analisando os potenciais da computação em nuvem em relação à eficiência energética e à TI verde. Em conexão com esta revisão, estou examinando as técnicas para aumentar a eficiência energética em data centers (computação), hardware, redes e dispositivos de armazenamento. Especificamente para computação / servidores, já encontrei alguns: …

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

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,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 

Estou estudando diferentes abordagens para a definição de computação com sistemas dinâmicos contínuos. Eu tenho tentado encontrar uma boa introdução à teoria dos "sistemas de transição de Estado", mas não consegui. Alguém conhece uma introdução moderna ao tópico? De particular interesse seria algo relacionado à computabilidade.

7 computability  automata  reference-request  computation-models 

Como parte de um curso que estou ministrando sobre Estruturas de Dados, quero que os alunos pesquisem e apresentem o uso de Estruturas de Dados em softwares / serviços populares. No entanto, o Google básico mostra que essas informações não estão tão prontamente disponíveis. Alguém pode me indicar os recursos …

6 data-structures  reference-request  applied-theory 

Alguém me disse que o registroregistro\logA função foi introduzida para facilitar o cálculo. Se tivermos que calcularx yxyxy, podemos calcular registrox + logyregistro⁡x+registro⁡y\log x+\log y Desde a registrox y= logx + logyregistro⁡xy=registro⁡x+registro⁡y\log xy=\log x+\log y. Como isso pode facilitar o cálculo? Talvez do ponto de vista matemático, mas e o …

6 algorithms  complexity-theory  reference-request  education