1. Fundamentos sobre transferencia de energía - García Quesada, Juan Carlos
Tema 3. Fundamentos sobre transmisión de calor.

2. Fundamenta Mathematicae - Fundamenta Mathematicae,Alan Dow,Pieter Hart
The Open Colouring Axiom implies that the measure algebra cannot P(N)/fin.

3. SCHILLER E A POSSIBILIDADE DO FUNDAMENTO OBJETIVO DO SUBLIME - RENATO DE MIRANDA MARQUES
Este trabalho é uma investigação acerca da possibilidade de se estabelecer um fundamento objetivo do sublime a partir da estética de Friedrich Schiller. Em Kallias ou Sobre a Beleza, a sua correspondência com Gottfried Körner de janeiro a fevereiro de 1793, Schiller busca estabelecer um fundamento objetivo para a beleza, no intuito de refutar - com os próprios meios da filosofia kantiana - o conhecido argumento de Kant, segundo o qual é impossível estabelecer um fundamento objetivo para o belo. Contudo, apesar de Schiller ter desenvolvido um fundamento objetivo para o belo, ele não fez o mesmo em relação ao...

4. Fundamenta Mathematicae - Fundamenta Mathematicae,A. Bella,A. Dow,K. P. Hart,M. Hru,S Ak,J. Van Mill
Given a Boolean algebra B and an embedding e : B we consider the possibility of extending each or some automorphism of B to the whole P(N)/ fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras there are embeddings for which no non-trivial automorphism can be extended.

5. Aportes de Vigotsky al fundamento teórico de la fonoaudiología - Arruti, Patricia; Rivarola, Lidia; Domeniconi, María del Carmen
Como fonoaudiólogos docentes de la Universidad Nacional de San Luis, venimos desde hace unos años participando en proyectos de investigación referidos a temas inherentes al lenguaje y de un modo particular a la evolución y desarrollo del subsistema semántico. El fundamento teórico de todo nuestro accionar se enmarca en los supuestos de la psicología cognitiva, más precisamente en la matriz disciplinar socio - histórico cultural de Vigotsky. Desde esta perspectiva en el presente trabajo se dejan planteados algunos de los aspectos considerados de relevancia para la profundización de aspectos teóricos relacionados con nuestro campo disciplinar y su impacto en las...

6. Fundamentos de la Investigación Social - Babbie, Earl

7. [Reseña sobre] Fundamentos de Crítica Textual, de Germán Orduna - Pérez, Santiago Agustín

8. SHARING ECONOMY: ELEMENTS FOR AN ORGANIZATIONAL THEORY - ANA CLAUDIA MORRISSY MACHADO
Esta Tese de Doutorado tem como foco o Projeto de Economia de Comunhão na Liberdade - EdC, que apresenta uma maneira diferenciada de ver a gestão. As empresas que aderem a esse Projeto buscam aliar princípios de eficiência, produtividade e lucratividade a uma forma mais humana de gerenciamento de pessoas. Trata-se de um Projeto em fase inicial, cujos resultados são provenientes da prática das empresas e não da aplicação de bases teóricas, ainda inexistentes. Assim, o objetivo deste estudo é o de discutir fundamentos organizacionais para a construção de uma Teoria de EdC. Para tanto, é apresentada a Doutrina Social...

9. Fundamentos Teóricos que sustentan la Metodología para el desarrollo de las habilidades de expresión gráfica en los egresados en Ingeniería Agronómica - Paz Gómez, Oscar
Una de las problemáticas que más está afectando a los graduados de la Ingeniería Agronómica en Cuba, en la actualidad, es el insuficiente desarrollo de las habilidades de representación, lectura e interpretación de documentación técnica gráfica por el ingeniero agrónomo actual, cuyas causas aparentes están dadas por el gran volumen de contenido a impartir en las asignaturas de Expresión Gráfica y el poco tiempo de actividad docente presencial con los alumnos. Otro aspecto a considerar es que los métodos y medios de enseñanza � aprendizaje utilizados no están respondiendo a la dinámica actual de este proceso de enseñanza � aprendizaje

10. Enseñanza de Inteligencia Artificial en el Nivel Introductorio: Fundamentos, Énfasis y Restricciones - Enfasis Y Restricciones,Alvaro Barreiro
os' [RK91] y que son consecuencia de la visi'on de Turing de que el comportamiento inteligente es el capaz de alcanzar la competencia propia de las personas en todas las tareas cognitivas. Esta diversidad es un hecho que se aprecia tanto en las universidades y centros de investigaci'on como en las aplicaciones industriales que hoy en d'ia existen. Sin embargo es una situaci'on extra~na en el curriculum de inform'atica y puede provocar desasosiego, falta de motivaci'on en el estudiante y dificultades para identificar las t'ecnicas apropiadas a los problemas. Para enfrentarse a esas dificultades, un programa introductorio de IA debe considerar los siguientes aspectos. ffl Los contenidos deben cubrir...

11. The Qualitative Structure of Built Environments - Fundamenta Informaticae Xx,Thomas Bittner
. This paper provides an ontological analysis of built environments. It shows that boundaries are ontologically salient features of built environments and that there are different kinds of boundaries that that need to be considered. It discusses in particular the important role of fiat boundaries. At the level of objects built environments are formed by partition forming objects and populated by non-partition forming objects. The underlying partition structure is the main organizational structure of a built environment. Non-partition forming objects are potentially movable and their movement is constrained by the barrier properties of the boundaries of other objects forming or populating the environment. This paper argues that the...

12. Modelling Defeasibility in Law: Logic or Procedure? - Fundamenta Informaticae Xx,Henry Prakken
This paper investigates whether current nonmonotonic logics are suitable for formalising the defeasibility of legal reasoning. It does so by studying the role of burden of proof in legal argument, in particular how allocations of burden of proof determine the required strength of counterarguments. It is argued that the two currently available modelling approaches both have some shortcomings. On the one hand, techniques for modelling burden of proof in nonmonotonic logics do not allow for shifts of the burden of proof from one party to the other. On the other hand, current procedural models of legal argument are too rigid,...

13. A ciência da informação como ciência social - Araújo,Carlos Alberto Ávila
Discute-se a natureza da ciência da informação como uma ciência social. Para tanto, identifica-se como se deu a inserção da ciência da informação nas ciências sociais, percebendo com quais ramos destas ela travou diálogo em diferentes momentos. A seguir, discute-se sua natureza de ciência "pós-moderna", percebendo a complementaridade entre essas duas questões para um eficiente diagnóstico dos fundamentos sociais da ciência da informação.

14. PROSPECTION OF IMPLEMENTATION OF DISTANCE LEARNING FOR THE COURSE ON FUNDAMENTALS OF NUCLEAR PHYSICS AT THE GRADUATE COURSE OF IPEN USING FREE SOFTWARE INFRA-STRUCTURE - José Egidio Marin Tondin
Na sociedade atual a utilização dos recursos tecnológicos e da internet mostram-se fundamentais em todas as áreas da sociedade e a educação não poderia ficar afastada de tal evolução. Dessa forma, o ensino à distância é ferramenta essencial no desenvolvimento educacional, mostrando-se elemento inovador e estimulante, não só por oferecer recursos variados e complementares à formação do educando mas, principalmente, diante das facilidades inerentes à sua utilização a distância, abrangendo localidades remotas e de difícil acesso, bem como possibilitando minimização de custos e, com isso, permitindo ampla difusão do conhecimento. Neste trabalho objetivou-se a apuração do interesse e da viabilidade...

15. Processes of Contextual Nets and Their Characteristics - Fundamenta Informaticae,Instytut Podstaw,Informatyki Pan
. Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism. Keywords: Contextual net, process, sequential composition, parallel composition, interchange, table, table multiplication, juxtaposition of tables, interchange of tables, homomorphism. 1. Introduction In [DMM 89] the authors defined concatenable processes...

16. Fundamenta Informaticae (1997) 1 IOS Press - Jan A. Plaza
We present an approach to foundations of logic programming in which the connection with algebraic semantics becomes apparent. The approach is based on omega-Herbrand models instead of conventional Herbrand models. We give a proof of Clark's theorem on completeness of SLD-resolution by methods of the algebraic semantics. We prove the existence property for definite programs.

17. In Fundamenta Informaticae, 30(3-4):241-254, 1997 - Marek J. Druzdzel
Although probabilistic knowledge representations and probabilistic reasoning have by now secured their position in artificial intelligence, it is not uncommon to encounter misunderstanding of their foundations and lack of appreciation for their strengths. This paper describes five properties of probabilistic knowledge representations that are particularly useful in intelligent systems research. (1) Directed probabilistic graphs capture essential qualitative properties of a domain, along with its causal structure. (2) Concepts such as relevance and conflicting evidence have a natural, formally sound meaning in probabilistic models. (3) Probabilistic schemes support sound reasoning at a variety of levels ranging from purely quantitative to purely qualitative levels. (4) The role of probability theory in reasoning...

18. Concatenable weighted pomsets and their applications to modelling processes of Petri nets - Fundamenta Informaticae,Instytut Podstaw,Informatyki Pan
. Structures called concatenable weighted pomsets are introduced which can serve as models of processes of Petri nets, including nets with time features. Operations on such structures are defined which allow to combine them sequentially and in parallel. These operations correspond to natural operations on processes. They make the universe of concatenable weighted pomsets a partial algebra which appears to be a symmetric strict monoidal category. Sets of processes of timed and time Petri nets are characterized as subsets of this algebra. Keywords: concatenable weighted pomset, symmetry, table, sequential composition, parallel composition, interchange, algebra, timed Petri net, time Petri net, process, potential timed process, actual timed process. 1. Motivation The idea...

19. ScaFun - a fundament for process communication - Lars Paul Huse,Knut Omang,Hkon O. Bugge
We present ScaFun, a basic platform for building high performance communication libraries for shared memory and message passing over SMP local or SCI shared memory. Processor performance of modern workstations are good, making scalability and reliability important criterias when building large multi processor systems. Preserving scalability and performance while increasing reliability is a highly nontrivial task at the speeds that are offered by SCI. Frequent interrupts, systems calls, context switching, extra data copying/reading etc. will reduce performance to an unacceptable level, but constant reservation of processors for communication is also unacceptable. Earlier studies of SCI clusters focuses mainly on performance,...

20. All Compact Hausdorff Lambda Models are Degenerate - K. H. Hofmann,M. W. Mislove,Fundamenta Informaticae
The first mathematical model of the untyped lambda calculus was discovered by DANA SCOTT in the category of algebraic lattices and Scott continuous maps. The question then arises as to which other cartesian closed categories contain a model of the calculus. In this paper we show that any compact Hausdorff model of the calculus must satisfy the property that the semantic map from the calculus to the model is constant. In particular, any compact reflexive object in the category of Hausdorff k -spaces gives rise to a degenerate model of the calculus. We also explore the relationship of the results we derive to the notions of a combinatory model...

Página de resultados:
1  2  3  4  5  6  7  8  9  10  Siguiente