Results 81 to 90 of about 286,000 (316)

Distorted Fingerprint Verification System [PDF]

Fingerprint verification is one of the most reliable personal identification methods. Fingerprint matching is affected by non-linear distortion introduced in fingerprint impression during the image acquisition process. This non-linear deformation changes
Jeyalatha SIVARAMAKRISHNAN, Divya KARTHIKAESHWARAN   +1 more
core   +1 more source

Experimental preparation and verification of quantum money

, 2018
A quantum money scheme enables a trusted bank to provide untrusted users with verifiable quantum banknotes that cannot be forged. In this work, we report a proof-of-principle experimental demonstration of the preparation and verification of unforgeable ...
Hao Li, Zhang, Weijun, Qiang Zhang, Pan, Jian Wei, Juan Miguel Arrazola, Amiri, Ryan, Li, Hao, Wang, Zhen, Zhang, Qiang, Guan, Jian Yu, Ryan Amiri, Lixing You, Arrazola, Juan Miguel, Jian-Yu Guan, Jian-Wei Pan, Weijun Zhang, Zhen Wang, You, Lixing   +17 more
core   +1 more source

Experimental and Numerical Investigation into the Effects of Air–Fluid Interaction on the Dynamic Responses of a Damaged Ship

Journal of Marine Science and Engineering
To accurately assess the dynamic stability of the damaged ship, this paper performs an experimental campaign and presents a feasible numerical method to analyze the effects of microscopic air–fluid interactions on the motion responses of the damaged ship.
Xinlong Zhang, Simone Mancini, Fei Liu, Renqing Zhu   +3 more
doaj   +1 more source

Tau acetylation at K331 has limited impact on tau pathology in vivo

FEBS Letters, EarlyView.
We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto, Yukio Matsuba, Mika Takahashi, Takaomi C. Saido   +3 more
wiley   +1 more source

Verification and validation of knowledge-based systems with an example from site selection. [PDF]

In this paper, the verification and validation of Knowledge-Based Systems (KBS) using decision tables (DTs) is one of the central issues. It is illustrated using real-market data taken from industrial site selection problems.One of the main problems of ...
Vanthienen, Jan, Wets, G, Witlox, Frank
core  

Automated quantitative software verification

, 2010
Many software systems exhibit probabilistic behaviour, either added explicitly, to improve performance or to break symmetry, or implicitly, through interaction with unreliable networks or faulty hardware. When employed in safety-critical applications, it
Kattenbelt, Mark Alex, Kattenbelt, Mark
core   +1 more source

A Micro Swing Rotor Engine and the Preliminary Study of Its Thermodynamic Characteristics

Energies, 2018
The rapid progress in microelectromechanical system technology has facilitated great developments in micro heat engines, however, defects in these engines still need to be overcome.
Chen Xia, Zhiguang Zhang, Guoping Huang, Tong Zhou, Jianhua Xu   +4 more
doaj   +1 more source

Structural insights into an engineered feruloyl esterase with improved MHET degrading properties

FEBS Letters, EarlyView.
A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa, Konstantinos Makryniotis, Theofani‐Iosifina Sousani, Evangelos Topakas, Vangelis Daskalakis, Maria Dimarogona   +5 more
wiley   +1 more source

Optimization Design and Experimental Verification of Type B Bogie Frame Structure Based on Workbench

机车电传动, 2019
In order to make the structure strength of the bogie frame meet the requirements of the standard in the design stage, the finite element method and the optimization design theory were combined to optimize the structure design. Firstly, the finite element
Ming ZHANG, Pengpeng ZHI
doaj  

Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system

FEBS Letters, EarlyView.
Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley   +1 more source