Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Applied arts. Arts and crafts --- intarsia [process] --- decorative arts [discipline] --- intarsias

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

La grande aventure artistique de la Renaissance italienne entre XVe et XVIe siècle a connu un chapitre important et, cependant, méconnu : celui de la marqueterie. Ce phénomène artistique, extrêmement raffiné par sa technique et ses contenus culturels, a épousé l’évolution des arts majeurs – la peinture, la sculpture et l’architecture. Elle en a suivi les développements théoriques ainsi que les spéculations intellectuelles. Un des maîtres les plus significatifs dans ce domaine était Fra’ Giovanni da Verona, marqueteur, mais aussi architecte, enlumineur et sculpteur, parfaitement au courant des nouveautés artistiques de son époque. Le cycle admirable de Santa Maria in Organo à Vérone, que Vasari définit « la plus belle sacristie de toute l’Italie », est un exemple paradigmatique de la marqueterie à la Renaissance. Il révèle un langage artistique maitrisant entièrement la perspective et conscient des développements récents du savoir artistique et humaniste. On retrouve facilement certaines de ses formes géométriques dans le célèbre traité De Divina Proportione, rédigé à la même époque par le mathématicien Luca Pacioli. Entre autres exemples de liens étroits entre marqueterie et arts majeurs, on citera le plus célèbre des studiolo marquetés du Quattrocento : celui de Federico da Montefeltro à Urbino. A l’époque, Urbino a été sans doute un des berceaux de la culture mathématicienne et artistique, où des artistes comme Piero della Francesca ou le cité Luca Pacioli purent pleinement s’exprimer. Une campagne photographique réalisée spécialement pour l’ouvrage magnifie les détails des marqueteries et leur extraordinaire complexité technique et artistique. Le livre se focalise sur le développement de cet art entre XVe et XVIe siècle, en parcourt les différentes déclinaisons régionales – de la Lombardie à la Vénétie jusqu’à Naples et à la Sicile –, tout en pointant l’appartenance commune à un seul climat culturel et artistique cosmopolite : celui qui réunit tous les artistes de la Renaissance.

Marquetry, Renaissance --- Marqueterie de la Renaissance --- Marqueterie --- Arts décoratifs --- Renaissance --- Italie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

Computer science. --- Data structures (Computer science). --- Information theory. --- Computer software. --- Logic design. --- Computer Science. --- Theory of Computation. --- Mathematics of Computing. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Data Structures, Cryptology and Information Theory. --- Mathematical Logic and Formal Languages. --- Engineering & Applied Sciences --- Computer Science --- Design, Logic --- Design of logic systems --- Software, Computer --- Communication theory --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Informatics --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer science --- Mathematics. --- Computational complexity --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer systems --- Science --- Communication --- Cybernetics --- Data structures (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer science—Mathematics. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Calculators --- Cyberspace --- Foundations --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

Mathematical logic --- Logic --- Complex analysis --- Mathematical control systems --- Computer science --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- toegepaste informatica --- cryptologie --- complexe analyse (wiskunde) --- bedrijfssoftware --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde --- programmatielogica --- logica --- computerkunde --- informatietheorie --- Computer science. --- Computer science—Mathematics. --- Algorithms. --- Data structures (Computer science) --- Information theory. --- Machine theory. --- Theory of Computation. --- Mathematics of Computing. --- Computer Science Logic and Foundations of Programming. --- Data Structures and Information Theory. --- Formal Languages and Automata Theory.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the joint refereed proceedings of the 4th International Workshop on Approximation Algorithms for Optimization Problems, APPROX 2001 and of the 5th International Workshop on Ranomization and Approximation Techniques in Computer Science, RANDOM 2001, held in Berkeley, California, USA in August 2001. The 26 revised full papers presented were carefully reviewed and selected from a total of 54 submissions. Among the issues addressed are design and analysis of approximation algorithms, inapproximability results, on-line problems, randomization, de-randomization, average-case analysis, approximation classes, randomized complexity theory, scheduling, routing, coloring, partitioning, packing, covering, computational geometry, network design, and applications in various fields.

Computer science --- Computer Science --- Engineering & Applied Sciences --- Statistical methods --- Informatics --- Mathematics. --- Computer programming. --- Algorithms. --- Numerical analysis. --- Mathematical analysis. --- Analysis (Mathematics). --- Discrete mathematics. --- Combinatorics. --- Analysis. --- Programming Techniques. --- Discrete Mathematics. --- Algorithm Analysis and Problem Complexity. --- Numeric Computing. --- Science --- Global analysis (Mathematics). --- Computer science. --- Computer software. --- Electronic data processing. --- Combinatorics --- Algebra --- Mathematical analysis --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Software, Computer --- Computer systems --- Analysis, Global (Mathematics) --- Differential topology --- Functions of complex variables --- Geometry, Algebraic --- Automation --- Algorism --- Arithmetic --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- 517.1 Mathematical analysis --- Foundations --- Programming --- Numerical Analysis.