Modeling obligations with event-calculus

Time plays an important role in norms. In this paper we start from our previously proposed classification of obligations, and point out some shortcomings of Event Calculus (EC) to represent obligations. We proposed an extension of EC that avoids such shortcomings and we show how to use it to model the various types of obligations.

Insight into the fractional calculus via a spreadsheet

Many students of calculus are not aware that the calculus they have learned is a special case (integer order) of fractional calculus. Fractional calculus is the study of arbitrary order derivatives and integrals and their applications. The article begins by stating a naive question from a student in a paper by Larson (1974) and establishes, for polynomials and exponential functions, that they can be deformed into their derivative using the μ-th order fractional derivatives for 0<μ<1. Through the power of Excel we illustrate the continuous deformations dynamically through conditional formatting. Some applications are discussed and a connection made to mathematics education.

Synthesis and luminescent properties of star-burst D-Pi-A compounds based on 1,3,5-triazine core and carbazole end-capped phenylene ethynylene arms

Two new star-burst compounds based on 1,3,5-triazine core and carbazole end-capped phenylene ethynylene arms (1a and 1b) were synthesized and characterized. Their photophysical properties were investigated systematically via spectroscopic and theoretical methods. Both compounds exhibit strong 1π–π⁎ transitions in the UV region and intense 1π–π⁎/intramolecular charge transfer (1ICT) absorption bands in the UV–vis region. Introducing the carbazole end-capped phenylene ethynylene arm on the 1,3,5-triazine core causes a slight bathochromic shift and enhanced molar extinction coefficient of the 1π–π⁎/1ICT transition band. Both compounds are emissive in solution at room temperature and 77 K, which exhibit pronounced positive solvatochromic effect. The emitting state could be ascribed to 1ICT state in more polar solvent, and 1π–π⁎ state in low-polarity solvent. The high emission quantum yields (Φem=0.90~1.0) of 1a and 1b (in hexane and toluene) make them potential candidates as efficient light-emitting materials. The spectroscopic studies and theoretical calculations indicate that the photophysical properties of these compounds can be tuned by the carbazole end-capped phenylene ethynylene arm, which would also be useful for rational design of photofunctional materials.

Permissions in Deontic Event-Calculus

Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.

Nucleophilic additions to 4-substituted snoutanones: getting a measure of long range electrostatic and orbital control of pi-face selectivity

Pentacyclic ketones 10a-e (snoutan-9-ones) undergo nucleophilic additions with the same facial preference as the corresponding norsnoutanones 9a-e, but with markedly reduced selectivity, revealing the involvement of electrostatic effects in the former and implying the importance of hyperconjugative orbital interactions in determining pi-face selectivity in the latter systems.

Solution of a System of Generalized Abel Integral Equations Using Fractional Calculus

A method is presented for obtaining useful closed form solution of a system of generalized Abel integral equations by using the ideas of fractional integral operators and their applications. This system appears in solving certain mixed boundary value problems arising in the classical theory of elasticity.

pi-conjugation and conformation in a semiconducting polymer: small angle x-ray scattering study

