Results 71 to 80 of about 863,403 (336)
Numerical solvers and cryptanalysis
Journal of Mathematical Cryptology, 2009 Abstract In this paper, we present an approach to apply numerical methods in the cryptanalysis of modern cryptographic algorithms. We focus on the stream cipher Trivium. It is a stream cipher recommended by the eStream project in the hardware category.
Mario Lamberger +2 more
openaire +3 more sources
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
MATHEMATICAL MODELING OF FLOW PARAMETERS FOR SINGLE WIND TURBINE
Научный вестник МГТУ ГА, 2017 It is known that on the territory of the Russian Federation the construction of several large wind farms is planned. The tasks connected with design and efficiency evaluation of wind farm work are in demand today. One of the possible directions in design
S. V. Strijhak
doaj
, 2016 We propose a numerical algorithm for solving the atmospheric dispersion problem with elevated point sources and ground-level deposition. The problem is modelled by the 3D advection-diffusion equation with delta-distribution source terms, as well as ...
Hosseini, Bamdad, Stockie, John M.
core +1 more source
Cell wall target fragment discovery using a low‐cost, minimal fragment library
FEBS Letters, EarlyView.LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan +5 more
wiley +1 more source
Verifying the DPLL Algorithm in Dafny [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Modern high-performance SAT solvers quickly solve large satisfiability instances that occur in practice. If the instance is satisfiable, then the SAT solver can provide a witness which can be checked independently in the form of a satisfying truth ...
Cezar-Constantin Andrici +1 more
doaj +1 more source
Coupling techniques for partitioned fluid-structure interaction simulations with black-box solvers [PDF]
, 2009 In partitioned simulations of fluid‐structure interaction, the flow and the displacement of the structure are calculated separately and coupling iterations between the flow solver and the structural solver are required to calculate the solution of the ...
Annerel, Sebastiaan +3 more
core +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Advances in Mechanical Engineering, 2013 Rolled homogeneous armor (RHA) plate subjected to blast loading is a complex problem involving the nonlinear fluid-structure interaction. The numerical techniques using the spatial discretization scheme that has been provided as a solver in the AUTODYN ...
Ahmad Mujahid Ahmad Zaidi +3 more
doaj +1 more source
A Note on the Performance of Algorithms for Solving Linear Diophantine Equations in the Naturals [PDF]
, 2021 Valeriu Motroi, Ştefan Ciobâcă
openalex +1 more source