ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Education
Social Sciences
Research
Technology
Economy
Literature
Languages
Mathematics
Religion
Law
all records (74)

Languages
English
Portuguese
Spanish
German
French

Countries
Indonesia
Brazil
USA
South Africa
Spain
Ukraine
Cuba
Chile
Denmark
Poland
all records (80)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
164.140  Articles
1 of 16.414 pages  |  10  records  |  more records»
Specification frameworks such as B and Z provide power sets and cartesianproducts as built-in type constructors, and employ a rich notation fordefining (among other things) abstract data types using formulae of predicatelogic and lambda-notation. In contr... see more

The (in)equational properties of the least fixed point operation on(omega-)continuous functions on (omega-)complete partially ordered sets arecaptured by the axioms of (ordered) iteration algebras, or iterationtheories. We show that the inequational laws ... see more

This paper describes  a formalization of the first book of the series ``Elements  of Mathematics'' by Nicolas Bourbaki, using the Coq proof assistant. In a first paper published in this journal, we presented the axioms and basic constructions (c... see more

This paper describes  a formalization of the first book of the series ``Elements  of Mathematics'' by Nicolas Bourbaki, using the Coq proof assistant. In a first paper published in this journal, we presented the axioms and basic constructions (c... see more

In this paper, an off-line synthesis approach to robust constrained model predictive control for uncertain polytopic discrete-time systems is presented. Most of the computational burdens are moved off-line by pre-computing a sequence of state feedback con... see more

Large-scale surveys on Maths and Science learning (such as OCSE-Pisa, IE-TIMMS, TIMMS Advanced and the INVALSI in Italy) have a strong influence on public opinion in all countries and, in a top-down process, on decisions by policy-makers an... see more

Context. Such perfect algebraic constructions of many-valued logic as ternary bent-functions and their truth tables which are called as 3-bent-sequences, are used very often in modern cryptographic algorithms, in particular, in pseudorandom sequence gener... see more

This special double issue (41.1 and 41.2) contains 11 articles on the formal properties of linguistic feature systems, all of which were presented at a conference in Tromsø in the fall of 2013.The issue was jointly edited by Martin Krämer, Sandra Ronai, a... see more

This special double issue (41.1 and 41.2) contains 11 articles on the formal properties of linguistic feature systems, all of which were presented at a conference in Tromsø in the fall of 2013.The issue was jointly edited by Martin Krämer, Sandra Ronai, a... see more

1 of 16.414 pages  |  10  records  |  more records»