Results 101 to 110 of about 494,406 (315)
FEBS Open Bio, EarlyView.The dFoCC pipeline starts with observed DED and resting‐state coordinates, which are then used to generate a library of triggered states. Correlation analysis of the calculated DED features of each candidate vs observed DED permits quantitative evaluation of candidate structural quality.
Meng Iao Fong +3 more
wiley +1 more source
Tunable Automation in Automated Program Verification
CoRRAutomated verification tools based on SMT solvers have made significant progress in verifying complex software systems. However, these tools face a fundamental tension between automation and performance when dealing with quantifier instantiation -- the primary source of incompleteness and verification slowdown in SMT-based verifiers.
Alexander Y. Bai +2 more
openaire +2 more sources
FEBS Open Bio, EarlyView.Pharmacological inhibition of PERK in a DEN‐induced mouse model of liver cancer does not reduce tumor burden but alters cellular stress signaling. Despite blocking PERK activity, downstream stress responses, including CHOP expression, remain active, suggesting compensatory mechanisms within the unfolded protein response that may influence tumor ...
Ada Lerma‐Clavero +5 more
wiley +1 more source
Cooperative Path Planning for Object Transportation with Fault Management
AutomationEnhancing the serviceability of mobile robots is an important factor for improving regular work to a great extent. This approach has been implemented in areas such as industry, healthcare, and military.
Bandita Sahu, Indrajeet Kumar
doaj +1 more source
RoundMi: A quantitative method to analyze mitochondrial morphology in mitotic cells
FEBS Open Bio, EarlyView.RoundMi is a workflow for rapid analysis of mitochondrial morphology in mitotic cells. By combining adaptive preprocessing with automated segmentation and quantification, it enables accurate measurements from single focal plane images, reducing acquisition time and computational demands while remaining compatible with high‐throughput fixed and live ...
Elmira Parvindokht Bararpour +2 more
wiley +1 more source
AutomationWe study UAV-assisted 5G uplink connectivity for disaster response, in which a UAV (unmanned aerial vehicle) acts as an aerial base station to restore service to ground users.
Abid Mohammad Ali +7 more
doaj +1 more source
Clinical Chemistry, 1968 Abstract A freezing-point apparatus, which measures osmotic pressure by determining freezing-point depression, was modified by incorporating a slowly rotating circular tray with space for 30 sample vials, and a sample pick-up device. The instrument is designed to automatically pick up a cuvet containing a 2-ml.
D T, Forman, G C, Changus
openaire +2 more sources
Hydrostatic pressure activates HIF‐1α via β‐catenin to promote stemness in breast cancer cells
FEBS Open Bio, EarlyView.To mimic the elevated intestinal fluid pressure in breast cancers, we loaded human breast cancer cells (MCF‐7, MDA‐MB‐453, and BT‐474) to 50 mmHg hydrostatic pressure. Hydrostatic pressure exposure upregulated HIF‐1α and induced stemness in MCF‐7 and BT‐474 cells.
Da Zhai +8 more
wiley +1 more source
AutomationGas leak detection in industrial environments poses critical safety challenges that require algorithms capable of balancing rapid source identification with comprehensive spatial coverage.
Prajakta Salunkhe +3 more
doaj +1 more source
FEBS Open Bio, EarlyView.The crystal structure of Borrelia burgdorferi nicotinamidase (PncA/BBE22) reveals the correct full‐length protein initiated from a non‐canonical AUU start codon. The structure validates previous biochemical findings and resolves a long‐standing annotation error, demonstrating that the truncated database sequence is structurally incompatible with the ...
Kalvis Brangulis
wiley +1 more source