Results 121 to 130 of about 108,370 (316)
Incorporating source-language paraphrases into phrase-based SMT with confusion networks [PDF]
, 2011 To increase the model coverage, sourcelanguage paraphrases have been utilized to boost SMT system performance. Previous work showed that word lattices constructed from paraphrases are able to reduce out-ofvocabulary words and to express inputs in ...
Way, Andy, Jiang, Jie, Du, Jinhua
core +3 more sources
Lattice-based Proxy Signature Scheme in the Standard Model
工程科学与技术, 2014 :The provably secure public-key cryptosystems in the standard model are more practical, but the provably secure lattice-based proxy signature schemes in the standard model have not been constructed up to now.
李明祥, 郑艳娟, 许明
doaj
Investigating the Low‐Temperature Phase Stability of the Binary Ta–W System
Advanced Engineering Materials, EarlyView.Atomistic simulations show that the binary Ta–W system forms ordered intermetallic phases, B2‐TaW and D03‐TaW3, as 0 K ground states. Configurational entropy, however, lowers the free energy of the disordered bcc solid solution, which becomes the stable phase above about 400 K.
Klemens Lechner +7 more
wiley +1 more source
Bulletin of the Section of LogicWe prove that the modal logic of lattices with the accessibility relation of being isomorphic to a sublattice is S4.2. The same is proven for modular and distributive lattices.
Maciej A. Hałapacz
doaj +1 more source
Amalgamation in varieties of residuated lattices
We investigate the amalgamation property (AP) in varieties of residuated lattices. This endeavor is motivated both from the purely algebraic point of view as well as from the logical point of view through the importance of residuated lattices as ...
Santschi, Simon Elia
core +1 more source
Expressive encryption systems from lattices
, 2011 In this survey, we review a number of the many “expressive”\ud encryption systems that have recently appeared from lattices, and explore the innovative techniques that underpin ...
Boyen, Xavier, Xavier Boyen
core +1 more source
Advanced Engineering Materials, EarlyView.HEA interlayers offer a versatile route for joining high‐performance structural materials. Their compositional and structural design regulates interfacial reactions, suppresses brittle IMCs, and improves metallurgical bonding. Sandwich interlayers further integrate defect healing with precipitation strengthening, enabling improved strength–ductility ...
Lin Yuan +4 more
wiley +1 more source
A New Lattice-Based Post-Quantum Digital Signature from Compact Rejection Sampling
ComputersRejection samplings are the essential building blocks to design lattice-based digital signatures under the Fiat–Shamir paradigm. Up to now most of them have been built by Gaussian samplings or uniform samplings.
Pingyuan Zhang, Limin Wang
doaj +1 more source
A Novel Approach to Estimate the Transition Temperature via Dynamic Nanoindentation
Advanced Engineering Materials, EarlyView.A new dynamic nanoindentation‐based method was developed that uses the stiffness ratio as an indicator of the elastic–plastic deformation contributions at different temperatures. The approach successfully identified transition temperatures in ferritic steel and distinguished them from continuously ductile austenitic steel.
Stefan Zeiler +4 more
wiley +1 more source
Cubic Shaping of Lattice Constellations from Multi-Level Constructions from Codes
MathematicsLattice codes play an important role in wireless communication and are closely related to linear codes. Multi-level constructions of complex lattices from codes are known to produce lattice codes with desirable parameters and efficient encoding and ...
Perathorn Pooksombat +1 more
doaj +1 more source