الصفحة 2
الصفحة 2
Gender Innovation and Migration in Switzerland
This book analyses migration and its relation to socio-political transformation in Switzerland. It addresses how migration has made new forms of life possible and shows how this process generated gender innovation in different fields: the changing division of work, the establishment of a nursery infrastructure, access to higher education for women, and the struggle for female suffrage. Seeing society through the lens of migration alters the perspective from which our past and thus our present is told—and our future imagined.
Gender Differences in Computer and Information Literacy : An In-depth Analysis of Data from ICILS
When computer technology was first introduced in schools, there was a prevailing belief that information and communication technologies were ‘boys’ toys’; boys were assumed to have more positive attitudes toward using computer technologies. As computer technologies have become more established throughout societies, gender gaps in students’ computer and information literacy appear to be closing, although studies into gender differences remain sparse.
Gap Junctions in Development and Disease
Starting with a comprehensive review of the various mouse and human genes encoding the channel-forming protein connexin, further chapters describe the most important connexin mutations that lead to diseases such as hereditary deafness and female infertility in humans. Erroneous signaling mediated via connexin-protein interactions, thought to be responsible for disfunction of organs such as heart, muscle, brain, skin, lens, placenta, and endocrine tissue in mice and men, is also addressed.
Frontiers of Optical Spectroscopy ; Investigating Extreme Physical Conditions with Advanced Optical Techniques
Advanced spectroscopic techniques allow the probing of very small systems and very fast phenomena, conditions that can be considered "extreme" at the present status of our experimentation and knowledge. Quantum dots, nanocrystals and single molecules are examples of the former and events on the femtosecond scale examples of the latter. The purpose of this book is to examine the realm of phenomena of such extreme type and the techniques that permit their investigations. Each author has developed a coherent section of the program starting at a somewhat fundamental level and ultimately reaching the frontier of knowledge in the field in a systematic and didactic fashion. The formal lectures are complemented by additional seminars.
Formal Methods and Software Engineering; 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
Formal Methods and Software Engineering ; Vol. 4260 ; 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The papers address all current issues in formal methods and their applications in software engineering.
Formal Methods and Software Engineering ; Vol. 3785 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions. The invited speakers were: Anthony Hall, independent consultant, UK; Egon B] orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.
Formal Methods and Software Engineering ; 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Fish Histology : Female Reproductive Systems
This volume describes the myriad ways in which fish have approached problems of reproduction — it is an amply illustrated comparative study of the microscopic structure of the female genital systems of fish. The timing of its appearance is auspicious in that it coincides with the decline of the golden age of descriptive morphology. It is a compilation of thousands of micrographs — mostly electron micrographs — from classic works in the field and should prove valuable to investigators studying fish in areas such as ecology, physiology, and reproductive biology who may view histology as essential in their work but have little background in this area. It includes chapters on the origin of genital systems, the structure of ovarian follicles, mechanisms of ovulation, the cortical reaction, oviducts, oviparity, and amazing examples of viviparity.
Finite Elements in Structural Analysis : Theoretical Concepts and Modeling Procedures in Statics and Dynamics of Structures
Introduces the basic concepts of the finite element method in the static and dynamic analysis of beam, plate, shell and solid structures, discussing how the method works, the characteristics of a finite element approximation and how to avoid the pitfalls of finite element modeling. Presenting the finite element theory as simply as possible, the book allows readers to gain the knowledge required when applying powerful FEA software tools. Further, it describes modeling procedures, especially for reinforced concrete structures, as well as structural dynamics methods, with a particular focus on the seismic analysis of buildings, and explores the modeling of dynamic systems. Featuring numerous illustrative examples, the book allows readers to easily grasp the fundamentals of the finite element theory and to apply the finite element method proficiently.
Finite Element Methods for Engineering Sciences : Theoretical Approach and Problem Solving Techniques
This self-tutorial offers a concise yet thorough grounding in the mathematics necessary for successfully applying FEMs to practical problems in science and engineering. The enlarged English-language edition, based on the original French, also contains a chapter on the approximation steps derived from the description of nature with differential equations and then applied to the specific model to be used.
Finite element methods : Parallel-sparse statics and Eigen-Solutions
FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale engineering applications. Efficient equation and eigen-solvers play critical roles in solving these problems. Sparse matrix technologies have evolved and are now mature enough that all popular and commercialized FEM codes have inserted sparse solvers into their software. So far, however, few books include detailed discussion and explanation of sparse equation-solvers and Lanczos domain decomposition (DD) or finite element formulation for parallel computing purposes. The material in Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions has evolved over the past several years from the author's research work and his graduate courses.
Finite Element Mathematics
Is a comprehensive guide that explores the versatility and affordability of the finite element method (FEM) as a powerful tool for solving engineering problems across various industries. This book provides a practical introduction to FEM analysis, covering applications in mechanical engineering, civil engineering, electrical engineering, and physics. It presents a balanced blend of theory and applications, catering to both beginners and those seeking to enhance their FEM skills.
Feyerabend’s Epistemological Anarchism : How Science Works and its Importance for Science Education
argues that the traditional image of Feyerabend is erroneous and that, contrary to common belief, he was a great admirer of science. It shows how Feyerabend presented a vision of science that represented how science really works. Besides giving a theoretical framework based on Feyerabend´s philosophy of science, offers criteria that can help readers to evaluate and understand research reported in important international science education journals, with respect to Feyerabend’s epistemological anarchism. includes an evaluation of general chemistry and physics textbooks.
Femtosecond optical frequency comb : Principle, operation and applications
This book provides an introductory description of mode-locked lasers, the connection between time and frequency descriptions of their output and the physical origins of the electric field dynamics, together with an overview of applications of femtosecond comb technology. Individual chapters go into more detail on mode-locked laser development, spectral broadening in microstructure fiber, optical parametric amplification, optical frequency metrology, optical atomic clocks, ultrasensitive sensors, carrier-envelope phase dynamics, high field ionization of atoms and generation of attosecond high-harmonic radiation. To provide readers with the most recent, direct, and comprehensive information, the chapters are written by the international researchers who have led the development of this field. This book provides an introduction to those new to the field and is at the same time a resource for experts.
Femtosecond laser spectroscopy
As concepts and methodologies have evolved over the past two decades, the realm of ultrafast science has become vast and exciting and has impacted many areas of chemistry, biology and physics, and other fields such as materials science, electrical engineering, and optical communication. The field has recently exploded with the announcement of a series of remarkable new developments and advances. This volume surveys this recent growth in eleven chapters written by leading international researchers in the field. It includes sections on femtosecond optical frequency combs, soft x-ray femtosecond laser sources, and attosecond laser sources. In addition, the contributors address real-time spectroscopy of molecular vibrations with sub-5-fs pulses and multidimensional femtosecond coherent spectroscopies for studying molecular and electron dynamics. Novel methods for measuring and characterizing ultrashort laser pulses and ultrashort pulses of light are also described. The topics covered are revolutionizing the fields of biomedical imaging, electron dynamics, ultrahigh precision spectroscopy, and optical frequency metrology. Surveying the latest advances in ultrafast lasers, Femtosecond Laser Spectroscopy will be of interest to both researchers and graduate students.
Femtosecond laser pulses : Principles and experiments
This is the second edition of this advanced textbook written for scientists who require further training in femtosecond science. Four years after pub- cation of the ?rst edition, femtosecond science has overcome new challenges and new application ?elds have become mature. It is necessary to take into account these new developments. Two main topics merged during this period that support important scienti?c activities: attosecond pulses are now gen- ated in the X-UV spectral domain, and coherent control of chemical events is now possible by tailoring the shape of femtosecond pulses. To update this advanced textbook, it was necessary to introduce these ?elds; two new ch- ters are in this second edition: “Coherent Control in Atoms, Molecules, and Solids”(Chap.11)and“AttosecondPulses”(Chap.12)withwell-documented references. Some changes, addenda, and new references are introduced in the ?rst edition’s ten original chapters to take into account new developments and updatethisadvancedtextbookwhichistheresultofascienti?cadventurethat started in 1991. At that time, the French Ministry of Education decided that, in view of the growing importance of ultrashort laser pulses for the national scienti?c community, a Femtosecond Centre should be created in France and devoted to the further education of scientists who use femtosecond pulses as a research tool and who are not specialists in lasers or even in optics.
Feminist reflections on the history of philosophy
Feminist work in the history of philosophy has come of age as an innovative field in the history of philosophy. This volume marks that accomplishment with original essays by leading feminist scholars who ask basic questions,This collection is a unique collaboration among philosophers from North America and the Nordic Countries, including papers written from both analytic and continental philosophical perspectives and discussing both ancient and modern philosophers. Feminist Reflections on the History of Philosophy will be of interest to historians of philosophy, feminist theorists, women's studies faculty and students, and humanists interested in canon formation and transformation.
Feminist Methodologies : Experiments, Collaborations and Reflections
This book gives insights into feminist methodologies in theory and practice. By foregrounding the experiential and embodied nature of doing feminist research, this book offers valuable tools for feminist research as a continuous praxis. Emerging from a rich collective learning process, the collection offers in-depth reflections on how feminists shape research questions, understand positionality, share research results beyond academe and produce feminist intersectional knowledges.
Feminist IR in Europe : Knowledge production in academic institutions
The aim of this book is to take stock of, critically engage, and celebrate feminist IR scholarship produced in Europe. Organized thematically, the volume highlights a wealth of excellent scholarship, while also focusing on the politics of location and the international political economy of feminist knowledge production.
