نتایج جستجو برای: a mechanized system for self

تعداد نتایج: 16406781  

Journal: :Journal of personality and social psychology 2006
Ayelet Fishbach Ravi Dhar Ying Zhang

The self-regulation process often involves breaking an ongoing goal (e.g., keeping in shape) into many individual, constituent subgoals that monitor actual actions (e.g., eating healthy meals, going to the gym). The article examines how pursuing each of these subgoals may influence subsequent goal pursuit. The authors show that when people consider success on a single subgoal, additional action...

2005
J. Strother Moore

In my view, the “verification problem” is the theorem proving problem, restricted to a computational logic. My approach is: adopt a functional programming language, build a general purpose formal reasoning engine around it, integrate it into a program and proof development environment, and apply it to model and verify a wide variety of computing artifacts, usually modeled operationally within t...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بوعلی سینا - دانشکده علوم پایه 1391

abstract: in this thesis, we focus to class of convex optimization problem whose objective function is given as a linear function and a convex function of a linear transformation of the decision variables and whose feasible region is a polytope. we show that there exists an optimal solution to this class of problems on a face of the constraint polytope of feasible region. based on this, we dev...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان 1390

we commence by using from a new norm on l1(g) the -algebra of all integrable functions on locally compact group g, to make the c-algebra c(g). consequently, we find its dual b(g), which is a banach algebra so-called fourier-stieltjes algebra, in the set of all continuous functions on g. we consider most of important basic theorems about this algebra. this consideration leads to a rather com...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1390

any change in the refractive index of a laser active medium can lead to serious degradation of beam quality, laser beam modes, laser performance and variation in the intensity distribution. alteration in the refractive index of laser active medium is especially notable in high power lasers. it is clear that in the laser beam production, the pumping agent induces a great amount of heat which...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده فنی 1392

due to lack of knowledge management system in the organization of technical and vocational university of iran (tvuni) and losing good employees because of retirement and substitution causes huge amount of costs to replace the similar expertise. there is no any suitable system in the tvuni to store, to document, and to distribute knowledge. based on the university’s features such as it has diffe...

it is not possible to understand developments of a country’s culture and civilization without knowing his believes and myths. whether it is north or south, east or west, planes or mountains, sahara or deserts, here in iran every corner includes valuable and precious treasures which are known all over the world, and cultural – historical objects which are found here adorn all well known museums of the globe. zagros mountains, lorestan province locating at the heart of that, are not only the same, but are more prominent than other iranian regions. you can not find someone who does not know what the lorestani bronzes are, and there is no museum that not be pride of having a piece of that. the said bronzes which are manufactured four millenniums b.c. are admired nearly by all those researchers because of their beauty, diversity and technique. lorestani artistic works including stone engraves, bronzes and clays, show an ideal and metaphysical world beside real world which explain mental system of human beings on that era against sensations and phenomena happening around them. men main mental occupation on that time was he unknown world which had surrounded them, and they used to use the religion to fight life’s natural factors, and art was a tool of religious and mythical painting which was far from reality and had entered into the abstract domain. as natural objects have become subjects of lorestani art, it cleanses them from any non – intrinsic limitations and external factors which surround them and darken their meanings, and just shows their main specifications. artist in the said civilization is not searching for realism. although these are few works showing the nature, but in effect there is no wish to imitate touchable factors of the nature, and artist has turned real phenomena to encoded signs as per his own mentality. this procedure is called stylization.

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده هنر و معماری 1391

it is not possible to understand developments of a country’s culture and civilization without knowing his believes and myths. whether it is north or south, east or west, planes or mountains, sahara or deserts, here in iran every corner includes valuable and precious treasures which are known all over the world, and cultural – historical objects which are found here adorn all well known museums...

2013
Francesco Bongiovanni Ludovic Henrio

Formal reasoning on Peer-to-Peer (P2P) systems is an intimidating task. This paper focuses on broadcast algorithms for Content Addressable Network (CAN). Since these algorithms run on top of complex P2P systems, finding the right level of abstraction in order to prove their functional correctness is difficult. This paper presents a mechanized model for both CAN and broadcast protocols over thos...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید