Results 51 to 60 of about 2,147,957 (198)

Formal Computational Unlinkability Proofs of RFID Protocols

, 2017
We set up a framework for the formal proofs of RFID protocols in the computational model. We rely on the so-called computationally complete symbolic attacker model. Our contributions are: i) To design (and prove sound) axioms reflecting the properties of
Comon, Hubert, Koutsos, Adrien
core   +1 more source

Parallel Computational Protein Design [PDF]

, 2016
Computational structure-based protein design (CSPD) is an important problem in computational biology, which aims to design or improve a prescribed protein function based on a protein structure template. It provides a practical tool for real-world protein engineering applications.
Yichao, Zhou, Bruce R, Donald, Jianyang, Zeng   +2 more
openaire   +2 more sources

Analysis and Optimization of Aperture Design in Computational Imaging

, 2017
There is growing interest in the use of coded aperture imaging systems for a variety of applications. Using an analysis framework based on mutual information, we examine the fundamental limits of such systems---and the associated optimum aperture coding--
Thrampoulidis, Christos, Wornell, Gregory, Yedidia, Adam   +2 more
core   +1 more source

A grid-enabled problem solving environment for parallel computational engineering design [PDF]

, 2006
This paper describes the development and application of a piece of engineering software that provides a problem solving environment (PSE) capable of launching, and interfacing with, computational jobs executing on remote resources on a computational grid.
Allen, Brandt, Brown, C.E. Goodyer, Dabdub, Dew, Dowson, Dowson, Fairlie, Foster, Fox, Giles, Goodyer, Goodyer, Goodyer, Haber, Inselberg, Jameson, Johnson, Johnson, Karonis, L.E. Scales, Linden, Llorente, M. Berzins, McBryan, Nelder, Nurgat, P.K. Jimack, Parkinson, Tuminaro, Venner, Walkley, Walton, Wang, Wood   +35 more
core   +1 more source

Computational Design of Flexible Electride with Nontrivial Band Topology

, 2019
Electrides, with their excess electrons distributed in crystal cavities playing the role of anions, exhibit a variety of unique electronic and magnetic properties.
Chen, Xing-Qiu, Frolov, Timofey, Qu, Jing-Yu, Wang, Jun-Jie, Wang, Lei, Zhu, Qiang, Zhu, Sheng-Cai   +6 more
core   +2 more sources

Computer-aided antibody design [PDF]

Protein Engineering Design and Selection, 2012
Recent clinical trials using antibodies with low toxicity and high efficiency have raised expectations for the development of next-generation protein therapeutics. However, the process of obtaining therapeutic antibodies remains time consuming and empirical.
Kuroda, Daisuke, Shirai, Hiroki, Jacobson, Matthew P., Nakamura, Haruki   +3 more
openaire   +2 more sources

Backpressure-based control protocols: design and computational aspects [PDF]

, 2009
Congestion control in packet-based networks is often realized by feedback protocols. In this paper we assess their performance under a back-pressure mechanism that has been proposed and standardized for Ethernet metropolitan networks. In such a mechanism
Mandjes, M.R.H., Miretskiy, D.I., Scheinhardt, W.R.W.   +2 more
core   +2 more sources

Effect of Hubbard U-corrections on the electronic and magnetic properties of 2D materials: a high-throughput study

npj Computational Materials
We conduct a systematic investigation of the role of Hubbard U corrections in electronic structure calculations of two-dimensional (2D) materials containing 3d transition metals. Specifically, we use density functional theory (DFT) with the PBE and PBE+U
Sahar Pakdel, Thomas Olsen, Kristian S. Thygesen   +2 more
doaj   +1 more source

Requirements for multidisciplinary design of aerospace vehicles on high performance computers [PDF]

, 1990
The design of aerospace vehicles is becoming increasingly complex as the various contributing disciplines and physical components become more tightly coupled.
A Jameson, A Jameson, F Bailey, H Adelman, J Sobieszczanski-Sobieski, P Mehrotra, P Mehrotra   +6 more
core   +2 more sources

Co-design of a natural fiber-timber hybrid structural system using dual-robot coreless filament winding

Scientific Reports
This paper presents the co-design methods for a new hybrid load-bearing system as a strategy for advancing bio-based architecture. Timber and natural fiber polymer composites (NFPC) are combined into a hybrid system, offering opportunities to leverage ...
Rebeca Duque Estrada, Fabian Kannenberg, Tzu-Ying Chen, Yanan Guo, Jan Knippers, Achim Menges   +5 more
doaj   +1 more source