1,724,355 research outputs found
3D Printing and Sustainable Product Development
No full textThe text focuses on the role and the importance of 3D printing in new product development processes. It covers various aspects such as the 3D printing revolution and Industry 4.0, sustainability and 3D printing, and economics of
3D printing. It discusses important concepts, including 3D printing, rapid prototyping, mechanical and physical properties of 3D printed parts, nanomaterials, and material aspects of 3D printing. Features
1. Presents recent advances such as Industry 4.0, 4D printing, 3D material mechanical characterization, and printing of advanced materials.
2. Highlights the interdisciplinary aspects of 3D printing, particularly in biomedical, and aerospace engineering.
3. Discusses mechanical and physical properties of 3D printed parts, material aspects, and process parameters.
4. Showcases topics such as rapid prototyping, medical equipment design,
and biomimetics related to the role of 3D printing in new product development.
5. Covers applications of 3D printing in diverse areas, including automotive, aerospace engineering, medical, and marine industry.
It will serve as an ideal reference text for senior undergraduate, graduate students, and researchers in diverse engineering domains, including manufacturing, mechanical, aerospace, automotive, and industrial
Preface to Machine Learning for Robotics Applications
No full textMachine learning has become one of the most prevalent topics in recent years. The application of machine learning we see today is a tip of the iceberg. The machine learning revolution has just started to roll out. It is becoming an integral part of all modern electronic devices. Applications in automation areas like automotive, security and surveillance, augmented reality, smart home, retail automation and healthcare are few of them. Robotics is also rising to dominate the automated world. The future applications of machine learning in the robotics area are still undiscovered to the common readers. We are, therefore, putting an effort to write this edited book on the future applications of machine learning on robotics where several applications have been included in separate chapters. The content of the book is technical. It has been tried to cover all possible application areas of Robotics using machine learning. This book will provide the future vision on the unexplored areas of applications of Robotics using machine learning. The ideas to be presented in this book are backed up by original research results. The chapter provided here in-depth look with all necessary theory and mathematical calculations. It will be perfect for laymen and developers as it will combine both advanced and introductory material to form an argument for what machine learning could achieve in the future. It will provide a vision on future areas of application and their approach in detail. Therefore, this book will be immensely beneficial for the academicians, researchers and industry project managers to develop their new project and thereby beneficial for mankind. Original research and review works with model and build Robotics applications using Machine learning are included as chapters in this book
KANPUR VISHV VIDYALAY MEN SANGATHIT APARADHIYON KE FARJIWARON SE JAARI DEGREE VYAAPAR EVAM NAKAL PAREEKSHAA PER ANKUSH LAGANA CHAHIYE
No full textAttached Matter "KANPUR VISHV VIDYALAY MEN SANGATHIT APARADHIYON KE FARJIWARON SE JAARI DEGREE VYAAPAR EVAM NAKAL PAREEKSHAA PER ANKUSH HETU
One foot in the city, one in the village: India’s urban poor and their rural bonds
No full textWhen many of India’s poor move from their rural homes to the country’s packed cities, they remain registered in their village. Here Ankush Agrawal (Indian Institute of Technology Delhi) and Vikas Kumar (Azim Premji University, Bengaluru) explain the reasons why India’s urban poor keep a foot in villages and its policy consequences
Rast: A Language for Resource-Aware Session Types
No full textTraditional session types prescribe bidirectional communication protocols for
concurrent computations, where well-typed programs are guaranteed to adhere to
the protocols. However, simple session types cannot capture properties beyond
the basic type of the exchanged messages. In response, recent work has extended
session types with refinements from linear arithmetic, capturing intrinsic
attributes of processes and data. These refinements then play a central role in
describing sequential and parallel complexity bounds on session-typed programs.
The Rast language provides an open-source implementation of session-typed
concurrent programs extended with arithmetic refinements as well as ergometric
and temporal types to capture work and span of program execution. To further
support generic programming, Rast also enhances arithmetically refined session
types with recently developed nested parametric polymorphism. Type checking
relies on Cooper's algorithm for quantifier elimination in Presburger
arithmetic with a few significant optimizations, and a heuristic extension to
nonlinear constraints. Rast furthermore includes a reconstruction engine so
that most program constructs pertaining the layers of refinements and resources
are inserted automatically. We provide a variety of examples to demonstrate the
expressivity of the language
Session Types with Arithmetic Refinements
No full textSession types statically prescribe bidirectional communication protocols for message-passing processes. However, simple session types cannot specify properties beyond the type of exchanged messages. In this paper we extend the type system by using index refinements from linear arithmetic capturing intrinsic attributes of data structures and algorithms. We show that, despite the decidability of Presburger arithmetic, type equality and therefore also subtyping and type checking are now undecidable, which stands in contrast to analogous dependent refinement type systems from functional languages. We also present a practical, but incomplete algorithm for type equality, which we have used in our implementation of Rast, a concurrent session-typed language with arithmetic index refinements as well as ergometric and temporal types. Moreover, if necessary, the programmer can propose additional type bisimulations that are smoothly integrated into the type equality algorithm
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)
No full textTraditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere to the protocols. Recent work has extended session types with refinements from linear arithmetic, capturing intrinsic properties of processes and data. These refinements then play a central role in describing sequential and parallel complexity bounds on session-typed programs.
The Rast language and system provide an open-source implementation of session-typed concurrent programs extended with arithmetic refinements as well as ergometric and temporal types to capture work and span of program execution. Type checking relies on Cooper’s algorithm for quantifier elimination in Presburger arithmetic with a few significant optimizations, and a heuristic extension to nonlinear constraints. Rast furthermore includes a reconstruction engine so that most program constructs pertaining the layers of refinements and resources are inserted automatically. We provide a variety of examples to demonstrate the expressivity of the language
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
No full text“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
- …
