Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
107 | Lukasz Ziarek |
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
prioirty inheritance protocol |
99 | Peng Wang 0009, Dengguo Feng, Wenling Wu, Liting Zhang |
On the Unprovable Security of 2-Key XCBC. |
ACISP |
2008 |
DBLP DOI BibTeX RDF |
Blockcipher mode of operation, Provable security, Message authentication code, Related-key attack, Blockcipher |
82 | Yasuhisa Hirata, Hamin Song, Zhi Dong Wang, Kazuhiro Kosuge |
Control of passive object handling robot with free joint for reducing human assistive force. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
82 | Tetsu Iwata, Kaoru Kurosawa |
How to Enhance the Security of the 3GPP Confidentiality and Integrity Algorithms. |
FSE |
2005 |
DBLP DOI BibTeX RDF |
|
82 | Yin Ma, Steve Carr 0001, Rong Ge |
Low-Cost Register-Pressure Prediction for Scalar Replacement Using Pseudo-Schedules. |
ICPP |
2004 |
DBLP DOI BibTeX RDF |
|
82 | Igor B. Kuznetsov, Shelly Rackovsky |
Identification of Non-Random Patterns in Structural and Mutational Data: the Case of Prion Protein. |
CSB |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Ermaliza Razali, Raphael C.-W. Phan, Marc Joye |
On the Notions of PRP - RKA , KR and KR - RKA for Block Ciphers. |
ProvSec |
2007 |
DBLP DOI BibTeX RDF |
pseudorandom permutation (PRP), key recovery (KR), related key attacks (RKA), block cipher, Provable security |
67 | David Lefranc, Philippe Painchault, Valérie Rouat, Emmanuel Mayer |
A Generic Method to Design Modes of Operation Beyond the Birthday Bound. |
Selected Areas in Cryptography |
2007 |
DBLP DOI BibTeX RDF |
PRP, PRF, birthday bound, CENC, modes of operation, symmetric encryption, counter mode |
66 | Norbert Fuhr |
A probability ranking principle for interactive information retrieval. |
Inf. Retr. |
2008 |
DBLP DOI BibTeX RDF |
Optimum retrieval rule, Interactive retrieval, Probabilistic retrieval |
66 | Zhi Dong Wang, Kenta Fukaya, Yasuhisa Hirata, Kazuhiro Kosuge |
Control Passive Mobile Robots for Object Transportation - Braking Torque Analysis and Motion Control. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Tetsu Iwata, Kaoru Kurosawa |
On the Correctness of Security Proofs for the 3GPP Confidentiality and Integrity Algorithms. |
IMACC |
2003 |
DBLP DOI BibTeX RDF |
|
66 | Paolo Marenzoni, Giovanni Rimassa, Massimo Bertozzi, Gianni Conte, Pietro Rossi |
An Operating System Support to Low-Overhead Communications in NOW Clusters. |
CANPC |
1997 |
DBLP DOI BibTeX RDF |
|
58 | Jia-Chin Lin |
Least-Squares Channel Estimation Assisted by Self-Interference Cancellation for Mobile PRP-OFDM Applications. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Annisa Pratiwi, Sinh Nguyen Phu, Terence Essomba, Latifah Nurahmi |
Comparisons of Hybrid Mechanisms Based on Their Singularities for Bone Reduction Surgery: 3-PRP-3-RPS and 3-RPS-3-PRP. |
HCI (16) |
2021 |
DBLP DOI BibTeX RDF |
|
50 | Anthony Amaro, Mark Nixon |
Towards IEC62439-3: Implementing Linux based (ZHAW-InES) PRP stack with non-PRP passthrough on ethernet networks in QNX. |
ETFA |
2017 |
DBLP DOI BibTeX RDF |
|
50 | Changxu Wu, Yili Liu |
Modeling Psychological Refractory Period (PRP) and Practice Effect on PRP with Queuing Networks and Reinforcement Learning Algorithms. |
ICCM |
2004 |
DBLP BibTeX RDF |
|
49 | John L. Miller 0001, Jon Crowcroft |
Probabilistic event resolution with the pairwise random protocol. |
NOSSDAV |
2009 |
DBLP DOI BibTeX RDF |
pairwise random protocol, secure coin flipping, security, fairness, distributed virtual environment, network games, cheating, bit commitment |
49 | Jun Wang 0012 |
Mean-Variance Analysis: A New Document Ranking Theory in Information Retrieval. |
ECIR |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Jia-Chin Lin |
Channel Estimation Assisted by Postfixed Pseudo-Noise Sequences Padded with Null Samples for Mobile OFDM Communications. |
WCNC |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Ho Chung Wu, Robert W. P. Luk, Kam-Fai Wong |
Probability ranking principle via optimal expected rank. |
SIGIR |
2007 |
DBLP DOI BibTeX RDF |
probability ranking principle and optimization |
49 | Markus Muck, Marc de Courville, Pierre Duhamel |
A pseudorandom postfix OFDM modulator - semi-blind channel estimation and equalization. |
IEEE Trans. Signal Process. |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Gonglin Yuan, Xiwen Lu |
A modified PRP conjugate gradient method. |
Ann. Oper. Res. |
2009 |
DBLP DOI BibTeX RDF |
R-linear convergence, Conjugate gradient method, Global convergence, Unconstrained optimization, Line search |
33 | Juan A. Garay, Vladimir Kolesnikov, Rae McLellan |
MAC Precomputation with Applications to Secure Memory. |
ISC |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Lee-Ying Chong, Andrew Teoh Beng Jin |
Probabilistic Random Projections and Speaker Verification. |
ICB |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic Random Projections, Speaker verification, Cancellable biometrics |
33 | Susan Lindquist, Ernest Fraenkel, Tiago Outeiro, Aaron Gitler, Julie Su, Anil Cashikar, Smitha Jagadish |
Yeast Cells as a Discovery Platform for Neurodegenerative Disease. |
RECOMB |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Sarvar Patel, Zulfikar Ramzan, Ganapathy S. Sundaram |
Efficient Constructions of Variable-Input-Length Block Ciphers. |
Selected Areas in Cryptography |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Tetsu Iwata, Tadayoshi Kohno |
New Security Proofs for the 3GPP Confidentiality and Integrity Algorithms. |
FSE |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Phillip Rogaway, Mihir Bellare, John Black |
OCB: A block-cipher mode of operation for efficient authenticated encryption. |
ACM Trans. Inf. Syst. Secur. |
2003 |
DBLP DOI BibTeX RDF |
block-cipher usage, authenticity, cryptography, integrity, standards, encryption, AES, provable security, modes of operation |
33 | Shai Halevi, Phillip Rogaway |
A Tweakable Enciphering Mode. |
CRYPTO |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Soichi Furuya, Kouichi Sakurai |
Risks with Raw-Key Masking - The Security Evaluation of 2-Key XCBC. |
ICICS |
2002 |
DBLP DOI BibTeX RDF |
MAC, Block cipher, provable security, mode of operation |
33 | Phillip Rogaway, Mihir Bellare, John Black, Ted Krovetz |
OCB: a block-cipher mode of operation for efficient authenticated encryption. |
CCS |
2001 |
DBLP DOI BibTeX RDF |
authenticity, cryptography, integrity, standards, encryption, block ciphers, AES, provable security, modes of operation |
33 | Mihir Bellare, Ted Krovetz, Phillip Rogaway |
Luby-Rackoff Backwards: Increasing Security by Making Block Ciphers Non-invertible. |
EUROCRYPT |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Neal Mangaokar, Ashish Hooda, Jihye Choi, Shreyas Chandrashekaran, Kassem Fawaz, Somesh Jha, Atul Prakash 0001 |
PRP: Propagating Universal Perturbations to Attack Large Language Model Guard-Rails. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Christian Muise, Sheila A. McIlraith, J. Christopher Beck |
PRP Rebooted: Advancing the State of the Art in FOND Planning. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Christian Muise, Sheila A. McIlraith, J. Christopher Beck |
PRP Rebooted: Advancing the State of the Art in FOND Planning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Ritam Bhaumik, Mohammad Amin Raeisi |
BBB PRP Security of the Lai-Massey Mode. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
25 | Yu Chen, Kai Kuang, Xueling Yan |
A modified PRP-type conjugate gradient algorithm with complexity analysis and its application to image restoration problems. |
J. Comput. Appl. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Mateu Jover, Manuel Barranco, Julián Proenza |
Opportunities and Specific Plans for Migrating from PRP to TSN in Substation Automation Systems. |
ETFA |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Sreerama Rajasekhar, Soumyadip Das, Ramanathan Karuppasamy, Balamurali Musuvathi Motilal, Kaushik Chanda |
Identification of novel inhibitors for Prp protein of Mycobacterium tuberculosis by structure based drug design, and molecular dynamics simulations. |
J. Comput. Chem. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Hassan Mohammad |
A multivariate spectral hybridization of HS and PRP method for nonlinear systems of equations. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
25 | Gonglin Yuan, Heshu Yang, Mengxiang Zhang |
Adaptive three-term PRP algorithms without gradient Lipschitz continuity condition for nonconvex functions. |
Numer. Algorithms |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Ashwin Jha, Mridul Nandi |
A Survey on Applications of H-Technique: Revisiting Security Analysis of PRP and PRF. |
Entropy |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Mohammed Yusuf Waziri, Kabiru Ahmed, Abubakar Sani Halilu |
A modified PRP-type conjugate gradient projection algorithm for solving large-scale monotone nonlinear equations with convex constraint. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Xiangying Kong, Xuebing Chen, Zhenhua Zhang |
Comparative Analysis of PRP and DRN. |
ISCIPT |
2022 |
DBLP BibTeX RDF |
|
25 | Juan R. Coca, Hasier Eraña, Joaquín Castilla |
Biosemiotics comprehension of PrP code and prion disease. |
Biosyst. |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Mariangela Agamennone, Loriano Storchi, Alessandro Marrone, Roberto Paciotti |
Hampering the early aggregation of PrP-E200K protein by charge-based inhibitors: a computational study. |
J. Comput. Aided Mol. Des. |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jamilu Sabi'u, Kanikar Muangchoo, Abdullah Shah, Auwal Bala Abubakar, Lateef Olakunle Jolaoso |
A Modified PRP-CG Type Derivative-Free Algorithm with Optimal Choices for Solving Large-Scale Nonlinear Symmetric Equations. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Gonglin Yuan, Junyu Lu, Zhan Wang |
The modified PRP conjugate gradient algorithm under a non-descent line search and its application in the Muskingum model and image restoration problems. |
Soft Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Xiaodi Wu, Yihan Zhu, Jianghua Yin |
A HS-PRP-Type Hybrid Conjugate Gradient Method with Sufficient Descent Property. |
Comput. Intell. Neurosci. |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Roei Tell |
Proving that prBPP = prP is as hard as proving that "almost NP" is not contained in P/poly. |
Inf. Process. Lett. |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Ganesh Panzade, Indu Gangwar, Supriya Awasthi, Nitesh Sharma, Ravi Shankar |
Plant Regulomics Portal (PRP): a comprehensive integrated regulatory information and analysis portal for plant genomes. |
Database J. Biol. Databases Curation |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Shanidul Hoque, Shashank Shekhar 0004, Debarati Sen, Wasim Arif |
Analysis of handoff delay for proactive spectrum handoff scheme with PRP M/G/1/K queuing system in cognitive radio networks. |
IET Commun. |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Huan Yang, Liang Cheng 0001 |
Bounding Network-Induced Delays of Wireless PRP Infrastructure for Industrial Control Systems. |
ICC |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Mohan Santhakumar, Jayant Kumar Mohanta |
Dual Integral Sliding Mode Control Loop for Mechanical Error Correction in Trajectory-Tracking of a Planar 3-PRP Parallel Manipulator. |
J. Intell. Robotic Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Roei Tell |
Proving that prBPP=prP is as hard as "almost" proving that P ≠ NP. |
Electron. Colloquium Comput. Complex. |
2018 |
DBLP BibTeX RDF |
|
25 | Rocío Cañamares, Pablo Castells |
From the PRP to the Low Prior Discovery Recall Principle for Recommender Systems. |
SIGIR |
2018 |
DBLP DOI BibTeX RDF |
|
25 | D. Ataee Tarzanagh, Parvin Nazari, M. Reza Peyghami |
A nonmonotone PRP conjugate gradient method for solving square and under-determined systems of equations. |
Comput. Math. Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Mahdi Sharifnia, Alireza Akbarzadeh 0001 |
Approximate analytical solution for vibration of a 3-PRP planar parallel robot with flexible moving platform. |
Robotica |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Almetwally M. Mostafa, Ahmed E. Youssef |
PRP: A primary replacement protocol based on early discovery of battery power failure in MANETs. |
Multim. Tools Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Weijun Zhou, Fei Wang |
A PRP-based residual method for large-scale monotone nonlinear equations. |
Appl. Math. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | José Ángel Araujo, Jesús Lázaro 0001, Armando Astarloa, Aitzol Zuloaga, Jose Ignacio Garate |
PRP and HSR for High Availability Networks in Power Utility Automation: A Method for Redundant Frames Discarding. |
IEEE Trans. Smart Grid |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Darcy White, Derek Besner |
Semantic Processing in the Context of the PRP Paradigm: Structurally or Strategically Bottlenecked? |
CogSci |
2015 |
DBLP BibTeX RDF |
|
25 | Shiunn-Jang Chern, Kelvin Kuang-Chi Lee, Yun-Kai Bai, Richard Hsin-Hsyong Yang |
Semi-blind channel estimation scheme with Bayesian DFE for PRP-OFDM system. |
ISPACS |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Min Li |
A derivative-free PRP method for solving large-scale nonlinear systems of equations and its global convergence. |
Optim. Methods Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Wei-Jun Zhou, Dong-Hui Li |
On the convergence properties of the unmodified PRP method with a non-descent line search. |
Optim. Methods Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Xiangwei Kong, Yuanhua Lin, Yijie Qiu |
A New Method for Predicting the Position of Gas Influx Based on PRP in Drilling Operations. |
J. Appl. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Weijun Zhou |
A short note on the global convergence of the unmodified PRP method. |
Optim. Lett. |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Holger Flatt, Jürgen Jasperneite, Daniel Dennstedt, Tran Dinh Hung |
Mapping of PRP/HSR redundancy protocols onto a configurable FPGA/CPU based architecture. |
ICSAMOS |
2013 |
DBLP DOI BibTeX RDF |
|
25 | José Ángel Araujo, Jesús Lázaro 0001, Armando Astarloa, Aitzol Zuloaga, Naiara Moreira |
Duplicate and circulating frames discard methods for PRP and HSR (IEC62439-3). |
IECON |
2013 |
DBLP DOI BibTeX RDF |
|
25 | José Ángel Araujo, Jesús Lázaro 0001, Armando Astarloa, Naiara Moreira, Alain García |
Memory requirements analysis for PRP and HSR hardware implementations on FPGAs. |
IECON |
2013 |
DBLP DOI BibTeX RDF |
|
25 | José Ángel Araujo, Jesús Lázaro 0001, Armando Astarloa, Aitzol Zuloaga, Alain García |
PRP and HSR version 1 (IEC 62439-3 Ed.2), improvements and a prototype implementation. |
IECON |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Staicu, Damien Chablat |
Internal joint forces in dynamics of a 3-PRP planar parallel robot |
CoRR |
2012 |
DBLP BibTeX RDF |
|
25 | Jose Angel Araujo, Jesús Lázaro 0001, Armando Astarloa, Aitzol Zuloaga, Alain García |
High availability automation networks: PRP and HSR ring implementations. |
ISIE |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Zhifeng Dai, Bo-Shi Tian |
Global convergence of some modified PRP nonlinear conjugate gradient methods. |
Optim. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Zhong Wan, ZhanLu Yang, Yalin Wang 0003 |
New spectral PRP conjugate gradient method for unconstrained optimization. |
Appl. Math. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Guido Zuccon, Leif Azzopardi, C. J. van Rijsbergen |
The interactive PRP for diversifying document rankings. |
SIGIR |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Shiunn-Jang Chern, You-De Lee, Richard Hsin-Hsyong Yang |
Performance of the MIMO CS-PRP-OFDM systems with complementary codes. |
ISPACS |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Liqing Cheng, Yunda Dong |
A note on convergence of PRP method with new nonmonotone line search. |
Appl. Math. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
25 | |
PRP. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Damien Chablat, Stefan Staicu |
Kinematics of A 3-PRP planar parallel robot |
CoRR |
2009 |
DBLP BibTeX RDF |
|
25 | Wanyou Cheng |
A PRP type method for systems of monotone equations. |
Math. Comput. Model. |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Donghoon Chang, Mridul Nandi |
A Short Proof of the PRP/PRF Switching Lemma. |
IACR Cryptol. ePrint Arch. |
2008 |
DBLP BibTeX RDF |
|
25 | Hubert D. Kirrmann, Mats Hansson, Peter Müri |
IEC 62439 PRP: Bumpless recovery for highly available, hard real-time industrial networks. |
ETFA |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Zhen-Jun Shi, Jie Shen 0009 |
Convergence of PRP method with new nonmonotone line search. |
Appl. Math. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yi Ma 0002, Na Yi, Rahim Tafazolli |
Channel estimation for PRP-OFDM in slowly time-varying channel: first-order or second-order statistics? |
IEEE Signal Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Shujun Lian, Changyu Wang, Lixia Cao |
Convergence Properties of the Dependent PRP Conjugate Gradient Methods. |
J. Syst. Sci. Complex. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Sylvia S. Lin, Regina Landesberg, Hsin S. Chin, Jeffrey Lin, Sidney B. Eisig, Helen H. Lu |
Controlled Release of PRP-Derived Growth Factors Promotes Osteogenic Differentiation of Human Mesenchymal Stem Cells. |
EMBC |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Phillip Rogaway |
The EMD Mode of Operation (A Tweaked, Wide-Blocksize, Strong PRP). |
IACR Cryptol. ePrint Arch. |
2002 |
DBLP BibTeX RDF |
|
25 | Mihir Bellare, Russell Impagliazzo |
A tool for obtaining tighter security analyses of pseudorandom function based constructions, with applications to PRP to PRF conversion. |
IACR Cryptol. ePrint Arch. |
1999 |
DBLP BibTeX RDF |
|
25 | Weixing Zhang, Way Kuo, Victor M. Tamashunas |
Simulating the (HE3/HE3/S): (PRP/∞/∞) queuing model for a maintenance problem. |
WSC |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Wanyou Cheng, Qunfeng Liu |
Sufficient descent nonlinear conjugate gradient methods with conjugacy condition. |
Numer. Algorithms |
2010 |
DBLP DOI BibTeX RDF |
Conjugate gradient method, Global convergence, Line search |
16 | Guido Zuccon, Leif Azzopardi, Keith van Rijsbergen |
Has portfolio theory got any principles? |
SIGIR |
2010 |
DBLP DOI BibTeX RDF |
interdependent document relevance, portfolio theory for IR, quantum probability ranking principle |
16 | Yasuhisa Hirata, Yosuke Ojima, Kazuhiro Kosuge |
Coordinated motion control of multiple passive object handling robots based on environment information. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ju-Chao Zhuo, Jun Li, Gang Wu |
Study of cache placement for time-shifted TV cluster using genetic algorithm. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
cache placement, time-shifted tv (tstv), genetic algorithm, blocking probability |
16 | Xuejun Zhuo, Jianguo Hao, Duo Liu, Yiqi Dai |
Removal of misbehaving insiders in anonymous VANETs. |
MSWiM |
2009 |
DBLP DOI BibTeX RDF |
misbehaving insider, anonymity, VANET, revocation |
16 | Jun Wang 0012, Jianhan Zhu |
Portfolio theory of information retrieval. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
document ranking under uncertainty, mean-variance analysis, modern portfolio theory, the probability ranking principle, risk management |
16 | Yasuhisa Hirata, Yosuke Ojima, Kazuhiro Kosuge |
Variable motion characteristics control of an object by multiple passive mobile robots in cooperation with a human. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mohd Shahir Shamsir, Zeti-Azura Mohamed-Hussein, Johan Sharif |
Unravelling Prion Diseases Using Molecular Dynamics Simulations. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
prion, Creutzfeldt–Jakob, spongiform encephalopathy, molecular dynamics simulation |
16 | Reynald Affeldt, Miki Tanaka, Nicolas Marti |
Formal Proof of Provable Security by Game-Playing in a Proof Assistant. |
ProvSec |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Ittetsu Taniguchi, Kyoko Ueda, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai |
Task Partitioning Oriented Architecture Exploration Method for Dynamic Reconfigurable Architectures. |
VLSI-SoC |
2006 |
DBLP DOI BibTeX RDF |
|