Results 71 to 80 of about 193,599 (260)
Property specification and static verification of UML models [PDF]
We present a static verification tool (SVT), a system that performs static verification on UML models composed of UML class and state machine diagrams.
Siveroni, I. +2 more
core +1 more source
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 +18 more
wiley +1 more source
Treatment options for vasomotor symptoms in menopause: focus on desvenlafaxine
Elena M Umland, Laura FalconieriJefferson School of Pharmacy, Thomas Jefferson University, Philadelphia, PA, USAAbstract: Vasomotor symptoms (VMS), including hot flashes and night sweats, occur in as many as 68.5% of women as a result of menopause. While
Uml, EM, Falconieri L
doaj
Survivin and Aurora Kinase A control cell fate decisions during mitosis
Aurora A interacts with survivin during mitosis and regulates its centromeric role. Loss of Aurora A activity mislocalises survivin, the CPC and BubR1, leading to disruption of the spindle checkpoint and triggering premature mitotic exit, which we refer to as ‘mitotic slippage’.
Hana Abdelkabir +2 more
wiley +1 more source
Cytoplasmic p21 promotes stemness of colon cancer cells via activation of the NFκB pathway
Cytoplasmic p21 promotes colorectal cancer stem cell (CSC) features by destabilizing the NFκB–IκB complex, activating NFκB signaling, and upregulating BCL‐xL and COX2. In contrast to nuclear p21, cytoplasmic p21 enhances spheroid formation and stemness transcription factor CD133.
Arnatchai Maiuthed +10 more
wiley +1 more source
Generating natural language specifications from UML class diagrams [PDF]
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to
A Abbott +19 more
core +2 more sources
Microfluidic electro‐viscoelastic manipulation of extracellular vesicles
The electro‐viscoelastic manipulation as a potential method for separation of particles based on size. The particles introduced as a sheath flow migrate to the channel center under the influence of simultaneously applied electric field and pressure driven flow.
Seyedamirhosein Abdorahimzadeh +7 more
wiley +1 more source
Kuliah kerja mahasiswa (KKM) merupakan salah satu mata kuliah wajib di Universitas Banten Jaya. Pelaksanaan KKM masih terdapat kekurangan pada monitoring kegiatan mahasiswa baik itu kegiatan harian, progress project kelompok, hingga presensi peserta KKM.
Nur Hidayanti +3 more
doaj +1 more source
Representation of the suggested mode of action of lactoferrin (Lf) in nonsmall cell lung cancer (NSCLC) A549 cells. Lf induces activation of caspase‐3 by activating p53 and AChE leading to decreased ACh concentrations. In turn, ACh signaling leads to activation of VEGF and AKT and blocking of caspase‐3.
Stuti Goel +9 more
wiley +1 more source
Management Information System For Garuda Cooperatives, Sragen
The need for information in life has transformed into basic needs. As an impact, this will cause problems when not handled properly. The Garuda Cooperative is one of the Employee Cooperatives in Sragen with complex managerial data but its management is ...
Fahrizal Surya Panuntun +2 more
doaj +1 more source

