Loops Invariants
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC / TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC
Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de políticas de segurança ,contudo, isso pode consumir muito tempo.Uma outr
Publicado em: 2003
-
2. Topologically driven swelling of a polymer loop
Numerical studies of the average size of trivially knotted polymer loops with no excluded volume were undertaken. Topology was identified by Alexander and Vassiliev degree 2 invariants. Probability of a trivial knot, average gyration radius, and probability density distributions as functions of gyration radius were generated for loops of up to N = 3,000 segm
National Academy of Sciences.