Download or read book Handbook of Research on Didactic Strategies and Technologies for Education Incorporating Advancements written by Pumilia-Gnarini, Paolo M. and published by IGI Global. This book was released on 2012-09-30 with total page 993 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book is designed to be a platform for the most significant educational achievements by teachers, school administrators, and local associations that have worked together in public institutions that range from primary school to the university level"--Provided by publisher.

Download or read book Computer Based Mathematics Education and the Use of MatCos Software in Primary and Secondary Schools written by Costabile, Francesco Aldo and published by IGI Global. This book was released on 2020-08-07 with total page 522 pages. Available in PDF, EPUB and Kindle. Book excerpt: The theme of inserting new digital technologies into the teaching and learning of mathematics from primary and secondary schools has provoked a wide and interesting debate. One such debate is the reformation of the foundations of mathematics to include computation (what and how to calculate) among the traditional themes (Arithmetic, Geometry, etc.) of mathematics. Thus, the authors propose the MatCos Project as a new approach for solving this issue. Computer-Based Mathematics Education and the Use of MatCos Software in Primary and Secondary Schools is a critical reference source that proposes a new pedagogical-learning paradigm that guides students in the formation of an active, logical-sequential, intuitive, and creative thinking that directs them towards problem-solving and starts students with computational thinking and programming in a natural way. The content of the book is divided into two parts, with the first exploring theoretical and pedagogical notes on mathematics and the second examining the MatCos programming environment and its systematic inclusion in teaching practice. Highlighting themes that include computer-assisted instruction, teaching-learning sequences, and programming, this book is ideal for in-service teachers, mathematics instructors, academicians, researchers, and students.

Download or read book Arch 01 written by C. Abdunur and published by Presses des Ponts. This book was released on 2001 with total page 1024 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les ponts en arc font actuellement face au double défi de protéger leur patrimoine et de rivaliser avec d'autres formes plus récentes de structures. La conservation des ponts en arc implique de multiples impératifs : une politique saine d'inspection et de suivi, des méthodes précises d'investigation, une évaluation fiable et un éventuel diagnostic, des moyens efficaces de maintenance, de réparation, de renforcement et d'élargissement. Pendant que des ouvrages existants sont réparés et revalorisés, de nouveaux ponts en arc, de -nies traditionnelles et à " l'échelle humaine ", continuent à se construire, en utilisant des matériaux et procédés améliorés et rentables, assurant longévité et respect de l'environnement. Au premier plan de cette continuité, les concepteurs des ponts en béton, dans les hémisphères Nord et Sud, s'efforcent avec succès de réaliser des portées en arc de plus en plus longues, frôlant les 400 mètres dans les années 1980. Récemment, sur d'autres sites spectaculaires, des records de portées ont été battus par trois ponts en arc respectivement en pierre, en béton, en tubes d'acier remplis de béton. Une telle avancée ne manquera pas d'inciter les ingénieurs à rechercher des formes d'arc encore plus audacieuses et élégantes. Sur le large éventail des thèmes proposés, de nombreux auteurs, de plus de vingt-cinq pays, ont apporté des contributions majeures rappelant que les ponts en arc n'ont rien perdu de leur actualité et que, malgré les leçons assimilées de leur prestigieux héritage, leur conception stimule toujours la créativité des ingénieurs et des architectes. Ces contributions sont réunies dans le présent volume édité à l'occasion de la Troisième Conférence internationale sur les Ponts en Arc, tenue à Paris en septembre 2001. Arch bridges face at present the double challenge of protecting their heritage and competing with other more recent structural forms. The conservation of the arch bridge heritage successively requires sound inspection and monitoring policies, accurate investigative methods, reliable assessment and eventual diagnosis, efficient means for maintenance, repair, strengthening and widening. While existing structures are being repaired and upgraded, new arch bridges, of traditional forms and on a "human scale", continue to be constructed, using improved and cost-effective materials and procedures, ensuring longevity and respect for the environment. In the forefront of this continuity, concrete bridge designers, in the northern and southern hemispheres, have successfully been striving for ever larger arch spans, closely approaching 400 m in the 1980's. Lately, at other spectacular sites, span records were beaten in three arch bridges respectively using stone, concrete and slender concrete-filled steel tubes. This breakthrough may encourage engineers to seek more daring and elegant forms of arch. On the broad spectrum of the suggested topics, numerous authors, from more than twenty-five countries, have recently offered major contributions, reminding that arch bridges have nothing lost of their appeal and that, for all the lessons learnt from their prestigious heritage, their design still simulates the creativity of engineers and architects. These contributions are put together in the present volume edited on the occasion of the Third International Arch Bridge Conference held in Paris in September 2001.

