Expressive Path Queries on Graph with Data

Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot express relevant properties of the interaction between the underlying data and the topology. Two languages have been recently proposed to overcome this problem: walk logic (WL) and regular expressions with memory (REM). In this paper, we begin by investigating fundamental properties of WL and REM, i.e., complexity of evaluation problems and expressive power. We first show that the data complexity of WL is nonelementary, which rules out its practicality. On the other hand, while REM has low data complexity, we point out that many natural data/topology properties of graphs expressible in WL cannot be expressed in REM. To this end, we propose register logic, an extension of REM, which we show to be able to express many natural graph properties expressible in WL, while at the same time preserving the elementariness of data complexity of REMs. It is also incomparable to WL in terms of expressive power.Comment: 39 page

Development of Bioepoxy Resin Microencapsulated Ammonium-Polyphosphate for Flame Retardancy of Polylactic Acid

Ammonium-polyphosphate (APP) was modified by microencapsulation with a biobased sorbitol polyglycidyl ether (SPE) type epoxy resin and used as a flame retardant additive in polylactic acid (PLA) matrix. The bioresin encapsulated APP (MCAPP) particles were characterized using Fourier transform infrared (FTIR) spectroscopy and Raman mapping, particle size distribution was determined by processing of scanning electron microscopic (SEM) images. Interaction between the APP core and the bioresin shell was revealed by combined thermogravimetric analysis (TGA) FTIR spectroscopy. The APP to SPE mass ratio of 10 to 2 was found to be optimal in terms of thermal, flammability and mechanical properties of 15wt% additive containing biocomposites. The bioresin shell effectively promotes the charring of the APP loaded PLA composites, as found using TGA and cone calorimetry, and eliminates the flammable dripping of the specimens during UL-94 tests. Thus V-0 rating, increased limiting oxygen index and by 20% reduced peak of heat release rate were reached compared to the effects of neat APP. Furthermore, better interfacial interaction of the MCAPP with PLA was indicated by differential scanning calorimetry and SEM observation; the stiff interphase resulted in increased modulus of these composites. Besides, microencapsulation provided improved water resistance to the flame retardant biopolymer system

Excess Synaptojanin 1 Contributes to Place Cell Dysfunction and Memory Deficits in the Aging Hippocampus in Three Types of Alzheimer’s Disease

The phosphoinositide phosphatase synaptojanin 1 (SYNJ1) is a key regulator of synaptic function. We first tested whether SYNJ1 contributes to phenotypic variations in familial Alzheimer’s disease (FAD) and show that SYNJ1 polymorphisms are associated with age of onset in both early- and late-onset human FAD cohorts. We then interrogated whether SYNJ1 levels could directly affect memory. We show that increased SYNJ1 levels in autopsy brains from adults with Down syndrome (DS/AD) are inversely correlated with synaptophysin levels, a direct readout of synaptic integrity. We further report age-dependent cognitive decline in a mouse model overexpressing murine Synj1 to the levels observed in human sporadic AD, triggered through hippocampal hyperexcitability and defects in the spatial reproducibility of place fields. Taken together, our findings suggest that SYNJ1 contributes to memory deficits in the aging hippocampus in all forms of AD

Integration of the End Cap TEC+ of the CMS Silicon Strip Tracker

The silicon strip tracker of the CMS experiment has been completed and inserted into the CMS detector in late 2007. The largest sub-system of the tracker is its end cap system, comprising two large end caps (TEC) each containing 3200 silicon strip modules. To ease construction, the end caps feature a modular design: groups of about 20 silicon modules are placed on sub-assemblies called petals and these self-contained elements are then mounted into the TEC support structures. Each end cap consists of 144 petals, and the insertion of these petals into the end cap structure is referred to as TEC integration. The two end caps were integrated independently in Aachen (TEC+) and at CERN (TEC--). This note deals with the integration of TEC+, describing procedures for end cap integration and for quality control during testing of integrated sections of the end cap and presenting results from the testing

Reception Test of Petals for the End Cap TEC+ of the CMS Silicon Strip Tracker

