A heuristic algorithm based on multi-assignment procedures for nurse scheduling

This paper tackles a Nurse Scheduling Problem which consists of generating work schedules for a set of nurses while considering their shift preferences and other requirements. The objective is to maximize the satisfaction of nurses' preferences and minimize the violation of soft constraints. This paper presents a new deterministic heuristic algorithm, called MAPA (multi-assignment problem-based algorithm), which is based on successive resolutions of the assignment problem. The algorithm has two phases: a constructive phase and an improvement phase. The constructive phase builds a full schedule by solving successive assignment problems, one for each day in the planning period. The improvement phase uses a couple of procedures that re-solve assignment problems to produce a better schedule. Given the deterministic nature of this algorithm, the same schedule is obtained each time that the algorithm is applied to the same problem instance. The performance of MAPA is benchmarked against published results for almost 250,000 instances from the NSPLib dataset. In most cases, particularly on large instances of the problem, the results produced by MAPA are better when compared to best-known solutions from the literature. The experiments reported here also show that the MAPA algorithm finds more feasible solutions compared with other algorithms in the literature, which suggest that this proposed approach is effective and robust. © 2013 Springer Science+Business Media New York.

Reforma agrária e desenvolvimento sustentável: aspectos obrigacionais e instrumentos legais de proteção

Pós-graduação em Direito - FCHS

Ericto, a feiticeira: a magia nas tramas da tradução castilhiana (Pharsalia, VI, 438-569)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Influência dos tratamentos térmicos na microestrutura e nos micromecanismos de fratura da liga ti-6al-4v produzida por sinterização direta de metal por laser (DMLS)

Pós-graduação em Engenharia Mecânica - FEIS

Certificados electrónicos de servidor en administración y comercio electrónicos: garantías de seguridad

