Listing 1 - 10 of 755 | << page >> |
Sort by
|
Choose an application
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.
Fault Detection --- Model Generation --- Theorem Proving --- Test Generation --- Dynamic Logic
Choose an application
Photovoltaic power generation. --- Oligomers. --- Copolymers.
Choose an application
Choose an application
Choose an application
Photovoltaic power generation --- Conversion photovoltaïque
Choose an application
Photovoltaic power generation --- Photovoltaic power systems
Choose an application
Two seismic forces beyond our control - the advent of Web 2.0 and the inexorable influx of tech-savvy Millennials on campus - are shaping what Roger McHaney calls "The New Digital Shoreline" of higher education. Failure to chart its contours, and adapt, poses a major threat to higher education as we know it. Roger McHaney not only deftly analyzes how Web 2.0 is shaping the attitudes and motivations of today's students, but guides us through the topography of existing and emerging digital media, environments, applications, platforms and devices and the potential they have for disrupting teacher
Internet in higher education. --- Web 2.0. --- Educational change. --- Generation Y. --- Echo boomers --- Echo generation --- Generation M --- Generation Why? --- Millennial generation --- Millennials (Generation Y) --- Net generation --- Newmils --- Thatcher's children (Generation Y) --- Generations --- Population --- Change, Educational --- Education change --- Education reform --- Educational reform --- Reform, Education --- School reform --- Educational planning --- Educational innovations --- World Wide Web --- Education, Higher
Choose an application
This report provides technical information from a study on the lives of the second generation of Turkish and Moroccan immigrants in the Netherlands today. Respondents provided detailed information on cultural, social, and economic aspects of integration in Dutch society. This report has a methodological focus and is important to those wishing to further explore the collected data and examine aspects of the survey's design and implementation.
Immigrants --- Children of immigrants --- First generation children --- Immigrants' children --- Second generation children --- Social integration --- Cultural assimilation
Choose an application
Personnel management --- Generation Y --- Personnel --- Génération Internet --- Psychological aspects --- Employment --- Direction --- Aspect psychologique --- Travail --- Génération Internet --- Generation Y. --- Employment. --- Gestion des resosurces humaines --- Jeune
Choose an application
"Gives a power-system viewpoint contrary to the energy viewpoint presented in many other books on DG Emphasis on systematic and transparent calculation methods allowing a quantification of the amount of DG that can be integrated at a certain location of the grid or in the grid as a whole Provides an overview of the different energy sources, with emphasis on windpower, solar power and CHP (Combined Heat & Power) Provides a general overview of the different methods available to allow more DG to be connected to the grid, ranging from classical methods like building more lines, to advanced methods like power-electronics control, and even future methods like smartgrids and microgrids"-- "The integration of new sources of energy like wind power, solar-power, small-scale generation, or combined heat and power in the power grid is something that impacts a lot of stakeholders: network companies (both distribution and transmission), the owners and operators of the DG units, other end-users of the power grid (including normal consumers like you and me) and not in the least policy makers and regulators. There is a lot of misunderstanding about the impact of DG on the power grid, with one side (including mainly some but certainly not all, network companies) claiming that the lights will go out soon, whereas the other side (including some DG operators and large parks of the general public) claiming that there is nothing to worry about and that it's all a conspiracy of the large production companies that want to protect their own interests and keep the electricity price high. The authors are of the strong opinion that this is NOT the way one should approach such an important subject as the integration of new, more environmentally friendly, sources of energy in the power grid. With this book the authors aim to bring some clarity to the debate allowing all stakeholders together to move to a solution. This book will introduce systematic and transparent methods for quantifying the impact of DG on the power grid"--
Distributed generation of electric power --- elektriciteit --- distributie --- energie --- Decentralized generation of electric power --- Generation of electric power, Distributed --- Distributed resources (Electric utilities) --- Electric power production --- Distributed generation of electric power. --- Renewable energy.
Listing 1 - 10 of 755 | << page >> |
Sort by
|