Tuesday, May 31, 2016

 

 



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 101 - 120 de 164,525

101. A general computational method for robustness analysis with applications to synthetic gene networks - Aurélien Rizk; Gregory Batt; François Fages; Sylvain Soliman
Motivation: Robustness is the capacity of a system to maintain a function in the face of perturbations. It is essential for the correct functioning of natural and engineered biological systems. Robustness is generally defined in an ad-hoc, problem-dependent manner, thus hampering the fruitful development of a theory of biological robustness, advocated by Kitano [Mol Syst Biol, 3:137, 2007]. Results: In this paper, we propose a general definition of robustness that applies to any biological function expressible in temporal logic LTL, and to broad model classes and perturbation types. Moreover, we propose a computational approach and an implementation in BIOCHAM 2.8...

102. Evidential Paradigm and Intelligent Mathematical Text Processing - Alexander Lyaletski; Anatoly Doroshenko; Andrei Paskevich; Konstantin Verchinine
This paper presents the evidential paradigm of computer-supported mathematical assistance in “doing ” mathematics and in reasoning activity. At present, the evidential paradigm is implemented in the form of System for Automated Deduction (SAD). The system is based on the methods of automated theorem proving and is intended for intelligent mathematical text processing. It proves mathematical theorems, verifies validity of self-contained mathematical texts and can be used for inference search in first-order sequent-based logic as well. For human-like representation of mathematical knowledge, SAD exploits an original formal language close to natural languages of scientific publications. Since the problem of automated...

103. A inserção da família na assistência em saúde mental - Reinaldo, Amanda; Wetzel, Christine; Kantorski, Luciane Prado
Este estudo aborda a inserção da família na assistência em saúde mental. Para tanto, os aoutores realizaram um resgate histórico da exclusão da família, no período da consolidação do campo psiquiátrico no seio da medicina. Posteriormente, mostraram que, através dos movimentos reformistas pós-Segunda Guerra Mundial, desencadeou-se o questionamento desta lógica, emergindo ppropostas precípuas de inserção da família na assistencia de saúde mental e, finalmente, a proposta atual de inserção tendo como modelos os pressupostos da Reforma Psiquiátrica.

104. PENGEMBANGAN PERANGKAT PEMBELAJARAN LARUTAN BERPENDEKATAN PBL UNTUK MENINGKATKAN KGS INFERENSIAL LOGIKA - Deni Ardiyanti; Sudarmin Sudarmin

Pengembangan perangkat pembelajaran berpendekatan Problem Based Learning (PBL) merupakan upaya untuk meningkatkan Kerampilan Generik Sains (KGS) inferensial logika dan hasil belajar siswa. Penelitian ini bertujuan untuk (1) mengembangkan perangkat pembelajaran materi larutan dengan pendekatan PBL dan (2) mengetahui respon siswa terhadap perangkat pembelajaran menggunakan pendekatan PBL. Jenis penelitian ini merupakan jenis penelitian Research and Development (R&D). Teknik pemilihan sampel uji coba menggunakan teknik purposive sample. Perangkat pembelajaran dinyatakan valid apabila telah dinyatakan mempunyai kriteria baik atau sangat baik oleh tim ahli (validator). Hasil pengembangan produk perangkat pembelajaran telah dinyatakan valid dengan kategori baik dan layak diterapkan. Perangkat pembelajaran mampu meningkatkan...

105. Simulation of the level of material resources in the management of material consumption - Klimuk Vladimir Vladimirovich
In this article the author examines the importance of the use of structural and logic study of the economic process. Developed schematic model of the gradual formation of the material intensity and the factors influencing it.

106. The organisation of management of firm on the basis of weak signals - Doliatovskii Leonid Valerevich; Ivakhnenko Aleksandr Vladimirovich; Liss Elina Mikhailovna; Sushchenko Sergei Anatolevich
Characteristics of strategic and long-term scheduling of the company are defined, problems of management on the basis of weak signals and formation of strategy of firm are allocated. The logic of system of strategic management is formalized, strategic reactions to environment changes are defined. On the basis of allocation of five levels of knowledge of a condition of environment types of adaptive reactions of the company are defined.

