نتایج جستجو برای: the proofs supporting its uniqueness
تعداد نتایج: 16232057 فیلتر نتایج به سال:
abstract pragmatics is the study of communicative action in its sociocultural context. communicative action includes not only using speech acts (such as apologizing, complaining, complimenting, and requesting), but also engaging in different types of discourse and participating in speech events of varying length and complexity. the present study aimed to investigate the assessment of pragm...
Four statements equivalent to well-foundedness (well-founded induction, existence of recursively deened functions, uniqueness of recursively deened functions , and absence of descending !-chains) have been proved in Mizar and the proofs mechanically checked for correctness. It seems not to be widely known that the existence (without the uniqueness assumption) of recursively deened functions imp...
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
a novel silver (ag) nanocomposite electrode was proposed that fabricated from metal nanostructures and ionic liquids. the combined application of unique properties of nanomaterials and ionic liquids in the design of this ag nanocomposite results in electrodes with interesting advantages compared to the conventional metal disk electrode. in the first part of this thesis, the elecrocatalytic eff...
We report on our initial experience exploring Mizar and Isabelle, two quite different systems that support constructing and checking mathematical proofs. We also discuss some issues in the design of such systems.
This supplemental material presents proofs for the mathematical claims in the paper, “PACE: A New Approach to Dynamic Voltage Scaling.” In §2, we describe the model of the processor we will use in our theorems and their proofs. We also demonstrate the existence, given this model, of a function S with certain interesting properties. This function will later play an important role in the computat...
seismic retrofit strategies have been developed in the past few decades following the introduction of new seismic provisions and the availability of advanced materials and methods. it can be observed that new approaches to deal with more lateral forces are more innovative and more energy absorbent. in line with this, there is a growing trend toward the use of steel shear walls as a system with ...
abstract tasks nowadays are at the center of attention in sla research. task types is one of the critical issues in this regard, their effectiveness and suitability to any particular context, their characteristics and the result they yield are among some of these issues. on the other hand, discourse markers (dms) have been very much investigated and their effectiveness in conveying the meaning...
this research deals with the concept of uniqueness in creativity as one of the artist's concerns and her personal features differentiates her from her peers in literary approach and critical view horizon based on her learned knowledge and literature.the reflection of such concept can be found in the book teyf-e- al-khialwritten by sharif al-murtazain both poetry and its criticism. the poet...
abstract there is not much sources about ancient carnival and ceremonies , but some information can be gain from documents . as a matter of fact the ceremonies were a part of zarartiyan principles which zartosht had taken them to his religion . it should be mentioned that the oldest ceremonies are about poster and agriculture principles this seasonal ceremonies were very important for agri...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید