Results 51 to 60 of about 1,114,155 (295)
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies [PDF]
, 2008 Membrane computing is a branch of natural computing aiming to abstract computing models from the structure and functioning of the living cell, and from the way cells cooperate in tissues, organs, or other populations of cells.
Paun, Gheorghe +1 more
core +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Interactive game as a means of developing extracurricular activities in informatics
RUDN Journal of Informatization in Education, 2019 Problem and goal. The article describes the processes of development of methods of teaching computer science in the organization of extracurricular activities, which contributes to the effectiveness of teaching computer science through the use of games ...
Olga Yu. Zaslavskaya
doaj +1 more source
Molecular Oncology, EarlyView.We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu +10 more
wiley +1 more source
Editorial: Applied Computing 2023
مجلة بغداد للعلومApplied computing utilizes aspects of computer science to solve problems in several disciplines, including business, politics, education, and the environment.
Yousra Abdul Alsahib S. Aldeen +2 more
doaj +1 more source
Producibility in hierarchical self-assembly [PDF]
, 2015 Three results are shown on producibility in the hierarchical model of tile self-assembly. It is shown that a simple greedy polynomial-time strategy decides whether an assembly α is producible.
Doty, David
core +2 more sources
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
THE MODAL µ-CALCULUS: A SURVEY
TASK Quarterly, 2005 The modal µ-calculus is an extension of modal logic with two operators µ and ν, which give the least and greatest fixpoints of monotone operators on powersets.
GIACOMO LENZI
doaj
Artificial Intellignce: Art or Science? [PDF]
, 1988 Computer programs are new kinds of machines with great potential for improving the quality of life. In particular, expert systems could improve the ability of the small, weak and poor members of society to access the information they need to solve their ...
Bundy, Alan
core +1 more source
Different Approaches to Proof Systems [PDF]
, 2010 The classical approach to proof complexity perceives proof systems as deterministic, uniform, surjective, polynomial-time computable functions that map strings to (propositional) tautologies. This approach has been intensively studied since the late 70’s
Beyersdorff, O, Mueller, S
core +1 more source