107. Logic of management of strategic problems of the enterprise - Ivahnenko Aleksandr Vladimirovich; Doljatovskij Leonid Valer'evich; Sushhenko Sergej Anatol'evich; Doljatovskij Valerij Anastasievich
Problems of management by firm in the conditions of changes are considered, types of strategic problems, logic of constructions of system of strategic management are allocated. Principles of formation of strategy of firm and a strategy choice in conditions not full definiteness are defined.

108. The use of fuzzy logic in evaluating the results of testing personnel - Zhukovskaja Natal'ja Konstantinovna; Astanin Sergej Vasil'evich
Purpose of the article is to develop a methodology for assessing the results of the use of the complex variety of tests to obtain an integrated assessment of the competence of applicants. The basis of the technique is the method of fuzzy logic and plausible reasoning. These methods make it possible to standardize the testing process for the implementation of the methodology in the framework of an expert system adaptive testing.

109. Controlled institutional chaos: development of conceptual approaches to the study - Dyatlov Sergei Alexeevich
The article is devoted to the methodological principles of the organization of the global economic system, the crisis of the industrial and market paradigms, reviewing the evolution of views and critical analysis of the main provisions of the concept of controlled chaos and entropy logic theory. Introduced into the scientific circulation a number of new concepts. Formulated the new concept of "creative order".

110. Null Considered Harmful (for Transformation Verification) - K. Lano
The use of explicit null and invalid values in OCL can lead to complex and hard-to-verify specifications. In addition, these values complicate the logic of OCL and of transformation languages that use OCL, making it difficult to provide effective verification support for these languages. We define an alternative technique for using OCL with UML and model transformations which avoids the use of null and undefined values, and we present verification techniques for a transformation language, UML-RSDS, based on this approach.

111. Relatório de estágio profissionalizante em psicomotricidade em vertente educacional no Centro de Apoio Psicopedagógico do Funchal - Henriques, Micaela Vitorina Pereira
Este documento descreve o trabalho implementado no Centro de Apoio psicopedagógico do Funchal, no âmbito do Ramo de Aprofundamento de Competências Profissionais do mestrado em Reabilitação Psicomotora, durante o ano letivo 2013/2014. O trabalho desenvolvido centrou-se nas áreas da Psicomotricidade, numa dinâmica de intervenção individual e em grupo, com treze crianças com Perturbações do Desenvolvimento, contendo a mais nova quatro anos e a mais velha onze. A intervenção seguiu uma organização lógica e coerente passando pelas avaliações, planos de intervenção, intervenção psicomotora e por fim, avaliação final e análise dos resultados obtidos. De uma forma mais pormenorizada são relatados dois...

112. Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion - Guzman, Michell; Haar, Stefan; Perchy, Salim; Rueda, Camilo; Valencia, Frank
Submitted to the Journal of Logical and Algebraic Methods in Programming

113. [en] NEW QUALITY BY DESIGN – FUZZY METHOD APPLIED IN THE DEVELOPMENT OF BIOMEDICAL TECHNOLOGY - ALEJANDRO MARTINEZ RIVERO
[pt] Quality by Design (QbD) tem sido utilizado na indústria farmacêutica e biotecnológica desde 2004, contribuindo para o atendimento a aspectos pre-definidos de segurança e eficácia do medicamento. Nesta dissertação são apresentados esforços preliminares para adaptar e implementar a abordagem do QbD para a garantia da confiabilidade de tecnologias biomédicas, particularmente na fase de desenvolvimento de um dispositivo robótico assistivo destinado a auxiliar a locomoção de idosos. Para a configuração do Target Product Profile (TPP) associado às funcionalidades do dispositivo, elaborou-se um questionário que foi aplicado a uma equipe multidisciplinar de atendimento ao idoso. Com a análise estatística dos resultados...

114. Seven Lessons of the Cuban Missile Crisis for the Karabakh Conflict - Saradzhyan, Simon; Saradhyan, Artur
This paper will explore which lessons of the 1962 Cuban missile crisis Armenian and Azeri leaders should consider institutionalizing if they wish to prevent reheating of their conflict over Nagorny Karabakh into a war. Using the October 1962 crisis as an example, the paper will demonstrate how dangerously mistaken national leaders could be when they place their bets on their ability to control conflict escalation. What a leader may perceive as an incremental step – that he is taking to up the pressure on the opponent – can set off a chain of actions on international, national, organizational, and even...

