|
Showing 1 - 8 of
8 matches in All Departments
This book presents an integrated approach to sustainably fulfilling
energy requirements, considering various energy-usage sectors and
applicable technologies in those sectors. It discusses smart
cities, focusing on the design of urban transport systems and
sources of energy for mobility. It also shares thoughts on
individual consumption for ensuring the sustainability of energy
resources and technologies for emission reductions for both
mobility and stationary applications. For the latter, it examines
case studies related to energy consumption in the manufacturing
sector as well as domestic energy requirements. In addition it
explores various distribution and policy aspects related to the
power sector and sources of energy such as coal and biomass. This
book will serve as a valuable resource for researchers,
practitioners, and policymakers alike.
This book presents an integrated approach to sustainably fulfilling
energy requirements, considering various energy-usage sectors and
applicable technologies in those sectors. It discusses smart
cities, focusing on the design of urban transport systems and
sources of energy for mobility. It also shares thoughts on
individual consumption for ensuring the sustainability of energy
resources and technologies for emission reductions for both
mobility and stationary applications. For the latter, it examines
case studies related to energy consumption in the manufacturing
sector as well as domestic energy requirements. In addition it
explores various distribution and policy aspects related to the
power sector and sources of energy such as coal and biomass. This
book will serve as a valuable resource for researchers,
practitioners, and policymakers alike.
This book constitutes the thoroughly refereed post-conference
proceedings of the 23rd International Symposium on Logic-Based
Program Synthesis and Transformation, LOPSTR 2013, held in Madrid,
Spain, in September 2013. The 13 revised full papers presented
together with 2 invited talks were carefully reviewed and selected
from 21 submissions during two rounds of reviewing and improvement.
LOPSTR traditionally solicits papers in the areas of specification,
synthesis, verification, transformation, analysis, optimization,
composition, security, reuse, applications and tools,
component-based software development, software architectures,
agent-based software development, and program refinement.
Multiprocessor Execution of Logic Programs addresses the problem of
efficient implementation of logic programming languages,
specifically Prolog, on multiprocessor architectures. The
approaches and implementations developed attempt to take full
advantage of sequential implementation technology developed for
Prolog (such as the WAM) while exploiting all forms of control
parallelism present in logic programs, namely, or-parallelism,
independent and-parallelism and dependent and-parallelism. Coverage
includes a thorough survey of parallel implementation techniques
and parallel systems developed for Prolog. Multiprocessor Execution
of Logic Programs is recommended for people implementing parallel
logic programming systems, parallel symbolic systems, parallel AI
systems, and parallel theorem proving systems. It will also be
useful to people who wish to learn about the implementation of
parallel logic programming systems.
This volume contains the proceedings of the 21st International
Conference on Logic Programming which was held in Sitges
(Barcelona), Spain, from October 2nd to 5th, 2005. The conference
was colocated with the International Conf- ence on
ConstraintProgramming(CP 2005)and the following 6 post-conference
workshops: - CICLOPS 2005: Colloquium on Implementation of
Constraint and Logic Programming Systems - CSLP 2005: Constraint
Solving and Language Processing - WCB 2005: Constraint Based
Methods for Bioinformatics - WLPE 2005: Logic-Based Methods in
Programming Environments - MoVeLog 2005: Mobile Code Safety and
Program Veri?cation Using C- putational Logic Tools - CHR 2005:
Constraint Handling Rules The conferencecoincided with a
solareclipse, whichoccurredon October 3rd and was visible in
Sitges. No conference activities were scheduled at the time of the
eclipse to allow delegates to view this extraordinary astronomical
event. Since the ?rst conference that was held in Marseilles in
1982, ICLP has been the premier international conference for
presenting research in logic progr- ming. In this edition of the
conference, extra attention was given to novel - plications of
logic programming and to work providing novel integrations of
di?erent areas. Colocation with CP 2005 further reinforced these
themes, as it provided an opportunity for the exchange of ideas and
cross-fertilization among two areaswhich havecommon roots. ICLP
2005and CP 2005sharedthe invited speakers to underscore this e?ort.
ICLP 2005 broke new ground by holding a doctoral consortium for the
?rst time in the ICLP series of conference.
Declarative languages have traditionally been regarded by the
mainstream c- puting community as too impractical to be put to
practical use. At the same time, traditionalconferencesdevotedto
declarativelanguagesdo not haveissues related to practice as their
central focus. Thus, there are few forums devoted to discussion of
practical aspects and implications of newly discovered results and
techniques related to declarative languages. The goal of the First
International Workshop on Practical Aspects of Declarative
Languages (PADL) is to bring together researchers, practitioners
and implementors of declarative languages to discuss practical
issues and practical implications of their research results. The
workshop was held in San Antonio, Texas, during January 18-19,
1999. This volume contains its proceedings. Fifty three papers were
submitted in response to the call for papers. These papers were
written by authors belonging to twenty one countries from six c-
tinents. Each paper was assigned to at least two referees for
reviewing. Twenty four papers were nally selected for presentation
at the workshop. Many good papers could not be included due to the
limited duration of the workshop. The workshop included invited
talks by Mark Hayden of DEC/Compaq Systems - search Center,
speaking on \Experiences Building Distributed Systems in ML," and
Mark Wallace of Imperial College Center for Planning And Resource
C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation
and Scalable Implementation.
Multiprocessor Execution of Logic Programs addresses the problem of
efficient implementation of logic programming languages,
specifically Prolog, on multiprocessor architectures. The
approaches and implementations developed attempt to take full
advantage of sequential implementation technology developed for
Prolog (such as the WAM) while exploiting all forms of control
parallelism present in logic programs, namely, or-parallelism,
independent and-parallelism and dependent and-parallelism. Coverage
includes a thorough survey of parallel implementation techniques
and parallel systems developed for Prolog. Multiprocessor Execution
of Logic Programs is recommended for people implementing parallel
logic programming systems, parallel symbolic systems, parallel AI
systems, and parallel theorem proving systems. It will also be
useful to people who wish to learn about the implementation of
parallel logic programming systems.
Logic programming refers to execution of programs written in Horn
logic. Among the advantages of this style of programming are its
simple declarativeand procedural semantics, high expressive power
and inherent nondeterminism. The papers included in this volume
were presented at the Workshop on Parallel Logic Programming held
in Paris on June 24, 1991, as part of the 8th International
Conference on Logic Programming. The papers represent the state of
the art in parallel logic programming, and report the current
research in this area, including many new results. The three
essential issues in parallel execution of logic programs which the
papers address are: - Which form(s) of parallelism (or-parallelism,
and-parallelism, stream parallelism, data-parallelism, etc.) will
be exploited? - Will parallelism be explicitly programmed by
programmers, or will it be exploited implicitly without their help?
- Which target parallel architecture will the logic program(s) run
on?
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|