Results 51 to 60 of about 4,463,103 (324)

Cell wall target fragment discovery using a low‐cost, minimal fragment library

FEBS Letters, EarlyView.
LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan, Mathew Stanley, Olawale Raimi, Andrew T. Ferenbach, Helge C Dorfmueller, Daan M. F. van Aalten   +5 more
wiley   +1 more source

The Comparison of Tree-Sibling Time Consistent Phylogenetic Networks Is Graph Isomorphism-Complete

The Scientific World Journal, 2014
Several polynomial time computable metrics on the class of semibinary tree-sibling time consistent phylogenetic networks are available in the literature; in particular, the problem of deciding if two networks of this kind are isomorphic is in P.
Gabriel Cardona, Mercè Llabrés, Francesc Rosselló, Gabriel Valiente   +3 more
doaj   +1 more source

Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications

IEEE Access, 2023
This paper presents a path planning algorithm for efficiently generating low-cost trajectories that meet mission requirements specified in Linear Time Logic (LTL), where cost functions are defined throughout the configuration space.
Kyunghoon Cho
doaj   +1 more source

QuantUM: Quantitative Safety Analysis of UML Models

, 2011
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable.
A. Aziz, A. Hinton, Adnan Aziz, Christel Baier, D. Latella, David Nicolaas Jansen, E. M. Clarke, Florian Leitner-Fischer, Florian Leitner-Fischer, Gethin Norman, H. Aljazzar, H. Boudali, Husain Aljazzar, Husain Aljazzar, I. Majzik, J.Y. Halpern, Lars Grunske, Lars Grunske, Leslie Lamport, M. Ajmone Marsan, Mieke Massink, S. Bernardi, Stefan Leue, V.G. Kulkarni   +23 more
core   +2 more sources

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

Cell density–dependent nuclear‐cytoplasmic shuttling of SETDB1 integrates with Hippo signaling to regulate YAP1‐mediated transcription

FEBS Letters, EarlyView.
At low cell density, SETDB1 and YAP1 accumulate in the nucleus. As cell density increases, the Hippo pathway is gradually activated, and SETDB1 is associated with increased YAP1 phosphorylation. At high cell density, phosphorylated YAP1 is sequestered in the cytoplasm, while SETDB1 becomes polyubiquitinated and degraded by the ubiquitin–proteasome ...
Jaemin Eom, Jaewoong Jang, Jung Sun Park, Yong‐Kook Kang   +3 more
wiley   +1 more source

Using formal methods to support testing [PDF]

, 2008
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as ...
Bogdanov, K, Bowen, JP, Cleaveland, R, Derrick, J, Dick, JH, Gheorghe, M, Harman, M, Hierons, RM, Kapoor, K, Krause, P, Luettgen, G, Simons, AJH, Vilkomir, S, Woodward, M   +13 more
core  

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Software, 2022
Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different study strategies (usability testing, laboratory experiments with software and human subjects, case studies, qualitative studies, surveys, judgement studies, systematic literature
ter Beek MH, Ferrari A
openaire   +4 more sources

Inhibiting stearoyl‐CoA desaturase suppresses bone metastatic prostate cancer by modulating cellular stress, mTOR signaling, and DNA damage response

FEBS Letters, EarlyView.
Bone metastasis in prostate cancer (PCa) patients is a clinical hurdle due to the poor understanding of the supportive bone microenvironment. Here, we identify stearoyl‐CoA desaturase (SCD) as a tumor‐promoting enzyme and potential therapeutic target in bone metastatic PCa.
Alexis Wilson, Mackenzie K Herroon, Shane Mecca, Laimar C Garmo, Jacob Lindquist, Shrila Rajendran, Steve M. Patrick, Izabela Podgorski   +7 more
wiley   +1 more source

iiOSProTrain: An Interactive Intelligent Online System for Programming Training

Journal of Advances in Information Technology, 2012
Programming is a crucial skill which is required to be mastered for students on all disciplines of the Computer Science field. For novice students, they always desire explanation and help for all errors encountered in their own solutions. With the recent
Tho Thanh Quan, Phung H Nguyen, Thang H Bui, Thuan Dinh Le, An Nhu Nguyen, Duc L.N. Hoang, Vu Huu Nguyen, Binh Thien Nguyen   +7 more
doaj   +1 more source