Ara
Toplam kayıt 46, listelenen: 21-30
Incremental reasoning on monadic second-order logics with logic programming
(Elsevier Science Inc, 2016-02)
Data streams occur widely in various real world applications. The research on streaming data mainly focuses on the data management, query evaluation and optimization on data, but the work on incremental reasoning procedures ...
A hollow cylinder problem in microstretch theory
(Springer-Verlag, 2011)
A hollow cylinder micro-damaged tube under pressure problem is discussed. Micro damage is modeled with Eringen's microstretch theory and the displacement and its comparison with classical result are given.
IT Multisourcing in a telecommunication company
(Int Business Information Management Assoc-IBIMA, 2012)
Organizations have used numerous sourcing strategies to lower IT costs and improve IT service levels. However, a number of these sourcing strategies have failed to deliver on their expected outcomes. Multisourcing has been ...
Work and heat value of bound entanglement
(Springer, 2019-12)
Entanglement has recently been recognized as an energy resource which can outperform classical resources if decoherence is relatively low. Multi-atom entangled states can mutate irreversibly to so-called bound entangled ...
Getting agile methods to work for cordys global software product development
(Springer-Verlag Berlin, 2011-03-14)
Getting agile methods to work in global software development is a potentially rewarding but challenging task. Agile methods are relatively young and still maturing. The application to globally distributed projects is in ...
Exploring underlying values of NFC applications
(Int Assoc Computer Science & Information Technology Press-Iacsit Press, 2011-08-19)
Near Field Communication (NFC) is an integration of contactless smart card communication technology into mobile devices, such as mobile phones. NFC technology provides three operating modes and each mode differs from each ...
Deterministic local doubling of W states
(OSA - The Optical Society, 2016-11-01)
In large quantum systems, multipartite entanglement can be found in many inequivalent classes. Preparing states of arbitrary size in different classes is important for performing a wide range of quantum protocols. W states, ...
Kübit-Kütrit kuantum haberleşme sistemleri için negatiflik ve dolanıklığın göreceli entropisi ölçütlerinin analizi
(IEEE, 2015-06-19)
Kuantum Bilgi Teorisi ve Kuantum Hesaplama konuları geleceğin bilgisayar teknolojisi olarak nitelendirilen ve çok yüksek hızlarda işlem yapacak olması öngörülen Kuantum Bilgisayarlarının teorik temelini oluşturan oldukça ...
Logic programming approach to automata-based decision procedures
(Elsevier Science Inc, 2017-01)
We propose a novel technique that reduces the decision problem of WSnS (weak monadic second-order logic with n successors) to the problem of evaluation of Complex-value Datalog queries. We then show how the use of advanced ...
Current benefits and future directions of NFC services
(IEEE, 2010)
Near Field Communication (NFC), as an emerging and promising technology, is an integration of Radio Frequency Identification (RFID) technology with mobile devices. NFC-enabled mobile devices can act as contactless smart ...