نتایج جستجو برای: پروتکلهای ikp
تعداد نتایج: 203 فیلتر نتایج به سال:
IKP University of Cologne, 50932 Cologne, Germany GSI Darmstadt, 64291 Darmstadt, Germany Keele University, Keele, Staffordshire ST5 5BG, UK University of Milan and INFN Milan, Milano, Italy Istituto Nazionale di Fisica Nucleare, Legnaro, Italy Lund University, 221 00 Lund, Sweden ISKP University of Bonn, 53115 Bonn, Germany The H. Niewodniczański Institute of Nuclear Physics PAN, Kraków, Polan...
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends π-calculus in order to facilitate analyzing security protocols. Our notion is based on the labeled transition system, and takes a knowledge aware open approach to model knowledge in security protocols. It is shown to be sound to labeled bisimilarity and is a congruent relation. As a running example, we analyze ...
اطلاعات یک عنصر کلیدی در جامعه ماست بنابراین محرمانگی، احراز هویت و صحت اطلاعات آن باید تضمین شده باشد. پروتکلهای امنیت دنباله ای از فعل و انفعالات بین نهادها را تعیین میکنند. محیطی که پروتکلهای امنیت در آن در نظر گرفته میشوند خصومت آمیز است. بدین معنی که این محیط ممکن است شامل مهاجم هایی یاشد که اطلاعات را تحریف کنند. پروتکلهای امنیت اغلب به دلیل خواص بینهایت نافذی که فرض میشود بدست آورده اند ...
سنیتیک تخریب گرمایی برخی از ترکیبات پلی آمید ایمیدها توسط آنالیز ترموگراویمتری (tga) غیر همدما در سه سرعت گرمایی (0c min-1 20 و?? ،?/?) در اتمسفر نیتروژن مطالعه شد. تخریب گرمایی واکنش های پلی آمید ایمیدها باروش های تانگ (tang) , فلاین وال و اوزاوا(fwo) ,کیسینجر, آکاهیرا و سانوز(kas) , کوتس و ردفرن (cr) و پارامترهای سنیتیکی ثابت (ikp) انجام شد تا سه تایی سنیتیکی یعنی انرژی فعالسازی , فاکتور پیش...
S.-I. ANDO, R. BECK, V. BERNARD, B. BORASOY, P. BÜTTIKER, S. CHOI, P.J. ELLIS, J. GOITY, H.-W. HAMMER, D.L. HORNIDGE, S.P. KRUGLOV, B. KUBIS, R. LEWIS, R.A. LINDGREN, R. MEIER, M. MOJŽIŠ, G.C. OADES, J.A. OLLER, M.G. OLSSON, C. PAPANICOLAS, M.M. PAVAN, M.L. PITT, M.J. RAMSEY-MUSOLF, M.E. SAINIO, S. ŠIRCA, R.P. SPRINGER, J. STAHOV, R. TACIK, C. UNKMEIR, M. VANDERHAEGEN (Participants) FZJ-IKP(TH)...
Task and Motion Planning for a 7-DOF serial robot containing only revolute joints needs fast numerically stable inverse kinematics solution. The analytical methods are real-time, but they dependent. Although the numerical based on differential can solve problem (IKP) of 7R robots with arbitrary geometric parameters, their stability is insufficient. Moreover, it time-consuming them to converge s...
This paper investigated the ability of a hybrid time-delayed artificial neural network (TDANN)/autoregressive TDANN (AR-TDANN) to predict clenching movements during mastication from surface electromyography (SEMG) signals. Actual jaw motions and SEMG signals from the masticatory muscles were recorded and used as output and input, respectively. Three separate TDANNs/AR-TDANNs were used to predic...
Shahin Bour,1 Xin Li,2 Dean Lee,2 Ulf-G. Meißner,1,3 and Lubos Mitas2 1Helmholtz-Institut für Strahlenund Kernphysik (Theorie) and Bethe Center for Theoretical Physics, Universität Bonn, D-53115 Bonn, Germany 2Department of Physics, North Carolina State University, Raleigh, North Carolina 27695, USA 3Institut für Kernphysik (IKP-3), Institute for Advanced Simulation (IAS-4), and Jülich Center f...
Penelitian ini bertujuan untuk mengetahui Bagaimana Indeks Kemerdekaan Pers di Sumatera Selatan Tahun 2021. Metode penelitian yang digunakan dalam adalah menggunakan purposive survei. Survei dilakukan terhadap kelompok ahli dibidang media/pers sebanyak 10 orang informan ahli.. Hasil analisis daripenelitian Secara umum, (IKP) 2021 Provinsi berada kategori “Cukup Bebas†dengan nilai 81,03. Ni...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید