Results 61 to 70 of about 1,814,894 (278)

Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications [PDF]

, 2013
We propose a human-supervised control synthesis method for a stochastic Dubins vehicle such that the probability of satisfying a specification given as a formula in a fragment of Probabilistic Computational Tree Logic (PCTL) over a set of environmental ...
Belta, Calin, Cizelj, Igor
core   +1 more source

In vitro properties of patient serum predict clinical outcome after high dose rate brachytherapy of hepatocellular carcinoma

Molecular Oncology, EarlyView.
Following high dose rate brachytherapy (HDR‐BT) for hepatocellular carcinoma (HCC), patients were classified as responders and nonresponders. Post‐therapy serum induced increased BrdU incorporation and Cyclin E expression of Huh7 and HepG2 cells in nonresponders, but decreased levels in responders.
Lukas Salvermoser, Jan Niklas Schäfer, Shraga Nahum Goldberg, Philipp Maximilian Kazmierczak, Moritz Nikolaus Gröper, Philipp Franz Linden, Elif Öcal, Tanja Burkard, Stefanie Corradini, Najib Ben Khaled, Moritz Wildgruber, Max Seidensticker, Jens Ricke, Matthias Stechele, Marianna Alunni‐Fabbroni   +14 more
wiley   +1 more source

Sustainable Adoption of Connected Vehicles in the Brazilian Landscape: Policies, Technical Specifications and Challenges

Transactions on Environment and Electrical Engineering, 2019
This review addresses the intervehicular communication in Connected Vehicles (CV) by emphasizing V2V (vehicle-to-vehicle) and V2I (vehicle-to-infrastructure) communications in terms of evolution, current standards, state-of-the-art studies, embedded ...
Douglas Aguiar do Nascimento, Yuzo Iano, Hermes José Loschi, Navid Razmjooy, Robert Sroufe, Vlademir de Jesus Silva Oliveira, Diego Arturo Pajuelo Castro, Matheus Montagner   +7 more
doaj   +1 more source

Specification of initial connection handling in TCP using structured Petri nets [PDF]

, 1984
This paper uses structured Petri nets to specify how connection establishment is handled by the DoD Transmission Control Protocol. The purpose of this paper is to demonstrate an alternate specification technique by examining its application to a portion ...
Rose, Marshall T.
core   +1 more source

Testing refinements by refining tests [PDF]

, 1998
One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated.
C. Wezeman, E. Brinksma, E. Brinksma, E. Cusack, G. Smith, G.T. Scullard, H. Singh, H.-M. Horcher, J. Dick, J.-R. Abrial, J.C.P. Woodcock, L. Aertryck van, L. Heerink, M.B. Josephs, R. Nicola de, S. Stepney   +15 more
core   +3 more sources

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Investigating Diagnostic Value of Ultrasonography in Acute Appendicitis

Advanced Biomedical Research, 2018
Background: Acute appendicitis is one of the most commonly diagnosed surgical diseases that its accurate diagnosis is still a problem, and there is no certainty.
Alireza Hosseini, Javad Omidian, Reza Nazarzadeh   +2 more
doaj   +1 more source

Dermal Specificity

Journal of Investigative Dermatology, 1970
The present study was undertaken to ascertain whether regional dermal specificity could be demonstrated at the molecular level. Dermis was obtained from the following areas of White Leghorn roosters: comb, wattle, trunk (feathers), leg (scales) and ear lobes.
Fleischmajer, Raul, Krol, Stefan
openaire   +2 more sources

Feasibility of a ctDNA multigenic panel for non‐small‐cell lung cancer early detection and disease surveillance

Molecular Oncology, EarlyView.
Plasma‐based detection of actionable mutations is a promising approach in lung cancer management. Analysis of ctDNA with a multigene NGS panel identified TP53, KRAS, and EGFR as the most frequently altered, with TP53 and KRAS in treatment‐naïve patients and TP53 and EGFR in previously treated patients.
Giovanna Maria Stanfoca Casagrande, Marcela de Oliveira Silva, Mariana Bisarro dos Reis, Rodrigo de Oliveira Cavagna, Luciane Sussuchi, Icaro Alves Pinto, Natalia Zampieri Pontes, Rodrigo Sampaio Chiarantano, Flavio Augusto Ferreira da Silva, Pedro de Marchi, Letícia Ferro Leal, Rui M. Reis   +11 more
wiley   +1 more source

A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics

, 2019
We consider the problem of extracting safe environments and controllers for reach-avoid objectives for systems with known state and control spaces, but unknown dynamics.
Abate A., Alur R., Bansal S., Bansal S., Desai Ankush, Fisac J. F., Girard A., Julius A. A., Katoen J. P., Lenz I., Mitsch S., Sylvia L, Tomlin C. J.   +12 more
core   +1 more source