- Table View
- List View
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13710)
by Alexandre Madeira Manuel A. MartinsThis book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12669)
by Markus RoggenbachThis book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
Recent Trends in Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28–30, Revised Selected Papers (Communications in Computer and Information Science #1905)
by Dmitry I. Ignatov Michael Khachay Andrey Kutuzov Habet Madoyan Ilya Makarov Irina Nikishina Alexander Panchenko Maxim Panov Panos M. Pardalos Andrey V. Savchenko Evgenii Tsymbalov Elena Tutubalina Sergey ZagoruykoThis book constitutes the refereed proceedings of the 11th International Conference on Recent Trends in Analysis of Images, Social Networks and Texts, AIST 2023, held in Yerevan, Armenia, during September 28–30, 2023. The 19 full papers 2 short papers and 1 demo paper included in this book were carefully reviewed and selected from 52 submissions. They were organized in topical sections as follows: Natural Language Processing; Computer Vision; Data Analysis and Machine Learning; Network Analysis; Theoretical Machine Learning and Optimization; and Demo Paper.
Recent Trends in Combinatorics
by Andrew Beveridge Jerrold R. Griggs Leslie Hogben Gregg Musiker Prasad TetaliThis volume presents some of the research topics discussed at the 2014-2015 Annual Thematic Program Discrete Structures: Analysis and Applications at the Institute for Mathematics and its Applications during Fall 2014, when combinatorics was the focus. Leading experts have written surveys of research problems, making state of the art results more conveniently and widely available. The three-part structure of the volume reflects the three workshops held during Fall 2014. In the first part, topics on extremal and probabilistic combinatorics are presented; part two focuses on additive and analytic combinatorics; and part three presents topics in geometric and enumerative combinatorics. This book will be of use to those who research combinatorics directly or apply combinatorial methods to other fields.
Recent Trends in Communication and Intelligent Systems: Proceedings of ICRTCIS 2023 (Algorithms for Intelligent Systems)
by Aditya Kumar Singh Pundir Anupam Yadav Swagatam DasThe book presents best selected research papers presented at the Fourth International Conference on Recent Trends in Communication and Intelligent Systems (ICRTCIS 2023), organized by Arya College of Engineering and IT, Jaipur, on April 28–29, 2023. It discusses the latest technologies in communication and intelligent systems, covering various areas of communication engineering, such as signal processing, VLSI design, embedded systems, wireless communications, and electronics and communications in general. Featuring work by leading researchers and technocrats, the book serves as a valuable reference resource for young researchers and academics as well as practitioners in industry.
Recent Trends in Communication and Intelligent Systems: Proceedings of ICRTCIS 2021 (Algorithms for Intelligent Systems)
by Aditya Kumar Singh Pundir Neha Yadav Harish Sharma Swagatam DasThis book presents best selected research papers presented at the Third International Conference on Recent Trends in Communication and Intelligent Systems (ICRTCIS 2021), organized by Arya College of Engineering and IT, Jaipur, on 22-23 October 2021. It discusses the latest technologies in communication and intelligent systems, covering various areas of communication engineering, such as signal processing, VLSI design, embedded systems, wireless communications, and electronics and communications in general. Featuring work by leading researchers and technocrats, the book serves as a valuable reference resource for young researchers and academics as well as practitioners in industry.
Recent Trends in Computational Sciences: Proceedings of the Fourth Annual International Conference on Data Science, Machine Learning and Blockchain Technology (AICDMB 2023), Mysuru, India, 16-17 March 2023
by H L Gururaj M R Pooja Francesco FlamminiThis book is a compilation of research papers and presentations from the Fourth Annual International Conference on Data Science, Machine Learning and Blockchain Technology (AICDMB 2023, Mysuru, India, 16-17 March 2023). The book covers a wide range of topics, including data mining, natural language processing, deep learning, computer vision, big data analytics, cryptography, smart contracts, decentralized applications, and blockchain-based solutions for various industries such as healthcare, finance, and supply chain management. The research papers presented in this book highlight the latest advancements and practical applications in data science, machine learning, and blockchain technology, and provide insights into the future direction of these fields. The book serves as a valuable resource for researchers, students, and professionals in the areas of data science, machine learning, and blockchain technology.
Recent Trends in Intelligence Enabled Research: Selected Papers of Fifth Doctoral Symposium, DoSIER 2023 (Advances in Intelligent Systems and Computing #1457)
by Siddhartha Bhattacharyya Gautam Das Sourav De Leo MrsicThis book gathers extended versions of papers presented at DoSIER 2023 (Fifth Doctoral Symposium on Intelligence Enabled Research, held at Cooch Behar Government Engineering College, West Bengal, India, during December 20–21, 2023). The papers address the rapidly expanding research area of computational intelligence, which, no longer limited to specific computational fields, has since made inroads in signal processing, smart manufacturing, predictive control, robot navigation, smart cities, and sensor design, to name but a few. Presenting chapters written by experts active in these areas, the book offers a valuable reference guide for researchers and industrial practitioners alike and inspires future studies.
Recent Trends in Lorentzian Geometry
by Alfonso Romero Miguel Ortega Miguel SánchezTraditionally, Lorentzian geometry has been used as a necessary tool to understand general relativity, as well as to explore new genuine geometric behaviors, far from classical Riemannian techniques. Recent progress has attracted a renewed interest in this theory for many researchers: long-standing global open problems have been solved, outstanding Lorentzian spaces and groups have been classified, new applications to mathematical relativity and high energy physics have been found, and further connections with other geometries have been developed. Samples of these fresh trends are presented in this volume, based on contributions from the VI International Meeting on Lorentzian Geometry, held at the University of Granada, Spain, in September, 2011. Topics such as geodesics, maximal, trapped and constant mean curvature submanifolds, classifications of manifolds with relevant symmetries, relations between Lorentzian and Finslerian geometries, and applications to mathematical physics are included. This book will be suitable for a broad audience of differential geometers, mathematical physicists and relativists, and researchers in the field.
Recent Trends in Mathematical Modeling and High Performance Computing: M3HPCST-2020, Ghaziabad, India, January 9-11, 2020 (Trends in Mathematics)
by Vinai K. Singh Yaroslav D. Sergeyev Andreas FischerThis volume explores the connections between mathematical modeling, computational methods, and high performance computing, and how recent developments in these areas can help to solve complex problems in the natural sciences and engineering. The content of the book is based on talks and papers presented at the conference Modern Mathematical Methods and High Performance Computing in Science & Technology (M3HPCST), held at Inderprastha Engineering College in Ghaziabad, India in January 2020. A wide range of both theoretical and applied topics are covered in detail, including the conceptualization of infinity, efficient domain decomposition, high capacity wireless communication, infectious disease modeling, and more. These chapters are organized around the following areas:Partial and ordinary differential equationsOptimization and optimal controlHigh performance and scientific computingStochastic models and statistics Recent Trends in Mathematical Modeling and High Performance Computing will be of interest to researchers in both mathematics and engineering, as well as to practitioners who face complex models and extensive computations.
Recent Trends in Naval Engineering Research (STEAM-H: Science, Technology, Engineering, Agriculture, Mathematics & Health)
by Anthony A. Ruffa Bourama ToniThis multidisciplinary volume is the second in the STEAM-H series to feature invited contributions on mathematical applications in naval engineering. Seeking a more holistic approach that transcends current scientific boundaries, leading experts present interdisciplinary instruments and models on a broad range of topics. Each chapter places special emphasis on important methods, research directions, and applications of analysis within the field. Fundamental scientific and mathematical concepts are applied to topics such as microlattice materials in structural dynamics, acoustic transmission in low Mach number liquid flow, differential cavity ventilation on a symmetric airfoil, Kalman smoother, metallic foam metamaterials for vibration damping and isolation, seal whiskers as a bio-inspired model for the reduction of vortex-induced vibrations, multidimensional integral for multivariate weighted generalized Gaussian distributions, minimum uniform search track placement for rectangular regions, antennas in the maritime environment, the destabilizing impact of non-performers in multi-agent groups, inertial navigation accuracy with bias modeling.Carefully peer-reviewed and pedagogically presented for a broad readership, this volume is perfect to graduate and postdoctoral students interested in interdisciplinary research. Researchers in applied mathematics and sciences will find this book an important resource on the latest developments in naval engineering. In keeping with the ideals of the STEAM-H series, this volume will certainly inspire interdisciplinary understanding and collaboration.
Recent Trends in Physics of Material Science and Technology
by Ford Lumban Gaol Keshav Shrivastava Jamil AkhtarThis book discusses in detail the recent trends in Computational Physics, Nano-physics and Devices Technology. Numerous modern devices with very high accuracy, are explored In conditions such as longevity and extended possibilities to work in wide temperature and pressure ranges, aggressive media, etc. This edited volume presents 32 selected papers of the 2013 International Conference on Science & Engineering in Mathematics, Chemistry and Physics. The book is divided into three scientific Sections: (i) Computational Physics, (ii) Nanophysics and Technology, (iii) Devices and Systems and is addressed to Professors, post-graduate students, scientists and engineers taking part in R&D of nano-materials, ferro-piezoelectrics, computational Physics and devices system, and also different devices based on broad applications in different areas of modern science and technology.
Recent Trends in Sports Engineering: Select Proceedings of ICSE 2023 (Lecture Notes in Mechanical Engineering)
by Suvanjan Bhattacharyya David JamesThis book presents the select proceedings of 3rd International Conference on Sports Engineering (ICSE 2023). It bridges the gap between sports industry and academia for improving sports infrastructure and facilities. Various topics covered in this book are design, manufacturing and testing of synthetic sports surfaces, design of training aids in sports, fitness and recreation activities, simulation and mathematical modelling of sports performance, designing sports facilities including indoor and outdoor Stadium, wearable exoskeletons and prosthesis in para sports, Olympic and Paralympic Sports equipment, artificial intelligence in sports training & performance, machine learning and computer vision, computer-aided design and application in sports, computer supported sports training and performance prediction, video analysis and image processing, sports analytics and data science. The book is useful for researchers and professionals working in the area of sports engineering.
Rechenwege für die Multiplikation und ihre Umsetzung: Einsicht in operative Beziehungen erlangen und aufgabenadäquat anwenden (Perspektiven der Mathematikdidaktik)
by Martina Greiler-ZauchnerIm Fokus der vorliegenden Untersuchung stehen Rechenwege für Multiplikationen einstelliger mit zweistelligen Zahlen und damit zusammenhängende Einsichten von Kindern in die zugrundeliegenden operativen Beziehungen. Diese werden vor und nach der Umsetzung eines Lernarrangements in Klassen der dritten Schulstufe erhoben. Neben dem sicheren Anwenden verschiedener Rechenwege sollten Kinder Einsicht in Beziehungen und Strukturen entwickeln und Rechenwege zunehmend aufgabenadäquat wählen, indem sie über vorteilhaftes Rechnen in Bezug auf Aufgabenmerkmale reflektieren.Die vor und nach der Umsetzung des Lernarrangements gezeigten Rechenwege werden klassifiziert. Darüber hinaus wird in der vorliegenden Arbeit eine empirisch begründete Typisierung nach den verwendeten Rechenwegen generiert. Die Typenbildung unterscheidet in Abstufungen Kinder, die ausschließlich den Universalrechenweg über stellengerechtes Zerlegen in eine Summe nutzen und Kinder, die zusätzlich besondere Aufgabenmerkmale erkennen und anwenden. Weitere Ergebnisse liefern Aussagen zu Hürden, die in den Lernprozessen auftreten können sowie zu erreichbaren Lernzielen in Bezug auf ein aufgabenadäquates Vorgehen.
Rechnen lernen und Flexibilität entwickeln
by Elisabeth Rathgeb-Schnierer Charlotte RechtsteinerDieser Band thematisiert vielseitig und aspektreich das flexible Rechnen in der Grundschule. Die Notwendigkeit der Förderung flexibler Rechenkompetenzen im Mathematikunterricht der Grundschule ist unumstritten und über die Zielrichtung des Mathematiklernens besteht Konsens: Kinder sollen bei der Ablösung des zählenden Rechnens begleitet und zum flexiblen Rechnen herausgefordert werden. Was bedeutet dies aber konkret? Was verstehen wir unter flexiblem Rechnen und wie kann flexibles Rechnen im Sinne eines kumulativen Aufbaus über die gesamte Grundschulzeit bei Kindern mit verschiedenen Lernvoraussetzungen gefördert werden? Diesen Fragen wird im Buch nachgegangen: Im Vordergrund steht dabei das Ziel, die Thematik einerseits theoretisch detailliert aufzuarbeiten, andererseits sie im Hinblick auf Unterricht zu konkretisieren. Die theoretische Aufarbeitung beschäftigt sich zunächst mit dem Prozess des Rechnens und darauf aufbauend allgemein mit Überlegungen zum Rechnenlernen und zur Entwicklung von Flexibilität. Die unterrichtspraktischen Aktivitäten im Rahmen der Zahlenblickschulung beziehen sich vorwiegend auf die Klassen 1 bis 3, da der Schwerpunkt des flexiblen Rechnens im Bereich des Zahlenrechnens im Zahlenraum bis 1000 liegt. Zielgruppen dieses Buches sind sowohl Studierende, Referendare und Referendarinnen als auch Lehrerinnen und Lehrer der Primarstufe.
Reciprocal Learning for Cross-Cultural Mathematics Education: A Partnership Project Between Canada and China (Intercultural Reciprocal Learning in Chinese and Western Education)
by Sijia Cynthia Zhu Shu Xie Yunpeng Ma Douglas McDougallThis edited volume examines new ways of teaching mathematics through a cross-cultural reciprocal learning project between sister schools in Canada and China. Situating teacher learning in the intersection of the two different school systems, curriculums, and cultures of mathematics learning and teaching in both nations, this volume offers teachers a unique and much-needed perspective on how practices between countries become more and more likely shaped by each other in the emerging global society. Born out of a comparative study project sponsored by the SSHRC, this volume compiles five years' worth of findings from reciprocal partnerships between researchers, teachers, school administrators, and students from both nations. Through the process of reciprocal learning and narrative inquiry, the research described in these chapters illuminates the unknown and shares newly-created mathematics education knowledge.
Reciprocity, Spatial Mapping and Time Reversal in Electromagnetics
by C. Altman K. SuchyThis long awaited second edition traces the original developments from the 1970s and brings them up to date with new and previously unpublished material to give this work a new lease of life for the early twenty-first century and readers new to the topic. In the winter of 1970-71, Colman Altman had been finding almost exact symmetries in the computed reflection and transmission matrices for plane-stratified magnetoplasmas when symmetrically related directions of incidence were compared. At the suggestion of Kurt Suchy the complex conjugate wave fields, used to construct the eigenmode amplitudes via the mean Poynting flux densities, were replaced by the adjoint wave fields that would propagate in a medium with transposed constitutive tensors, to yield a scattering theorem - reciprocity in k-space -- in the computer output. To prove the result analytically, one had to investigate the properties of the adjoint Maxwell system, and the two independent proofs that followed, in 1975 and 1979, proceeded according to the personal preference of each of the authors. The proof given in this volume, based on the hindsight provided by later results, is much more simple and concise. Later, when media with bianisotropic constitutive tensors were investigated, it was found that conjugate (reciprocal) media and wave fields could be formed by any orthogonal spatial mapping of those in the original problem, after media and fields were reversed in time. The result was still quite general and not limited to stratified systems. The second line of development was to find the link between reciprocity in k-space and Lorentz reciprocity involving currents and sources in physical space. This was done for plane-stratified media by applying the scattering theorem to the plane-wave spectrum of eigenmodes radiated by one current source and reaching the second source. The reverse linkage between Lorentz reciprocity and reciprocity in k-space had already been found. However, this was the first time that the results were presented in a systematic and mathematically well-defined procedure to serve as a tool for solving problems of reciprocity and scattering symmetries. The use of time reversal gives rise to problems of causality when sources are present, but when the interaction between two systems is involved the non-causal effects are irrelevant. The insight gained during these investigations enabled the authors to present many of the earlier theorems and results, both their own and those of others, in a compact and unified approach, which has been the main strength of this book. This new edition has been revised, corrected and updated where necessary to give a complete picture of this interesting topic for the present generation of scientists.
Reckonings: Numerals, Cognition, and History
by Stephen ChrisomalisInsights from the history of numerical notation suggest that how humans write numbers is an active choice involving cognitive and social factors.Over the past 5,000 years, more than 100 methods of numerical notation--distinct ways of writing numbers--have been developed and used by specific communities. Most of these are barely known today; where they are known, they are often derided as cognitively cumbersome and outdated. In Reckonings, Stephen Chrisomalis considers how humans past and present use numerals, reinterpreting historical and archaeological representations of numerical notation and exploring the implications of why we write numbers with figures rather than words.
Reclaiming the Forest: The Ewenki Reindeer Herders of Aoluguya
by Åshild Kolås Yuanyuan XieThe reindeer herders of Aoluguya, China, are a group of former hunters who today see themselves as “keepers of reindeer” as they engage in ethnic tourism and exchange experiences with their Ewenki neighbors in Russian Siberia. Though to some their future seems problematic, this book focuses on the present, challenging the pessimistic outlook, reviewing current issues, and describing the efforts of the Ewenki to reclaim their forest lifestyle and develop new forest livelihoods. Both academic and literary contributions balance the volume written by authors who are either indigenous to the region or have carried out fieldwork among the Aoluguya Ewenki since the late 1990s.
Recollections of a Jewish Mathematician in Germany
by Abraham A. FraenkelJiska Cohen-MansfieldAbraham A. Fraenkel was a world-renowned mathematician in pre-Second World War Germany, whose work on set theory was fundamental to the development of modern mathematics. A friend of Albert Einstein, he knew many of the era's acclaimed mathematicians personally. He moved to Israel (then Palestine under the British Mandate) in the early 1930s. In his autobiography Fraenkel describes his early years growing up as an Orthodox Jew in Germany and his development as a mathematician at the beginning of the twentieth century. This memoir, originally written in German in the 1960s, has now been translated into English, with an additional chapter covering the period from 1933 until his death in 1965 written by the editor, Jiska Cohen-Mansfield. Fraenkel describes the world of mathematics in Germany in the first half of the twentieth century, its origins and development, the systems influencing it, and its demise. He also paints a unique picture of the complex struggles within the world of Orthodox Jewry in Germany. In his personal life, Fraenkel merged these two worlds during periods of turmoil including the two world wars and the establishment of the state of Israel. Including a new foreword by Menachem Magidor Foreword to the 1967 German edition by Yehoshua Bar-Hillel
Recommender Systems: Frontiers and Practices
by Dongsheng Li Jianxun Lian Le Zhang Kan Ren Tun Lu Tao Wu Xing XieThis book starts from the classic recommendation algorithms, introduces readers to the basic principles and main concepts of the traditional algorithms, and analyzes their advantages and limitations. Then, it addresses the fundamentals of deep learning, focusing on the deep-learning-based technology used, and analyzes problems arising in the theory and practice of recommender systems, helping readers gain a deeper understanding of the cutting-edge technology used in these systems. Lastly, it shares practical experience with Microsoft 's open source project Microsoft Recommenders. Readers can learn the design principles of recommendation algorithms using the source code provided in this book, allowing them to quickly build accurate and efficient recommender systems from scratch.
Recommender Systems: A Multi-Disciplinary Approach (Intelligent Systems)
by Monideepa Roy Pushpendu Kar Sujoy DattaRecommender Systems: A Multi-Disciplinary Approach presents a multi-disciplinary approach for the development of recommender systems. It explains different types of pertinent algorithms with their comparative analysis and their role for different applications. This book explains the big data behind recommender systems, the marketing benefits, how to make good decision support systems, the role of machine learning and artificial networks, and the statistical models with two case studies. It shows how to design attack resistant and trust-centric recommender systems for applications dealing with sensitive data. Features of this book: Identifies and describes recommender systems for practical uses Describes how to design, train, and evaluate a recommendation algorithm Explains migration from a recommendation model to a live system with users Describes utilization of the data collected from a recommender system to understand the user preferences Addresses the security aspects and ways to deal with possible attacks to build a robust system This book is aimed at researchers and graduate students in computer science, electronics and communication engineering, mathematical science, and data science.
Recommender Systems: Algorithms and their Applications (Transactions on Computer Systems and Networks)
by Monideepa Roy Pushpendu Kar Sujoy DattaThe book includes a thorough examination of the many types of algorithms for recommender systems, as well as a comparative analysis of them. It addresses the problem of dealing with the large amounts of data generated by the recommender system. The book also includes two case studies on recommender system applications in healthcare monitoring and military surveillance. It demonstrates how to create attack-resistant and trust-centric recommender systems for sensitive data applications. This book provides a solid foundation for designing recommender systems for use in healthcare and defense.
Reconceptualizing Early Mathematics Learning
by Joanne T. Mulligan Lyn D. EnglishThis book emanated primarily from concerns that the mathematical capabilities of young children continue to receive inadequate attention in both the research and instructional arenas. Research over many years has revealed that young children have sophisticated mathematical minds and a natural eagerness to engage in a range of mathematical activities. As the chapters in this book attest, current research is showing that young children are developing complex mathematical knowledge and abstract reasoning a good deal earlier than previously thought. A range of studies in prior to school and early school settings indicate that young learners do possess cognitive capacities which, with appropriately designed and implemented learning experiences, can enable forms of reasoning not typically seen in the early years. Although there is a large and coherent body of research on individual content domains such as counting and arithmetic, there have been remarkably few studies that have attempted to describe characteristics of structural development in young students' mathematics. Collectively, the chapters highlight the importance of providing more exciting, relevant, and challenging 21st century mathematics learning for our young students. The chapters provide a broad scope in their topics and approaches to advancing young children's mathematical learning. They incorporate studies that highlight the importance of pattern and structure across the curriculum, studies that target particular content such as statistics, early algebra, and beginning number, and studies that consider how technology and other tools can facilitate early mathematical development. Reconceptualising the professional learning of teachers in promoting young children's mathematics, including a consideration of the role of play, is also addressed.
Reconceptualizing Mathematics: for Elementary School Teachers
by Judith Sowder Larry Sowder Susan Nickerson Ian WhitacreLearn by doing with active resources, discussions, and support in Reconceptualizing Mathematics and Achieve! Student-centered lessons model the teaching that will eventually be expected of you as you gain valuable hands-on experience with technology, problem solving, and quantitative reasoning.