Listing 1 - 10 of 755 << page
of 76
>>
Sort by

Book
Verification-based software-fault detection
Author:
ISBN: 1000023002 3866446764 Year: 2011 Publisher: KIT Scientific Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Oligomeric dithienopyrrole-thienopyrrolodione (DTP-TPD) donor-acceptor copolymer for organic photovoltaics : preprint
Authors: ---
Year: 2011 Publisher: [Golden, CO] : National Renewable Energy Laboratory,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Correlations in characteristic data of concentrator photovoltaics
Authors: --- --- --- ---
Year: 2011 Publisher: [Washington, D.C.] : [Oak Ridge, Tenn.]: [U.S. Dept. of Energy] ; [distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy],

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Methode zur Evaluation leistungselektronischer Schaltungstopologien für die Anwendung in dezentralen Netzeinspeisern kleiner Leistung
Author:
ISBN: 3862190943 3862190951 Year: 2011 Publisher: Kassel [Germany] : Kassel University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Le photovoltaïque
Authors: ---
ISBN: 9782952059657 2952059659 Year: 2011 Publisher: [Lille] : CRIDON Nord-Est,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
PV status report 2011 : research, solar cell production and market implementation of photovoltaics
Authors: --- ---
ISBN: 9789279201714 Year: 2011 Publisher: Luxemburg Publications Office

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The New Digital Shoreline
Author:
ISBN: 1579226019 9781579226015 9781579224592 1579224598 9781579224608 1579224601 9781579226022 1579226027 100344797X 100097314X 9781003447979 Year: 2011 Publisher: Sterling, Va. Stylus Pub.

Loading...
Export citation

Choose an application

Bookmark

Abstract

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


Book
The Turkish and Moroccan second generation and their comparison group peers in Amsterdam and Rotterdam : the integration of the European second generation : TIES 2006-2007, The Netherlands : technical report and codebook
Authors: --- ---
ISBN: 1280667036 9786613643964 9048515033 9085550548 Year: 2011 Publisher: Amsterdam : Pallas Publications,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Manager la génération Y : travailler avec les 20 - 30 ans
Authors: --- ---
ISBN: 9782100565511 Year: 2011 Publisher: Paris : Dunod,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Integration of distributed generation in the power system
Authors: ---
ISBN: 9780470643372 9781118029039 1118029038 9781118029015 9781118029022 111802902X 1283239736 9786613239730 1118029011 0470643374 Year: 2011 Publisher: Hoboken: Wiley,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"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"--

Listing 1 - 10 of 755 << page
of 76
>>
Sort by