Small angle x-ray scattering (SAXS) in a poly[2-methoxy-5-(2'-ethyl-hexyloxy)-1,4-phenylene vinylene] (MEH-PPV) solution has shown the important role of pi-electron conjugation in controlling the chain conformation and assembly. By increasing the extent of conjugation from 30 to 100%, the persistence length (l(p)) increases from 20 to 66 angstrom. Moreover, a pronounced second peak in the pair distribution function has been observed in a fully conjugated chain, at larger length scales. This feature indicates that the chain segments tend to self-assemble as the conjugation along the chain increases. Xylene enhances the rigidity of the PPV backbone to yield extended structures, while tetrahydrofuran solvates the side groups to form compact coils in which the lp is much shorter.

A computational algorithm for the verification of tautologies in propositional calculus

A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.

Improved bounds on the radius and curvature of the K pi scalar form factor and implications to low-energy theorems

We obtain stringent bounds in the < r(2)>(K pi)(S)-c plane where these are the scalar radius and the curvature parameters of the scalar K pi form factor, respectively, using analyticity and dispersion relation constraints, the knowledge of the form factor from the well-known Callan-Treiman point m(K)(2)-m(pi)(2), as well as at m(pi)(2)-m(K)(2), which we call the second Callan-Treiman point. The central values of these parameters from a recent determination are accomodated in the allowed region provided the higher loop corrections to the value of th form factor at the second Callan-Treiman point reduce the one-loop result by about 3% with F-K/F-pi = 1.21. Such a variation in magnitude at the second Callan-Treiman point yields 0.12 fm(2) less than or similar to < r(2)>(K pi)(S) less than or similar to 0.21 fm(2) and 0.56 GeV-4 less than or similar to c less than or similar to 1.47 GeV-4 and a strong correlation between them. A smaller value of F-K/F-pi shifts both bounds to lower values.

New constraints on the pion EM form factor using Pi `(-Q(2))

We study the constraints arising on the expansion parameters c and d of the pion electromagnetic form factor from the inclusion of pure spacelike data and the phase of timelike data along with one spacelike datum, using as input the first derivative of the QCD polarization amplitude Pi'(-Q(2)). These constraints when combined with other analyses, provide a valuable check on a determination of c due to Guo et al. and on our previous work where pionic contribution to the (g - 2) of the muon was used as the input. This work further illustrates the power of analyticity techniques in form factor analysis.

Oral Health among Young Adults and the Middle-aged in Iran

The aim of the present study was to assess oral health and treatment needs among adult Iranians according to socio-demographic status, smoking, and oral hygiene, and to investigate the relationships between these determinants and oral health. Data for 4448 young adult (aged 18) and 8301 middle-aged (aged 35 to 44) Iranians were collected in 2002 as part of a national survey using the World Health Organization (WHO) criteria for sampling and clinical diagnoses, across 28 provinces by 33 calibrated examiners. Gender, age, place of residence, and level of education served as socio-demographic information, smoking as behavioural and modified plaque index (PI) as the biological risk indicator for oral hygiene. Number of teeth, decayed teeth (DT), filled teeth (FT), decayed, missing, filled teeth (DMFT), community periodontal index (CPI), and prosthodontic rehabilitation served as outcome variables of oral health. Mean number of DMFT was 4.3 (Standard deviation (SD) = 3.7) in young adults and 11.0 (SD = 6.4) among middle-aged individuals. Among young adults the D-component (DT = 70%), and among middle-aged individuals the M-component (60%) dominated in the DMFT index. Among young adults, visible plaque was found in nearly all subjects. Maximum (max) PI was associated with higher mean number of DT, and higher periodontal treatment needs. A healthy periodontium was a rare condition, with 8% of young adults and 1% of middle-aged individuals having a max CPI = 0. The majority of the CPI findings among young adults consisted of calculus (48%) and deepened periodontal pockets (21%). Respective values for middle-aged individuals were 40% and 53%. Having a deep pocket (max CPI = 4) was more likely among young adults with a low level of education (Odds ratio (OR) = 2.7, 95% Confidence interval (CI) = 1.9–4.0) than it was among well-educated individuals. Among middle-aged individuals, having calculus or a periodontal pocket was more likely in men (OR = 1.8, 95% CI = 1.6–2.0) and in illiterate subjects (OR = 6.3, 95% CI = 5.1–7.8) than it was for their counterparts. Among young adults, having 28 teeth was more (p < 0.05) prevalent among men (72% vs. 68% for women), urban residents (71% vs. 67% for rural residents), and those with a high level of education (73% vs. 60% for those with a low level). Among middle-aged individuals, having a functional dentition was associated with younger age (OR = 2.0, 95% CI = 1.7−2.5) and higher level of education (OR = 1.8, 95% CI = 1.6−2.1). Of middle-aged individuals, 2% of 35- to 39-year-olds and 5% of those aged 40 to 44 were edentulous. Among the dentate subjects (n = 7,925), prosthodontic rehabilitation was more prevalent (p < 0.001) among women, urban residents, and those with a high level of education than it was among their counterparts. Among those having 1 to 19 teeth, a removable denture was the most common type of prosthodontic rehabilitation. Middle-aged individuals lacking a functional dentition were more likely (OR = 6.0, 95% CI = 4.8−7.6) to have prosthodontic rehabilitation than were those having a functional dentition. In total, 81% of all reported being non-smokers, and 32% of men and 5% of women were current smokers. Heavy smokers were the most likely to have deepened periodontal pockets (max CPI ≥ 3, OR = 2.9, 95% CI = 1.8−4.7) and to have less than 20 teeth (OR = 2.3, 95% CI = 1.5−3.6). The findings indicate impaired oral health status in adult Iranians, particularly those of low socio-economic status and educational level. The high prevalence of dental plaque and calculus and considerable unmet treatment needs call for a preventive population strategy with special emphasis on the improvement of oral self-care and smoking cessation to tackle the underlying risk factors for oral diseases in the Iranian adult population.

An interpreter for slips-An applicative language based on LAMBDA-Calculus

An applicative language based on the LAMBDA-Calculus is presented. The language, SLIPS (Small Language for Instruction Purposes), is described using the LAMBDA-Calculus as a metalanguage. A call-by-need mechanism of function invocation eliminates the drawbacks of both call-by-name and call-by-value. The system has been implemented in PASCAL.

Pi-turns in proteins and peptides: Classification, conformation, occurrence, hydration and sequence.

The i + 5-->i hydrogen bonded turn conformation (pi-turn) with the fifth residue adopting alpha L conformation is frequently found at the C-terminus of helices in proteins and hence is speculated to be a "helix termination signal." An analysis of the occurrence of i + 5-->i hydrogen bonded turn conformation at any general position in proteins (not specifically at the helix C-terminus), using coordinates of 228 protein crystal structures determined by X-ray crystallography to better than 2.5 A resolution is reported in this paper. Of 486 detected pi-turn conformations, 367 have the (i + 4)th residue in alpha L conformation, generally occurring at the C-terminus of alpha-helices, consistent with previous observations. However, a significant number (111) of pi-turn conformations occur with (i + 4)th residue in alpha R conformation also, generally occurring in alpha-helices as distortions either at the terminii or at the middle, a novel finding. These two sets of pi-turn conformations are referred to by the names pi alpha L and pi alpha R-turns, respectively, depending upon whether the (i + 4)th residue adopts alpha L or alpha R conformations. Four pi-turns, named pi alpha L'-turns, were noticed to be mirror images of pi alpha L-turns, and four more pi-turns, which have the (i + 4)th residue in beta conformation and denoted as pi beta-turns, occur as a part of hairpin bend connecting twisted beta-strands. Consecutive pi-turns occur, but only with pi alpha R-turns. The preference for amino acid residues is different in pi alpha L and pi alpha R-turns. However, both show a preference for Pro after the C-termini. Hydrophilic residues are preferred at positions i + 1, i + 2, and i + 3 of pi alpha L-turns, whereas positions i and i + 5 prefer hydrophobic residues. Residue i + 4 in pi alpha L-turns is mainly Gly and less often Asn. Although pi alpha R-turns generally occur as distortions in helices, their amino acid preference is different from that of helices. Poor helix formers, such as His, Tyr, and Asn, also were found to be preferred for pi alpha R-turns, whereas good helix former Ala is not preferred. pi-Turns in peptides provide a picture of the pi-turn at atomic resolution. Only nine peptide-based pi-turns are reported so far, and all of them belong to pi alpha L-turn type with an achiral residue in position i + 4. The results are of importance for structure prediction, modeling, and de novo design of proteins.

First Measurement of the Ratio of Branching Fractions B(Lambda_b to Lambda_c mu nu)/B(Lambda_b to Lambda_c pi)

The analysis uses data from an integrated luminosity of approximately 172 pb-1 of ppbar collisions at sqrt(s)=1.96 TeV, collected with the CDF II detector at the Fermilab Tevatron. The Lambda_b and B0 relative branching fractions are measured to be: B(Lambda_b to Lambda_c+ mu nu)/B(Lambda_b to Lambda_c+ pi) = 16.6 +- 3.0 (stat) +- 1.0 (syst) +2.6 -3.4 (PDG) +- 0.3 (EBR), B(B0 to D+ mu nu)/B(B0 to D+ pi) = 9.9 +- 1.0 (stat) +- 0.6 (syst) +- 0.4 (PDG) +- 0.5 (EBR), B(B0 to D*+ mu nu)/B(B0 to D*+ pi) = 16.5 +- 2.3 (stat) +- 0.6 (syst) +- 0.5 (PDG) +- 0.8 (EBR) This article also presents measurements of the branching fractions of four new Lambda_b semileptonic decays: Lambda_b to Lambda_c(2595)+ mu nu, Lambda_b to Lambda_c(2625)+ mu nu, Lambda_b to Sigma_c(2455)0 pi mu nu, Lambda_b to Sigma_c(2455)++ pi mu nu, relative to the branching fraction of the Lambda_b to Lambda_c mu nu decay. Finally, the transverse-momentum distribution of Lambda_b baryons produced in p-pbar collisions is measured and found to be significantly different from that of B0 mesons.

First observation of the decay Bs --> Ds K and measurement of the ratio of branching fractions Br(Bs --> DsK)/Br(Bs --> Ds pi)

A combined mass and particle identification fit is used to make the first observation of the decay Bs --> Ds K and measure the branching fraction of Bs --> Ds K relative to Bs --> Ds pi. This analysis uses 1.2 fb^-1 integrated luminosity of pbar-p collisions at sqrt(s) = 1.96 TeV collected with the CDF II detector at the Fermilab Tevatron collider. We observe a Bs --> Ds K signal with a statistical significance of 8.1 sigma and measure Br(Bs --> Ds K)/Br(Bs --> Ds pi) = 0.097 +- 0.018(stat) +- 0.009(sys).