115. ENHANCED PREDICTION OF STUDENT DROPOUTS USING FUZZY INFERENCE SYSTEM AND LOGISTIC REGRESSION - A. Saranya; J. Rajeswari
Predicting college and school dropouts is a major problem in educational system and has complicated challenge due to data imbalance and multi dimensionality, which can affect the low performance of students. In this paper, we have collected different database from various colleges, among these 500 best real attributes are identified in order to identify the factor that affecting dropout students using neural based classification algorithm and different mining technique are implemented for data processing. We also propose a Dropout Prediction Algorithm (DPA) using fuzzy logic and Logistic Regression based inference system because the weighted average will improve the performance of...

116. REDUCED ORDER MODEL OF U-TUBE STEAM GENERATOR AND APPLICATION OF FUZZY AND LQR IN ITS LEVEL CONTROL - Jeetendra Agarwal; Girish Parmar; Rajeev Gupta
The water level of the U-tube steam generator (UTSG) in a nuclear power unit, which is an important process parameter, must be maintained in a safe range whether the unit is working under fixed or variable conditions. In this paper, a higher order UTSG model derived from the state equations is reduced using Balanced Truncation technique. Two controllers using Fuzzy logic and LQR techniques have been designed for the reduced UTSG model to control its water level. Comparison of these two controllers has also been shown through the simulation results. Also, a comparative analysis of the reduced order model and...

117. Modelagem em SIG como subsídio à expansão urbana - Grabski, Kledson Róber
Nas últimas décadas o crescimento urbano tornou-se um problema por vezes sem controle, ocasionando a expansão desordenada e descontínua, alheia aos padrões de segurança e sustentabilidade. Neste sentido, este trabalho tem por objetivo geral propor um modelo baseado em SIG e Sensoriamento Remoto para subsidiar a indicação de áreas adequadas para expansão urbana. A implementação do modelo teve como área teste o Município de Monte Belo do Sul, localizado na Região Metropolitana da Serra Gaúcha. Para tal, inicialmente foram definidos critérios que que representam as características necessárias de uma área para que possa ser ocupada. A espacialização e a modelagem...

118. Urban megaprojects-based approach in urban planning: from isolated objects to shaping the city:The case of Dubai - Aoun, Oula
Urban megaprojects are at the core of cities’ re-imaging and marketing. As large-scale development projects, they are considered as a globalization product, marked by a search for spectacle and visibility. In Dubai, UMPs have constituted in recent years the main tool in drawing a city image that aims to compete with the world global cities. Through UMPs, an economy based on spectacle and fascination is being deployed, within a complex system of governance that encompasses family ties, business logic and individualist visions. UMPS are not exceptions or isolated developments, they are in Dubai, a mean through which the city is...

119. El concurso “Berlin Hauptstadt” 1957-1958 : aproximaciones al proyecto de espacio público europeo de posguerra - Díaz-Recasens Montero de Espinosa, Gonzalo
1. INTRODUCCION 2. LA ORGANIZACIÓN DEL CONCURSO 3. MONUMENTALIDAD Y ESCALAS CERCANAS Los CIAM de Bridgewater y Hoddesdon. El carácter institucional del urbanismo moderno Las propuestas premiadas 4. PLANTA LIBRE Y PREEXISTENCIAS El CIAM 7 de Bérgamo. El debate sobre la reconstrucción Nada que conservar. La propuesta de Le Corbusier Desde el interior. La propuesta de Luiggi Piccinato 5. LA VIDA EN LA CALLE. SUPERPOSICION DE USOS EN EL ESPACIO PÚBLICO De Hoddesdon al manifiesto de Doorn y Dubrovnic. Usos compartidos. La propuesta de Van der Broeck y Bakema Una calle en alto. La propuesta de Alison y Peter Smithson...

120. Entre: de repente, sin fin, lo innombrable - Giannopoulou, Efpraxia
Etiquetamos para reducir nuestra incertidumbre; clasificamos en base a términos opuestos para poder entender. El universo y el espacio construido en particular, se explican desde una arquitectónica dual: dentro – fuera, arriba – abajo, derecha – izquierda, día – noche, hombre – mujer. Lo que nos diferencia como grupo, raza o género, distinguiendo los modos de vivir, las ideologías y las teorías, es la relación que establecemos entre los términos opuestos: entre lo individual y lo colectivo, lo privado y lo público, la imaginación y la realidad, la identidad y la otredad, el orden y el caos, el deseo y...

Página de resultados:
 

Busque un recurso