نتایج جستجو برای: three
تعداد نتایج: 1279602 فیلتر نتایج به سال:
......................................................................................iii List Figures..........................................................................................iv List of Tables........................................................................................vi CHAPTER
The conclusions reached by a diverse group of scientists who attended an intense 2-day workshop on hybrid organic-inorganic perovskites are presented, including their thoughts on the most burning fundamental and practical questions regarding this unique class of materials, and their suggestions on various approaches to resolve these issues.
In this paper, we explain what are tensors and how tensors can help in computing.
The development of nanostructured metamaterials and the ability to engineer material dispersion has led to impressive advances in the diverse field of nanophotonics. Of interest to many is the enhanced ability to control, illuminate, and image with light on subwavelength scales. In this letter, we numerically demonstrate a hyperlens with unprecedented radial-resolution at 5 nm scale for both im...
The mass/count distinction attracts a lot of attention among cognitive scientists, possibly because it involves in fundamental ways the relation between language (i.e. grammar), thought (i.e. extralinguistic conceptual systems) and reality (i.e. the physical world). In the present paper, I explore the view that the mass/count distinction is a matter of vagueness. While every noun/concept may in...
Closed classes of three-valued logic generated by periodic symmetric funtions that equal 1 in tuples from {1, 2} and equal 0 on the rest tuples are considered. Criteria for bases existence and finite bases existence for these classes is obtained. The problem of the bases existence for some families of closed classes of the three-valued logic functions is considered in the paper. E. Post [1] (se...
Partial functions are abundant in mathematics and program specifications. Unfortunately, their importance has been mostly ignored in automated theorem proving. In this paper, we develop a theorem proving strategy for Partial Classical Logic (PCL). Proof search takes place in Kleene Logic. We show that PCL theories can be translated into equivalent sets of formulas in Kleene logic. For proof sea...
In this paper we study the enumeration of diagrams of n chords joining 2n points on a circle in disjoint pairs. We establish limit laws for the following three parameters: number of components, size of the largest component, and number of crossings. We also nd exact formulas for the moments of the distribution of number of components and number of crossings. Abstract In this paper we study the ...
CARS holography captures both the amplitude and the phase of a complex anti-Stokes field, and can perform three-dimensional imaging by digitally focusing onto different depths inside a specimen. The application of CARS holography for bio-imaging is demonstrated. It is shown that holographic CARS imaging of sub-cellular components in live HeLa cells can be achieved.
The information and data contained in this document were prepared by a technical committee of the Association. The committee and the Association assume no liability or responsibility in connection with the use of such information or data, including but not limited to any liability or responsibility under patent, copyright, or trade secret laws. The user is responsible for determining that this ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید