Results 241 to 250 of about 1,847 (291)
Some of the next articles are maybe not open access.
2020
The originator of the theory, George Kelly, is introduced and the basic concepts used in his psychology are outlined, including the Fundamental Postulate, the eleven corollaries, professional diagnostic constructs, and the cycles of construing.
Harry Procter, David A. Winter
openaire +1 more source
The originator of the theory, George Kelly, is introduced and the basic concepts used in his psychology are outlined, including the Fundamental Postulate, the eleven corollaries, professional diagnostic constructs, and the cycles of construing.
Harry Procter, David A. Winter
openaire +1 more source
1986
Here we provide some insight into mathematical methods to analyze quantized gauge theories. This approach is being used to establish existence as well as to prove properties of gauge field models. Up to now, only abelian gauge fields are known to exist, namely the U(1) Higgs model on ℝ2 and ℝ3 and electrodynamics on the tori T2 and T3.
T. Balaban, A. Jaffe
openaire +1 more source
Here we provide some insight into mathematical methods to analyze quantized gauge theories. This approach is being used to establish existence as well as to prove properties of gauge field models. Up to now, only abelian gauge fields are known to exist, namely the U(1) Higgs model on ℝ2 and ℝ3 and electrodynamics on the tori T2 and T3.
T. Balaban, A. Jaffe
openaire +1 more source
1984
The goal of this section is the construction, by means of sums and products of simpler functions, of holomorphic functions with prescribed behavior. In what follows, when we speak of a sequence of complex numbers we ordinarily mean a sequence with multiplicity, so that a function taking some value at a point of the sequence must take that value with ...
D. H. Luecking, L. A. Rubel
openaire +1 more source
The goal of this section is the construction, by means of sums and products of simpler functions, of holomorphic functions with prescribed behavior. In what follows, when we speak of a sequence of complex numbers we ordinarily mean a sequence with multiplicity, so that a function taking some value at a point of the sequence must take that value with ...
D. H. Luecking, L. A. Rubel
openaire +1 more source
1985
This chapter will describe the approach to formal systems for constructive mathematics initiated by Martin-Lof. Of the various systems described in this book, these systems have so far been the most used by computer scientists interested in actual implementation; this will be discussed briefly at the end of the chapter.
openaire +1 more source
This chapter will describe the approach to formal systems for constructive mathematics initiated by Martin-Lof. Of the various systems described in this book, these systems have so far been the most used by computer scientists interested in actual implementation; this will be discussed briefly at the end of the chapter.
openaire +1 more source
1998
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire +1 more source
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire +1 more source
Sociological Theory Construction.
Contemporary Sociology, 1974Joseph W. Schneider +2 more
openaire +1 more source
Economic optimization of shell and tube heat exchanger based on constructal theory
Energy, 2011Majid Amidpour
exaly