Download or read book Advanced Methodologies and Technologies in Artificial Intelligence Computer Simulation and Human Computer Interaction written by Khosrow-Pour, D.B.A., Mehdi and published by IGI Global. This book was released on 2018-09-28 with total page 1456 pages. Available in PDF, EPUB and Kindle. Book excerpt: As modern technologies continue to develop and evolve, the ability of users to adapt with new systems becomes a paramount concern. Research into new ways for humans to make use of advanced computers and other such technologies through artificial intelligence and computer simulation is necessary to fully realize the potential of tools in the 21st century. Advanced Methodologies and Technologies in Artificial Intelligence, Computer Simulation, and Human-Computer Interaction provides emerging research in advanced trends in robotics, AI, simulation, and human-computer interaction. Readers will learn about the positive applications of artificial intelligence and human-computer interaction in various disciples such as business and medicine. This book is a valuable resource for IT professionals, researchers, computer scientists, and researchers invested in assistive technologies, artificial intelligence, robotics, and computer simulation.

Download or read book Summaries of Publications written by Politecnico di Milano. Dipartimento di Ingegneria Strutturale and published by . This book was released on 1993 with total page 72 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Logic and Algebra written by Aldo Ursini and published by Routledge. This book was released on 2017-10-05 with total page 728 pages. Available in PDF, EPUB and Kindle. Book excerpt: ""Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s.

Download or read book Handbook on Intelligent Techniques in the Educational Process written by Mirjana Ivanović and published by Springer Nature. This book was released on 2022-06-15 with total page 399 pages. Available in PDF, EPUB and Kindle. Book excerpt: Education has a substantial impact and influences on almost all sectors in modern society. Different computer-supported educational systems have been developing for many decades to support and make easier teaching and learning processes on all levels of education. Influences of rapid development of Information Communication Technologies and other related disciplines on design and implementation of intelligent, sophisticated educational systems are evident. Nowadays intensive development and wide applications of Artificial Intelligent techniques significantly affect the development of intelligent tutoring systems, smart learning environments that incorporate virtual and augmented reality and robots. Artificial Intelligence has the potential to address some of the biggest challenges in education today, but also in the future in order to establish innovative teaching and learning practices facilitated by powerful educational datamining and learning analytics. This book presents a collection of 17 chapters that bring interesting aspects of the state-of-the-art of application of intelligent techniques in different educational processes and settings. We believe that the works presented in the book will be of great interest to readers and that will motivate them to try to enhance presented approaches and propose better and more advanced solutions.

Download or read book Extended Thermodynamics written by Ingo Müller and published by Springer Science & Business Media. This book was released on 2013-03-08 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: Physicists firmly believe that the differential equations of nature should be hyperbolic so as to exclude action at a distance; yet the equations of irreversible thermodynamics - those of Navier-Stokes and Fourier - are parabolic. This incompatibility between the expectation of physicists and the classical laws of thermodynamics has prompted the formulation of extended thermodynamics. After describing the motifs and early evolution of this new branch of irreversible thermodynamics, the authors apply the theory to mon-atomic gases, mixtures of gases, relativistic gases, and "gases" of phonons and photons. The discussion brings into perspective the various phenomena called second sound, such as heat propagation, propagation of shear stress and concentration, and the second sound in liquid helium. The formal mathematical structure of extended thermodynamics is exposed and the theory is shown to be fully compatible with the kinetic theory of gases. The study closes with the testing of extended thermodynamics through the exploitation of its predictions for measurements of light scattering and sound propagation.

Download or read book Computational Science and Its Applications ICCSA 2020 written by Osvaldo Gervasi and published by Springer Nature. This book was released on 2020-09-28 with total page 1085 pages. Available in PDF, EPUB and Kindle. Book excerpt: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event. Computational Science is the main pillar of most of the present research, industrial and commercial applications, and plays a unique role in exploiting ICT innovative technologies. The 466 full papers and 32 short papers presented were carefully reviewed and selected from 1450 submissions. Apart from the general track, ICCSA 2020 also include 52 workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as software engineering, security, machine learning and artificial intelligence, blockchain technologies, and of applications in many fields.

