Results 91 to 100 of about 334,035 (230)

A Supervisory Control Algorithm Based on Property-Directed Reachability

, 2017
We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm.
A Cimatti, AR Bradley, K Hoder, MR Shoaei, Z Hassan   +4 more
core   +2 more sources

Thermal proteome profiling and proteome analysis using high‐definition mass spectrometry demonstrate modulation of cholesterol biosynthesis by next‐generation galeterone analog VNPP433‐3β in castration‐resistant prostate cancer

Molecular Oncology, EarlyView.
Elevated level of cholesterol is positively correlated to prostate cancer development and disease severity. Cholesterol‐lowering drugs, such as statins, are demonstrated to inhibit prostate cancer. VNPP433‐3β interrupts multiple signaling and metabolic pathways, including cholesterol biosynthesis, AR‐mediated transcription of several oncogenes, mRNA 5′
Retheesh S. Thankan, Elizabeth Thomas, Mehari M. Weldemariam, Puranik Purushottamachar, Weiliang Huang, Maureen A. Kane, Yuji Zhang, Nicholas Ambulos, Bi‐Dar Wang, David Weber, Vincent C. O. Njar   +10 more
wiley   +1 more source

Supervisory Control for Opacity

, 2009
In the field of computer security, a problem that received little attention so far is the enforcement of confidentiality properties by supervisory control. Given a critical system G that may leak confidential information, the problem consists in designing a controller C, possibly disabling occurrences of a fixed subset of events of G, so that the ...
Dubreil, Jérémy, Darondeau, Philippe, Marchand, Hervé   +2 more
openaire   +1 more source

Highly multiplexed digital PCR assay for simultaneous quantification of variant allele frequencies and copy number alterations of KRAS and GNAS in pancreatic cancer precursors

Molecular Oncology, EarlyView.
Combining melting curve analysis enhances the multiplexing capability of digital PCR. Here, we developed a 14‐plex assay to simultaneously measure single nucleotide mutations and amplifications of KRAS and GNAS, which are common driver genes in pancreatic cancer precursors. This assay accurately quantified variant allele frequencies in clinical samples
Junko Tanaka, Tatsuo Nakagawa, Yusuke Ono, Yoshio Kamura, Takeshi Ishida, Hidemasa Kawabata, Kenji Takahashi, Hiroki Sato, Andrew S. Liss, Yusuke Mizukami, Takahide Yokoi   +10 more
wiley   +1 more source

Utilization of Historic Information in an Optimisation Task [PDF]

, 1984
One of the basic components of a discrete model of motor behavior and decision making, which describes tracking and supervisory control in unitary terms, is assumed to be a filtering mechanism which is tied to the representational principles of human ...
Boesser, T.
core   +1 more source

Comparing self‐reported race and genetic ancestry for identifying potential differentially methylated sites in endometrial cancer: insights from African ancestry proportions using machine learning models

Molecular Oncology, EarlyView.
Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley   +1 more source

A Set Covering Approach to Design Maximally Permissive Supervisors for Flexible Manufacturing Systems

Mathematics
The supervisory control of Petri nets aims to enforce the undesired behavior as unreachable by designing a set of control places. This work presents a set cover approach to design maximally permissive supervisors.
Yongyao Li, Yufeng Chen, Rui Zhou
doaj   +1 more source

Composition of Supervisory Boards in Germany: Inside or Outside Control of Banks? [PDF]

This paper examines the composition of supervisory boards of German banks for a sample of 41 large banks in the period 1999-2006. We find that the supervisory board structure reflects both outside control by shareholders and inside control by ...
Doris Neuberger, Ettore Andreani, Kathrin Dummann   +2 more
core  

The atypical KRASQ22K mutation directs TGF‐β response towards partial epithelial‐to‐mesenchymal transition in patient‐derived colorectal cancer tumoroids

Molecular Oncology, EarlyView.
TGF‐β has a complex role in cancer, exhibiting both tumor‐suppressive and tumor‐promoting properties. Using a series of differentiated tumoroids, derived from different stages and mutational background of colorectal cancer patients, we replicate this duality of TGF‐β in vitro. Notably, the atypical but highly aggressive KRASQ22K mutation rendered early‐
Theresia Mair, Philip König, Milena Mijović, Jessica Kalla, Anil Baskan, Loan Tran, Kristina Draganić, Pedro Morata Saldaña, Carlos Uziel Pérez Malla, Janette Pfneissl, Andreas Tiefenbacher, Julijan Kabiljo, Velina S. Atanasova, Lisa Wozelka‐Oltjan, Leonhard Müllauer, Michael Bergmann, Raheleh Sheibani‐Tezerji, Gerda Egger   +17 more
wiley   +1 more source

Robust power control for PV and battery systems: integrating sliding mode MPPT with dual buck converters

Frontiers in Energy Research
This paper presents a comprehensive exploration of an integrated Buck-Boost converter and Sliding Mode Control (SMC) Maximum Power Point Tracking (MPPT) system for optimizing photovoltaic energy conversion.
Arezki Fekik, Arezki Fekik, Mohamed Lamine Hamida, Ahmad Taher Azar, Ahmad Taher Azar, Ahmad Taher Azar, Malek Ghanes, Arezki Hakim, Hakim Denoun, Ibrahim A. Hameed   +9 more
doaj   +1 more source