نتایج جستجو برای: resolvability

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

Abstract. A topological group H is called ω -narrow if for every neighbourhood V of it’s identity element there exists a countable set A such that V A = H = AV. A semigroup G is called a generalized group if for any x ∈ G there exists a unique element e(x) ∈ G such that xe(x) = e(x)x = x and for every x ∈ G there exists x − 1 ∈ G such that x − 1x = xx − 1 = e(x). Also le...

Journal: :Journal of Chemistry 2021

Polyphenyl is used in a variety of applications including high-vacuum devices, optics, and electronics, high-temperature radiation-resistant fluids greases, it has low volatility, ionizing radiation stability, high thermal-oxidative properties. The structure polyphenyls can be represented using molecular graph, where atoms represent vertices bonds between atom edges. In chemical structure, an i...

Journal: :Proceedings of the ACM on programming languages 2023

Traditionally, a grammar defining the syntax of programming language is typically both context free and unambiguous. However, recent work suggests that an attractive alternative to use ambiguous grammars,thus postponing task resolving ambiguity end user. If all programs accepted by can be rewritten unambiguously, then parser for said resolvably ambiguous. Guaranteeing resolvable statically---fo...

2011
Marcus Cobden Jennifer Black Nicholas Gibbins Les Carr Nigel Shadbolt

While it is preferable that Linked Data is published without access or licence restrictions, there will always remain certain datasets which, perhaps due to financial considerations, cannot be published as Linked Open Data. If these valuable datasets do join the Web of Linked Data, it will be as Linked Closed Data – Linked Data with access and license restrictions. In this paper, we outline a r...

2011
Stela Zhelezova

The resolvability of combinatorial designs is intensively investigated because of its applications. This research focuses on resolvable designs with an additional property—they have resolutions which are mutually orthogonal. Such designs are called doubly resolvable. Their specific properties can be used in statistical and cryptographic applications. Therefore the classification of doubly resol...

2012
Arata Kaneko

Ocean acoustic tomography (OAT) is a powerful tool that can estimate the structure of sound speed (mainly proportional to temperature) and current in the ocean (Munk et al., 1995). Other than coastal sea studies (e.g., Park and Kaneko, 2000), most previous experiments have been carried out in the open ocean, characterized with a full structure of the underwater sound channel (Worcester, 1985; C...

2006
Michael Fahrmair Bernd Spanfelner Wassiou Sitou

Many ubiquitous computing applications so far fail to live up to their expectations. While working perfectly in controllable laboratory environments, they seem to be particularly prone to problems related to a discrepancy between user expectation and systems behavior when released into the wild. This kind of unwanted behavior of course prevents the vision of an emerging trend of context aware a...

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

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