Results 101 to 110 of about 25,849,875 (255)
On real-time word problems [PDF]
, 2003 It is proved that the word problem of the direct product of two free groups of rank 2 can be recognised by a 2-tape real-time but not by a 1-tape real-time Turing machine.
Holt, Derek F., Röver, Claas E.
core +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 +5 more
wiley +1 more source
A programming-language extension for distributed real-time systems [PDF]
, 1997 In this paper we propose a method for extending programming languages that enables the specification of timing properties of systems. The way time is treated is not language specific and the extension can therefore be included in many existing ...
Hooman, J.J.M. +3 more
core +1 more source
Testing real-time systems using TINA [PDF]
, 2009 The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying ...
Noureddine Adjir +5 more
core +1 more source
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source
FEBS Letters, EarlyView.Cancer progression is regulated by the dynamic matrix code of the tumor microenvironment, which influences cellular behavior and disease development. Importantly, matrix remodeling in three‐dimensional cancer models more accurately reflects in vivo conditions compared to conventional two‐dimensional systems.
Sylvia Mangani +3 more
wiley +1 more source
AIP Advances, 2012 Under an external magnetic field, when circularly polarized light was transmitted through binary ferrofluids based on strongly magnetic γ-Fe2O3 and weakly magnetic ZnFe2O4 nanoparticles, the birefringence Δn and dichroism Δk arising from the chains of γ ...
Jian Li +5 more
doaj +1 more source
FEBS Letters, EarlyView.The process of internalization of the Shiga toxin A subunit via formation of a complex with the Shiga toxin B subunit, which specifically binds to the Gb3 receptor. The peptide is designed to act as a carrier of drugs into cancer cells. Here, we explored the potential of peptides derived from the catalytic A subunit of Shiga toxin (STxA) to be drug ...
Giulia Opassi +6 more
wiley +1 more source
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 +3 more
wiley +1 more source
Machine Learning-Driven Predictive Analytics for Real-Time Supply Chain Risk Management
Proceedings of the International Conference on Applied Innovations in ITA resilient and efficient supply chain requires real-time risk management in an increasingly volatile global marketplace. This study examines a supply chain risk management system based on machine learning-driven prediction analytics.
Nagham Ja’far Hussein +1 more
doaj +1 more source