Time filter

Source Type

San Jose Iturbide, Mexico

The Polytechnic University of San Luis Potosí was created on 27 June 2001 and was the first Polytechnic University of the Subsystem of Polytechnic Universities.Besides the academic programs, the University offers a series of professional certifications, such as: The FCE by University of Cambridge, the MOS certification by Microsoft, and other certifications offered by Cisco Systems, or Sun Microsystems.The campus of the University was built using a Project for Rendering of Services ; being the first higher education institution in Mexico created under this modality. Acciona is the company in charge of rendering the services until the year 2027 Wikipedia.

Luna L.F.N.,Polytechnic University of San Luis Potosi
IIE Annual Conference and Expo 2010 Proceedings | Year: 2010

This paper presents the results of a theoretical analysis made in order to determinate the effects related to the internal sources of variation in production processes. It also includes a proposal of the Lean Manufacturing elements able to reduce the variation in order to get small production batches. The main value of the paper is the explanation about the importance of the internal variation reduction in production processes needed to achieve the stabilization required to establish the continuous flow in the production. The results presented in this paper will contribute to Mexico's development as a basis for the implementation of Lean Manufacturing System. Source

Montano-Rivas O.,Polytechnic University of San Luis Potosi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2013

Completion-based automated theory exploration is a method to explore inductive theories with the aid of a convergent rewrite system. It combines a method to synthesise conjectures/definitions in a theory with a completion algorithm. Completion constructs a convergent rewrite system which is then used to reduce redundancies and improve prove automation during the exploration of the theory. However, completion does not always succeed on a set of identities and a reduction ordering. A common failure occurs when an initial identity or a normal form of a critical pair cannot be oriented by the given ordering. A popular solution to this problem consists in using the instances of those rules which can be oriented for rewriting, namely ordered rewriting. Extending completion to ordered rewriting leads to 'unfailing completion'. In this paper, we extend the class of theories on which the completion-based automated theory exploration method can be applied by using unfailing completion. This produce stronger normalization methods compared to those in [20,21]. The techniques described are implemented in the theory exploration system IsaScheme. © Springer-Verlag 2013. Source

Jimenez-Lopez E.,Autonomous University of San Luis Potosi | Gonzalez Salas J.S.,Polytechnic University of San Luis Potosi | Ontanon-Garcia L.J.,Autonomous University of San Luis Potosi | Campos-Canton E.,San Luis Potosi Institute of Scientific Research and Technology
Journal of the Franklin Institute | Year: 2013

Switched systems are capable of generating chaotic multi-scroll behavior in R3 by means of a control signal. This signal regulates an equilibrium position of the system and is defined according to the number of scrolls that is displayed by the attractor. Thus, if two systems are controlled by different signals, they exhibit a different number of scrolls. Multistability can be created by a pair of unidirectionally coupled unstable dissipative switched linear systems. A theoretical study of this phenomenon is performed with the jerky equations. Generalized synchronization is observed in numerical simulations of the master-salve system with different control signals. The proposed configuration preserves the number of scrolls and can possess an arbitrary large number of coexisting chaotic multi-scroll attractors. © 2013 The Franklin Institute. Source

Guerra-Garcia C.,Polytechnic University of San Luis Potosi | Caballero I.,University of Castilla - La Mancha | Piattini M.,University of Castilla - La Mancha
Information Systems Frontiers | Year: 2013

The number of Web applications which are part of Business Intelligence (BI) applications has grown exponentially in recent years, as has their complexity. Consequently, the amount of data used by these applications has also increased. The larger the number of data used, the greater the chance to make errors is. That being the case, managing data with an acceptable level of quality is paramount to success in any organizational business process. In order to raise and maintain adequate levels of Data Quality (DQ), it is indispensable for Web applications to be able to satisfy specific DQ requirements. To do so, DQ requirements should be captured and introduced into the development process of the Web Application, together with the other software requirements needed in the applications. In the field of Web application development, however, there appears to us to exist a lack of proposals aimed at managing specific DQ software requirements. This paper considers the MDA (Model Driven Architecture) approach and, principally, the benefits provided by Model Driven Web Engineering (MDWE), putting forward a proposal for two artifacts. These consist of a metamodel and a UML profile for the management of Data Quality Software Requirements for Web Applications (DQ-WebRE). © 2012 Springer Science+Business Media New York. Source

Ahuatzin G.,Polytechnic University of San Luis Potosi | Flores-Mendieta R.,Jefferson Lab | Hernandez-Ruiz M.A.,Autonomous University of Zacatecas | Hofmann C.P.,University of Colima
Physical Review D - Particles, Fields, Gravitation and Cosmology | Year: 2014

The magnetic and transition magnetic moments of the ground-state baryons are computed in heavy baryon chiral perturbation theory in the large-Nc limit, where Nc is the number of colors. SU(3) symmetry breaking is systematically studied twofold: On the one hand, one-loop nonanalytic corrections of orders mq1/2 and mq ln mq are included, with contributions of baryon intermediate states from both flavor octet and flavor decuplet multiplets, assuming degeneracy between baryon states within a given flavor multiplet but nondegeneracy between baryons of different multiplets. On the other hand, perturbative SU(3) symmetry breaking is also analyzed by including all relevant leading-order operators that explicitly break SU(3) at linear order. The resultant expressions are compared with the available experimental data and with other determinations in the context of conventional heavy baryon chiral perturbation theory for three flavors of light quarks and at the physical value Nc=3. The agreement reached is quite impressive. © 2014 American Physical Society. Source

Discover hidden collaborations