Download or read book Books and Periodicals Online written by and published by . This book was released on 1997 with total page 1588 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Search for a Theory of Cognition written by Stefano Franchi and published by Rodopi. This book was released on 2011 with total page 397 pages. Available in PDF, EPUB and Kindle. Book excerpt: Preliminary Material -- LIFE, DEATH, AND RESURRECTION OF THE HOMEOSTAT /Stefano Franchi -- THE ONTOLOGY OF THE ENEMY: NORBERT WIENER AND THE CYBERNETIC VISION /Peter Galison -- COMPUTERS AS MODELS OF THE MIND: ON SIMULATIONS, BRAINS, AND THE DESIGN OF COMPUTERS /Peter Asaro -- AT THE PERIPHERY OF THE RISING EMPIRE: THE CASE OF ITALY (1945-1968) /Claudio Pogliano -- PROCESSING CULTURES: “STRUCTURALISM” IN THE HISTORY OF ARTIFICIAL INTELLIGENCE /Patrice Maniglier -- ARTIFICIAL INTELLIGENCE WITH A NATIONAL FACE: AMERICAN AND SOVIET CULTURAL METAPHORS FOR THOUGHT /Slava Gerovitch -- THE CARTESIAN-LEIBNIZIAN TURING TEST /Francesco Bianchini -- TURING COMPUTABILITY AND LEIBNIZ COMPUTABILITY /Maurizio Matteuzzi -- LOGICAL INSTRUMENTS: REGULAR EXPRESSIONS, AI, AND THINKING ABOUT THINKING /Christopher M. Kelty -- GÖDEL, NAGEL, MINDS, AND MACHINES /Solomon Feferman -- ENTANGLING EFFECTIVE PROCEDURES: FROM LOGIC MACHINES TO QUANTUM AUTOMATA /Rossella Lupacchini -- TURING 1948 VS. GÖDEL 1972 /Giorgio Sandri -- WORKS CITED -- INDEX -- ABOUT THE CONTRIBUTORS -- VIBS.

Download or read book Subject Catalog written by Library of Congress and published by . This book was released on 1979 with total page 1044 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Quantitative Linguistik Quantitative Linguistics written by Reinhard Köhler and published by Walter de Gruyter. This book was released on 2008-07-14 with total page 1056 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the past two decades, statistical and other quantitative concepts, models and methods have been increasingly gaining importance and interest in all areas of linguistics and text analysis, as well as in a number of neighboring disciplines and areas of application. The term "quantitative linguistics" comprises all scientific and technical approaches which use such terms and methods in the analysis of or work with language(s), texts and other related subjects. The 71 articles in this handbook, written by internationally-recognized experts, offer a broad, up-to-date overview of the scientific-theoretical principles, the history, the diversity of the subject areas studied, the methods and models used, the results obtained thus far and their applications. The articles are divided up into thirteen chapters: the first chapter includes contributions on the basic principles and the history of the field, nine additional chapters are dedicated to individual descriptions of the levels of linguistic research (from phonology to pragmatics) as well as typological, diachronic and geolinguistic questions. The next two chapters include a description of important models, hypotheses and principles; selected areas of application; and references to neighboring disciplines. The last portion of the handbook is an informative contribution, with information about publication forums, bibliographies, major projects, Internet links, etc. This handbook is useful not only for researchers, teachers and students of all branches of linguistics and the philologies, but also for scientists in neighboring fields, whose theoretical and empirical research touches on linguistic questions (for instance, psychology and sociology), or for those who want to make use of the proven methods or results from quantitative linguistics in their own research.

Download or read book Rendiconti di matematica e delle sue applicazioni written by Università degli studi di Roma "La Sapienza." Dipartimento di matematica and published by . This book was released on 1992 with total page 1294 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Calculi written by and published by . This book was released on 1973 with total page 136 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Bollettino Della Unione Matematica Italiana written by Unione matematica italiana and published by . This book was released on 1968 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Bibliography of Mathematical Logic written by Wolfgang Rautenberg and published by Springer. This book was released on 1987-06-16 with total page 536 pages. Available in PDF, EPUB and Kindle. Book excerpt: Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.