Results 71 to 80 of about 3,015,526 (334)
Quantum simulation of Rindler transformations
, 2018 We show how to implement a Rindler transformation of coordinates with an embedded quantum simulator. A suitable mapping allows to realise the unphysical operation in the simulated dynamics by implementing a quantum gate on an enlarged quantum system ...
Sabín, Carlos
core +1 more source
A synthetic benzoxazine dimer derivative targets c‐Myc to inhibit colorectal cancer progression
Molecular Oncology, EarlyView.Benzoxazine dimer derivatives bind to the bHLH‐LZ region of c‐Myc, disrupting c‐Myc/MAX complexes, which are evaluated from SAR analysis. This increases ubiquitination and reduces cellular c‐Myc. Impairing DNA repair mechanisms is shown through proteomic analysis.
Nicharat Sriratanasak +8 more
wiley +1 more source
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
Efficient Simulation of Structural Faults for the Reliability Evaluation at System-Level [PDF]
, 2010 In recent technology nodes, reliability is considered a part of the standard design ¿ow at all levels of embedded system design. While techniques that use only low-level models at gate- and register transfer-level offer high accuracy, they are too ...
Baranowski, R. +7 more
core +2 more sources
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é +16 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 +6 more
doaj +1 more source
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
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) +4 more
core
First-principles investigation of graphitic carbon nitride monolayer with embedded Fe atom
, 2017 Density-functional theory calculations with spin-polarized generalized gradient approximation and Hubbard $U$ correction is carried out to investigate the mechanical, structural, electronic and magnetic properties of graphitic heptazine with embedded ...
Abdullahi, Yusuf Zuntu +4 more
core +1 more source
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 +11 more
wiley +1 more source