Results 41 to 50 of about 6,758,488 (302)
Debugging of Web Applications with Web-TLR [PDF]
, 2011 Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite theories that can be formally verified by
Daniel Romero +19 more
core +3 more sources
LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro
Molecular Oncology, EarlyView.Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix +13 more
wiley +1 more source
Smartphone e GNSS per l'utilizzo professionale
GEOmedia, 2017 Smartphones and tablets are nowadays more and more complex, and almost all of them include GNSS modules and other sensors for user localization. After the start of Galileo positioning services, the final positioning quality from mobile devices is ...
Mattia DeAgostino +4 more
doaj +2 more sources
Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin
Molecular Oncology, EarlyView.The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla +10 more
wiley +1 more source
Shared Protentions in Multi-Agent Active Inference
EntropyIn this paper, we unite concepts from Husserlian phenomenology, the active inference framework in theoretical biology, and category theory in mathematics to develop a comprehensive framework for understanding social action premised on shared goals.
Mahault Albarracin +5 more
doaj +1 more source
Visor de Realidad Aumentada en Museos (RAM) para Exposiciones Situadas en Entornos Cerrados
Virtual Archaeology Review, 2011 Augmented reality has been increasingly used for the last 10 years. Real and virtual world combination supported by this technology has made augmented reality become an essential element for computer generated data integration in real-world.
Mariano Flores Gutiérrez +5 more
doaj +1 more source
Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity
Molecular Oncology, EarlyView.Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung +17 more
wiley +1 more source
Ripping yarns: Science in Asia [PDF]
, 2010 The article explores the life and works of botanist Joseph Rock, historian Joseph Needham, and physicist J. C. Bose. Rock's expeditions and personality have become an enduring part of China's history which shows the notion that scientists participate in ...
Barker, Miles
core +1 more source
Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains
FEBS Open Bio, EarlyView.The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.Bisphenol A (BPA), a common chemical in plastics, exerts dual effects on bladder cancer cells: low doses promote growth and migration, while high doses suppress growth and migration. Multi‐omics and bioinformatics reveal BPA acts via MAPK and inflammatory pathways.
Shaomin Niu +10 more
wiley +1 more source