Results 11 to 20 of about 58,709,213 (65)
Choiceless Computation and Symmetry: Limitations of Definability [PDF]
, 2021 The search for a logic capturing PTIME is a long standing open problem in finite model theory. One of the most promising candidate logics for this is Choiceless Polynomial Time with counting (CPT).
Pago, Benedikt Thomas, Pago, Benedikt
core +1 more source
Reporte de Sistemas de Pago - Junio de 2021 [PDF]
, 2022 El Banco de la República, con el Reporte de Sistemas de Pago, entrega un panorama completo de la infraestructura financiera local, siendo este un producto importante de la labor de seguimiento a dicha infraestructura.
Miguélez, Javier +13 more
core +1 more source
Reporte de Sistemas de Pago - Junio de 2020 [PDF]
, 2020 Con el Reporte de Sistemas de Pago, cada año el Banco de la República entrega un panorama completo de la infraestructura financiera local. El reporte mantiene en cada edición cuatro objetivos: 1) divulgar de forma consolidada la evolución en cifras de ...
Miguélez, Javier +13 more
core +1 more source
Finite Model Theory and Proof Complexity revisited: Distinguishing graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus [PDF]
, 2022 This paper extends prior work on the connections between logics from finite model theory and propositional/algebraic proof systems. We show that if all non-isomorphic graphs in a given graph class can be distinguished in the logic Choiceless Polynomial ...
Pago, Benedikt Thomas, Pago, Benedikt
core +1 more source
Evolución en España de las tarjetas como medio de pago : 1996-2004 [PDF]
, 2005 Artículo de revistaLos bancos centrales del Eurosistema, como garantes del buen funcionamiento de los sistemas de pago, están llevando a cabo una serie de acciones orientadas a obtener un mejor conocimiento de las características principales de las ...
core +1 more source
Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits [PDF]
, 2023 Choiceless Polynomial Time (CPT) is one of the few remaining candidate logics for capturing Ptime. In this paper, we make progress towards separating CPT from polynomial time by firstly establishing a connection between the expressive power of CPT and ...
Pago, Benedikt
core +1 more source
Pago de incapacidades por enfermedad o accidente común después de los 180 días: escenarios normativos vigentes en Colombia [PDF]
, 2016 Artículo de investigaciónEl documento, presenta el marco normativo sobre la responsabilidad en el cubrimiento económico de la incapacidad generada por enfermedad o accidente común, que debe darse a partir del día 181, puesto que se ha encontrado que este
Cardozo-Páez, Luis Enrique
core +1 more source
, 2017 Las empresas en Colombia buscan expandirse en el mercado internacional con una gama de productos y servicios que le dan fuerza a los medios de pago a través del ejercicio comercial, esto representa para las empresas utilidad en el ejercicio de sus ...
Melo Iscala, Blanca Haydee
core
El caos de la incapacidad temporal [PDF]
, 2009 La prestación por incapacidad temporal se ha transformado en una de las prestaciones más complicadas de nuestro Sistema de Seguridad Social. Esta complicación es el resultado de la intervención de diversos sujetos (Instituto Nacional de la Seguridad ...
Gracia Alegría, Gemma
core +1 more source
Medios de Pago en el Comercio Internacional [PDF]
, 2011 Documento PDF, 60 páginasGuía de estudio para el curso Medios de pago en el comercio internacional, código 4029, que imparte la Escuela de Ciencias de la Administración de la UNED.Universidad Estatal a Distancia de Costa ...
Medios de pago en el comercio internacional, Flora
core