Results 261 to 270 of about 19,827,130 (305)
Some of the next articles are maybe not open access.
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Hannan, Patrick Hicks
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Hannan, Patrick Hicks
openaire +3 more sources
1998
Generalization is a fundamental operation of inductive inference. While first order syntactic generalization (anti-unification) is well understood, its various extensions are needed in applications. This paper discusses syntactic higher order generalization in a higher order language λ2[1]. Based on the application ordering, we proved the least general
Jianguo Lu +2 more
openaire +2 more sources
Generalization is a fundamental operation of inductive inference. While first order syntactic generalization (anti-unification) is well understood, its various extensions are needed in applications. This paper discusses syntactic higher order generalization in a higher order language λ2[1]. Based on the application ordering, we proved the least general
Jianguo Lu +2 more
openaire +2 more sources
Proceedings of the 2005 conference on Dynamic languages symposium - DLS '05, 2005
We introduce Higher Order Messaging, a higher order programming mechanism for dynamic object-oriented languages. Higher Order Messages allow user-defined message dispatch mechanism to be expressed using an optimally compact syntax that is a natural extension of plain messaging and also have a simple conceptual model.
Marcel Weiher, Stéphane Ducasse
openaire +2 more sources
We introduce Higher Order Messaging, a higher order programming mechanism for dynamic object-oriented languages. Higher Order Messages allow user-defined message dispatch mechanism to be expressed using an optimally compact syntax that is a natural extension of plain messaging and also have a simple conceptual model.
Marcel Weiher, Stéphane Ducasse
openaire +2 more sources
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 2002
Introduces several approaches for solving higher-order equational problems by higher-order narrowing, and gives some completeness results. The results apply to higher-order functional-logic programming languages and to higher-order unification modulo a higher-order equational theory.
openaire +2 more sources
Introduces several approaches for solving higher-order equational problems by higher-order narrowing, and gives some completeness results. The results apply to higher-order functional-logic programming languages and to higher-order unification modulo a higher-order equational theory.
openaire +2 more sources
Archive for Rational Mechanics and Analysis, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Clinical Obstetrics & Gynecology, 2015
Higher-order multiple gestations have increased since the advent of advanced reproductive technologies. These pregnancies present unique risks to both mothers and fetuses. It is imperative that early diagnosis of chronicity be determined and that proper counseling is performed, so patients understand the risks, evaluation, and management needed.
Joanne, Stone, Katherine S, Kohari
openaire +2 more sources
Higher-order multiple gestations have increased since the advent of advanced reproductive technologies. These pregnancies present unique risks to both mothers and fetuses. It is imperative that early diagnosis of chronicity be determined and that proper counseling is performed, so patients understand the risks, evaluation, and management needed.
Joanne, Stone, Katherine S, Kohari
openaire +2 more sources
ACM SIGKDD Explorations Newsletter, 2008
The value of knowledge obtainable by analysing large quantities of data is widely acknowledged. However, so-calledprimaryorraw datamay not always be available for knowledge discovery for several reasons. First, cooperating institutions that are interested in sharing knowledge may not be willing (or allowed) to disclose their primary data.
John F. Roddick +3 more
openaire +2 more sources
The value of knowledge obtainable by analysing large quantities of data is widely acknowledged. However, so-calledprimaryorraw datamay not always be available for knowledge discovery for several reasons. First, cooperating institutions that are interested in sharing knowledge may not be willing (or allowed) to disclose their primary data.
John F. Roddick +3 more
openaire +2 more sources
2014
We propose a distinction between bottom-up and top-down systems of natural logic, with the classical syllogism epitomizing the first and the Monotonicity Calculus the second. We furthermore suggest it useful to view top-down systems as higher-order generalizations of broadly syllogistic systems.
openaire +2 more sources
We propose a distinction between bottom-up and top-down systems of natural logic, with the classical syllogism epitomizing the first and the Monotonicity Calculus the second. We furthermore suggest it useful to view top-down systems as higher-order generalizations of broadly syllogistic systems.
openaire +2 more sources
Psychonomic Bulletin & Review
Affordances are opportunities for action for a given animal (or animals) in a given environment or situation. The concept of affordance has been widely adopted in the behavioral sciences, but important questions remain. We propose a new way of understanding the nature of affordances; in particular, how affordances are related to one another.
Thomas A, Stoffregen, Jeffrey B, Wagman
openaire +2 more sources
Affordances are opportunities for action for a given animal (or animals) in a given environment or situation. The concept of affordance has been widely adopted in the behavioral sciences, but important questions remain. We propose a new way of understanding the nature of affordances; in particular, how affordances are related to one another.
Thomas A, Stoffregen, Jeffrey B, Wagman
openaire +2 more sources
Science, 2004
It is well-established that compaction of chromatin affects gene expression by regulating the accessibility of DNA to factors that control gene expression. Although the three-dimensional structure of nucleosomes has been elucidated in exquisite detail, the next level of chromatin structure is still poorly understood.
Tielenius Kruythoff-Mohd Sarip, Adone +1 more
openaire +3 more sources
It is well-established that compaction of chromatin affects gene expression by regulating the accessibility of DNA to factors that control gene expression. Although the three-dimensional structure of nucleosomes has been elucidated in exquisite detail, the next level of chromatin structure is still poorly understood.
Tielenius Kruythoff-Mohd Sarip, Adone +1 more
openaire +3 more sources