نتایج جستجو برای: accepting

تعداد نتایج: 9620  

2017
ANDREJ BAUER

On the odd day, a mathematician might wonder what constructive mathematics is all about. They may have heard arguments in favor of constructivism but are not at all convinced by them, and in any case they may care little about philosophy. A typical introductory text about constructivism spends a great deal of time explaining the principles and contains only trivial mathematics, while advanced c...

Journal: :American journal of health-system pharmacy : AJHP : official journal of the American Society of Health-System Pharmacists 2011
Henri R Manasse Mary A Andrawis

1995
Henning Bordihn Henning Fernau

We investigate several kinds of regulated rewriting (matrix, ordered, programmed, and variants thereof) and of parallel rewriting mechanisms (Lindenmayer systems, uniformly limited Lindenmayer systems, limited Lindenmayer systems and scattered context grammars) as accepting devices, in contrast with the usual generating mode. In a lot of cases, accepting mode turns out to be exactly as powerful...

2013
Florent Peres Ivana Černá

Finding an infinite sequence of transitions (a run) going through some special states (called accepting) is of importance for fields like formal verification. Whereas finding such a sequence as been extensively studied, the problem of maintaining this sequence upon changes in the model or the specification has received less attention. In this work, we propose a solution to the maintenance of an...

2007
Jiri Barnat Lubos Brim Pavel Simecek

We show how to adapt an existing non-DFS-based accepting cycle detection algorithm OWCTY [10, 15, 29] to the I/O efficient setting and compare its I/O efficiency and practical performance to the existing I/O efficient LTL model checking approach of Edelkamp and Jabbar [14]. The new algorithm exhibits similar I/O complexity with respect to the size of the graph while it avoids quadratic increase...

Journal: :Physical review. E, Statistical, nonlinear, and soft matter physics 2004
Karl Heinz Hoffmann Frank Heilmann Peter Salamon

We treat the problem of selecting the next degree of freedom for update in an extremal optimization algorithm designed to find the ground state of a system with a complex energy landscape. We show that there exists a best distribution for selecting the next degree of freedom in order to optimize any linear function of the state probabilities, e.g., the expected number of visits to the ground st...

Journal: :Journal of bacteriology 2000
J E Gestwicki A C Lamanna R M Harshey L L McCarter L L Kiessling J Adler

The methyl-accepting chemotaxis proteins (MCPs) are concentrated at the cell poles in an evolutionarily diverse panel of bacteria and an archeon. In elongated cells, the MCPs are located both at the poles and at regions along the length of the cells. Together, these results suggest that MCP location is evolutionarily conserved.

Journal: :The Wabash Center Journal on Teaching 2020

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید