Results 41 to 50 of about 378,895 (264)
A Formal Validation Approach for XACML 3.0 Access Control Policy
Sensors, 2022 Access control systems represent a security mechanism to regulate the access to system resources, and XACML is the standard language for specifying, storing and deploying access control policies.
Carmine Caserio +2 more
doaj +1 more source
Coverage-Aware Test Database Reduction [PDF]
IEEE Transactions on Software Engineering, 2016 This work was supported in part by projects TIN2010-20057-C03-01 and TIN2013-46928-C3-1-R, funded by the Spanish Ministry of Economy and Competitiveness, and GRUPIN14-007, funded by the Principality of Asturias (Spain) and ERDF ...
Javier Tuya +3 more
openaire +2 more sources
Diversity and complexity in neural organoids
FEBS Letters, EarlyView.Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
wiley +1 more source
On test coverage of path delay faults [PDF]
Proceedings of 9th International Conference on VLSI Design, 2002 We propose a coverage metric and a two-pass test generation method for path delay faults in combinational logic circuits. The coverage is measured for each line with a rising and a falling transition. However, the test criterion is different from that of the slow-to-rise and slow-to-fall transition faults.
Majhi, Ananta K +3 more
openaire +2 more sources
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 +4 more
wiley +1 more source
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Development of Testability Prediction Models Considering Complexity Diversity for C Programs
IEEE Access, 2023 Testability prediction can help developers identify software components that require significant effort to ensure software quality, plan test activities, and recognize the need for refactoring to reduce the test effort.
Hyun-Jae Choi, Heung-Seok Chae
doaj +1 more source
Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis
FEBS Letters, EarlyView.Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee +7 more
wiley +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Impact of delays on effectiveness of contact tracing strategies for COVID-19: a modelling study
The Lancet Public Health, 2020 Summary: Background: In countries with declining numbers of confirmed cases of COVID-19, lockdown measures are gradually being lifted. However, even if most physical distancing measures are continued, other public health measures will be needed to ...
Mirjam E Kretzschmar, ProfPhD +5 more
doaj +1 more source