380 research outputs found
Analysis and Verification of Service Interaction Protocols - A Brief Survey
Modeling and analysis of interactions among services is a crucial issue in
Service-Oriented Computing. Composing Web services is a complicated task which
requires techniques and tools to verify that the new system will behave
correctly. In this paper, we first overview some formal models proposed in the
literature to describe services. Second, we give a brief survey of verification
techniques that can be used to analyse services and their interaction. Last, we
focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330
On Coordinating Collaborative Objects
A collaborative object represents a data type (such as a text document)
designed to be shared by a group of dispersed users. The Operational
Transformation (OT) is a coordination approach used for supporting optimistic
replication for these objects. It allows the users to concurrently update the
shared data and exchange their updates in any order since the convergence of
all replicas, i.e. the fact that all users view the same data, is ensured in
all cases. However, designing algorithms for achieving convergence with the OT
approach is a critical and challenging issue. In this paper, we propose a
formal compositional method for specifying complex collaborative objects. The
most important feature of our method is that designing an OT algorithm for the
composed collaborative object can be done by reusing the OT algorithms of
component collaborative objects. By using our method, we can start from correct
small collaborative objects which are relatively easy to handle and
incrementally combine them to build more complex collaborative objects.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
One of the main open research issues in Service Oriented Computing is to
propose automated techniques to analyse service interfaces. A first problem,
called compatibility, aims at determining whether a set of services (two in
this paper) can be composed together and interact with each other as expected.
Another related problem is to check the substitutability of one service with
another. These problems are especially difficult when behavioural descriptions
(i.e., message calls and their ordering) are taken into account in service
interfaces. Interfaces should capture as faithfully as possible the service
behaviour to make their automated analysis possible while not exhibiting
implementation details. In this position paper, we choose Labelled Transition
Systems to specify the behavioural part of service interfaces. In particular,
we show that internal behaviours (tau transitions) are necessary in these
transition systems in order to detect subtle errors that may occur when
composing a set of services together. We also show that tau transitions should
be handled differently in the compatibility and substitutability problem: the
former problem requires to check if the compatibility is preserved every time a
tau transition is traversed in one interface, whereas the latter requires a
precise analysis of tau branchings in order to make the substitution preserve
the properties (e.g., a compatibility notion) which were ensured before
replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233
Ab initio investigation of lattice dynamics of fluoride scheelite LiYF4
We report on the phonon dynamics of LiYF4 obtained by direct method using
first principle calculations. The agreement between experimental and calculated
modes is satisfactory. An inversion between two Raman active modes is noticed
compared to inelastic neutron scattering and Raman measurements. The atomic
displacements corresponding to these modes are discussed. Multiple inversions
between Raman and infrared active groups are present above 360 cm-1. The total
and partial phonon density of state is also calculated and analyzed
On Negotiation as Concurrency Primitive
We introduce negotiations, a model of concurrency close to Petri nets, with
multiparty negotiation as primitive. We study the problems of soundness of
negotiations and of, given a negotiation with possibly many steps, computing a
summary, i.e., an equivalent one-step negotiation. We provide a complete set of
reduction rules for sound, acyclic, weakly deterministic negotiations and show
that, for deterministic negotiations, the rules compute the summary in
polynomial time
Plant extract enhances the viability of Lactobacillus delbrueckii subsp. bulgaricus and Lactobacillus acidophilus in probiotic nonfat yogurt
Citation: Michael, M., Phebus, R. K., & Schmidt, K. A. (2015). Plant extract enhances the viability of Lactobacillus delbrueckii subsp. bulgaricus and Lactobacillus acidophilus in probiotic nonfat yogurt. Food Science & Nutrition, 3(1), 48-55. doi:10.1002/fsn3.189A commercial plant extract (prepared from olive, garlic, onion and citrus extracts with sodium acetate (SA) as a carrier) was evaluated to extend the viability of yogurt starter and probiotic bacteria as a means to enhance the shelf life of live and active culture, probiotic nonfat yogurt. Yogurts prepared from three different formulas (0.5% plant extract, 0.25% SA, or no supplement) and cultures (yogurt starter plus Bifidobacterium animalis, Lactobacillus acidophilus, or both probiotics) were assessed weekly during 29 days of storage at 5 degrees C. Supplemented yogurt mixes had greater buffering capacities than non-supplemented yogurt mixes. At the end of storage, Lactobacillus bulgaricus and L. acidophilus counts in supplemented yogurts were greater compared with non-supplemented yogurts. Supplementation did not affect Streptococcus thermophilus and B. animalis counts. Hence the greater buffering capacity of yogurt containing plant extract could enhance the longevity of the probiotics, L. bulgaricus and L. acidophilus, during storage
American consensus recommendations for gastric scintigraphy: curve fitting with only a few points remains an easy and accurate method to obtain reliable and reproducible gastric emptying estimates.
International audienceBACKGROUND: In 2008, American consensus recommendations for performing gastric emptying (GE) scintigraphy were published. It was recommended that data are acquired only at 0, 1, 2, and 4 h and that the results are expressed as percentages of meal retention. Until now, it was established that the GE time-activity curves should have many points (every 10, 15, or 20 min) to reflect the GE process accurately and to be optimally adjusted by a mathematical model. In this study, we have evaluated the curve fitting using only a few points as proposed by the consensus protocol. MATERIALS AND METHODS: GE scintigraphy tests of 224 patients were retrospectively analyzed. Two curve fittings were done for each patient, either using data acquired every 20 min or using data acquired every hour. A comparison of these two methods was made based on the values of the computed GE parameters. RESULTS: We observed strong correlations between the two methods (r=0.81-0.99, P<0.05). Using the Bland-Altman analysis, more than 95% of the differences were included in the mean difference 95% confidence interval. The mean differences were weak with a relatively small SD and Cohen's k coefficients ranging from 0.84 to 0.93, indicating an excellent agreement between the two methods. CONCLUSION: Our results showed the feasibility and accuracy of curve fitting using only a few points. The curve fitting is easy to perform and allows the computation of reliable and reproducible parameters that reflect the whole GE process
DFT study of pressure induced phase transitions in LiYF4
An investigation of the pressure induced phase transition from the scheelite
phase (I41/a, Z=4) to the fergusonite-like phase (I2/a, Z=4)/LaTaO(P21/c, Z=4)
of LiYF4 is presented. Employing density functional theory (DFT) within the
generalized gradient approximation, the internal degrees of freedom were
relaxed for a pressure range of 0 GPa to 20 Gpa. The influence of pressure on
the lattice vibration spectrum of the scheelite phase (I41/a, Z=4) was
evaluated using the direct approach, i.e. using force constants calculated from
atomic displacements. The transition volume is in good agreement with
experiment, while the transition pressure is overestimated of 6 GPa. At 20 GPa,
a P21/c structure with apentacoordinated lithium cation is found to be the most
stable phase. This structure is compatible with a transition driven by a Bg
zone-center soft optic mode linked to a soft-acoustic mode along the [11-1]
direction as observed for the proper ferroelastic transition of BiVO4
A New Human NHERF1 Mutation Decreases Renal Phosphate Transporter NPT2a Expression by a PTH-Independent Mechanism
Background: The sodium-hydrogen exchanger regulatory factor 1 (NHERF1) binds to the main renal phosphate transporter NPT2a and to the parathyroid hormone (PTH) receptor. We have recently identified mutations in NHERF1 that decrease renal phosphate reabsorption by increasing PTH-induced cAMP production in the renal proximal tubule. Methods: We compared relevant parameters of phosphate homeostasis in a patient with a previously undescribed mutation in NHERF1 and in control subjects. We expressed the mutant NHERF1 protein in Xenopus Oocytes and in cultured cells to study its effects on phosphate transport and PTH-induced cAMP production. Results: We identified in a patient with inappropriate renal phosphate reabsorption a previously unidentified mutation (E68A) located in the PDZ1 domain of NHERF1.We report the consequences of this mutation on NHERF1 function. E68A mutation did not modify cAMP production in the patient. PTH-induced cAMP synthesis and PKC activity were not altered by E68A mutation in renal cells in culture. In contrast to wild-type NHERF1, expression of the E68A mutant in Xenopus oocytes and in human cells failed to increase phosphate transport. Pull down experiments showed that E68A mutant did not interact with NPT2a, which robustly interacted with wild type NHERF1 and previously identified mutants. Biotinylation studies revealed that E68A mutant was unable to increase cell surface expression of NPT2a. Conclusions: Our results indicate that the PDZ1 domain is critical for NHERF1- NPT2a interaction in humans and for th
A fault mode identification methodology based on self-organizing map
One of the main goals of predictive maintenance is to be able to trigger the right maintenance actions at the right moment in time building upon the monitoring of the health status of the concerned systems and their components. As such, it allows identifying incipient faults and forecasting the moment of failure at the earliest stage. Many different data-driven methods are used in such approaches (Naderi and Khorasani in 2017 IEEE 30th Canadian conference on electrical and computer engineering (CCECE), Windsor, ON, IEEE, pp 1–6, 2017. https://doi.org/10.1109/ccece.2017.7946715; Sarkar et al. in J Eng Gas Turbines Power 1338(8):081602, 2011. https://doi.org/10.1115/1.4002877; Svärd et al. in Mech Syst Signal Process 45(1):170–192, 2014. https://doi.org/10.1016/j.ymssp.2013.11.002; Pourbabaee et al. Mech Syst Signal Process 76–77:136–156, 2016. https://doi.org/10.1016/j.ymssp.2016.02.023). This work uses the self-organizing maps (SOMs) or Kohonen map, thanks to its ability to emphasize underlying behavior such as fault modes. An automatic fault mode detection is presented based on a SOM network and the kernel density estimation with as less as possible prior knowledge. The different SOM development steps are presented and the suitable solutions proposed to structure the approach are accompanied by mathematical methods. The generated maps are then used with kernel density analysis to isolate fault modes on them. Finally, a methodology is presented to identify the different fault modes. The work is illustrated with an aircraft jet engines case study
- …