Results 121 to 130 of about 5,447,182 (185)
Correction to 'Inhibition of autophagy as a novel treatment for neurofibromatosis type 1 tumors'. [PDF]
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2021
Typescript list of Cuala Press Prints. The list describes prints where the Cuala Press catalogue numbers are unknown, or the prints could not be found. List likely created by the donor before the collection was handed over to the Manuscripts and Archives Research Library.
openaire +1 more source
Typescript list of Cuala Press Prints. The list describes prints where the Cuala Press catalogue numbers are unknown, or the prints could not be found. List likely created by the donor before the collection was handed over to the Manuscripts and Archives Research Library.
openaire +1 more source
Stimulus Type and the List Strength Paradigm
Quarterly Journal of Experimental Psychology, 2014In recognition memory, increasing the strength of studied items does not reduce performance on other items, an effect dubbed the null list strength effect (LSE). While this finding has been replicated many times, it has rarely been tested using stimuli other than single words.
Osth, A., Dennis, S., Kinnell, A.
openaire +3 more sources
Brooks-Type Theorems for Pair-List Colorings and List Homomorphisms
SIAM Journal on Discrete Mathematics, 2008Brooks proved that every connected graph other than a clique or odd cycle can be colored with $\Delta$ colors. Erdos, Rubin, and Taylor (and, independently, Vizing) generalized the theorem of Brooks to list colorings, describing all uncolorable connected graphs in which no vertex has a list smaller than its degree.
Tomás Feder, Pavol Hell, Jing Huang
openaire +1 more source
Cross-Listing in US Markets and Conservatism: Does Type of Listing Matter?
SSRN Electronic Journal, 2005This paper examines conditional accounting conservatism (Basu, 1997) of international firms cross-listed on United States stock exchanges. We compare the conservatism of firms that cross-list choosing a US ADR programme offering the possibility to raise equity capital (ADR Level III) to similar firms that choose to not raise capital in US markets (ADR ...
Martien Jan Peter Lubberink +1 more
openaire +1 more source
2000
Abstract In this chapter we shall be concerned with arrays of objects of given type, and with how to handle these arrays in a variety of applications in which the ordering of the elements of the array (ie, of the individual objects) matters. We may wish, for example, to sort them according to some measure which will determine their order;
openaire +1 more source
Abstract In this chapter we shall be concerned with arrays of objects of given type, and with how to handle these arrays in a variety of applications in which the ordering of the elements of the array (ie, of the individual objects) matters. We may wish, for example, to sort them according to some measure which will determine their order;
openaire +1 more source
An Intrinsically-Typed Solution for the List-Machine Benchmark
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity, 2020Formal models are important tools in the programming language research community. However, such models are full of intricacies and, due to that, they are subject to subtle errors. Such failures motivated the usage of tools to ensure the correctness of these formalisms. One way to eliminate such errors is to encode models in a dependently-typed language
Samuel Feitosa, Rodrigo Ribeiro
openaire +1 more source
List-tracing in systems allowing multiple cell-types
Proceedings of the second ACM symposium on Symbolic and algebraic manipulation - SYMSAC '71, 1971List-processing systems have each allowed the use of only a single size and configuration of list cell. In this paper a system is described which allows the use of arbitrarily many different sizes and configurations of list cells, possibly not specified until run time.
openaire +1 more source

