Minimality and separation results on asynchronous mobile processes

1998 ◽  
pp. 131-146 ◽  
Author(s):  
Nobuko Yoshida
Keyword(s):  
Mobile Processes ◽  
Separation Results

scholarly journals Intercalated Erlotinib-Docetaxel Dosing Schedules Designed to Achieve Pharmacodynamic Separation: Results of a Phase I/II Trial

2011 ◽  
Vol 6 (12) ◽  
pp. 2112-2119 ◽  
Author(s):  
Randeep Sangha ◽  
Angela M. Davies ◽  
Primo N. Lara ◽  
Philip C. Mack ◽  
Laurel A. Beckett ◽  
...  
Keyword(s):  
Phase I ◽  
Separation Results

scholarly journals Pemisahan Anomali Regional-Residual pada Metode Gravitasi Menggunakan Metode Moving Average, Polynomial dan Inversion

2016 ◽  
Vol 3 (01) ◽  
pp. 10 ◽  
Author(s):  
Jarot Purnomo ◽  
Sorja Koesuma ◽  
Mohtar Yunianto
Keyword(s):  
Average Method ◽  
Moving Average ◽  
Continuation Method ◽  
Inversion Method ◽  
Polynomial Method ◽  
Minimum Error ◽  
Gravity Method ◽  
Upward Continuation ◽  
And Inversion ◽  
Separation Results

<span>It has been done a research about separation of regional-residual anomaly in Gravity method. <span>This research compares the result of three methods i.e. moving average method, polynomial <span>method, and inversion method. The computer program is created using a computer programming <span>Matlab 7. From three methods that have been made, the separation results are compared with<br /><span>results of separation by using Upward Continuation method. From the results of these <span>comparisons will be available an excellent program of regional-residual anomali separation. The <span>results show that in polynomial method of the order 4 obtained similar contour to the separation <span>by Upward Continuation Software. So that the output of this separation will be treated again <span>with Grav2DC software. The output of this software is the density of rock Grav2DC of the study<br /><span>area. Processing results obtained the minimum error of 1.85% for the separation by polynomial <span>method, while for the method of Upward Continuation obtained minimum error of 2.22%. The <span>results obtained show that the separation of regional-residual anomali by polynomial method is <span>similar to separation by Upward Continuation method.</span></span></span></span></span></span></span></span></span></span></span></span><br /></span>

scholarly journals Mobile Processes: Enhancing Cooperation in Distributed Mobile Environments

2007 ◽  
Vol 2 (1) ◽  
Author(s):  
Christian P. Kunze ◽  
Sonja Zaplata ◽  
Winfried Lamersdorf
Keyword(s):  
Mobile Environments ◽  
Mobile Processes

scholarly journals Adsorption Equilibrium, Kinetics, Thermodynamics and Dynamic Separation of Magnesium and CalciumIons from Industrial Wastewater by New Strong Acid Cation Resin of SPVC

2021 ◽  
Vol 22 (1) ◽  
pp. 127-138
Author(s):  
Dilfuza Nuriddinova
Keyword(s):  
Calcium Ions ◽  
Industrial Wastewater ◽  
Adsorption Equilibrium ◽  
Dynamic Condition ◽  
Research Work ◽  
Strong Acid ◽  
Cation Resin ◽  
Acid Cation ◽  
Kinetics Of ◽  
Separation Results

In the research work, the adsorption equilibrium, kinetics, thermodynamics and dynamic separation of magnesium and calcium ions from industrial wastewater by new strong acid cation resin of SPVC (sulphonated polyvinylchloride) were investigated. The sorption capacity of the studied resin was 3.78 mmol/g and 3.74 mmol/g for magnesium and calcium ions, respectively, according to Langmuir isotherm. It was found that the pseudo−first−order model was better fitted for the adsorption kinetics of magnesium and calcium ions on the resin. The dynamic separation results confirmed that the selected resin effectively separated magnesium and calcium ions from industrial wastewater in the dynamic condition. The change of the standard Gibbs free energy (G) and enthalpy (H), and entropy (S) were calculated. The obtained results confirmed that the adsorption of magnesium and calcium ions on the selected resin is endothermic.

scholarly journals Even Simple Processes of π-calculus are Hard for Analysis

2018 ◽  
Vol 25 (6) ◽  
pp. 589-606
Author(s):  
Marat M. Abbas ◽  
Vladimir A. Zakharov
Keyword(s):  
Information Security ◽  
Mathematical Models ◽  
Cryptographic Protocols ◽  
Bounded Number ◽  
Distributed Computations ◽  
Security Properties ◽  
Mobile Processes ◽  
Π Calculus ◽  
Np Complete ◽  
Turing Complete

Mathematical models of distributed computations, based on the calculus of mobile processes (π-calculus) are widely used for checking the information security properties of cryptographic protocols. Since π-calculus is Turing-complete, this problem is undecidable in general case. Therefore, the study is carried out only for some special classes of π-calculus processes with restricted computational capabilities, for example, for non-recursive processes, in which all runs have a bounded length, for processes with a bounded number of parallel components, etc. However, even in these cases, the proposed checking procedures are time consuming. We assume that this is due to the very nature of the π -calculus processes. The goal of this paper is to show that even for the weakest model of passive adversary and for relatively simple protocols that use only the basic π-calculus operations, the task of checking the information security properties of these protocols is co-NP-complete.

scholarly journals Truss network based morphometric and meristic variations among south-western populations of Macrognathus aculeatus in Bangladesh

2021 ◽  
Vol 42 (3(SI)) ◽  
pp. 887-894
Author(s):  
M. Sarower-E-Mahfuj ◽  
◽  
S.K. Das ◽  
K.N. Azad ◽  
A.K. Paul ◽  
...  
Keyword(s):  
Analysis Of Variance ◽  
Discriminant Function ◽  
Network System ◽  
Meristic Characters ◽  
Morphometric Characters ◽  
Baseline Information ◽  
Macrognathus Aculeatus ◽  
Post Hoc ◽  
Separation Results ◽  
Discriminant Function Analyses

Aim: Landmark-based truss network system was applied to examine the morphometric and meristic differences among four different populaces of Macrognathus aculeatus namely; Dhakuriabeel, Jashore (DBJ); Arial Kha River, Madaripur (AKRM); Nabaganga River, Jhenaidah (NRJ); Kopotakkha River, Jashore (KRJ) in Bangladesh. Methodology: Completely 80 samples of M. aculeatus were collected (20 individuals from each population) for this study. Six meristic characters, 6 morphometric characters and 15 truss-based morphometric characters were measured for one-way analysis of variance (ANOVA) and Tukey-HSD post hoc test. Discriminant function analyses were also performed by using morphometric and truss-based morphometric characters to detect potential characters responsible for population separation. Results: Completely 80 samples of M. aculeatus were collected (20 individuals from each population) for this study. Six meristic characters, 6 morphometric characters and 15 truss-based morphometric characters were measured for one-way analysis of variance (ANOVA) and Tukey-HSD post hoc test. Discriminant function analyses were also performed by using morphometric and truss-based morphometric characters to detect potential characters responsible for population separation. Interpretation: The baseline information derived from the present study would be useful for appropriate conservation of M. aculeatus populations as well as for the researchers for further investigation.

Sign in / Sign up

Export Citation Format

Share Document