Results 1 - 10 of 5,472

PAML: a program package for phylogenetic analysis by maximum likelihood

by Ziheng Yang - COMPUT APPL BIOSCI 13:555–556 , 1997
"... PAML, currently in version 1.2, is a package of programs for phylogenetic analyses of DNA and protein sequences using the method of maximum likelihood (ML). The programs can be used for (i) maximum likelihood estimation of evolutionary parameters such as branch lengths in a phylogenetic tree, the tr ..."
Abstract - Cited by 1459 (17 self) - Add to MetaCart
PAML, currently in version 1.2, is a package of programs for phylogenetic analyses of DNA and protein sequences using the method of maximum likelihood (ML). The programs can be used for (i) maximum likelihood estimation of evolutionary parameters such as branch lengths in a phylogenetic tree

Agency costs of free cash flow, corporate finance and takeovers

by Michael C. Jensen - American Economic Review , 1986
"... The interests and incentives of managers and shareholders conflict over such issues as the optimal size of the firm and the payment of cash to shareholders. These conflicts are especially severe in firms with large free cash flows—more cash than profitable investment opportunities. The theory develo ..."
Abstract - Cited by 2311 (11 self) - Add to MetaCart
developed here explains 1) the benefits of debt in reducing agency costs of free cash flows, 2) how debt can substitute for dividends, 3) why “diversification ” programs are more likely to generate losses than takeovers or expansion in the same line of business or liquidation-motivated takeovers, 4) why

Make: a program for maintaining computer programs.

by S I Feldman - Softw: Pract. Exper., , 1979
"... ABSTRACT In a programming project, it is easy to lose track of which files need to be reprocessed or recompiled after a change is made in some part of the source. Make provides a simple mechanism for maintaining up-to-date versions of programs that result from many operations on a number of files. ..."
Abstract - Cited by 352 (0 self) - Add to MetaCart
ABSTRACT In a programming project, it is easy to lose track of which files need to be reprocessed or recompiled after a change is made in some part of the source. Make provides a simple mechanism for maintaining up-to-date versions of programs that result from many operations on a number of files

Higher-Order Abstract Syntax

by Frank Pfenning, Conal Elliott
"... We describe motivation, design, use, and implementation of higher-order abstract syntax as a central representation for programs, formulas, rules, and other syntactic objects in program manipulation and other formal systems where matching and substitution or syntax incorporates name binding informat ..."
Abstract - Cited by 357 (17 self) - Add to MetaCart
We describe motivation, design, use, and implementation of higher-order abstract syntax as a central representation for programs, formulas, rules, and other syntactic objects in program manipulation and other formal systems where matching and substitution or syntax incorporates name binding

Specification Matching of Software Components

by Amy Moormann Zaremski, Jeannette M. Wing - ACM Transactions on Software Engineering and Methodology , 1996
"... Specification matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit the requ ..."
Abstract - Cited by 358 (4 self) - Add to MetaCart
Specification matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit

A logic programming language with lambda-abstraction, function variables, and simple unification

by Dale Miller - Extensions of Logic Programming. Springer Lecture Notes in Artificial Intelligence , 1990
"... A meta programming language must be able to represent and manipulate such syntactic structures as programs, formulas, types, and proofs. A common characteristic of all these structures is that they involve notions of abstractions, scope, bound and free variables, substitution instances, and equality ..."
Abstract - Cited by 314 (27 self) - Add to MetaCart
A meta programming language must be able to represent and manipulate such syntactic structures as programs, formulas, types, and proofs. A common characteristic of all these structures is that they involve notions of abstractions, scope, bound and free variables, substitution instances

Good-Bye Financial Repression, Hello Financial Crash”,

by Carlos Diaz-Alejandro - Journal of Development Economics, , 1985
"... Some unintended consequences of financial liberalization in Latin America are analyzed in this paper. Intrinsic imperfectious in financial markets, and the policy dilemmas they pose, are reviewed first. The stylized facts of Southern Cone experiments in financial liberization are then presented. Al ..."
Abstract - Cited by 305 (0 self) - Add to MetaCart
. Alternative ways of organlzing domestic capital markets under Latin American conditions are discussed, and an eclectic, reform mongering program is proposed.

Identification of protein coding regions by database similarity search

by Warren Gish, David J. States - Nature Genetics , 1993
"... Correspondence should be addressed to W.G. page 1 Summary Sequence similarity between a translated nucleotide sequence and a known biological protein can provide strong evidence for the presence of a homologous coding region, and such similarities can often be identified even between distantly relat ..."
Abstract - Cited by 262 (2 self) - Add to MetaCart
related genes. The computer program BLASTX performed conceptual translation of a nucleotide query sequence followed by a protein database search in one programmatic step. The BLAST search algorithm combined with Karlin-Altschul statistics yields a predictable selectivity that has been parameterized. We

On Finding Duplication and Near-Duplication in Large Software Systems

by Brenda S. Baker , 1995
"... This paper describes how a program called dup can be used to locate instances of duplication or near-duplication in a software system. Dup reports both textually identical sections of code and sections that are the same textually except for systematic substitution of one set of variable names and co ..."
Abstract - Cited by 245 (1 self) - Add to MetaCart
This paper describes how a program called dup can be used to locate instances of duplication or near-duplication in a software system. Dup reports both textually identical sections of code and sections that are the same textually except for systematic substitution of one set of variable names

Combinatorial auctions: A survey

by Sven De Vries, Rakesh Vohra , 2000
"... Many auctions involve the sale of a variety of distinct assets. Examples are airport time slots, delivery routes and furniture. Because of complementarities (or substitution effects) between the different assets, bidders have preferences not just for particular items but for sets or bundles of items ..."
Abstract - Cited by 215 (1 self) - Add to MetaCart
Many auctions involve the sale of a variety of distinct assets. Examples are airport time slots, delivery routes and furniture. Because of complementarities (or substitution effects) between the different assets, bidders have preferences not just for particular items but for sets or bundles
Results 1 - 10 of 5,472