Contabilidad Financiera. Necesidades y Normas de Información Financiera para PYMES

El proyecto trata del problema de los entes pequeños y medianos en cuanto a la información contable que deben generar para usuarios externos. La estructura de las normas legales y contables existentes están elaboradas con exigencias adecuadas a las empresas de mayor tamaño, si bien se contempla vía dispensas( en nuestras normas contables) la simplificación de muchos aspectos, pensamos que esto es insuficiente y es necesario desarrollar en forma orgánica un sistema que contemple los requerimientos de los usuarios externos de la información contable, y las posibilidades y recursos para elaborarlos por parte de estos entes más pequeños. Esta tendencia se observa a nivel internacional y en nuestro país en los proyectos en curso de elaboración y discusión por parte de nuestros organismos profesionales en materia contable, si bien todavía no se ha llegado a soluciones satisfactorias se está transitando el camino que llevan a ellas. Pero el problema no son únicamente nuestras normas contables, también advertimos que en el Código de Comercio existen disposiciones (en materia contable) que crean dificultades en su cumplimiento en el caso de las empresas pequeñas.También es cierto que no se puede renunciar a que las informaciones contables para terceros no estén elaboradas con procedimientos técnicos adecuados y sólidos, ya que no debe olvidarse que las empresas deben rendir cuenta a la sociedad de su gestión en general(como consecuencia de la responsabilidad social de su accionar) y en particular a los usuarios de la información contable y lo hacen principalmente a través de esta. El objetivo de este trabajo es realizar una tarea exploratoria con respecto a: a) Requerimientos y necesidades de los usuarios de la información contable de los entes pequeños y medianos. b) Requerimientos legales en el Código de Comercio en general y Ley de Sociedades en particular en materia contable. c) Investigar a nivel internacional que se está haciendo con respecto a normas contables para entes pequeños y medianos. Finalmente elaborar bases que permitan construir un sistema de normas contables adecuados para este tipo de entes. La hipótesis de investigación es que las necesidades de información contable a terceros de las pequeñas y medianas empresas deben ser simplificadas pero con rigor técnico.

Determinación del coeficiente de retención para pernos intraradiculares colados, confeccionados por diferentes técnicas. Análisis comparativo.

Uno de los objetivos concretos de los remanentes radiculares tratados endodónticamente, es de servir como elemento de anclaje para una futura restauración protética. Si bien, todo tratamiento con pernos trae aparejado un cierto grado de debilitamiento tisular, es vital que este tipo de prótesis adapten correctamente, ya que de ellas depende la estabilidad y la permanencia de la consecuente corona en boca. Son muchas las causas que nos pueden llevar a la falta de ajuste y adaptación de nuestras restauraciones. En líneas generales, el Odontólogo generalista esta preocupado especialmente en lo referente al campo clínico, es decir, características anatómicas y fisiológicas del diente a tratar, longitud y diámetro canalicular, remanente coronario, particularidades del tejido duro de soporte, proximidad con el tejido blando, técnicas y materiales de impresión, etc. Cada uno de estos aspectos son de suma importancia para lograr el éxito de las restauraciones protéticas, pero si las técnicas o procedimientos de laboratorio no son cuidadosos, precisos y de alta fidelidad, los procedimientos clínicos pierden sustento y valor profesional. Es por ello que nos proponemos investigar específicamente en el área de laboratorio la posibilidad de utilizar variantes de la técnica convencional para la realización de pernos intraradiculares colados. Nuestra propuesta es la de realizar patrones sobre modelos sin la necesidad de ser separados del mismo para ser colados, a diferencia de la técnica convencional que si lo hace. El uso de material refractario en reemplazo del yeso dental, en el acto del vaciado de la impresión, nos proporciona esa ventaja, ya que de esta manera no es necesario introducir el material de confección del patrón en el interior del conducto que se encuentra en el modelo. En otras palabras, con esta técnica no habrá confección de patrón (en la porción “intraradicular” del perno) ya que la cavidad para el acceso del metal en el proceso de colado queda formada como consecuencia del vaciado con revestimiento sobre la impresión. (Método COPISMY, Técnica creada y diseñada por el responsable de la Cátedra y colaboradores). La disminución de los pasos secuenciales, la facilitación de la tarea técnica, la reducción del grado de manipulación de los materiales y la simplificación del proceso, son los fundamentos principales para alentar esta idea. Posteriormente, se llevará a cabo un estudio comparativo entre los resultados obtenidos en ambas técnicas, con el objetivo de establecer si tales variantes mejoran o no los valores de retención conocidos.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.