|
Showing 1 - 25 of
43 matches in All Departments
Draws from feminist Earth-based and Indigenous worldviews supported
by healing and transformational, and arts and place-based methods.
Authors have been honing these methods for more than 30 years.
Offers practices that can be adapted for numerous community-based
settings.
Please note this title is suitable for any student studying: Exam
Board: AQA Level: A Level Subject: Biology First teaching:
September 2015; first exams: June 2017 Oxford Revise is a fresh,
evidence-based approach to studying; created by the teacher-trusted
Oxford Science author team and informed by the latest research into
the best ways to make learning stick, it organises content in the
most effective way for successful learning, ideal for independent
study throughout the school year and in the lead-up to exams. Based
on principles of cognitive science, the simple three-step
Knowledge, Retrieval, and Practice approach helps students to
organise information and commit it to long-term memory, improve
retention and recall, and apply knowledge successfully with
extensive exam-style practice. It's everything students need to
study effectively and fully prepare for their exams, in one
convenient book. Each paperback purchased includes free access to
an ebook version of the title. Details on how to access it are
printed inside the book. Answers will be available online at
oxfordrevise.com/scienceanswers.
Draws from feminist Earth-based and Indigenous worldviews supported
by healing and transformational, and arts and place-based methods.
Authors have been honing these methods for more than 30 years.
Offers practices that can be adapted for numerous community-based
settings.
Please note this title is suitable for any student studying: Exam
Board: OCR Level: A Level Subject: Biology A First teaching:
September 2015 First exams: June 2017 Exactly matched to the OCR A
Level Biology A specification, the Revision Guide provides
comprehensive, specification-linked content, so you can be sure you
are covering everything you need to know for the exams. It is
packed with engaging revision and practice material to keep you
focused and contains a wealth of exam-style questions to test your
knowledge and skills to help you fully prepare for the exams.
Exactly matched to the OCR A Level Biology A specification, the
Revision Guide provides comprehensive, specification-linked
content, so you can be sure you are covering everything you need to
know for the exams. It is packed with engaging revision and
practice material to keep you focused and contains a wealth of
exam-style questions to test your knowledge and skills to help you
fully prepare for the exams.
|
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings (Paperback, 2012 ed.)
Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori
|
R1,990
Discovery Miles 19 900
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 13th International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII,
held in Montpellier, France, in August 2012. The 11 regular papers
were carefully reviewed and selected from 27 submissions and
presented with three invited papers. The purpose of the CLIMA
workshops is to provide a forum for discussing techniques, based on
computational logic, for representing, programming and reasoning
about agents and multi-agent systems in a formal way.
Time is a fascinating subject and has long since captured mankind's
imagination, from the ancients to modern man, both adult and child
alike. It has been studied across a wide range of disciplines, from
the natural sciences to philosophy and logic. Today, thirty plus
years since Prior's work in laying out foundations for temporal
logic, and two decades on from Pnueli's seminal work applying of
temporal logic in specification and verification of computer
programs, temporal logic has a strong and thriving international
research community within the broad disciplines of computer science
and artificial intelligence. Areas of activity include, but are
certainly not restricted to: Pure Temporal Logic, e. g. temporal
systems, proof theory, model theory, expressiveness and complexity
issues, algebraic properties, application of game theory;
Specification and Verification, e. g. of reactive systems,
ofreal-time components, of user interaction, of hardware systems,
techniques and tools for verification, execution and prototyping
methods; Temporal Databases, e. g. temporal representation,
temporal query ing, granularity of time, update mechanisms, active
temporal data bases, hypothetical reasoning; Temporal Aspects in
AI, e. g. modelling temporal phenomena, in terval temporal calculi,
temporal nonmonotonicity, interaction of temporal reasoning with
action/knowledge/belief logics, temporal planning; Tense and Aspect
in Natural Language, e. g. models, ontologies, temporal
quantifiers, connectives, prepositions, processing tempo ral
statements; Temporal Theorem Proving, e. g. translation methods,
clausal and non-clausal resolution, tableaux, automata-theoretic
approaches, tools and practical systems."
This book constitutes the thoroughly refereed and revised
proceedings of the 9th International Workshop on Computational
Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany,
in September 2008 and co-located with the 11th European Conference
on Logics in Artificial Intelligence, JELIA 2008.
The 8 full papers, presented together with two invited papers,
were carefull selected from 18 submissions and passed through two
rounds of reviewing and revision. Topics addressed in the regular
papers include the use of automata-based techniques for verifying
agents' conformance with protocols, and an approach based on the C+
action description language to provide formal specifications of
social processes such as those used in business processes and
social networks. Other topics include casting reasoning as planning
and thus providing an analysis of reasoning with resource bounds, a
discussion of the formal properties of Computational Tree Logic
(CTL) extended with knowledge operators, and the use of
argumentation in multi-agent negotiation. The invited contributions
discuss complexity results for model-checking temporal and
strategic properties of multi-agent systems, and the challenges in
design and development of programming languages for multi-agent
systems.
|
Logics in Artificial Intelligence - 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings (Paperback, 2006 ed.)
Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa
|
R1,809
Discovery Miles 18 090
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 10th
European Conference on Logics in Artificial Intelligence, JELIA
2006. The 34 revised full papers and 12 revised tool description
papers presented together with 3 invited talks were carefully
reviewed and selected from 96 submissions. The papers cover a range
of topics within the remit of the Conference, such as logic
programming, description logics, non-monotonic reasoning, agent
theories, automated reasoning, and machine learning.
This book presents revised full versions of papers contributed to UK Workshops on Multi-Agent Systems, UKMAS, during 1996 and 2000.From the early days of MAS research, the UK community has been a particularly productive one with numerous key contributions. The 15 papers by internationally reputed researchers deal with various aspects of agent technology, with a certain emphasis on foundational issues in multi-agent systems.
Time is a fascinating subject and has long since captured mankind's
imagination, from the ancients to modern man, both adult and child
alike. It has been studied across a wide range of disciplines, from
the natural sciences to philosophy and logic. Today, thirty plus
years since Prior's work in laying out foundations for temporal
logic, and two decades on from Pnueli's seminal work applying of
temporal logic in specification and verification of computer
programs, temporal logic has a strong and thriving international
research community within the broad disciplines of computer science
and artificial intelligence. Areas of activity include, but are
certainly not restricted to: Pure Temporal Logic, e. g. temporal
systems, proof theory, model theory, expressiveness and complexity
issues, algebraic properties, application of game theory;
Specification and Verification, e. g. of reactive systems,
ofreal-time components, of user interaction, of hardware systems,
techniques and tools for verification, execution and prototyping
methods; Temporal Databases, e. g. temporal representation,
temporal query ing, granularity of time, update mechanisms, active
temporal data bases, hypothetical reasoning; Temporal Aspects in
AI, e. g. modelling temporal phenomena, in terval temporal calculi,
temporal nonmonotonicity, interaction of temporal reasoning with
action/knowledge/belief logics, temporal planning; Tense and Aspect
in Natural Language, e. g. models, ontologies, temporal
quantifiers, connectives, prepositions, processing tempo ral
statements; Temporal Theorem Proving, e. g. translation methods,
clausal and non-clausal resolution, tableaux, automata-theoretic
approaches, tools and practical systems."
This volume presents the thoroughly revised proceedings of the
IJCAI '93 Workshop on Executable Modal and Temporal Logics held in
Chambery, France in August 1993.
The direct execution of logical statements, through languages such
as PROLOG, has proved remarkably successful within CS and AI. In
recent years a variety of nonclassical logics have been introduced
and several executable forms of these logics have been applied to
programming.
This volume addresses a range of approaches to executable modal and
temporal logics, not only from a logical point of view, but also
from programming language and application standpoints; in addition,
an introductory survey and an annotated bibliography are presented.
|
Mean Creek (DVD)
Rory Culkin, Ryan Kelley, Scott Mechlowicz, Trevor Morgan, Josh Peck, …
|
R156
Discovery Miles 1 560
|
Out of stock
|
Three young high school friends come up with a plan to free
themselves from the attentions of George (Josh Peck), the school
bully, in this dark coming-of-age American drama. Taking George
with them on a boat trip to celebrate Sam's (Rory Culkin) birthday,
the group plan a brutal prank that will humiliate George and
finally put him in his place. But when Sam begins to understand
that George is merely lonely and confused, and desperate for
friendship, he begins to have misgivings. Despite these misgivings,
events have been put in motion that none of the boys can stop.
Today, educators are looking for ways to utilize classroom time
more effectively. Many thoughtful and forward-looking educators
have reorganized the school calendar from the traditional
nine-month model to one which is more balanced, and they have
experienced the effects of calendar modification in the classroom,
school, district, and community. Balancing the School Calendar is a
compilation of perspectives and research reports from those who
have experienced the urgent necessity of reorganizing time to
effectuate better learning situations for students. Chapter authors
have implemented, studied, or contemplated school calendar change
and the results of the change.
How can we provide guarantees of behaviours for autonomous systems
such as driverless cars? This tutorial text, for professionals,
researchers and graduate students, explains how autonomous systems,
from intelligent robots to driverless cars, can be programmed in
ways that make them amenable to formal verification. The authors
review specific definitions, applications and the unique future
potential of autonomous systems, along with their impact on safer
decisions and ethical behaviour. Topics discussed include the use
of rational cognitive agent programming from the
Beliefs-Desires-Intentions paradigm to control autonomous systems
and the role model-checking in verifying the properties of this
decision-making component. Several case studies concerning both the
verification of autonomous systems and extensions to the framework
beyond the model-checking of agent decision-makers are included,
along with complete tutorials for the use of the freely-available
verifiable cognitive agent toolkit Gwendolen, written in Java.
Please note this book is suitable for any student studying: Exam
board: OCR Level: A Level Subject: Biology A First teaching: 2015;
first exams: 2017 Oxford Revise Science is an evidence-based
approach to revision. Created by the trusted Oxford Science author
team, this guide is informed by the latest research into the best
ways to make learning stick. This guide supports independent study
and is ideally used throughout the school year and in the lead-up
to exams. Using core cognitive science ideas, a simple three-step
Knowledge, Retrieval, and Practice approach helps students to
organise information and commit it to long-term memory. Not only
does it improve retention and recall, there are opportunities to
apply this knowledge successfully to extensive exam-style practice.
It's everything students need to study effectively and fully
prepare for their exams, in one convenient book. Each paperback
purchased includes free access to an ebook version of the title.
Details on how to access it are printed inside the book. Answers
will be available online at oxfordrevise.com/scienceanswers.
Exactly matched to the specification, this Revision Guide provides
comprehensive, specification-linked content, so you can be sure you
are covering everything you need to know for the exams. It is
packed with engaging revision and practice material to keep you
focused and contains a wealth of exam-style questions to test your
knowledge and skills to help you fully prepare for the exams.
The most important national election in U.S. history is underway.
Marianne Williamson stepped-up to show she is confident to be
president of the United States in 2020. She had to step down. Many
people are supportive of her provocative healing vision for
America, and that fan and voter-base is growing. She may run again
in 2024. However, many are puzzled by her and many are critics on
the Left and Right and in between. The book is a thorough case
study of Williamson's speeches, writings, and interviews. It
documents and analyzes the thoughts and feelings of her supporters
and critics based on what they have written, performed, and
published. It records history while it is being made. The author
offers support and criticism of how Williamson's leadership and her
team could have done things different so as to be more successful
in the presidential campaign. The big idea throughout the book is
to emphasize, as does Williamson's teaching, that spirituality and
politics ought never be separated completely (as religion and the
State), if we truly desire more than mere reforms of society, but
desire a transformation to a truly better and more liberated world.
The book highlights productive guideposts for Williamson and other
leaders like Williamson in future campaigns. It offers Americans,
and others, a view of "what happened" in 2019-20 that made
Williamson an outstanding phenomenon. Students, scholars,
journalists, politicians, and the general public interested in the
improvement of politics will want to study this book.
|
Punk Vs Metal (Paperback)
Michael Fisher, Robert Holt, Andrew Freudenberg
|
R529
Discovery Miles 5 290
|
Ships in 10 - 15 working days
|
|
|