In this paper, we present a concept of a new advanced feature for a mobile phone that provides its user functionality for predicting future calls. The feature is envisaged as a Call Predicted List (CPL) which makes use of the user’s call history to build a probabilistic model of calling behavior based on the caller’s calling patterns and reciprocity. The calling behavior model is then used to g...

We present constructive provability logic, an intuitionstic modal logic that validates the Löb rule of Gödel and Löb’s provability logic by permitting logical reflection over provability. Two distinct variants of this logic, CPL and CPL*, are presented in natural deduction and sequent calculus forms which are then shown to be equivalent. In addition, we discuss the use of constructive provabili...

Abstract This paper introduces the construct of an ultravaluation inspired by well-known ultraproduct. Basic properties and exemplary applications this notion are shown: for compactness definability theorems. We also use ultravaluations to check failure undefinability.

Communication has always been an essential part of people’s everyday life. Nowadays most of people would like to be reachable on multiple devices at anytime, anyplace. As a consequence, there has been a need to know and exploit a user’s availability for communication (so called presence information), so that he/she can control incoming calls and make the decision to accept this call or not base...

Endolysin from the phage Cp-1 (Cpl-1) cleaves the glycosidic beta1,4-bonds between the N-acetylmuramic acid and the N-acetylglucosamine of the pneumococcal cell wall. Cpl-1 has been crystallized using the hanging-drop vapour-diffusion method at 291 K. Diffraction-quality orthorhombic crystals of the native protein were obtained only after addition of the detergent n-decyl-beta-D-maltoside. Crys...

A new process logic is deened, called computation paths logic (CPL), which treats formulas and programs essentially alike. CPL is a pathwise extension of PDL, following the basic process logic of Harel, Kozen and Parikh, and is close in spirit to the logic R of Harel and Peleg. It enjoys most of the advantages of previous process logics, yet is decidable in elementary time. We also ooer extensi...

By the using of MCML circuits, a 4 GB/s clock non-sequential phase detector circuit is designed in a 0.35μm CMOS technology. The power dissipation of proposed phase detector is much smaller than the conventional complementary pass transistor logic (CPL) phase detector. The implemented MCML phase detector consumes 0.7688nW when operating upto 4GHz clock frequency with 3.3V supply voltage. The co...

Three types of chiral perylene diimide luminophores bearing ethynyl, phenyl, and ethynylphenyl substituents (BPP-Ethy, BPP-Ph, BPP-EthyPh) at the bay positions were prepared. The chiroptical properties compounds in their solution (in CHCl3) polymethyl methacrylate (PMMA)-film solid states investigated. Similar to BPP molecules no position, BPP-Ethy, BPP-EthyPh emitted clear circularly polarized...

Synthetically straightforward π-extension of helically chiral N,N,O,O-boron chelated borondipyrromethenes (BODIPYs) has been achieved by incorporation naphthyl rings into the BODIPY 3- and 5-positions. The effect this extension on photophysical chiroptical properties is strongly dependent regiochemistry substituents (4 exo, 4 lin, endo). most helicene-like regioisomer endo a near infra-red (NIR...

Many AI applications require a base of world knowledge to support reasoning. However, construction of such inferencecapable knowledge bases, even if constrained in coverage, remains one of the major challenges of AI. Authoring knowledge in formal logic is too complex a task for many users, while knowledge authored in unconstrained natural language is generally too difficult for computers to und...