Results 41 to 50 of about 193,599 (260)
Information model of intelligent fully mechanized working face based on OPC UA
In the process of data connection of each system in fully mechanized working face, it is necessary to perform frequent correspondence between the data point table and the semantics, which leads to the surge of system interconnection and data sharing cost
DU Yibo, ZHANG Chengfeng, GONG Shixin
doaj +1 more source
Verifying UML/OCL operation contracts [PDF]
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to ensure the quality of the final application.
Cabot Sagrera, Jordi +2 more
core +1 more source
A Cre‐dependent lentiviral vector for neuron subtype‐specific expression of large proteins
We designed a versatile and modular lentivector comprising a Cre‐dependent switch and self‐cleaving 2A peptide and tested it for co‐expression of GFP and a 2.8 kb gene of interest (GOI) in mouse cortical parvalbumin (PV+) interneurons and midbrain dopamine (TH+) neurons.
Weixuan Xue +6 more
wiley +1 more source
The Aplication of E-Test On English Subject Using The Model View Controller
The problem that occurs in one of the high schools is that there is no online-based English exam system, and they still use paper for their assessments. This makes teachers unable to give exams to students if they do not attend school.
Sri Restu Ningsih +4 more
doaj +1 more source
There is an unmet need in metastatic breast cancer patients to monitor therapy response in real time. In this study, we show how a noninvasive and affordable strategy based on sequencing of plasma samples with longitudinal tracking of tumour fraction paired with a statistical model provides valuable information on treatment response in advance of the ...
Emma J. Beddowes +20 more
wiley +1 more source
Unmanned surface vehicles (USVs) have great application prospects in defense, environmental surveillance and offshore energy due to their cost-effectiveness and long-duration mission ability.
Yifei Peng +3 more
doaj +1 more source
Formalizing UML State Machines for Automated Verification – A Survey [PDF]
Étienne André +5 more
openalex +1 more source
β‐TrCP overexpression enhances cisplatin sensitivity by depleting BRCA1
Low levels of β‐TrCP (Panel A) allow the accumulation of BRCA1 and CtIP, which facilitate the repair of cisplatin‐induced DNA damage via homologous recombination (HR) and promote tumor cell survival. In contrast, high β‐TrCP expression (Panel B) leads to BRCA1 and CtIP degradation, impairing HR repair, resulting in persistent DNA damage and apoptosis ...
Rocío Jiménez‐Guerrero +8 more
wiley +1 more source
Perpustakaan SMA Yadika 3 Karang Tengah memiliki jumlah anggota dan koleksi buku yang begitu banyak, hal ini membuatnya sangat membutuhkan sebuah aplikasi perpustakaan digital yang berguna untuk membantu kinerja petugas perpustakaan.
Afrinaldi Afrinaldi, Yuwan Jumaryadi
doaj +1 more source
A‐to‐I editing of miRNAs, particularly miR‐200b‐3p, contributes to HGSOC progression by enhancing cancer cell proliferation, migration and 3D growth. The edited form is linked to poorer patient survival and the identification of novel molecular targets.
Magdalena Niemira +14 more
wiley +1 more source

