Wednesday, May 6, 2015

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 61 - 80 de 145,488

61. A new generic scheme for functional logic programming with constraints - Francisco J. López Fraguas; Mario Rodríguez Artalejo; Rafael del Vado Vírseda

62. Equivalence of two formal semantics for functional logic programs - F. J. López-fraguas; J. Rodríguez-hortalá; J. Sánchez-hernández

63. Extra Variables Can Be Eliminated from Functional Logic Programs - Javier De Dios Castro; Francisco J. López-fraguas
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possibly non strict and non-deterministic functions. While in practice and in some theoretical papers rewrite rules can contain extra variables in right hand sides, some other works and techniques do not consider such possibility. We address in this paper the question of whether extra variables can be eliminated in such kind of functional logic programs, proving the soundness and completeness of an easy solution that takes advantage of the possibility of non-confluence. Although the focus of the...

64. Relating two semantic descriptions of functional logic programs - F. J. López-fraguas; J. Rodríguez-hortalá; J. Sánchez-hernández

65. Narrowing for Non-Determinism with Call-Time Choice Semantics - F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández
In a recent work we have proposed let-rewriting, a simple one-step relation close to ordinary term rewriting but able, via local bindings, to express sharing of computed values. In this way, let-rewriting reflects the call-time choice semantics for non-determinism adopted by modern functional logic languages, where programs are rewrite systems possibly non-confluent and non-terminating. Equivalence with CRWL, a well known semantic framework for functional logic programming, was also proved. In this paper we extend that work providing a notion of letnarrowing which is adequate for call-time choice as proved by a lifting lemma for let-rewriting similar to Hullot’s lifting lemma...

66. Construyendo alternativas al encierro - González, Andrea
El presente trabajo da cuenta de la experiencia llevada ha cabo desde el año 2004, en el Hospital de Día del Servicio de Salud Mental del H.I.G.A. Gral. San Martín de La Plata. Este es un dispositivo terapéutico alternativo, de abordaje grupal y ambulatorio, destinado a personas con padecimiento mental, que requieren de un proceso de rehabilitación e inserción social. Los pacientes concurren en su mayoría diariamente, otros asisten algunos días o participan sólo de algunas actividades. Esto es pensado dentro de una lógica de trabajo, donde ya desde la admisión se intenta armar junto con el paciente y su familia o...

67. Televisión y política: espacio público, puestas en escena y regímenes de visibilidad - Cingolani, Gastón; Fernández, Mariano
Este artículo propone analizar un problema desatendido sobre los vínculos entre política y televisión. Una perspectiva muy arraigada sostiene que la acción política asume en el espacio público una forma espectacular a causa de la televisión. Sin embargo, con o sin mediatización, la acción política inscripta en espacios públicos en un contexto democrático siempre construye un régimen de visibilidad. El espectáculo es la forma misma de la puesta en escena política sobre el espacio público: no sólo instituye un adversario sino que funda, por la fuerza misma de su aparición, un espectador. La inscripción en el espacio público instituye a...

68. O programa Prêmio Capes de Tese : avaliação dos resultados pós-premiação - Carvalho, Renato Barros de
As premiações e honrarias a cientistas fazem parte da dinâmica de funcionamento da atividade científica desde o século XVII. O sistema de recompensas da ciência reforça essa prática baseada na motivação dos cientistas em busca de reconhecimento. No entanto, a lógica desse sistema a partir da estratificação dos cientistas e suas contribuições faz com que haja uma distribuição desigual dos créditos aos pesquisadores, favorecendo os pesquisadores com maior reconhecimento. Os estudos bibliométricos revelam tendências e normas de atuação desse sistema a cientistas ganhadores de grandes prêmios internacionais como Prêmio Nobel e Medalha Fields. Diante desse arcabouço teórico, cabe analisar de...

69. Agricultura intensiva y políticas de migración laboral: Jornaleros centroamericanos en México y marroquíes en Francia - García, Martha; Décosse, Frédéric
Se presentan dos ejemplos de política migratoria laboral a partir de la experiencia de jornaleros agrícolas centroamericanos en la frontera sur de México y marroquíes en Francia. Se analizan los modelos de trabajadores huéspedes en el marco de una reflexión crítica sobre los actuales esquemas dominantes de " gestión " de la movilidad humana que obligan a los migrantes a " circular " permanentemente, y cuya condición burocrática fomenta la precariedad laboral y social. El estudio comparativo de dos permisos laborales internacionales parte del mercado trabajo de la producción intensiva agroindustrial de la caña de azúcar en Chiapas (caso mexicano)...

70. Belief merging in Dynamic Logic of Propositional Assignments - Herzig, Andreas; Pozos Parra, Pilar; Schwarzentruber, François
International audience

71. La ruptura de la promesa de matrimonio - Abad Arenas, Encarnación
La libertad para contraer matrimonio es un principio recogido, desde sus antecedentes, en la redacción originaria de nuestro Código civil español. En este sentido, en el texto del Código 1889, las previsiones dedicadas a la promesa futura de matrimonio se localizaban en el Libro 1, Título Del matrimonio, sección segunda, Disposiciones comunes a las dosformas de matrimonio. Esta segunda sección, incluía los artí.culos 43 y 44, sobre los «Esponsales de futuro» y no, en puridad, el matrimonio en sí. Esta ordenación sistemática y la redacción de la figura, no fue abordada por la reforma del año 1958 dedicada, fundamentalmente al...

