Results 321 to 330 of about 15,676,085 (372)
Some of the next articles are maybe not open access.
The notion of a framework and a framework for LTC
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science, 2003A precise notion of a formal framework, meant to capture the intuition of an open-ended range of deductive interpreted languages, is proposed. A particular framework called the logical theory of constructions (LTC) is developed as an example. A series of languages in the LTC framework is defined, demonstrating how a language can be thought of as ...
Mendler, Paul F, Aczel, Peter
openaire +3 more sources
Optuna: A Next-generation Hyperparameter Optimization Framework
Knowledge Discovery and Data Mining, 2019The purpose of this study is to introduce new design-criteria for next-generation hyperparameter optimization software. The criteria we propose include (1) define-by-run API that allows users to construct the parameter search space dynamically, (2 ...
Takuya Akiba +4 more
semanticscholar +1 more source
Robustness: Theoretical Framework
Structural Engineering International, 2012More frequent use of advanced types of structures with limited redundancy and serious consequences in case of failure combined with increased requirements to efficiency in design and execution followed by increased risk of human errors has made the need of requirements to robustness of structures essential.
Sørensen, J. D. +3 more
openaire +7 more sources
Phosphinopnictinophosphonium frameworks
Chemical Communications, 2010Reactions of the cyclic tetraphosphine (CyP)(4) with arsenium or stibenium cations (R(2)Pn(+), Pn = As, Sb and R = Cl, Ph) give salts of the new cationic frameworks [(CyP)(4)(AN)](+), [(CyP)(4)(SbCl(2))](+) and [{(CyP)(4)}(2)(Sb(2)Cl(2))](2+). The cations can be viewed as coordination complexes of a cyclophosphine ligand on a pnictenium cation, or a ...
Eamonn, Conrad +4 more
openaire +2 more sources
2020
The right to education is well established in binding international human rights law, as well as several regional human rights treaties, that prohibit exclusion from education or limitations on educational opportunities, on multiple grounds, including disability. It is also affirmed in various soft law documents that have been released by international
Broderick, Andrea +2 more
openaire +2 more sources
The right to education is well established in binding international human rights law, as well as several regional human rights treaties, that prohibit exclusion from education or limitations on educational opportunities, on multiple grounds, including disability. It is also affirmed in various soft law documents that have been released by international
Broderick, Andrea +2 more
openaire +2 more sources
1995
In this chapter we address the question of how to construct a DBMS architecture supporting TSQL2. Our goal is to enumerate the changes that a conventional DBMS would need to support TSQL2. We are concerned with modifying a conventional DBMS in a minimal fashion to support TSQL2.
Soo, M. D. +2 more
openaire +2 more sources
In this chapter we address the question of how to construct a DBMS architecture supporting TSQL2. Our goal is to enumerate the changes that a conventional DBMS would need to support TSQL2. We are concerned with modifying a conventional DBMS in a minimal fashion to support TSQL2.
Soo, M. D. +2 more
openaire +2 more sources