6,864 research outputs found
Linear nested Artin approximation theorem for algebraic power series
We give a new and elementary proof of the nested Artin approximation Theorem
for linear equations with algebraic power series coefficients. Moreover, for
any Noetherian local subring of the ring of formal power series, we clarify the
relationship between this theorem and the problem of the com-mutation of two
operations for ideals: the operation of replacing an ideal by its completion
and the operation of replacing an ideal by one of its elimination ideals.Comment: Last version. To appear in Manuscripta Mat
On the computation of Bernstein–Sato ideals
In this paper we compare the approach of Brianc¸onand Maisonobe for computing Bernstein–Sato
ideals—based on computations in a Poincar´e–Birkhoff–Witt algebra—with the readily available
method of Oaku and Takayama. We show that it can deal with interesting examples that have proved
intractable so far.Ministerio de Ciencia y Tecnología BFM-2001-3164Junta de Andalucía FQM-33
Explicit Comparison Theorems for D -modules
We prove in an explicit way a duality formula between two A2-modules Mlog and Mflog
associated to a plane curve and we give an application of this duality to the comparison
between Mflog and the A2-module of rational functions along the curve. We treat the
analytic case as well
Gevrey expansions of hypergeometric integrals II
We study integral representations of the Gevrey series solutions of irregular
hypergeometric systems under certain assumptions. We prove that, for such
systems, any Gevrey series solution, along a coordinate hyperplane of its
singular support, is the asymptotic expansion of a holomorphic solution given
by a carefully chosen integral representation.Comment: 27 pages, 2 figure
Development of a distributed application over R3 Corda
Nowadays, technology is growing by leaps and bounds and during the last few years blockchain technology is growing very fast, we are seeing how even banks are partnering to incorporate this technology in their business. With this thesis we aim to study a blockchain network created by R3 enterprise which is presented as a network for the private sector in which they want to give strict privacy in transactions. We want to study the inner workings of this network, for example what types of nodes it has, how it builds its ledger, how it creates the blockchain. And how it provides this strict privacy. For this we will develop an application on this network to see how its ledger works, how those states are stored in the nodes and its blockchain. We will see how the ledger is not distributed to all the nodes, each one of them has its own. And we will see that in the blockchain only those transactions that are related are chained together.Hoy en día la tecnología está creciendo a pasos agigantados y durante los últimos años la tecnología blockchain está creciendo muy rápido, estamos viendo como incluso los bancos se están asociando para incorporar esta tecnología en su negocio. Con esta tesis pretendemos estudiar una red blockchain creada por la empresa R3 que se presenta como una red para el sector privado en la que se quiere dar una estricta privacidad en las transacciones. Queremos estudiar el funcionamiento interno de esta red, por ejemplo qué tipos de nodos tiene, cómo construye su ledger, cómo crea el blockchain. Y cómo proporciona esta estricta privacidad. Para ello desarrollaremos una aplicación en esta red para ver cómo funciona su ledger, cómo se almacenan esos estados en los nodos y su blockchain. Veremos cómo el ledger no está distribuido a todos los nodos, cada uno de ellos tiene el suyo propio. Y veremos que en la blockchain sólo se encadenan las transacciones que están relacionadas.Avui dia la tecnologia està creixent amb passes de gegant i durant els últims anys la tecnologia blockchain està creixent molt ràpid, estem veient com fins i tot els bancs s'estan associant per a incorporar aquesta tecnologia en el seu negoci. Amb aquesta tesi pretenem estudiar una xarxa blockchain creada per l'empresa R3 que es presenta com una xarxa per al sector privat en la qual es vol donar una estricta privacitat en les transaccions. Volem estudiar el funcionament intern d'aquesta xarxa, per exemple quins tipus de nodes té, com construeix el seu ledger, com crea el blockchain. I com proporciona aquesta estricta privacitat. Per a això desenvoluparem una aplicació en aquesta xarxa per a veure com funciona el seu ledger, com s'emmagatzemen aquests estats en els nodes y la seva blockchain. Veurem com el llibre de comptabilitat no està distribuït a tots els nodes, cadascun d'ells té el seu propi. I veurem que en la blockchain només s'encadenen les transaccions que estan relacionades
End-to-end Incremental Learning
Although deep learning approaches have stood out in recent years due to their state-of-the-art results, they continue to suffer from (catastrophic forgetting), a dramatic decrease in overall performance when training with new classes added incrementally. This is due to current neural network architectures requiring the entire dataset, consisting of all the samples from the old as well as the new classes, to update the model---a requirement that becomes easily unsustainable as the number of classes grows. We address this issue with our approach to learn deep neural networks incrementally, using new data and only a small exemplar set corresponding to samples from the old classes. This is based on a loss composed of a distillation measure to retain the knowledge acquired from the old classes, and a cross-entropy loss to learn the new classes. Our incremental training is achieved while keeping the entire framework end-to-end, i.e., learning the data representation and the classifier jointly, unlike recent methods with no such guarantees.This work has been funded by project TIC-1692 (Junta de Andalucía), TIN2016-80920R (Spanish Ministry of Science and Technology) and Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech
Enfoque curricular centrado en la persona
Un enfoque curricular estructura, visua-liza y organiza el proceso educativo. Sin embargo, a pesar de su importancia, el sistema educativo costa-rricense no identifica unas características prácticas claras de un enfoque curricular, por medio del cual el educador pueda ubicar el tipo de estudiante que debe formar.Se desea sistematizar y aportar por medio de una revisión bibliográfica, del enfoque curricular cen-trado en la persona, una alternativa que favorezca la formación de las personas de manera integral, que promueva la crítica, la búsqueda de soluciones a problemas comunales y en general al avance de la sociedad a través del bien común
- …