The silicon strip tracker of the CMS experiment has been completed and was inserted into the CMS detector in late 2007. The largest sub system of the tracker are its end caps, comprising two large end caps (TEC) each containing 3200 silicon strip modules. To ease construction, the end caps feature a modular design: groups of about 20 silicon modules are placed on sub-assemblies called petals and these self-contained elements are then mounted onto the TEC support structures. Each end cap consists of 144 such petals, which were built and fully qualified by several institutes across Europe. Fro

Differential cross section measurements for the production of a W boson in association with jets in proton–proton collisions at √s = 7 TeV

Measurements are reported of differential cross sections for the production of a W boson, which decays into a muon and a neutrino, in association with jets, as a function of several variables, including the transverse momenta (pT) and pseudorapidities of the four leading jets, the scalar sum of jet transverse momenta (HT), and the difference in azimuthal angle between the directions of each jet and the muon. The data sample of pp collisions at a centre-of-mass energy of 7 TeV was collected with the CMS detector at the LHC and corresponds to an integrated luminosity of 5.0 fb[superscript −1]. The measured cross sections are compared to predictions from Monte Carlo generators, MadGraph + pythia and sherpa, and to next-to-leading-order calculations from BlackHat + sherpa. The differential cross sections are found to be in agreement with the predictions, apart from the pT distributions of the leading jets at high pT values, the distributions of the HT at high-HT and low jet multiplicity, and the distribution of the difference in azimuthal angle between the leading jet and the muon at low values.United States. Dept. of EnergyNational Science Foundation (U.S.)Alfred P. Sloan Foundatio

Optimasi Portofolio Resiko Menggunakan Model Markowitz MVO Dikaitkan dengan Keterbatasan Manusia dalam Memprediksi Masa Depan dalam Perspektif Al-Qur`an

Risk portfolio on modern finance has become increasingly technical, requiring the use of sophisticated mathematical tools in both research and practice. Since companies cannot insure themselves completely against risk, as human incompetence in predicting the future precisely that written in Al-Quran surah Luqman verse 34, they have to manage it to yield an optimal portfolio. The objective here is to minimize the variance among all portfolios, or alternatively, to maximize expected return among all portfolios that has at least a certain expected return. Furthermore, this study focuses on optimizing risk portfolio so called Markowitz MVO (Mean-Variance Optimization). Some theoretical frameworks for analysis are arithmetic mean, geometric mean, variance, covariance, linear programming, and quadratic programming. Moreover, finding a minimum variance portfolio produces a convex quadratic programming, that is minimizing the objective function ðð¥with constraintsð ð 𥠥 ðandð´ð¥ = ð. The outcome of this research is the solution of optimal risk portofolio in some investments that could be finished smoothly using MATLAB R2007b software together with its graphic analysis

Penilaian Kinerja Keuangan Koperasi di Kabupaten Pelalawan

This paper describe development and financial performance of cooperative in District Pelalawan among 2007 - 2008. Studies on primary and secondary cooperative in 12 sub-districts. Method in this stady use performance measuring of productivity, efficiency, growth, liquidity, and solvability of cooperative. Productivity of cooperative in Pelalawan was highly but efficiency still low. Profit and income were highly, even liquidity of cooperative very high, and solvability was good

Juxtaposing BTE and ATE – on the role of the European insurance industry in funding civil litigation

One of the ways in which legal services are financed, and indeed shaped, is through private insurance arrangement. Two contrasting types of legal expenses insurance contracts (LEI) seem to dominate in Europe: before the event (BTE) and after the event (ATE) legal expenses insurance. Notwithstanding institutional differences between different legal systems, BTE and ATE insurance arrangements may be instrumental if government policy is geared towards strengthening a market-oriented system of financing access to justice for individuals and business. At the same time, emphasizing the role of a private industry as a keeper of the gates to justice raises issues of accountability and transparency, not readily reconcilable with demands of competition. Moreover, multiple actors (clients, lawyers, courts, insurers) are involved, causing behavioural dynamics which are not easily predicted or influenced. Against this background, this paper looks into BTE and ATE arrangements by analysing the particularities of BTE and ATE arrangements currently available in some European jurisdictions and by painting a picture of their respective markets and legal contexts. This allows for some reflection on the performance of BTE and ATE providers as both financiers and keepers. Two issues emerge from the analysis that are worthy of some further reflection. Firstly, there is the problematic long-term sustainability of some ATE products. Secondly, the challenges faced by policymakers that would like to nudge consumers into voluntarily taking out BTE LEI