نتایج جستجو برای: locale
تعداد نتایج: 2253 فیلتر نتایج به سال:
Telepresent Agents are software Agents that are instantiated simultaneously within two or more distinct computer applications (called Locales) which are operating at distinct nodes of a computer network. Agents are composed of Capabilities—often a separate Capability for each Locale in which the Agent operates. As an Agent exchanges information among and within its Capabilities, information pas...
Starting with the motivating example of Stone’s representation theorem that allows one to represent Boolean algebras as subalgebras of the poweralgebra of a sufficiently large set, we ask the question of whether it is possible to generalize this to a relationship between lattice theory and topology. This can be done by considering special lattices called locales, which are, in a sense, a suitab...
This study assesses how variations in heteronormative culture in high schools affect the well-being of same-sex-attracted youth. The authors focus on the stigmatization of same-sex attraction (rather than identity or behavior) to better understand how heteronormativity may marginalize a wide range of youth. Specifically, the authors use data from the National Longitudinal Study of Adolescent He...
We formalize new decision procedures for WS1S, M2L(Str), and Presburger Arithmetics. Formulas of these logics denote regular languages. Unlike traditional decision procedures, we do not translate formulas into automata (nor into regular expressions), at least not explicitly. Instead we devise notions of derivatives (inspired by Brzozowski derivatives for regular expressions) that operate on for...
Chemical modification of α-amylase from locale bacteria isolate Bacillus subtilis ITBCCB148 using citraconic anhydride has been performed. increase thermal stability of the enzyme has successfully been done. The results showed that the modified enzymes with citraconic anhydride with modification degree of 45, 73, 82, 83, and 88% have similar optimum pH of 5.5 and optimum temperature of 60°C; ki...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید