Refine Results
Sort By
From
To
Page 9
Page 9
Macchine matematiche : Dalla storia alla scuola = Mathematical Machines: From History to School
Presents the main mathematical machines for drawing curves, for applying geometrical transformations or for making classical perspectives.The publication constitutes an example of how history of mathematics may be useful for teaching today’s mathematics.
Lifetime Estimation of Welded Joints
In the paper the author attempts to assess the fatigue life of chosen welded joints. It focuses especially on chosen problems that accompany deter- nation of the fatigue life of welded joints, taking into consideration the strain energy density parameter.
Learning Classifier Systems in Data Mining
Just over thirty years after Holland first presented the outline for Learning Classifier System paradigm, the ability of LCS to solve complex real-world problems is becoming clear. In particular, their capability for rule induction in data mining has sparked renewed interest in LCS. This book brings together work by a number of individuals who are demonstrating their good performance in a variety of domains.
Laser Fabrication and Machining of Materials
Laser Fabrication and Machining of Materials introduces readers to the fundamental properties and physical phenomena of laser machining and its applications on the macro, micro, and nano scales. Examples of existing, emerging, and potential techniques are discussed, giving students and practicing engineers alike the opportunity to expand their use of lasers in such disciplines as mechanical processes, electronics, materials, and manufacturing.
Knowledge Representation Techniques : A Rough Set Approach
The basis for the material in this book centers around a long term research project with autonomous unmanned aerial vehicle systems. One of the main research topics in the project is knowledge representation and reasoning. The focus of the research has been on the development of tractable combinations of approximate and nonmonotonic reasoning systems. The techniques developed are based on intuitions from rough set theory. Efforts have been made to take theory into practice by instantiating research results in the context of traditional relational database or deductive database systems.
Kernel Based Algorithms for Mining Huge Data Sets : Supervised, Semi-supervised, and Unsupervised Learning
"Kernel Based Algorithms for Mining Huge Data Sets" is the first book treating the fields of supervised, semi-supervised and unsupervised machine learning collectively. The book presents both the theory and the algorithms for mining huge data sets by using support vector machines (SVMs) in an iterative way. It demonstrates how kernel based SVMs can be used for dimensionality reduction (feature elimination) and shows the similarities and differences between the two most popular unsupervised techniques, the principal component analysis (PCA) and the independent component analysis (ICA).
Compressor Instability with Integral Methods
Compressor Instability with Integral Methods" is a book, to bring together the quick integral approaches and advances in the field for the prediction of stall and surge problem in compressor. This book is useful for people involved in the flow analysis, design and testing of rotating machinery. For students, it can be used as a specialized topic of senior undergraduate or graduate study. The book can also be served as a self-study material to those who keen to acquire this knowledge. In brief, this book focuses on the numerical/computational analysis for the effect of distorted inlet flow propagation on the rotating stall and surge in axial compressors. It gains insight into the basic phenomena controlling these flow instabilities, and reveals the influence of inlet parameters on rotating stall and surge.
Climate Change and Technological Options : Basic facts, Evaluation and Practical Solutions
climate change focussing on technical solutions for the most important and climate relevant economic sectors is presented. It is intended for key decision makers, and administrators within industry, agricultural and energy sectors, as well as masters students and post graduates. The first of three sections covers the scientific basis of climate change and the instruments to prevent or reduce negative climate effects. It includes a survey covering current practices at different levels.It discusses evaluation methods for climate impacts from industrial processes. Climate relevant processes and measures to reduce their impact such as sequestration are defined in the final section, with the main focus being on renewable resources. Details are given on climate impacts of waste prevention, recycling and waste management as well as are proposals for every day solutions.
Climate Change and Energy Pathways for the Mediterranean : Workshop Proceedings, Cyprus
This the workshop proceedings present an overview of the implications of climate change for the eastern Mediterranean and the impact of climate change response on regional economic activity, particularly in the hydrocarbon industry.
Chemoinformatics : Theory, Practice, & Products
Chemoinformatics: Theory, Practice & Products covers theory, commercially available packages and applications of Chemoinformatics. Chemoinformatics is broadly defined as the use of information technology to assist in the acquisition, analysis and management of data and information relating to chemical compounds and their properties.The book also provides a summary of currently available, state-of-the-art, commercial Chemoinformatics products, with a specific focus on databases, toolkits, and modelling technologies designed for drug discovery.
Cell Motility
Cell motility is a fascinating example of cell behavior which is fundamentally important to a number of biological and pathological processes. It is based on a complex self-organized mechano-chemical machine consisting of cytoskeletal filaments and molecular motors. In general, the cytoskeleton is responsible for the movement of the entire cell and for movements within the cell. The main challenge in the field of cell motility is to develop a complete physical description on how and why cells move. For this purpose new ways of modeling the properties of biological cells have to be found. This long term goal can only be achieved if new experimental techniques are developed to extract physical information from these living systems and if theoretical models are found which bridge the gap between molecular and mesoscopic length scales. Cell Motility gives an authoritative overview of the fundamental biological facts, theoretical models, and current experimental developments in this fascinating area.
Blind Speech Separation
This is the first book to provide a cutting edge reference to the fascinating topic of blind source separation (BSS) for convolved speech mixtures. Through contributions by the foremost experts on the subject, the book provides an up-to-date account of research findings, explains the underlying theory, and discusses potential applications. The individual chapters are designed to be tutorial in nature with specific emphasis on an in-depth treatment of state of the art techniques. Blind Speech Separation is divided into three parts:Part 1 presents overdetermined or critically determined BSS. Here the main technology is independent component analysis (ICA). ICA is a statistical method for extracting mutually independent sources from their mixtures. Part 2 addresses underdetermined BSS, where there are fewer microphones than source signals. Here, the sparseness of speech sources is very useful; we can utilize time-frequency diversity, where sources are active in different regions of the time-frequency plane.Part 3 presents monaural BSS where there is only one microphone. Here, we can separate a mixture by using the harmonicity and temporal structure of the sources. We can build a probabilistic framework by assuming a source model, and separate a mixture by maximizing the a posteriori probability of the sources.
Bioinformatics and Computational Biology Solutions Using R and Bioconductor
Bioconductor is a widely used open source and open development software project for the analysis and comprehension of data arising from high-throughput experimentation in genomics and molecular biology. Bioconductor is rooted in the open source statistical computing environment R. This volume's coverage is broad and ranges across most of the key capabilities of the Bioconductor project, including: Importation and preprocessing of high-throughput data from microarray, proteomic, and flow cytometry platforms / Curation and delivery of biological metadata for use in statistical modeling and interpretation. / Statistical analysis of high-throughput data, including machine learning and visualization,modeling and visualization of graphs and networks. This book is a dynamic document. Code underlying all of the computations that are shown is made available on a companion website, and readers can reproduce every number, figure, and table on their own computers.
Bearing Witness : Ruth Harrison and British Farm Animal Welfare (1920–2000)
This book is the biography of one of Britain’s foremost animal welfare campaigners and of the world of activism, science, and politics she inhabited. In 1964, Ruth Harrison’s bestseller Animal Machines triggered a gear change in modern animal protection by popularising the term ‘factory farming’ alongside a new way of thinking about animal welfare.
Axial flux permanent magnet brushless machines
This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their own research results, as well as significant research contributions made by others.
Axial flux permanent magnet brushless machines
Axial Flux Permanent Magnet (AFPM) brushless machines are modern electrical machines with a lot of advantageous merits over their conventional counterparts. They are increasingly used in power generation, domestic appliances, industrial drives, electric vehicles, and marine propulsion drives and many other applications. This book deals with the analysis, construction, design, optimisation, control and applications of AFPM machines. The authors present their own research results, as well as significant research contributions made by others. This monograph will be of interest to electrical engineers and other engineers involved in the design and application of AFPM brushless machine drives. It will be an important resource for researchers and graduate students in the field of electrical machine and drives.
Automatic Autocorrelation and Spectral Analysis
It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing a suitable candidate for given data. Improved order selection quality guarantees that one of the best (and often the best) will be selected automatically. The data themselves suggest their best representation. Should the analyst wish to intervene, alternatives can be provided. Written for graduate signal processing students and for researchers and engineers using time series analysis for practical applications ranging from breakdown prevention in heavy machinery to measuring lung noise for medical diagnosis.
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Arabic Computational Morphology : Knowledge-based and Empirical Methods
The morphology of Arabic poses special challenges to computational natural language processing systems. The exceptional degree of ambiguity in the writing system, the rich morphology, and the highly complex word formation process of roots and patterns all contribute to making computational approaches to Arabic very challenging. Indeed many computational linguists across the world have taken up this challenge over time, and many of the researchers with a track record in this research area have contributed to this book.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