El uso de Internet por parte de los ciudadanos para relacionarse con las Administraciones Públicas o en relación con actividades de comercio electrónico crece día a día. Así lo evidencian los diferentes estudios realizados en esta materia, como los que lleva a cabo el Observatorio Nacional de las Telecomunicaciones y la Sociedad de la Información (http://www.ontsi.red.es/ontsi/). Se hace necesario, por tanto, identificar a las partes intervinientes en estas transacciones, además de dotarlas de la confidencialidad necesaria y garantizar el no repudio. Uno de los elementos que, junto con los mecanismos criptográficos apropiados, proporcionan estos requisitos, son los certificados electrónicos de servidor web. Existen numerosas publicaciones dedicadas a analizar esos mecanismos criptográficos y numerosos estudios de seguridad relacionados con los algoritmos de cifrado, simétrico y asimétrico, y el tamaño de las claves criptográficas. Sin embargo, la seguridad relacionada con el uso de los protocolos de seguridad SSL/TLS está estrechamente ligada a dos aspectos menos conocidos:  el grado de seguridad con el que se emiten los certificados electrónicos de servidor que permiten implementar dichos protocolos; y  el uso que hacen las aplicaciones software, y en especial los navegadores web, de los campos que contiene el perfil de dichos certificados. Por tanto, diferentes perfiles de certificados electrónicos de servidor y diferentes niveles de seguridad asociados al procedimiento de emisión de los mismos, dan lugar a diferentes tipos de certificados electrónicos. Si además se considera el marco jurídico que afecta a cada uno de ellos, se puede concluir que existe una tipología de certificados de servidor, con diferentes grados de seguridad o de confianza. Adicionalmente, existen otros requisitos que también pueden pasar desapercibidos tanto a los titulares de los certificados como a los usuarios de los servicios de comercio electrónico y administración electrónica. Por ejemplo, el grado de confianza que otorgan los navegadores web a las Autoridades de Certificación emisoras de los certificados y cómo estas adquieren tal condición, o la posibilidad de poder verificar el estado de revocación del certificado electrónico. El presente trabajo analiza todos estos requisitos y establece, en función de los mismos, la correspondiente tipología de certificados electrónicos de servidor web. Concretamente, las características a analizar para cada tipo de certificado son las siguientes:  Seguridad jurídica.  Normas técnicas.  Garantías sobre la verdadera identidad del dominio.  Verificación del estado de revocación.  Requisitos del Prestador de Servicios de Certificación. Los tipos de certificados electrónicos a analizar son:  Certificados de servidor web:  Certificados autofirmados y certificados emitidos por un Prestador de Servicios de Certificación.  Certificados de dominio simple y certificados multidominio (wildcard y SAN)  Certificados de validación extendida.  Certificados de sede electrónica. ABSTRACT Internet use by citizens to interact with government or with e-commerce activities is growing daily. This topic is evidenced by different studies in this area, such as those undertaken by the Observatorio Nacional de las Telecomunicaciones y la Sociedad de la Información (http://www.ontsi.red.es/ontsi/ ). Therefore, it is necessary to identify the parties involved in these transactions, as well as provide guaranties such as confidentiality and non-repudiation. One instrument which, together with appropriate cryptographic mechanisms, provides these requirements is SSL electronic certificate. There are numerous publications devoted to analyzing these cryptographic mechanisms and many studies related security encryption algorithms, symmetric and asymmetric, and the size of the cryptographic keys. However, the safety related to the use of security protocols SSL / TLS is closely linked to two lesser known aspects:  the degree of security used in issuing the SSL electronic certificates; and  the way software applications, especially web Internet browsers, work with the fields of the SSL certificates profiles. Therefore, the diversity of profiles and security levels of issuing SSL electronic certificates give rise to different types of certificates. Besides, some of these electronic certificates are affected by a specific legal framework. Consequently, it can be concluded that there are different types of SSL certificates, with different degrees of security or trustworthiness. Additionally, there are other requirements that may go unnoticed both certificate holders and users of e-commerce services and e-Government. For example, the degree of trustworthiness of the Certification Authorities and how they acquire such a condition by suppliers of Internet browsers, or the possibility to verify the revocation status of the SSL electronic certificate. This paper discusses these requirements and sets, according to them, the type of SSL electronic certificates. Specifically, the characteristics analyzed for each type of certificate are the following:  Legal security.  Technical standards.  Guarantees to the real identity of the domain.  Check the revocation status.  Requirements of the Certification Services Providers. The types of electronic certificates to be analyzed are the following:  SSL electronic certificates:  Self-signed certificates and certificates issued by a Certification Service Provider.  Single-domain certificates and multi-domain certificates (wildcard and SAN)  Extended Validation Certificates.  “Sede electrónica” certificates (specific certificates for web sites of Spanish Public Administrations).

A methodology to analyze, design and implement very fast and robust controls of Buck-type converters

La electrónica digital moderna presenta un desafío a los diseñadores de sistemas de potencia. El creciente alto rendimiento de microprocesadores, FPGAs y ASICs necesitan sistemas de alimentación que cumplan con requirimientos dinámicos y estáticos muy estrictos. Específicamente, estas alimentaciones son convertidores DC-DC de baja tensión y alta corriente que necesitan ser diseñados para tener un pequeño rizado de tensión y una pequeña desviación de tensión de salida bajo transitorios de carga de una alta pendiente. Además, dependiendo de la aplicación, se necesita cumplir con otros requerimientos tal y como proveer a la carga con ”Escalado dinámico de tensión”, donde el convertidor necesitar cambiar su tensión de salida tan rápidamente posible sin sobreoscilaciones, o ”Posicionado Adaptativo de la Tensión” donde la tensión de salida se reduce ligeramente cuanto más grande sea la potencia de salida. Por supuesto, desde el punto de vista de la industria, las figuras de mérito de estos convertidores son el coste, la eficiencia y el tamaño/peso. Idealmente, la industria necesita un convertidor que es más barato, más eficiente, más pequeño y que aún así cumpla con los requerimienos dinámicos de la aplicación. En este contexto, varios enfoques para mejorar la figuras de mérito de estos convertidores se han seguido por la industria y la academia tales como mejorar la topología del convertidor, mejorar la tecnología de semiconducores y mejorar el control. En efecto, el control es una parte fundamental en estas aplicaciones ya que un control muy rápido hace que sea más fácil que una determinada topología cumpla con los estrictos requerimientos dinámicos y, consecuentemente, le da al diseñador un margen de libertar más amplio para mejorar el coste, la eficiencia y/o el tamaño del sistema de potencia. En esta tesis, se investiga cómo diseñar e implementar controles muy rápidos para el convertidor tipo Buck. En esta tesis se demuestra que medir la tensión de salida es todo lo que se necesita para lograr una respuesta casi óptima y se propone una guía de diseño unificada para controles que sólo miden la tensión de salida Luego, para asegurar robustez en controles muy rápidos, se proponen un modelado y un análisis de estabilidad muy precisos de convertidores DC-DC que tienen en cuenta circuitería para sensado y elementos parásitos críticos. También, usando este modelado, se propone una algoritmo de optimización que tiene en cuenta las tolerancias de los componentes y sensados distorsionados. Us ando este algoritmo, se comparan controles muy rápidos del estado del arte y su capacidad para lograr una rápida respuesta dinámica se posiciona según el condensador de salida utilizado. Además, se propone una técnica para mejorar la respuesta dinámica de los controladores. Todas las propuestas se han corroborado por extensas simulaciones y prototipos experimentales. Con todo, esta tesis sirve como una metodología para ingenieros para diseñar e implementar controles rápidos y robustos de convertidores tipo Buck. ABSTRACT Modern digital electronics present a challenge to designers of power systems. The increasingly high-performance of microprocessors, FPGAs (Field Programmable Gate Array) and ASICs (Application-Specific Integrated Circuit) require power supplies to comply with very demanding static and dynamic requirements. Specifically, these power supplies are low-voltage/high-current DC-DC converters that need to be designed to exhibit low voltage ripple and low voltage deviation under high slew-rate load transients. Additionally, depending on the application, other requirements need to be met such as to provide to the load ”Dynamic Voltage Scaling” (DVS), where the converter needs to change the output voltage as fast as possible without underdamping, or ”Adaptive Voltage Positioning” (AVP) where the output voltage is slightly reduced the greater the output power. Of course, from the point of view of the industry, the figures of merit of these converters are the cost, efficiency and size/weight. Ideally, the industry needs a converter that is cheaper, more efficient, smaller and that can still meet the dynamic requirements of the application. In this context, several approaches to improve the figures of merit of these power supplies are followed in the industry and academia such as improving the topology of the converter, improving the semiconductor technology and improving the control. Indeed, the control is a fundamental part in these applications as a very fast control makes it easier for the topology to comply with the strict dynamic requirements and, consequently, gives the designer a larger margin of freedom to improve the cost, efficiency and/or size of the power supply. In this thesis, how to design and implement very fast controls for the Buck converter is investigated. This thesis proves that sensing the output voltage is all that is needed to achieve an almost time-optimal response and a unified design guideline for controls that only sense the output voltage is proposed. Then, in order to assure robustness in very fast controls, a very accurate modeling and stability analysis of DC-DC converters is proposed that takes into account sensing networks and critical parasitic elements. Also, using this modeling approach, an optimization algorithm that takes into account tolerances of components and distorted measurements is proposed. With the use of the algorithm, very fast analog controls of the state-of-the-art are compared and their capabilities to achieve a fast dynamic response are positioned de pending on the output capacitor. Additionally, a technique to improve the dynamic response of controllers is also proposed. All the proposals are corroborated by extensive simulations and experimental prototypes. Overall, this thesis serves as a methodology for engineers to design and implement fast and robust controls for Buck-type converters.

Análise de métodos de avaliação de eco eficiência.

Para que a sustentabilidade seja gerenciada e praticada de maneira efetiva, ela deve ser mensurada, utilizando-se de métodos de avaliação da sustentabilidade. Estão disponíveis diferentes métodos de avaliação, que geralmente reduzem o resultado desse levantamento à indicadores de desempenho ambiental, econômico e social (POPEA; ANNANDALE; MORISON-SAUNDERSB, 2004). Uma das denominações mais bem aceitas e difundidas para a conjunção da dimensão ambiental e econômica é conhecida por avaliação de eco eficiência (AEE). Eco eficiência é o \"aspecto da sustentabilidade que relaciona o desempenho ambiental de um sistema de produto ao valor do sistema de produto\" (ISO, 2012). Estão disponíveis diferentes métodos de AEE, porém sem evidência das suas semelhanças e particularidades e como essas características influenciam na escolha do método mais adequado de AEE em relação às potenciais aplicações O objetivo desta pesquisa é, portanto, analisar e indicar os tipos de métodos de avaliação de eco eficiência (AEE) mais adequados para ações gerenciais nas quais caibam tais abordagens. Foram selecionados onze métodos de AEE, a partir do estabelecimento de critérios de caracterização desses métodos, a saber: BASF, Bayer, EcoWater, Hahn et al., Kuosmanen e Kortelainen, MIPS, NRTEE, UN ESCAP, UN, TU Delft, e WBCSD. Identificaram-se, ainda, quatro potenciais aplicações: (i) Monitoramento de processo com vistas à melhoria contínua; (ii) Selecção e classificação de produtos; (iii) Atendimento a requisitos legais e outros requisitos; e, (iv) Marketing, rotulagem de produtos e comunicação ambiental. A partir dos elementos metodológicos estabelecidos pela norma ISSO 14045 (2012) e do conhecimento obtido dos métodos de AEE, determinaram-se quatro requisitos pelos quais os métodos e os potenciais aplicações foram avaliados: (i) Tipo de indicador de desempenho ambiental; (ii) Tipo de indicador de valor de sistema de produto; (iii) Abrangência de aplicação; e, (iv) Tipo de indicador de eco eficiência. Aplicando-se estes requisitos nos métodos de AEE e nos potenciais usos, concluiu-se que quanto à aplicações em termos de monitoramento de processos com vistas à melhoria continua os métodos de AEE recomendados foram Bayer, NRTEE, WBCSD e UN. Para situações de seleção e classificação de produtos os métodos BASF, EcoWater, Kuosmanen e Kortelainen, MIPS, Hahn et al., TU Delft, UN ESCAP e UN demonstraram ter boa aderência. No que se refere a usos voltados ao atendimento de requisitos legais e/ou de outras naturezas, os métodos NRTEE, WBCSD e UN são os mais indicados. Em aplicações de marketing, rotulagem e comunicação foram indicados os métodos BASF, EcoWater e MIPS. Finalmente, concluiu-se que, para a escolha adequada da metodologia para uma AEE, conhecimento prévio das características de cada abordagem é necessário.

Decisions, decisions everywhere (in the open data era).

Abstract: Decision support systems have been widely used for years in companies to gain insights from internal data, thus making successful decisions. Lately, thanks to the increasing availability of open data, these systems are also integrating open data to enrich decision making process with external data. On the other hand, within an open-data scenario, decision support systems can be also useful to decide which data should be opened, not only by considering technical or legal constraints, but other requirements, such as "reusing potential" of data. In this talk, we focus on both issues: (i) open data for decision making, and (ii) decision making for opening data. We will first briefly comment some research problems regarding using open data for decision making. Then, we will give an outline of a novel decision-making approach (based on how open data is being actually used in open-source projects hosted in Github) for supporting open data publication. Bio of the speaker: Jose-Norberto Mazón holds a PhD from the University of Alicante (Spain). He is head of the "Cátedra Telefónica" on Big Data and coordinator of the Computing degree at the University of Alicante. He is also member of the WaKe research group at the University of Alicante. His research work focuses on open data management, data integration and business intelligence within "big data" scenarios, and their application to the tourism domain (smart tourism destinations). He has published his research in international journals, such as Decision Support Systems, Information Sciences, Data & Knowledge Engineering or ACM Transaction on the Web. Finally, he is involved in the open data project in the University of Alicante, including its open data portal at http://datos.ua.es

Análise do mercado de trabalho para o bibliotecário na região sul do Brasil, a partir de anúncios divulgados no site Bibliovagas

Buscou-se com essa pesquisa perceber como se apresenta o mercado de trabalho do profissional bibliotecário nos estados do Paraná (PR), Rio Grande do Sul (RS) e Santa Catarina (SC), que correspondem à região sul do Brasil (isso é metodologia). A pesquisa teve como objetivo geral analisar os anúncios publicados no site Bibliovagas (http://www.bibliovagas.com.br/), e específicos identificar fatores como: número de anúncios relativos à região Sul do Brasil, média da remuneração, competências e habilidades exigidas, jornada de trabalho, setor que mais procura esse profissional (Público x privado), além de perceber outras exigências requeridas, como por exemplo: Conhecimentos intelectuais, experiência profissional, gênero, etc.. Quanto aos aspectos metodológicos, trata-se de uma pesquisa descritiva, com procedimento técnico documental e abordagem qualiquantitativa. O intervalo de pesquisa se deu entre junho de 2014 e maio de 2015. Como resultados, foram contabilizados 109 anúncios, e 113 vagas na região Sul brasileira. Como consideração destaca-se que há mercado para o profissional, e este exige além dos conhecimentos técnicos, características pessoais, psicológicas e emocionais determinadas.

ALGUNAS RAZONES ASOCIADAS A LA DESERCIÓN UNIVERSITARIA EN EL NIVEL DE LICENCIATURA: El caso de la Escuela de Bibliotecología, Documentación e Información, Universidad Nacional de Costa Rica

La deserción estudiantil es un tema de mucha actualidad, el cual, a pesar de su importancia para el sistema educativo - especialmente, porque afecta diferentes áreas del desarrollo nacional y personal, por ejemplo: económicas, sociales, morales, emocionales y profesionales - ha sido estudiado fundamentalmente bajo un enfoque cuantitativo.El desconocimiento de las razones que tiene el estudiantado en la Escuela de Bibliotecología, Documentación e Información, de la Universidad Nacional, en Costa Rica; para abandonar las aulas, impide detener el aumento en la cantidad de deserciones, con lo que se produce una brecha difícil de nivelar entre graduados y aspirantes. Esta, situación afecta además la imagen de la Escuela y de su personal académico.Esta investigación consideró como objeto de estudio la deserción de los estudiantes en el nivel de Licenciatura, por el incumplimiento con el TFG4, a pesar de tener los otros requisitos para elaborarlo. Los datos de este trabajo se obtuvieron de los alumnos que han cursado las materias de Licenciatura de la Escuela de Bibliotecología, de la Universidad Nacional durante el período 1996-2006, los cuales no llegaron a concluir su plan de estudios, lo que los hace que permanezcan como egresados de la carrera, por un largo periodo.

Safe Design Project : Review of occupational health and safety legal requirements for designers, manufacturers, suppliers, importers and other relevant obligation bearers

In seeking to achieve Australian workplaces free from injury and disease NOHSC works to lead and coordinate national efforts to prevent workplace death, injury and disease. We seek to achieve our mission through the quality and relevance of information we provide and to influence the activities of all parties with roles in improving Australia’s OHS performance. NOHSC has five strategic objectives: • improving national data systems and analysis, • improving national access to OHS information, • improving national components of the OHS and related regulatory framework, • facilitating and coordinating national OHS research efforts, • monitoring progress against the National OHS Improvement Framework. This publication is a contribution to achieving those objectives

McNeill's code : Arranged to meet the requirements of mi ning, metallurgical and civil engineers ; directors of mining, smetling and other companies...

UANL

Abolishing admission requirements for licensed attorneys before federal administrative agencies, and for other purposes : report (to accompany S. 1466)

"December 5, 1963."

To establish uniform requirements affecting government contracts. Hearing before a subcommittee, Seventy-fourth Congress, first session, on S. 215, a bill to establish uniform requirements affecting government contracts, and for other purposes. May 7, 1935.

Mode of access: Internet.