الصفحة 16
الصفحة 16
Automotive production systems and standardisation : From Ford to the case of Mercedes-Benz
The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the creation and introduction of company-specific standardised production systems. This book contributes to the debate about production systems by examining the social and economic implications of the role of standardisation in production systems. In this context it addresses three core issues: First, the driving forces behind the changing forms and functions of standardisation and the role of institutions therein. Second, the impact of standardisation on the evolution of automotive production systems. Third, based on the author's own empirical research conducted over a three year period at the Mercedes-Benz plant Stuttgart-Untertürkheim/Germany, the book examines the influence of standardisation on the work of actors on the shop floor in terms of organisational learning processes and the regulation of work.
Automorphic forms and even unimodular lattices : Kneser neighbors of niemeier lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It explains how the new advances in the Langlands program mentioned above pave the way for a solution. This study proves to be very rich, leading us to classical themes such as theta series, Siegel modular forms, the triality principle, L-functions and congruences between Galois representations.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Assertion-Based Design
Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.
Artificial neural networks with Java : Tools for Building Neural Network Applications
Covers the internals of front and back propagation and helps you understand the main principles of neural network processing. You also will learn how to prepare the data to be used in neural network development and you will be able to suggest various techniques of data preparation for many unconventional tasks. You will learn: Use Java for the development of neural network applications / Prepare data for many different tasks / Carry out some unusual neural network processing / Use a neural network to process non-continuous functions / Develop a program that recognizes handwritten digits
Artificial neural networks : Biological Inspirations – ICANN 2005 ; 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I
The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial Neural Networks, ICANN 2005, held in Warsaw, Poland in September 2005. The over 600 papers submitted to ICANN 2005 were thoroughly reviewed and carefully selected for presentation. The first volume includes 106 contributions related to Biological Inspirations; topics addressed are modeling the brain and cognitive functions, development of cognitive powers in embodied systems spiking neural networks, associative memory models, models of biological functions, projects in the area of neuroIT, evolutionary and other biological inspirations, self-organizing maps and their applications, computer vision, face recognition and detection, sound and speech recognition, bioinformatics, biomedical applications, and information- theoretic concepts in biomedical data analysis.
Artificial neural network-based optimized design of reinforced concrete structures
Introduces AI-based Lagrange optimization techniques that can enable more rational engineering decisions for concrete structures while conforming to codes of practice. It shows how objective functions including cost, CO2 emissions, and structural weight of concrete structures are optimized either separately or simultaneously while satisfying constraining design conditions using an ANN-based Lagrange algorithm. Any design target can be adopted as an objective function. Many optimized design examples are verified by both conventional structural calculations and big datasets. Uniquely applies the new powerful tools of AI to concrete structural design and optimization Multi-objective functions of concrete structures optimized either separately or simultaneously Design requirements imposed by codes are automatically satisfied by constraining conditions Heavily illustrated in color with practical design examples
Artery guidebook : Artery - transforming riversides for the future
"Artery" is an initiative on a European scale, funded by the INTERREG IIIB NWE programme, which puts riverside restoration and regeneration at the heart of regional strategies, helping communities across Europe ‘turn back to face the water’. In this book the implemented strategies will be discussed, including public-private-partnership, public participation, awareness programs and regional development strategies. The book functions as a guide to facilitate similar future projects in other regions. The valuable experience and methods of trans-national cooperation should be made available to other developers, regional planners, project managers and politicians.
Arithmetic and geometry around hypergeometric functions : Lecture notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005
This volume comprises the Lecture Notes of the CIMPA Summer School "Arithmetic and Geometry around Hypergeometric Functions" held at Galatasaray University, Istanbul in 2005. It contains lecture notes, a survey article, research articles, and the results of a problem session.
Applied Spatial Data Analysis with R
Applied Spatial Data Analysis with R is divided into two basic parts, the first presenting R packages, functions, classes and methods for handling spatial data, The second part showcases more specialised kinds of spatial data analysis, including spatial point pattern analysis, interpolation and geostatistics, areal data analysis and disease mapping.
Applied cryptography and network security ; 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I
The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications.
Applied algebra, algebraic algorithms and error-correcting codes ; 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings
Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic geometry codes; algebra: rings and fields, polynomials, permutations, lattices; cryptography: cryptanalysis and complexity; computational algebra: algebraic algorithms and transforms; sequences and boolean functions.
Antibody-drug conjugates and cellular metabolic dynamics
Summarizes the related research achievements in Antibody-drug conjugates (ADCs) and their cell metabolism kinetics. The book has three main parts. The first part describes the basic theory of ADCs, including the basic concept and structure of ADCs, and the relationship between the targets of ADCs and their specific functions. The second part mainly introduces the endocytosis and intracellular metabolism of ADCs, including the relationship between endocytosis and ADC activity, the endocytosis and intracellular transport of ADCs, the distribution and metabolism of ADC in vivo. Then it discusses the new formats and research technology of ADCs, including the application of miniaturized antibodies in ADC synthesis, novel carriers for ADC design, the technology and application of site-specific conjugation, and approaches for analyzing the drug: antibody ratio (DAR), the study of pharmacokinetics of ADCs.
Anti Cancer medicines derived from plants
Cancer is a broad term. It describes the disease that results when cellular changes cause the uncontrolled growth and division of cells. Some types of cancer cause rapid cell growth, while others cause cells to grow and divide ata slower rate. Certain forms of cancer result in visible growths called tumors, while others, such as leukemia, do not. Most of the body’s cells have specific functions and fixed lifespans. While it may sound like a bad thing, cell death is part of a natural and beneficial phenomenon called apoptosis.
Analytical scientists in pharmaceutical product development : Task management and practical knowledge
Explains task management concepts and outlines practical knowledge to help pharmaceutical analytical scientists become productive and enhance their career. •Presents broad topics such as product development process, regulatory requirement, task and project management, innovation mindset, molecular recognition, separation science, degradation chemistry, and statistics. •Provokes thinking through figures, tables, and case studies to help understand how the various functions integrate and how analytical development can work efficiently and effectively by applying science and creativity in their work. •Discusses how to efficiently develop a fit-for-purpose HPLC method without screening dozens of columns, gradients, or mobile phase combinations each time, since the extra effort may not provide enough of a benefit to justify the cost and time in a fast-paced product development environment.
Analytic Number Theory : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 11-18, 2002
The four contributions collected in this volume deal with several advanced results in analytic number theory. Friedlander’s paper contains some recent achievements of sieve theory leading to asymptotic formulae for the number of primes represented by suitable polynomials. Heath-Brown's lecture notes mainly deal with counting integer solutions to Diophantine equations, using among other tools several results from algebraic geometry and from the geometry of numbers. Iwaniec’s paper gives a broad picture of the theory of Siegel’s zeros and of exceptional characters of L-functions, and gives a new proof of Linnik’s theorem on the least prime in an arithmetic progression. Kaczorowski’s article presents an up-to-date survey of the axiomatic theory of L-functions introduced by Selberg, with a detailed exposition of several recent results.
Analysis of Toeplitz Operators
Since the late 1980s, Toeplitz operators and matrices have remained a feld of extensive research and the development during the last nearly twenty years is impressive. One encounters Toeplitz matrices in plenty of applications on the one hand, and Toeplitz operators con?rmed their role as the basic elementary building blocks of more complicated operators on the other. Several monographs on Toeplitz and Hankel operators were written d- ing the last decade. These include Peller’s grandiose book on Hankel ope- tors and their applications and Nikolski’s beautiful easy reading on operators, functions, and systems, with emphasis on topics connected with the names of Hardy, Hankel, and Toeplitz.
Analysis II : Differential and Integral Calculus, Fourier Series, Holomorphic Functions
Functions in R and C, including the theory of Fourier series, Fourier integrals and part of that of holomorphic functions.It is suitable for both teaching and self-study. In his familiar, personal style, the author emphasizes ideas over calculations and, avoiding the condensed style frequently found in textbooks, explains these ideas without parsimony of words.
Analisi matematica II : Teoria ed esercizi con complementi in rete = Mathematical analysis 2 : Theory and exercises with online complements
Intends to support a second teaching of Mathematical Analysis according to the principles of the new Didactic Regulations. It is especially designed for those study courses (such as Engineering, Computer Science, Physics) in which the mathematical tool is a significant part of the training. The fundamental concepts and methods of the differential and integral calculus of several variables, the series of functions and the ordinary differential equations are presented with the primary objective of training the student in their operational but critical use. The didactic setting of the text follows the one used for ANALYSIS I. The method of presentation of the arguments allows a flexible and modular use of the text, in order to respond to the various possible didactic choices in the organization of a Mathematical Analysis course.
Anaesthesia, pain, intensive care and emergency medicine - A.P.I.C.E. ; Proceedings of the 19 th Postgraduate Course in Critical Care Medicine. Trieste, Italy - November 12-15, 2004
APICE 2004 has been organised to provide precise answers to these issues. In particular, considerable emphasis has been given to the reviews regarding the most important aspects - or the most significant clinical developments - in the sectors involving variety of functions: neurological, respiratory and cardiovascular, gastrointestinal, metabolism and perfusion; trauma infections, sepsis and organ failure; perioperative medicine and life support techniques; information technology dedicated to clinical medicine, but also as a means of information and education.
