Global ETD Search

71	Constitutional function assigned to the penalty: Bases for a criminal policy plan / Función constitucional asignada a la pena: bases para un plan de política criminal Chang Kcomt, Romy Alexandra 10 April 2018 (has links) This article intends to analyze treatment and functions assigned to the penalty by our Peruvian Constitution and the way this legal institution is conducted at the prescribed basic penalty level (imposed by the legislator ineach type of criminal offence), the specific penalty level (imposed by the judge according to its individual characteristics in each case) and at the penitentiary enforcement level. Finally recommends some considerations for carrying out a possible legislative reform in accordance with a criminal policy plan within our constitutional framework. / El presente trabajo busca efectuar un análisis en torno al tratamiento y las funciones que nuestra Constitución política asigna a la pena, y la manera como dicha institución se desarrolla en nuestro país con respectoa la pena abstracta (la impuesta por el legislador en cada tipo penal), la pena concreta (la impuesta por el juez luego de una individualización en cada casoconcreto), y su ejecución en el ámbito penitenciario. Finaliza proponiendo algunas consideraciones para una eventual reforma legislativa conforme conun plan de política criminal que se encuentre dentro del marco constitucional. Law Retributive Justice Relative Theories Of Penalty General Deterrence Special Deterrence Types Of Penalty Prescribed Basic Penalty Specific Penalty Penitentiary Enforcement Maximum Sentence Minimum Sentence Judgment Reserve Custodial Sentence Substitution Retribucionismo Penal Teorías Relativas De La Pena Prevención General Prevención Especial Clases De Pena Pena Abstracta Pena Concreta Ejecución Penitenciaria De La Pena Pena Máxima Pena Mínima Reserva Del Fallo Condenatorio
72	Estrategias de internacionalización en el sector del e-learning para instituciones de educación superior Roldán Martínez, David 24 May 2010 (has links) Esta tesis plantea un estudio de la internacionalización de la Educación Superior desde el punto de vista de las Universidades y del e-learning como estrategia competitiva, proponiendo un proceso de construcción de dicha estrategia competitiva a partir del análisis estratégico del sector que, además, plantea opciones que puedan servir de base para futuros estudios relacionadas con este sector de actividad en el ámbito de la Educación Superior. A este fin, en primer lugar se analiza el entorno en que se hallan inmersas las Universidades y que se caracteriza por una clara tendencia a la internacionalización de la Educación Superior cuya muestra en Europa es el desarrollo del Espacio Europeo de Educación Superior. Seguidamente, y como quiera que las TIC son uno de los habilitadores de este proceso transformador, se describe el proceso de incorporación de las Tecnologías de la Informática y las Comunicaciones a todos los ámbitos de la actividad universitaria (docencia, investigación y gestión) y sus consecuencias, para pasar a profundizar en su aplicación al proceso de enseñanza-aprendizaje. Posteriormente, y siguiendo las directrices de diseño de estrategias de aprendizaje flexible propuesto por la Australian National Training Autority, se propone un método de análisis estratégico del sector del e-learning en el ámbito de la Educación Superior a partir del cual se concluye con la identificación de las bases para la construcción de una estrategia competitiva en un mercado internacionalizado de Educación Superior, dejando la puerta abierta a estudios más avanzados y profundos de las líneas generales planteadas. En este trabajo se pretende introducir un procedimiento sistemático de análisis que asista a las instituciones de Educación Superior en la elaboración de sus planes estratégicos y tácticos en cuanto a la formación on-line se refiere, siempre con el objetivo de conseguir una posición y una ventaja competitivas sólidas y estables. / Roldán Martínez, D. (2007). Estrategias de internacionalización en el sector del e-learning para instituciones de educación superior [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8302 / Palancia E-learning Formación on-line Educación superior Formación superior Internacionalización Globalización Espacio europeo de educación superior Formación continua Formación a lo largo de la vida Lifelong learning Análisis estratégico Rivalidad Identificación del competidor Modelo de negocio Cadena de valor MATEMATICA APLICADA 580104 - Teorías educativas 531106 - Estudio de mercados 530907 - Empresas de servicios públicos
73	Modeling and Analysis of Advanced Cryptographic Primitives and Security Protocols in Maude-NPA Aparicio Sánchez, Damián 23 December 2022 (has links) Tesis por compendio / [ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literatura, las propiedades criptográficas adicionales han descubierto debilidades de los protocolos de seguridad y, en otros casos, son parte de los supuestos de seguridad del protocolo para funcionar correctamente. Maude-NPA tiene una base teórica en la rewriting logic, la unificación ecuacional y el narrowing para realizar una búsqueda hacia atrás desde un patrón de estado inseguro para determinar si es alcanzable o no. Maude-NPA se puede utilizar para razonar sobre una amplia gama de propiedades criptográficas, incluida la cancelación del cifrado y descifrado, la exponenciación de Diffie-Hellman, el exclusive-or y algunas aproximaciones del cifrado homomórfico. En esta tesis consideramos nuevas propiedades criptográficas, ya sea como parte de protocolos de seguridad o para descubrir nuevos ataques. También hemos modelado diferentes familias de protocolos de seguridad, incluidos los Distance Bounding Protocols or Multi-party key agreement protocolos. Y hemos desarrollado nuevas técnicas de modelado para reducir el coste del análisis en protocolos con tiempo y espacio. Esta tesis contribuye de varias maneras al área de análisis de protocolos criptográficos y muchas de las contribuciones de esta tesis pueden ser útiles para otras herramientas de análisis criptográfico. / [CA] L'eina criptografica Maude-NPA es un verificador de models especialitzats per a protocols de seguretat criptogràfics que tenen en compte les propietats algebraiques d'un sistema criptogràfic. A la literatura, les propietats criptogràfiques addicionals han descobert debilitats dels protocols de seguretat i, en altres casos, formen part dels supòsits de seguretat del protocol per funcionar correctament. Maude-NPA te' una base teòrica a la rewriting lògic, la unificació' equacional i narrowing per realitzar una cerca cap enrere des d'un patró' d'estat insegur per determinar si es accessible o no. Maude-NPA es pot utilitzar per raonar sobre una amplia gamma de propietats criptogràfiques, inclosa la cancel·lació' del xifratge i desxifrat, l'exponenciacio' de Diffie-Hellman, el exclusive-or i algunes aproximacions del xifratge homomòrfic. En aquesta tesi, considerem noves propietats criptogràfiques, ja sigui com a part de protocols de seguretat o per descobrir nous atacs. Tambe' hem modelat diferents famílies de protocols de seguretat, inclosos els Distance Bounding Protocols o Multi-party key agreement protocols. I hem desenvolupat noves tècniques de modelització' de protocols per reduir el cost de l'analisi en protocols amb temps i espai. Aquesta tesi contribueix de diverses maneres a l’àrea de l’anàlisi de protocols criptogràfics i moltes de les contribucions d’aquesta tesi poden ser útils per a altres eines d’anàlisi criptogràfic. / [EN] The Maude-NPA crypto tool is a specialized model checker for cryptographic security protocols that take into account the algebraic properties of the cryptosystem. In the literature, additional crypto properties have uncovered weaknesses of security protocols and, in other cases, they are part of the protocol security assumptions in order to function properly. Maude-NPA has a theoretical basis on rewriting logic, equational unification, and narrowing to perform a backwards search from an insecure state pattern to determine whether or not it is reachable. Maude-NPA can be used to reason about a wide range of cryptographic properties, including cancellation of encryption and decryption, Diffie-Hellman exponentiation, exclusive-or, and some approximations of homomorphic encryption. In this thesis, we consider new cryptographic properties, either as part of security protocols or to discover new attacks. We have also modeled different families of security protocols, including Distance Bounding Protocols or Multi-party key agreement protocols. And we have developed new protocol modeling techniques to reduce the time and space analysis effort. This thesis contributes in several ways to the area of cryptographic protocol analysis and many of the contributions of this thesis can be useful for other crypto analysis tools. / This thesis would not have been possible without the funding of a set of research projects. The main contributions and derivative works of this thesis have been made in the context of the following projects: - Ministry of Economy and Business of Spain : Project LoBaSS Effective Solutions Based on Logic, Scientific Research under award number TIN2015-69175-C4-1-R, this project was focused on using powerful logic-based technologies to analyze safety-critical systems. - Air Force Office of Scientific Research of United States of America : Project Advanced symbolic methods for the cryptographic protocol analyzer Maude-NPA Scientific Research under award number FA9550-17-1-0286 - State Investigation Agency of Spain : Project FREETech: Formal Reasoning for Enabling and Emerging Technologies Scientific I+D-i Research under award number RTI2018-094403-B-C32 / Aparicio Sánchez, D. (2022). Modeling and Analysis of Advanced Cryptographic Primitives and Security Protocols in Maude-NPA [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/190915 / Compendio Teorías ecuacionales Time and space Security protocols Equational unification Cryptographic protocol analysis Efficient crytographic protocol analysis State space reduction techniques Maude-NPA Equational theories Protocolos criptográficos Espacio de estados Análisis de protocolos criptográficos Protocolos de seguridad Unificación ecuacional LENGUAJES Y SISTEMAS INFORMATICOS
74	El Control de gestión en organizaciones sin ánimo de lucro: el caso particular de los colegios de economistas de España Soldevila García, Pilar 05 July 2000 (has links) Esta investigación ha identificado los instrumentos de contabilidad de gestión que los gestores de las organizaciones no lucrativas, y más concretamente de los colegios de economistas de España, utilizan y pueden utilizar como sistemas de información para el control de la gestión y para la mejora de su eficiencia, eficacia y economía. Se han realizado tres estudios empíricos: 1. A los gestores de los colegios de economistas, para conocer situación y nivel de implantación de instrumentos de control de gestión .2. Se ha centrado en el análisis de la situación a nivel también de instrumentos de contabilidad de gestión de determinadas asociaciones inglesas que están destinadas a profesionales que ejercen en especialidades que en España pueden realizar los economistas. 3. A usuarios de los colegios, par ver nivel de calidad de los servicios y actividades que los colegios realizan y los efectos de la profesionalidad múltiple que los caracteriza. / It presents the results of a study about management control in non-profit organizations, focusing on the particular case of the Associations of Economists in Spain. In order to do it, a revision of literature and empirical studies have taken place to find out the implementation and level development of the instruments of management accounting in non-profit organizations. The study has been completed with three empirical studies, first directed to Associations of Economists in Spain, the second to associations from the UK related to the economy and the company, and, third directed to users from an Economists'Professional Association. Moreover, interviews of managers of different Associations from the UK have been made. History of non-profit organizations Antropologic theorys of control Culture Classical theory of control Open Systems Theory Human relations Contingency theory Systems of information Financial accounting Management accounting Chartered of Accountands Accounting Professional Bodies Cost accounting Associations of Economists Evolución sector no lucrativo Management control Implementation systems of information Historia organizaciones no lucrativas Clasificación colegios profesionales Instrumentos contabilidad de gestión Profesionales Clasificación entidades no lucrativas Asociaciones inglesas de contabilidad Relaciones humanas Profesión Teoría de la contingencia Sector no lucrativo Cultura Teoría de los sistemas abiertos Contabilidad financiera Sistemas mecanicistas Teoría clásica Entidades sin ánimo de lucro Plan estratégico Colegios profesionales Organizaciones sin ánimo de lucro Asociaciones profesionales Contabilidad de gestión Contabilidad de costes Asociaciones Control de gestión Contabilidad Colegios economistas eficiencia Control presupuestario Cuadro de mando integral eficacia Quality of services Inducatir Psicosocials theorys of control Calidad de los servicios Planificación Planificación estratégica Economista Liberalización servicios Indicadores Profession Sistema de información Non profit sector Strategic business planning Control Planification Balance Scored Card Economy Financial planning Economist Efficiency Planning Efficient Performance Classification of associations Evolution of non-profit organizations 06 347 65

Page generated in 0.0418 seconds