Buscar
Mostrando ítems 61-70 de 776
Prueba y argumentación. Una aproximación al discurso iusfilosófico de la pruebaEvidence and argumentation. An approach to the iusphilosophical discourse of evidence
(Universidad Pontificia Bolivariana, Facultad de Derecho y Ciencias PolíticasSaber, Poder y DerechoMedellin, Colombia, 2016)
Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2015-03-09)
Event-B is a formal method for modeling and verification of discrete transition systems.
Event-B development yields proof obligations that must be verified (i.e. proved valid) in
order to keep the produced models consistent. ...
El estándar de prueba de conocimiento más allá de duda razonable. Análisis y evaluación de la sentencia de casación 36.357 (26-10-2011) de la Corte Suprema de Justicia de Colombia
(Instituto de Ciencias Penales y Criminológicas, 2014-12-22)
Este trabajo pretende mostrar que el “conocimiento más allá de duda razonable”, como estándar de prueba para adoptar una sentencia condenatoria, no es una mera expresión grandilocuente o una moda del legislador (arts. 7.º ...
Influência do raio de ponta do entalhe, do tipo de carregamento e da microestrutura no processo à fratura do aço estrutural ABNT-4340
(Universidade Estadual Paulista (UNESP), 2014)