Results 61 to 70 of about 271,842 (268)

PolyLarva : technology agnostic runtime verification [PDF]

, 2013
With numerous specialised technologies available to industry, it is become increasingly frequent for computer systems to be composed of heterogeneous components, built over, and using different technologies and languages. While this enables developers to
Colombo, Christian, Pace, Gordon J., Francalanza, Adrian, Mizzi, Ruth, 10th International Workshop on Formal Engineering approaches to Software Components and Architectures   +4 more
core  

The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes

FEBS Letters, EarlyView.
Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga, Toshiki Takahashi, Akiko Kuma, Hiroyuki Kawahara   +3 more
wiley   +1 more source

Associations of retinal microvascular alterations with diabetes mellitus: an OCTA-based cross-sectional study

BMC Ophthalmology
Background Diabetes, a health crisis afflicting millions worldwide, is increasing rapidly in prevalence. The microvascular complications triggered by diabetes have emerged as the principal cause of renal disease and blindness.
Yao Yao, Qian Wang, Jingyan Yang, Yanni Yan, Wenbin Wei   +4 more
doaj   +1 more source

Biologically inspired speaker verification

, 2012
Speaker verification is an active research problem that has been addressed using a variety of different classification techniques. However, in general, methods inspired by the human auditory system tend to show better verification performance than other ...
Tashan, T
core  

Organizing the interface—Plasma membrane architecture and receptor dynamics in virus‐cell interactions

FEBS Letters, EarlyView.
Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley   +1 more source

Mechanistic insight into the inhibition of α-glucosidase by millet Prolamin K3ZAN2: An integrated experimental and molecular simulation study

Food Chemistry: X
Dietary proteins with α-glucosidase inhibitory activity are gaining interest for their role in supporting glycemic control. Here, we report that millet-derived prolamin K3ZAN2 modulates α-glucosidase activity through a flexible-region-mediated mechanism.
Liangxing Zhao, Ruikang Lin, Xinlai Dou, Qingyu Zhao, Chao Wang, Yong Xue, Qun Shen   +6 more
doaj   +1 more source

Speaker verification using I-vector features

, 2014
This PhD research has provided novel solutions to three major challenges which have prevented the wide spread deployment of speaker recognition technology: (1) combating enrolment/ verification mismatch, (2) reducing the large amount of development and ...
Kanagasundaram, Ahilan
core  

Epigenetic blind spots – the role of DNA methylation dynamics in stem cell‐based models of embryogenesis

FEBS Letters, EarlyView.
Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil, Anna Corrà, Annalisa Scapolatiello, Chengxiang Qiu, Gianluca Amadei   +4 more
wiley   +1 more source

Information Communication Technology Tools for Software Review and Verification

, 2009
While information communication technology (ICT) can be considered a well-established discipline, software development projects are still prone to failure.
Yuk Kuen Wong, Wong, Yuk Kuen
core   +1 more source

Identity Verification Technology

, 2020
Identity verification technology is a range of approaches, that can be used in AML/KYC compliance process.Each country has its own regulation rules and requirements that have to be respected.
Simon Fitch (8516865)
core   +1 more source