Results 51 to 60 of about 13,701,591 (243)

Proceedings of Formal Methods in Computer Aided Design, FMCAD 2018 [PDF]

, 2018
October 30 – November 2, 2018 in Austin, Texas, USATable of Contents: INVITED PAPERS -- Formal Verification of Deep Neural Networks / by Nina Narodytska (p. 1) -- Formal Verification of Unsatisfiability Results / by Marijn Heule (p.
Formal Methods in Computer Aided Design
core  

Teachers’ and Students' Attitudes Towards Traditional and Computer Assisted Blended Teaching and Learning Processes in Mechanical Engineering Subjects Area [PDF]

, 2010
The effectiveness of traditional teaching-learning process in Computer Aided Design (CAD), Computer Aided Manufacturing CAM and Computer Numerical control CNC (CAD-CAM-CNC) module has been evaluated against recently developed two blended teaching ...
Abdulrasool, Salah Mahdi, Khalaf, Haifa, Abdulrasool, Salah, Salah Abdulrasool, Haifa Khalaf, Mishra, Rakesh, R. Mishra, Mishra, R.; id_orcid   +7 more
core   +4 more sources

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

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

FEBS Letters, EarlyView.
Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source

A comprehensive study of ground-roasted coffee beans from Coffea liberica as dipeptidyl peptidase IV inhibitors

European Pharmaceutical Journal
Type 2 diabetes mellitus (T2DM), a degenerative disease characterized by insulin resistance, has been reported as a serious healthcare problem, especially in low-to-middle-income countries.
Riswanto Florentinus Dika Octa, Adventra Nicolaus De Deo, Priyambodo Gregorius Seno, Kusraynaldi Titus Marcel, Br Sembiring Angel Yemima Srininta, Larasati Theresia Niken, Windarsih Anjar, Wira Waskitha Stephanus Satria, Gani Michael Raharja, Istyastono Enade Perdana   +9 more
doaj   +1 more source

Design, Synthesis and Biological Evaluation of Novel Benzothiazole Derivatives as Selective PI3Kβ Inhibitors

Molecules, 2016
A novel series of PI3Kβ (Phosphatidylinositol-3-kinases beta subunit) inhibitors with the structure of benzothiazole scaffold have been designed and synthesized.
Shuang Cao, Ruiyuan Cao, Xialing Liu, Xiang Luo, Wu Zhong   +4 more
doaj   +1 more source

Salmonella lipopolysaccharide‐containing supported lipid bilayers as platforms to study bacteriophage interactions

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, Alyssa Borges, Charles Arnaud, Tove Karlsson, Nina K. Bröker, Stefanie Barbirz, Marta Bally   +6 more
wiley   +1 more source

Design and analysis strategies for robust microbiome ageing research

FEBS Letters, EarlyView.
The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik, İsmail Güderer, Yi Wang, Tayyaba Alvi, Prasoon Pandey, Handan Melike Dönertaş   +5 more
wiley   +1 more source

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 [PDF]

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core   +3 more sources

Investigating transcription factor dynamics in health and disease using FRAP

FEBS Letters, EarlyView.
FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj, Carolina Vazquez Garzon, Jose Joaquin Velasco, Janine N. Post   +3 more
wiley   +1 more source