72. Marxism and Its Others - Hall, C
This chapter is written from the perspective of a historian trying to comprehend the complexities of the nineteenth-century societies and to use those conceptual theories that would define the many layers of the social, cultural, and political world. In the absence of Marxism, there has been a tendency to lose interest in the large-scale changes and to resort to micro-histories. A return to Marx is therefore needed to understand how change occurs in the relation between key categories of difference. And while Marx may not have full answers to the questions on the logic of capital and class antagonisms, he...

73. Legal Maxims - Young, CSR; Young, C
Legal Maxims is a work consisting of a pair of legal phrases created in white neon. The phrases, ‘WRONG IN ITSELF’ and ‘NOBODY’S THING’, are legal maxims – an ancient and basic form of establishing logic or ideal within the legal field – which operate as a kind of rhetorical shorthand, intended to assist judges in deciding the outcome of cases. Contrary to the precision considered so fundamental to law, and selected by the artist for their philosophical suggestiveness, they seem inherently ambiguous and suggestive of slippages at the core of legal thinking.

74. A proof-theoretic analysis of the classical propositional matrix method - Pym, D; Ritter, E; Robinson, E
The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory. © 2012 The Author, 2012. Published by Oxford University Press.

75. Political legitimacy and European monetary union: contracts, constitutionalism and the normative logic of two-level games - Bellamy, R; Weale, A
The crisis of the euro area has severely tested the political authority of the European Union (EU). The crisis raises questions of normative legitimacy both because the EU is a normative order and because the construction of economic and monetary union (EMU) rested upon a theory that stressed the normative value of the depoliticization of money. However, this theory neglected the normative logic of the two-level game implicit in EMU. It also neglected the need for an impartial and publically acceptable constitutional order to acknowledge reasonable disagreements. By contrast, we contend that any reconstruction of the EU's economic constitution has...

76. Incorporació de la lògica borrosa en l'estudi de la viabilitat dels nous projectes empresarials - Linares Mustarós, Salvador
La predicció de despeses, vendes o cobraments en l’àmbit de l’emprenedoria planteja la dificultat afegida de treballar amb dades extremadament incertes. Aquest fet ocasiona que la previsió de tresoreria o la previsió de pèrdues i guanys tingui associada un alt grau d’indeterminació. La lògica borrosa propicia la creació de nous models de prognosi que afavoreixen que l’emprenedor obtingui una visió de futur més àmplia. El nucli del treball doctoral està format per tres articles que presenten una proposta completa de solució a problemes actuals i reals de la predicció emprenedora centrats en potenciar la utilització de la lògica borrosa a nivell pràctic....

77. Turismo, sustentabilidad y asociatividad interorganizacional - Barrionuevo, María Eugenia; Pan, Mónica Inés
Este documento se desprende de una investigación en curso actualmente, "Sustentabilidad y asociatividad interorganizacional en el sector turístico en Córdoba. Perspectiva psico socio organizacional" avalada por la SECyT. Realizada por la Cátedra de Psicología Organizacional de la Facultad de Psicología UNC. Su objetivo es socializar avances de resultados de la misma, en uno de los sectores relevados: Localidad de Cuesta Blanca. Para la presente investigación, se ha optado por una metodología cualitativa; se opto por el uso de herramienta privilegiada como la entrevista en profundidad; en este marco, es importante la concentración y el involucramiento emocional, no colocando al sujeto...

78. Subjetividades y sentidos en las prácticas de intervención profesional en infancia en tiempos de vacilación de la ley - Seoane Toimil, Inés
Este trabajo tiene por finalidad el análisis, la descripción y el estudio de las prácticas de intervención profesional en el campo de la infancia en el escenario contemporáneo de transición entre los dispositivos propios de la lógica tutelar a la de protección de derechos.

79. Desarrollo de un sistema de navegación y telemetría en tiempo real para un robot móvil desde un smart phone - Cichanowski, Miguel; Kornuta, Cristian; Marinelli, Marcelo
En los sistemas de navegación de robot móviles se presenta el problema de controlar el mismo mediante algún tipo de conexión remota que brinde seguridad y control en tiempo real. En el presente trabajo, se desarrolló un sistema de control remoto para un Robot móvil de arquitectura Arduino utilizando como centro de control un Smart Phone con sistema operativo Android y como vía de comunicación una conexión de red inalámbrica punto a punto WiFi (IEEE 802.11) mediante el protocolo TCP/IP. Esto conllevó al diseño de la estructura de los comandos a ser enviados, recibidos e interpretados por ambos dispositivos, el...

80. Control automatizado de cultivos hidropónicos mediante lógica difusa - Marinelli, Marcelo; Acosta, Nelson; Kornuta, Carlos; De Silvestre, Enrique; Wurm, Guillermo
El objetivo de este trabajo es desarrollar, implementar y evaluar un sistema de hidropónico con un control automatizado basado en un modelo de lógica difusa. El sistema consta de dos partes relacionadas con el proceso de producción. La primera consiste en una cámara de cultivo piloto con un controlador difuso que activa determinados períodos de iluminación artificial e interactúa con las variables intervinientes (niveles de nutrientes, temperatura, humedad, pH), en donde se siembran las semillas y se desarrollan los plantines hasta estar disponibles para su trasplante. La segunda parte consta de un sistema de cultivo hidropónico donde se depositan los...

Página de resultados:
 

Busque un recurso