نتایج جستجو برای: design by nature4

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

2008
Nir Oren Sofia Panagiotidi Javier Vázquez-Salceda Sanjay Modgil Michael Luck Simon Miles

The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalizations at a number of levels have been created. One of the lowest levels, upon which the other levels are built is the normative level. At this level, we identify how contract clauses (modeled as norms) may evolve over time...

2006
Keiichi Tanaka

It is well known that a defaultable bond subject to recovery of market value (RMV) is priced by discounting the payoff with an adjusted short rate by the loss rate and the default intensity rate of the issuer. We show that the formula can be generalized for a defaultable contract subject to RMV with heterogeneous multiple reference firms. The discounting short rate is adjusted by sum of the los...

2001
Luca Anderlini Leonardo Felli Andrew Postlewaite Meg Meyer Kevin Roberts Alan Schwartz Ilya Segal Kathy Spier

We study a contracting model with unforeseen contingencies in which the court is an active player. Ex ante, the contracting parties cannot include the risky unforeseen contingencies in the contract they draw up. Ex post, the court observes whether an unforeseen contingency occurred and decides whether to void or uphold the contract. If the contract is voided by the court, the parties can renego...

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

anxiety is one common disorder during childhood. in curing anxiety disorders, there are different types of psychological remedies, pharmotherapy, family therapy, and music therapy that can improve the individual’s anxiety, but we need some other remedies to improve social and emotional relationship and interactions. considering the importance of curing the anxiety disorders, the effect of sand ...

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

in this thesis, we exploit a simple and suitable method for immobilization of copper(ii) complex of 4?-phenyl-terpyridine on activated multi-walled carbon nanotubes [amwcnts-o-cu(ii)-phtpy]. this nanostructure was characterized by various physico-chemical techniques. to ensure the efficiency and fidelity of copper species, the implementation of three-component strategies in click-chemistry all...

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

today, scouring is one of the important topics in the river and coastal engineering so that the most destruction in the bridges is occurred due to this phenomenon. whereas the bridges are assumed as the most important connecting structures in the communications roads in the country and their importance is doubled while floodwater, thus exact design and maintenance thereof is very crucial. f...

Journal: :Electr. Notes Theor. Comput. Sci. 2010
Yann Glouche Paul Le Guernic Jean-Pierre Talpin Thierry Gautier

Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial computer-aided design tools for embedded system design. In this paper, we elaborate new foundations for contract-based embedded system design by proposing a general-purpose algebra of assume/guarantee contracts based on ...

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

current studies in second language (l2) learning have revealed the positive role of corrective feedback (cf) in both oral and written forms in different language features. the present study was an attempt to investigate the effect of both direct and indirect written corrective feedback (wcf) on the use of grammatical collocations in l2 writing. the study also sought to examine whether the effec...

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

در این رساله عملکرد یک موتور توربوپراپ که ملخ آن از نوع clark y 5868-r9 است در شرایط نقطه طرح (on- design) و خارج از نقطه طرح (off- design) مورد مطالعه قرار گرفته شده است. موتور توربوپراپ یکی از انواع موتور جت در تراست بالا و مصرف مخصوص سوخت پایین است که عدد ماخ پروازی آن هرگز از 8/. تجاوز نمی کند. دور موتور های توربوجت به حدی زیاداست که در صورت اتصال مستقیم به ملخ، سرعت نوک تیغه های ملخ به سرع...

پایان نامه :0 1370

all analytical methods are generally based on the measurement of a parameter or parameters which are somehow related to the concentration of the species.an ideal analytical method is one in which the concentration of a species can be measured to a high degree precision and accuracy and with a high sensitivity. unfortunately finding such a method is very difficult or sometimes even impossible.in...

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

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