Results 51 to 60 of about 552,177 (296)

A Manufacturer Design Kit for Multi-Chip Power Module Layout Synthesis [PDF]

, 2017
The development of Multi-Chip Power Modules (MCPMs) has been a key factor in recent advancements in power electronics technologies. MCPMs achieve higher power density by combining multiple power semiconductor devices into one package.
Main, Jonathan
core   +2 more sources

Identification of serum protein biomarkers for pre‐cancerous lesions associated with pancreatic ductal adenocarcinoma

Molecular Oncology, EarlyView.
This work identified serum proteins associated with pancreatic epithelial neoplasms (PanINs) and early‐stage PDAC. Proteomics screens assessed genetically engineered mice with abundant PanINs, KPC mice (Lox‐STOP‐Lox‐KrasG12D/+ Lox‐STOP‐Lox‐Trp53R172H/+ Pdx1‐Cre) before PDAC development and also early‐stage PDAC patients (n = 31), compared to benign ...
Hannah Mearns, Jaclyn S. Long, Sergio Lilla, Kelly Hodge, Marcus J. G. W. Ladds, Colin Nixon, Paula Fernández‐Palanca, Sara Zanivan, Pilar Acedo, Stephen P. Pereira, Kevin M. Ryan   +10 more
wiley   +1 more source

Genetic attenuation of ALDH1A1 increases metastatic potential and aggressiveness in colorectal cancer

Molecular Oncology, EarlyView.
Aldehyde dehydrogenase 1A1 (ALDH1A1) is a cancer stem cell marker in several malignancies. We established a novel epithelial cell line from rectal adenocarcinoma with unique overexpression of this enzyme. Genetic attenuation of ALDH1A1 led to increased invasive capacity and metastatic potential, the inhibition of proliferation activity, and ultimately ...
Martina Poturnajova, Zuzana Kozovska, Ondrej Pos, Kristina Pavlov, Sachin Gulati, Peter Makovicky, Kristina Jakic, Monika Burikova, Eva Sedlackova, Barbora Svitkova, Silvia Tyciakova, Vojtech Bystry, Nicolas Blavet, Boris Tichy, Matej Hrnciar, Jaroslav Budis, Miroslav Tomas, Peter Dubovan, Georgina Kolnikova, Veronika Repaska, Nikoleta Mojzesova, Eva Zomborska, Daniel Pindak, Michal Mego, Tomas Szemes, Miroslava Matuskova   +25 more
wiley   +1 more source

Grouping based calculus for propositional linear temporal logic

Lietuvos Matematikos Rinkinys
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj   +3 more sources

Mii *eai leat gal vuollánan – Vi *ha neimen ikke gitt opp

Nordlyd: Tromsø University Working Papers on Language & Linguistics, 2022
Machine learning is the dominating paradigm in natural language processing nowadays. It requires vast amounts of manually annotated or synthetically generated text data.
Linda Wiechetek, Flammie Pirinen, Børre Gaup, Chiara Argese, Thomas Omma   +4 more
doaj   +1 more source

Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family

, 2010
Distributed embedded systems (DESs) are no longer the exception; they are the rule in many application areas such as avionics, the automotive industry, traffic systems, sensor networks, and medical devices.
Meseguer, José, Ölveczky, Peter Csaba
core   +2 more sources

Dimethyl fumarate combined with cisplatin at subcytotoxic doses sensitizes cervical cancer toward ferroptosis and apoptosis through GSH restriction and p53 (re)activation

Molecular Oncology, EarlyView.
Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano, Giuseppina Minopoli, Simona Romano, Laura Marrone, Katia Aquilano, Maria Lina Tornesello, Raffaella Faraonio   +6 more
wiley   +1 more source

Money in Monetary Policy Design under Uncertainty: The Two-Pillar Phillips Curve versus ECB-Style Cross-Checking [PDF]

The European Central Bank has assigned a special role to money in its two pillar strategy and has received much criticism for this decision. In this paper, we explore possible justifications.
Guenter W. Beck, Volker Wieland
core   +3 more sources

The evolution of refractive status in Chinese infants during the first year of life and its affected factors [PDF]

International Journal of Ophthalmology, 2017
AIM: To study the evolution of the refractive status and examine the affected factors in infants during the first year of life in a large sample size in China.
Shu-Juan Yu, Guo-Hua Liu, Yi Liu, Jing Huang, Ming-Lei Han, Bo-Jun Zhao, Zhong-Tao Gai   +6 more
doaj   +1 more source

Forwarding Tables Verification through Representative Header Sets [PDF]

, 2016
Forwarding table verification consists in checking the distributed data-structure resulting from the forwarding tables of a network. A classical concern is the detection of loops.
Boufkhad, Yacine, De La Paz, Ricardo, Linguaglossa, Leonardo, Mathieu, Fabien, Perino, Diego, Viennot, Laurent   +5 more
core   +3 more sources