8,409 research outputs found
Extended PCR Rules for Dynamic Frames
In most of classical fusion problems modeled from belief functions, the frame of discernment is considered as static. This means that the set of elements in the frame and the underlying integrity constraints of the frame are fixed forever and they do not change with time. In some applications, like in target tracking for example, the use of such invariant frame is not very appropriate because it can truly change with time. So it is necessary to adapt the Proportional Conflict Redistribution fusion rules (PCR5 and PCR6) for working with dynamical frames. In this paper, we propose an extension of PCR5 and PCR6 rules for working in a frame having some non-existential integrity constraints. Such constraints on the frame can arise in tracking applications by the destruction of targets for example. We show through very simple examples how these new rules can be used for the belief revision process
Left Recursion in Parsing Expression Grammars
Parsing Expression Grammars (PEGs) are a formalism that can describe all
deterministic context-free languages through a set of rules that specify a
top-down parser for some language. PEGs are easy to use, and there are
efficient implementations of PEG libraries in several programming languages.
A frequently missed feature of PEGs is left recursion, which is commonly used
in Context-Free Grammars (CFGs) to encode left-associative operations. We
present a simple conservative extension to the semantics of PEGs that gives
useful meaning to direct and indirect left-recursive rules, and show that our
extensions make it easy to express left-recursive idioms from CFGs in PEGs,
with similar results. We prove the conservativeness of these extensions, and
also prove that they work with any left-recursive PEG.
PEGs can also be compiled to programs in a low-level parsing machine. We
present an extension to the semantics of the operations of this parsing machine
that let it interpret left-recursive PEGs, and prove that this extension is
correct with regards to our semantics for left-recursive PEGs.Comment: Extended version of the paper "Left Recursion in Parsing Expression
Grammars", that was published on 2012 Brazilian Symposium on Programming
Language
Quality of Service over Specific Link Layers: state of the art report
The Integrated Services concept is proposed as an enhancement to the current Internet architecture, to provide a better Quality of Service (QoS) than that provided by the traditional Best-Effort service. The features of the Integrated Services are explained in this report. To support Integrated Services, certain requirements are posed on the underlying link layer. These requirements are studied by the Integrated Services over Specific Link Layers (ISSLL) IETF working group. The status of this ongoing research is reported in this document. To be more specific, the solutions to provide Integrated Services over ATM, IEEE 802 LAN technologies and low-bitrate links are evaluated in detail. The ISSLL working group has not yet studied the requirements, that are posed on the underlying link layer, when this link layer is wireless. Therefore, this state of the art report is extended with an identification of the requirements that are posed on the underlying wireless link, to provide differentiated Quality of Service
Recommended from our members
Stromule extension along microtubules coordinated with actin-mediated anchoring guides perinuclear chloroplast movement during innate immunity.
Dynamic tubular extensions from chloroplasts called stromules have recently been shown to connect with nuclei and function during innate immunity. We demonstrate that stromules extend along microtubules (MTs) and MT organization directly affects stromule dynamics since stabilization of MTs chemically or genetically increases stromule numbers and length. Although actin filaments (AFs) are not required for stromule extension, they provide anchor points for stromules. Interestingly, there is a strong correlation between the direction of stromules from chloroplasts and the direction of chloroplast movement. Stromule-directed chloroplast movement was observed in steady-state conditions without immune induction, suggesting it is a general function of stromules in epidermal cells. Our results show that MTs and AFs may facilitate perinuclear clustering of chloroplasts during an innate immune response. We propose a model in which stromules extend along MTs and connect to AF anchor points surrounding nuclei, facilitating stromule-directed movement of chloroplasts to nuclei during innate immunity
An introduction to DSmT
The management and combination of uncertain, imprecise, fuzzy and even
paradoxical or high conflicting sources of information has always been, and
still remains today, of primal importance for the development of reliable
modern information systems involving artificial reasoning. In this
introduction, we present a survey of our recent theory of plausible and
paradoxical reasoning, known as Dezert-Smarandache Theory (DSmT), developed for
dealing with imprecise, uncertain and conflicting sources of information. We
focus our presentation on the foundations of DSmT and on its most important
rules of combination, rather than on browsing specific applications of DSmT
available in literature. Several simple examples are given throughout this
presentation to show the efficiency and the generality of this new approach
On materially and geometrically non-linear analysis of reinforced concrete planar frames
A family of new beam finite elements for geometrically and materially non-linear static analysis of reinforced concrete planar frames is derived, in which strain measures are the only interpolated unknowns, and where the constitutive and equilibrium internal forces are equal at integration points. The strain-localization caused by the strain-softening at cross-sections is resolved by the introduction of a `short constant-strain element'. Comparisons between numerical and experimental results on planar frames in pre- and post-critical states show both good accuracy and computational efficiency of the present formulation. (C) 2004 Elsevier Ltd. All rights reserved
A Simple Proportional Conflict Redistribution Rule
One proposes a first alternative rule of combination to WAO (Weighted Average
Operator) proposed recently by Josang, Daniel and Vannoorenberghe, called
Proportional Conflict Redistribution rule (denoted PCR1). PCR1 and WAO are
particular cases of WO (the Weighted Operator) because the conflicting mass is
redistributed with respect to some weighting factors. In this first PCR rule,
the proportionalization is done for each non-empty set with respect to the
non-zero sum of its corresponding mass matrix - instead of its mass column
average as in WAO, but the results are the same as Ph. Smets has pointed out.
Also, we extend WAO (which herein gives no solution) for the degenerate case
when all column sums of all non-empty sets are zero, and then the conflicting
mass is transferred to the non-empty disjunctive form of all non-empty sets
together; but if this disjunctive form happens to be empty, then one considers
an open world (i.e. the frame of discernment might contain new hypotheses) and
thus all conflicting mass is transferred to the empty set. In addition to WAO,
we propose a general formula for PCR1 (WAO for non-degenerate cases).Comment: 21 page
Single-particle imaging reveals intraflagellar transport–independent transport and accumulation of EB1 in \u3cem\u3eChlamydomonas\u3c/em\u3e flagella
The microtubule (MT) plus-end tracking protein EB1 is present at the tips of cilia and flagella; end-binding protein 1 (EB1) remains at the tip during flagellar shortening and in the absence of intraflagellar transport (IFT), the predominant protein transport system in flagella. To investigate how EB1 accumulates at the flagellar tip, we used in vivo imaging of fluorescent protein–tagged EB1 (EB1-FP) in Chlamydomonas reinhardtii. After photobleaching, the EB1 signal at the flagellar tip recovered within minutes, indicating an exchange with unbleached EB1 entering the flagella from the cell body. EB1 moved independent of IFT trains, and EB1-FP recovery did not require the IFT pathway. Single-particle imaging showed that EB1-FP is highly mobile along the flagellar shaft and displays a markedly reduced mobility near the flagellar tip. Individual EB1-FP particles dwelled for several seconds near the flagellar tip, suggesting the presence of stable EB1 binding sites. In simulations, the two distinct phases of EB1 mobility are sufficient to explain its accumulation at the tip. We propose that proteins uniformly distributed throughout the cytoplasm like EB1 accumulate locally by diffusion and capture; IFT, in contrast, might be required to transport proteins against cellular concentration gradients into or out of cilia
- …