Results 71 to 80 of about 2,999,661 (334)

SMT-based Distributed Bounded Model Checking in Spark [PDF]

Jisuanji gongcheng, 2017
The credibility of program verification results and the verification efficiency in Satisfiablity Modulo Theories(SMT)-based bounded model checking are influenced greatly by bounds.However,the traditional serial checking method cannot validate under the ...
REN Shengbing,ZHANG Jianwei,WU Bin,WANG Zhijian
doaj   +1 more source

Architecture of the Graphics System for Embedded Real-Time Operating Systems [PDF]

, 2022
А.М. Гиацинтов, К.А. Мамросенко, Pavel Bazhenov   +2 more
openalex   +1 more source

Embedded System for Real Color Composition in Experimental Physics [PDF]

, 2018
Software can be considered educational when properly contextualized in a relationship of teaching and learning. This paper describes an embedded system and an educational software developed and applied in experimental physics to real and virtual colors ...
Bezerra, G. D. (Gilmar), Gonçalves, D. L. (Diego), Jucá, S. C. (Sandro), Pereira, R. I. (Renata), Silva, S. A. (Solonildo)   +4 more
core  

Adaptaquin is selectively toxic to glioma stem cells through disruption of iron and cholesterol metabolism

Molecular Oncology, EarlyView.
Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié, Davod R. Shah, Eliane E. S. Brechbühl, Michael McNicholas, Zhaoyang Xu, John H. Stockley, Laura Morcom, Diana Gold Diaz, Gemma C. Girdler, Rachel V. Seear, Gabriel Balmus, Rajiv R. Ratan, Harry Bulstrode, James A. Nathan, Manav Pathania, Kevin M. Brindle, David H. Rowitch   +16 more
wiley   +1 more source

Research on multi-dimensional reconstruction mechanism of cloud native full link in the metaverse scenario

Scientific Reports, 2023
Recently, the Microservices whole link whole life cycle optimization framework has been a research hotspot in the academic and engineering fields, especially how to encapsulate the component security mechanism and conduct high concurrency testing based ...
Shuo Sheng
doaj   +1 more source

Hamiltonian vs Lagrangian Embedding of a Massive Spin-one Theory Involving 2-form Field [PDF]

, 2001
We consider the Hamiltonian and Lagrangian embedding of a first-order, massive spin-one, gauge non-invariant theory involving anti-symmetric tensor field.
Banerjee R., E. HARIKUMAR, M. SIVAKUMAR
core   +2 more sources

Aggressive prostate cancer is associated with pericyte dysfunction

Molecular Oncology, EarlyView.
Tumor‐produced TGF‐β drives pericyte dysfunction in prostate cancer. This dysfunction is characterized by downregulation of some canonical pericyte markers (i.e., DES, CSPG4, and ACTA2) while maintaining the expression of others (i.e., PDGFRB, NOTCH3, and RGS5).
Anabel Martinez‐Romero, Ane Martinez‐Larrinaga, Joaquim Grego‐Bessa, Saioa Garcia‐Longarte, Hielke van Splunder, Ianire Astobiza, Amaia Ercilla, Laura Bozal‐Basterra, Isabel Mendizabal, Pilar Villacampa, Arkaitz Carracedo, Mariona Graupera   +11 more
wiley   +1 more source

Multi-class motor imagery EEG decoding for brain-computer interfaces

Frontiers in Neuroscience, 2012
Recent studies show that scalp electroencephalography (EEG) as a non-invasive interface has great potential for brain-computer interfaces (BCIs). However, one factor that has limited practical applications for EEG-based BCI so far is the difficulty to ...
Deng eWang, Deng eWang, Deng eWang, Duoqian eMiao, Duoqian eMiao, Gunnar eBlohm, Gunnar eBlohm   +6 more
doaj   +1 more source

Glycosylated LGALS3BP is highly secreted by bladder cancer cells and represents a novel urinary disease biomarker

Molecular Oncology, EarlyView.
Urinary LGALS3BP is elevated in bladder cancer patients compared to healthy controls as detected by the 1959 antibody–based ELISA. The antibody shows enhanced reactivity to the high‐mannose glycosylated variant secreted by cancer cells treated with kifunensine (KIF).
Asia Pece, Giulio Lovato, Ilaria Cela, Arianna Mercatelli, Benedetta Ferro, Jussi Nikkola, Sara Pagotto, Tommaso Grottola, Vincenzo De Laurenzi, Rossella Cicchetti, Antonio Marchetti, Luigi Schips, Rossano Lattanzio, Stefano Iacobelli, Emily Capone, Peter Black, Mads Daugaard, Michele Marchioni, Gianluca Sala   +18 more
wiley   +1 more source

Embedding community development approaches in local systems to address health inequalities: a scoping review [PDF]

, 2023
Elizabeth Walters, Gail Findlay, Katherine Curtis, Angela Harden   +3 more
openalex   +1 more source