Repositorio Institucional ITBA
Not a member yet
2611 research outputs found
Sort by
Bounded exhaustive search of alloy specification repairs
No full text"The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the program repair of imperative languages, there is a dearth of repair techniques for declarative languages. This paper presents BeAFix, an automated repair technique for faulty models written in Alloy, a declarative language based on first-order relational logic. BeAFix is backed with a novel strategy for bounded exhaustive, yet scalable, ex ploration of the spaces of fix candidates and a formally rigorous, sound pruning of such spaces. Moreover, different from the state of-the-art in Alloy automated repair, that relies on the availability of unit tests, BeAFix does not require tests and can work with assertions that are naturally used in formal declarative languages.
Our experience with using BeAFix to repair thousands of real world faulty models, collected by other researchers, corroborates its ability to effectively generate correct repairs and outperform
the state-of-the-art.
Desarrollo del sistema de recomendación para una empresa de e-commerce
No full textEl presente trabajo tiene como objetivo "desarrollar un modelo de segmentación de clientes que, combinado con un modelo predictivo, permita detectar los productos que es más probable que quieran adquirir a futuro
y así poder personalizar la oferta."Trabajo Final Ciencia de Datos (especialización) - Instituto Tecnológico de Buenos Aires, Buenos Aires, 202
Use of generative adversarial networks for the creation and manipulation of facial images in the context of studying false memories and its effects on wrongful conviction cases: implementation of StyleGAN’s generative image modeling and style mixing properties to design an interface for experimentation purposes
No full textl Laboratorio de Sueño y Memoria from Instituto Tecnológico de Buenos Aires (ITBA) studies the formation of false memories, and how these can be reduced or modified, and is in collaboration with the Innocence Project to investigate how these can lead to errors in convictions. From this research, the need arises to carry out experiments with human
faces that are similar to each other, and how this similarity can result in the formation of false memories.
In this project, we investigate a field of Artificial Intelligence (AI), Deep Learning, which can provide us with a solution to the generation of artificial faces. In particular, we implement a face generation model using a Generative Adversarial Network (GAN), with the aim of generating faces as realistic as possible, so that a human cannot distinguish them from real faces. StyleGAN, a particular implementation of the GAN network, was the chosen architecture, because in addition to producing images with high resolution quality, it presents a model that allows navigation of the latent space and the synthesis of
faces, using style mixing properties. Finally, an application called FG-Style was developed and installed on a GPU-based server at ITBA so that the laboratory can have control over the face generation model, and over the generation of faces similar to a selected one, using StyleGAN’s style mixing properties to have a grip over the change of specific features of
the generated faces."Proyecto final Ingeniería Informática (grado) - Instituto Tecnológico de Buenos Aires, Buenos Aires, 202
Medial prefrontal cortical control of reward- and aversion-based behavioral output: bottom-up modulation
Get PDF"How does the brain guide our actions? This is a complex issue, where the medial prefrontal cortex (mPFC) plays a crucial role. The mPFC is essential for cognitive flexibility and decision making. These functions are related to reward- and aversionbased learning, which ultimately drive behavior. Though, cortical projections and modulatory systems that may regulate those processes in the mPFC are less understood. How does the mPFC regulate approach-avoidance behavior in the case of conflicting aversive and appetitive stimuli? This is likely dependent on the bottomup neuromodulation of the mPFC projection neurons. In this review, we integrate behavioral-, pharmacological-, and viral-based circuit manipulation data showing the involvement of mPFC dopaminergic, noradrenergic, cholinergic, and serotoninergic inputs in reward and aversion processing. Given that an incorrect balance of reward and aversion value could be a key problem in mental diseases such as substance use disorders, we discuss outstanding questions for future research on the role of mPFC modulation in reward and aversion.
Estudio de prefactibilidad para la fabricación de alineadores dentales invisibles
Get PDFEl siguiente documento consiste en un estudio de prefactibilidad para la creación de un centro productivo de alineadores dentales invisibles (ADI). En la búsqueda de explotar una oportunidad identificada en el mercado de la ortodoncia, se propone el dimensionamiento y estudio de dicha oportunidad, para así poder proceder correctamente en la creación de la empresa DreamSmile.
En primer lugar, el Capítulo I - Mercado presentará el estudio de mercado de la ortodoncia, con especial énfasis en el de los alineadores dentales invisibles (ADI). A lo largo del capítulo, no solo se presentarán los estudios de las ventajas competitivas de los alineadores dentales invisibles, sino que también se realizan proyecciones en las que se obtiene una oportunidad de 56 millones de dólares en ventas para el año 2030.
Luego, a lo largo del segundo capítulo, se dimensiona el equipo de trabajo y se realiza el calendario de inversiones necesario a lo largo del proyecto para poder cumplir de manera satisfactoria con las proyecciones de demanda obtenidas en el capítulo previo. En cuanto a la ubicación del centro productivo, se presenta una oportunidad en el barrio de Villa Crespo, CABA, ubicación altamente estratégica en función de la concentración de ortodoncistas y potenciales pacientes.
En tercer lugar, el Capítulo III – Estudio Económico Financiero presenta el estudio económico financiero realizado para el proyecto DreamSmile, en donde se obtiene un valor actual neto de USD 19.906.391 y una TIR de 170%. Las distintas inversiones a realizar serán financiadas en un 25% por aportes de capital propio, mientras que el 75% restante se financiará con préstamos a 5 años. El período de repago se encuentra cercano al año y medio, lo cual, sumado a los valores obtenidos para el efecto palanca y el índice de rentabilidad, resultan en un panorama alentador para el proyecto en estudio.
Por último, a lo largo del Capítulo IV – Riesgos, se logra concluir que el proyecto es rentable, a partir del estudio de las distintas variables de riesgo y las distintas acciones que pueden realizarse para mitigarlas. En cuanto a las variables de riesgo identificadas, se destacan al desarrollo de los alineadores dentales invisible dentro del mercado de la ortodoncia y al market share que pueda obtener DreamSmile en el mercado de los ADI como aquellas variables de mayor impacto
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
Get PDF"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software implementation. Unfortunately, software many times lacks such specifications, and thus providing tools and techniques that can assist developers in the construction of software specifications are relevant in software engineering. As an aid in this context, we present
EvoSpex, a tool that given a Java method, automatically produces a specification of the method’s current behavior, in the form of postcondition assertions. EvoSpex is based on generating software
runs from the implementation (valid runs), making modifications to the runs to build divergent behaviors (invalid runs), and executing a genetic algorithm that tries to evolve a specification
to satisfy the valid runs, and leave out the invalid ones. Our tool supports a rich JML-like assertion language, that can capture complex specifications, including sophisticated object structural
properties.
Alternativas para mejorar la rentabilidad a partir de la reducción de la morosidad en las empresas pertenecientes al mercado de seguros de caución
No full textTesis en Dirección Estratégica y Tecnológica (maestría) - Instituto Tecnológico de Buenos Aires, Buenos Aires, 202
AI gateway: detección automática de fallas en maquinaria industrial
No full text"En el presente informe se documenta el diseño y desarrollo de un equipo electrónico para MAPER TECNOLOGÍA SRL, que permite dar conectividad a sus sensores de vibración industriales de bajo consumo, comunicándose con su servidor en la nube y procesando sus mediciones en busca de anomalías. Estos sensores son utilizados por la empresa para realizar un análisis sobre las vibraciones de equipos rotantes permitiendo anticiparse a posibles fallas en la maquinaria."Proyecto final Ingeniería Informática (grado) - Instituto Tecnológico de Buenos Aires, Buenos Aires, 202
Revisiting soliton dynamics in fiber optics under strict photon-number conservation
No full text"We revisit the complex interplay between the Raman-induced frequency shift (RIFS) and the effect of selfsteepening (SS) in the propagation of solitons, and in the framework of an equation that ensures strict conservation of the number of photons. The generalized nonlinear Schrödinger equation
(GNLSE) is shown to severely fail in preserving the number of photons for sub-100-fs solitons, leading to a large overestimation of the frequency shift. Furthermore, when considering the case of a frequency-dependent nonlinear coefficient, the GNLSE also fails to provide a good estimation of the time shift experienced by the soliton. We tackle these shortcomings of the GNLSE by resorting to the recently introduced photon-conserving GNLSE (pcGNLSE) and study the interplay between the RIFS and selfsteepening. As a result, we make apparent the impact of higherorder nonlinearities on short-soliton propagation and propose an original and direct method for the estimation of the second-order nonlinear coefficient.
Estudio de prefactibilidad de instalar una bodega vitivinícola para exportación de vinos premium a Estados Unidos
No full textEl desarrollo de la siguiente obra tiene como objetivo el estudio de prefactibilidad de la instalación de una bodega para exportar vinos a Estados Unidos para una nueva empresa de los inversores de Sur de los Andes. El documento está compuesto por cuatro capítulos: Mercado, Ingeniería, Económico/financiero y Riesgos.
En el primer capítulo se estudia el mercado global del vino, con el objetivo de identificar un buen mercado potencial hacia donde exportar vino. Una vez que se llegó a la decisión de que Estados Unidos es el que mejores características posee, se realizó un análisis estratégico estudiando las fuerzas de los actores más influyentes y realizando una matriz FODA. Por otro lado, se profundiza en la segmentación de los consumidores, productos y sus características. Luego, se identifica el producto elegido junto a la definición de su precio y el canal de distribución y promoción. Finalmente, se analizan posibles variables históricas que expliquen la demanda de vinos en Estados Unidos y se construye un modelo de proyección de mercado para todos los años del proyecto. De la misma manera, se analiza el comportamiento histórico del precio para proyectarlo hacia los próximos años. En base a estos dos modelos se confecciona el market share objetivo en donde se incluyen las ventas futuras proyectadas que se desarrollarán a lo largo del proyecto.
El capítulo de Ingeniería busca profundizar acerca del proceso productivo de un vino premium y la selección de la tecnología adecuada. Por otro lado, se realiza un estudio de localización teniendo en cuenta los factores climáticos, geográficos y legales para la selección de la ubicación de la bodega. Además, en base a la proyección de ventas confeccionada en el apartado de mercado, se ejecuta el balance de línea del proyecto en donde se especifican las cantidades requeridas de materia prima y maquinaria.
En el tercer capítulo, se estudian los parámetros económicos y financieros con el objetivo de determinar la viabilidad del proyecto en cuestión. Para ello se confeccionan los costos que permiten el desarrollo de la finca y la planta, el cuadro de resultados, balance, flujo de fondos y estado de origen y aplicación de fondos. Por otro lado, se analizaron diversos sistemas de financiamiento para luego poder determinar el costo de capital en cada año del proyecto. Finalmente, se estima que el valor del VAN (Valor Actual Neto) es de USD - $ 2.375.261.
Por último, se realiza un estudio de las posibles variables de riesgos que pueden afectar directamente al proyecto. Una vez que se seleccionan las más relevantes, se proponen estrategias de mitigación y se observa cómo dichos cambios modifican la rentabilidad del proyecto. Por otra parte, se analiza la opción real de fabricar vino homologado kosher para una parte de la producción.
Como conclusión del profundo análisis efectuado, se recomienda a los miembros de la empresa que no inviertan en el proyecto