Search results for "program evaluation"
Items we need to order for you




New Directions In Educational Evaluation
First published in 1986. Measuring the outcomes of educational practices is a modern phenomenon. Valuing their worth is as old as philosophy itself. It is the singular value of this collection of papers set in context and introduced by Ernest House that it holds in dynamic equilibrium both the measurement and the valuing sides of educational evaluation.
R 7,576.00


Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
This book constitutes the proceedings of the Third International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2026, which took place in Liverpool, UK, during September 2-4, 2026.The 24 full papers included in this book were carefully reviewed and selected from 54 submissions.They deal with up to date research in the quantitative evaluation and verification of systems, including fundamental and practical aspects of systems with quantitative nature (such as probability, timing, or cost) and particular focus on machine-learning and quantum systems, case studies, and tool papers.
R 3,535.35

Nonveridicality and Evaluation
Nonveridicality and evaluation interact in obvious ways in conveying opinion and subjectivity in language. In Nonveridicality and Evaluation Maite Taboada and Radoslava Trnavac bring together a diverse group of researchers with interests in evaluation, Appraisal, nonveridicality and coherence relations. The papers in the volume approach the intersection of these areas from two different points of view: theoretical and empirical. From a theoretical point of view, contributions reflect the interface between evaluation, nonveridicality and coherence. The empirical perspective is shown in papers that employ corpus methodology, qualitative descriptions of texts, and computational implementations.
R 6,342.00

Computer-Aided Design of User Interfaces II
INTRODUCTION TO COMPUTER-AIDED DESIGN OF USER INTERFACES l 2 Jean Vanderdonckt and Angel Puerta ,3 Jlnstitut d'Administration et de Gestion - Universite catholique de Louvain Place des Doyens, 1 - B-1348 Louvain-la-Neuve (Belgium) vanderdonckt@gant,ucl. ac,be , vanderdoncktj@acm,org Web: http://www. arpuerta. com JKnowledge Systems Laboratory, Stanford University, MSOB x215 Stanford, CA 94305-5479, USA puena@camis. stanford. edu 3RedWhaie Corp. , 277 Town & Country Village Palo Alto, CA 94303, USA puerta@ redwhale. com Web: http://www. redwhale. com Computer-Aided Design of Vser Interfaces (CADUI) is hereby referred to as the particular area of Human-Computer Interaction (HCI) intended to provide software support for any activity involved in the development life cycle of an interactive application, Such activities namely include task analysis, contextual inquiry [l], requirements definition, user-centred design, application modelling, conceptual design, prototyping, programming, in- stallation, test, evaluation, maintenance, Although very recently addressed (e. g., [3]), the activity of re-designing an existing user interface (VI) for an interactive application and the activity of re-engineering a VI to rebuild its underlying models are also considered in CADVI. A fundamental aim of CADVI is not only to provide some software sup- port to the above activities, but also to incorporate strong and solid meth- odological aspects into the development, thus fostering abstraction reflection and leaving ad hoc development aside [5,7]. Incorporating such methodo- logical aspects inevitably covers three related, sometimes intertwined, facets: models, method and tools.
R 2,184.76

Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.
R 2,170.36



R 1,042.85



American English File: Starter: Teacher's Book with Testing Program CD-ROM
American English File Second Edition retains the popular methodology developed by world-renowned authors Christina Latham-Koenig and Clive Oxenden: language + motivation = opportunity. With grammar, vocabulary, and pronunciation practice in every lesson, students are equipped with a solid foundation for successful speaking. Plus - an array of digital resources provides even more choice and flexibility. Students can learn in the classroom or on the move with Online Practice.
R 1,748.00


R 1,352.35

Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics
This book constitutes the proceedings of the Third International Conference of the CLEF Initiative, CLEF 2012, held in Rome, Italy, in September 2012. The 14 papers and 3 poster abstracts presented were carefully reviewed and selected for inclusion in this volume. Furthermore, the books contains 2 keynote papers. The papers are organized in topical sections named: benchmarking and evaluation initiatives; information access; and evaluation methodologies and infrastructure.
R 2,800.94

Sozialmedizinische Ansätze der Evaluation im Gesundheitswesen
In Teil I dieses Bandes geht es vor allem um die Beziehungen zwischen [rztenund Patienten bei der ambulanten Versorgung und Behandlung chronischer Krankheiten; im Mittelpunkt der Beitr{ge steht die Versorgung von Patienten mit rheumatischen Erkrankungen einerseits, die Zusammenarbeit von [rztenmit Selbsthilfegruppen andererseits. Teil II bringt - nach einleitender Bestandsaufnahme - einen ]berblick }ber die gegenw{rtig entwickelten methodischen Evaluationsans{tze. Die Beitr{ge zu Teil III reflektieren den fortgeschrittenen Stand der Evaluationsbem}hungen auf dem Gebiet der medizinischen Rehabilitation, wobei die station{ren Versorgungsformen im Vordergrund stehen.
R 1,867.40

R 1,053.12

R 2,201.63

Evaluation in Translation
In this book, Jeremy Munday presents advances towards a general theory of evaluation in translator decision-making that will be of high importance to translator and interpreter training and to descriptive translation analysis. By ‘evaluation’ the author refers to how a translator’s subjective stance manifests itself linguistically in a text.In a world where translation and interpreting function as a prism through which opposing personal and political views enter a target culture, it is crucial to investigate how such views are processed and sometimes subjectively altered by the translator. To this end, the book focuses on the translation process (rather than the product) and strives to identify more precisely those points where the translator is most likely to express judgment or evaluation.The translations studied cover a range of languages (Arabic, Chinese, Dutch, French, German, Indonesian, Italian, Japanese, Russian, Spanish and American Sign Language) accompanied by English glosses to facilitate comprehension by readers. This is key reading for researchers and postgraduates studying translation theory within Translation and Interpreting Studies.
R 3,418.33


Teaching Qualitative Research in Public Health
Qualitative methods are increasingly seen as key to addressing critical public health problems. How should instructors introduce qualitative methods to public health students and prepare them to conduct and critically engage in a meaningful way? Teaching public health students about qualitative research is more than just training students to run a focus group or explaining how to know how many in-depth interviews are "enough". It starts with helping students understand the power of qualitative methods and why they can be useful in population health.Designed as a resource for instructors teaching qualitative methods courses and classes for public health audiences, Teaching Qualitative Research in Public Health offers practical, creative ideas for designing both introductory and advanced courses and addressing the diverse learning goals of public health students inside and outside of the formal classroom. Written by experienced educators and qualitative researchers, this book discusses ways in which faculty can assist students in exploring different qualitative methods, how they should be undertaken, and how findings from qualitative studies can be analyzed and disseminated to inform public health programs and policies. This teaching companion offers numerous adaptable strategies, classroom-tested activities, and expert guidance to help instructors tailor their courses to diverse learning objectives and educational environments. With a focus on experiential learning, it equips educators to prepare the next generation of public health professionals with a strong foundation in qualitative research. Whether you're teaching a semester-long course, leading short-term training, or mentoring students in applied research, this book provides the tools needed to foster deep engagement and critical thinking in qualitative public health research.
R 1,545.00




Java on Smart Cards: Programming and Security
Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh-levellanguageforprogrammingmulti-application smartcards. Theuseofahigh-levellanguagecanfacilitatethedevelopmentand veri?cation of software for smart cards. The modest code size and the imp- tanceoftheapplicationareasimpliesthatitisbothpossibleanddesirableto developandapplyformalmethodsintheconstructionofsafeandsecureJava Cardsoftware. ThepresentvolumeconstitutestheproceedingsoftheJavaCardworkshop heldinCannes,14September2000. TheworkshopgrewoutoftheINRIAAction deRechercheCoop'erative"JavaCard"andwasorganizedincollaborationwith the Java Card Forum. A call for papers resulted in 14 submissions of which theprogramcommitteeselected11papersforpresentationattheworkshop. In addition,theworkshopfeaturedaninvitedtalkbyDanielLeM'etayer,Trusted Logic,onformalmethodsandsmartcardsecurity. WewishtothankCatherine Godest and Maryse Renaud for their help with preparing the proceedings for thisworkshop. February2001IsabelleAttali ThomasJensen 1 ItshouldbenotedthatJavaCardisatrademarkofSunMicrosystems.Organization ProgramCommittee ProgramChair: IsabelleAttali(INRIA,France) ThomasJensen(IRISA/CNRS,France) Committeemembers: ChristianGoire(BullCP8,France) SebastianHans(SunMicrosystems,USA) PieterHartel(UniversityofSouthampton,UK) PeterHoneyman(UniversityofMichigan,USA) PierreParadinas(Gemplus,France) JoachimPosegga(SAPCorporateResearch,Germany) TableofContents InvitedTalk FormalMethodsinContext:SecurityandJavaCard ...1 D. Bolignano,D. LeM'etayer,C. Loiseaux ContributedPapers ADynamicLogicfortheFormalVeri?cationofJavaCardPrograms ...6 BernhardBeckert ThePACAPPrototype:AToolforDetectingJavaCardIllegalFlow ...25 P. Bieber,J. Cazin,A. ElMarouani,P. Girard,J. -L. Lanet,V. Wiels, G. Zanon CardKt:AutomatedMulti-modalDeductiononJavaCardsfor Multi-applicationSecurity...38 RajeevGor'e,LanDuyNguyen A Programming and a Modelling Perspective on the Evaluation of Java CardImplementations...52 PieterH. Hartel,EduarddeJong SecureInternetSmartcards...73 NaomaruItoi,TomokoFukuzawa,PeterHoneyman IssuesinSmartcardMiddleware...90 RogerKehr,MichaelRohs,HaraldVogt OpenPlatfomSecurity ...98 MarcKekiche?,ForoughKashef,DavidBrewer ASimple(r)InterfaceDistributionMechanismforJavaCard ...114 KsheerabdhiKrishna,MichaelMontgomery AutomaticTestGenerationforJavaCardApplets ...121 HuguesMartin,LydieduBousquet FormalSpeci?cationandVeri?cationofJavaCard'sApplicationIdenti?er Class...137 JoachimvandenBerg,BartJacobs,ErikPoll X TableofContents Security on Your Hand: Secure Filesystems with a "Non-cryptographic" JAVA-Ring...151 R..udigerWeis,BastiaanBakker,StefanLucks AuthorIndex ...163 Formal Methods in Context: Security and Java Card D. Bolignano, D. Le Metayer, and C. Loiseaux Trusted Logic www. trusted-logic. fr 1. Security and Java Card: An Ideal Application Area for Formal Methods The benefits of formal methods for software engineeri
R 2,015.00

Health Promotion and Education
The second edition of Health Promotion and Education: Content and Curriculum presents students with best practices for school and public health education. Filled with practical applications and examples, the book is written with future professional experiences in mind and provides teaching strategies and learning activities for diverse learning populations.The book begins by teaching students about the role and benefit of schools and communities in promoting health education. In later chapters, models of prevention (with a focus on health risk behaviors), target population characteristics, administrative support, maximizing participation, factors that influence learning, and numerous other critical subjects are covered. Throughout, readers are challenged to cultivate practical skills, including learning how to write learning objectives, implement teaching strategies, use graphic organizers, plan lessons, create rubrics, and assess and evaluate progress.The second edition features increased focus on assessment and evaluation. Students learn how to align assessment and evaluation strategies with target population indicators and learning objectives to better demonstrate program and curricula efficacy.Health Promotion and Education is ideal for courses in school and/or public health education curriculum and methodology, as well as those that teach best practices in health education.
R 4,984.61

Measurement and Evaluation in Physical Activity Applications
Measurement and Evaluation in Physical Activity Applications: Exercise Science, Physical Education, Coaching, Athletic Training, and Health offers an accessible, student-friendly introduction to the principles and practice of measurement and evaluation. Spanning applications in exercise science, sports performance, physical education, coaching, athletic training, health, and physical/occupational therapy, the book includes chapters on the key principles underlying good measurement practice—validity, reliability, and objectivity—as well as an introduction to using statistics and qualitative measurement. This textbook is intended to help students overcome their fear of scientific research and statistics. Fully revised and updated, the third edition provides a clear guide to the obstacles of good measurement, how to apply the principles of good measurement, an introduction to statistical analyses, and the eventual application/communication of measurement outcomes. Structured for use in both single- and double-semester classes and involving readers at every stage through its rich pedagogy and accessibility, this book is a crucial resource for introducing students to the principles of best practices in measurement and evaluation. This book is the ideal learning aid for students studying measurement, evaluation, or assessment in kinesiology, exercise science, sports coaching, physical education, athletic training, and health and fitness.
R 4,606.53



R 684.68

Logic-Based Program Synthesis and Transformation
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in KongensLyngby, Denmark, August 23-24,2007. Previous LOPSTR symposia were held in Venice (2007 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992 and 1991), Leuven (1997), Stockholm (1996), Arhhem (1995), Pisa (1994) and Louvain-la-Neuve (1993). The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR thus traditionally solicits papers in the areas of: speci?cation, synthesis, veri?cation, transformation,analysis,optimization,composition,security,reuse,applications andtools,component-basedsoftwaredevelopment,softwarearchitectures,age- based software development and program re?nement. Formal proceedings are produced only after the symposium, so that authors can incorporate this fe- back in the published papers. Thirty submissions were received and each - per, in turn, received at least three reviews.The Committee decided to accept seven full papers for presentation and for immediate inclusion in the ?nal po- conference proceedings. Nine extended abstracts were also selected for pres- tation, of which six papers were accepted for publication in this volume, after revision and another round of reviewing. Michael Codish contributed a paper to the proceedings to accompany his invited talk. I am very grateful to the Program Committee and the reviewers for their - valuable help and expertise. The Steering Committee and, in particular German ' Puebla,generouslysharedtheirexperience.
R 1,545.64






American Headway: Four: Teacher's Resource Book with Testing Program
American Headway is the course you can always trust. Its proven methodology – focus on grammar, clear vocabulary syllabus, integrated skills work – was developed by award-winning authors John and Liz Soars to give you lessons that really work in class. The third edition supports students to succeed beyond the classroom more than ever before with: More conversation to help students accelerate their progress in speaking100% new downloadable assessment to prepare students for success in high-stake testsA new digital teaching and learning package to engage students in and beyond the classroom
R 1,748.00

Elementary Economic Evaluation in Health Care
There is a growing reliance on all health care workers to understand and practice economic evaluation. This comprehensive book written in jargon-free language provides a basic introduction to the subject. It succeeds in explaining both the principles of economic evaluation and how to use them. The second edition has been revised throughout and now includes a chapter on decision making, which explains the tools of systematic reviewing so bringing the book right up to date.
R 1,692.00

Evaluating Clinical Research
This book aims to make the readers better informed and more critical consumers of clinical research. It will help the reader recognize the strengths and the weaknesses of scientific publications. In doing so, the reader will be able to distinguish patient-important and methodologically sound studies from those having limitations in design, conduct and interpretation. The text is basic and has no statistical formulas. Key take-home messages are listed at the end of each chapter. Cartoons make the text easier to read and generate a few laughs, and they underscore specific points, sometimes in a provocative way.
R 3,051.99


Sustainability Performance Evaluation System in Government
Progressing towards sustainable development raises important challenges to conducting performance evaluations in governments because there are neither generally accepted methods nor specific standards to be met at present. Sustainability Performance Evaluation System in Government, makes a conceptual contribution to public sustainability performance evaluation and develops a set of framework indicators with the help of the strategic and comprehensive approach “Sustainability Balanced Scorecard”. As a conceptual basis for the further research and application, this volume will be of great interest to researchers and practitioners at many levels of environmental / sustainability, public management and strategic control studies. Evaluators will find methodological approaches and applied tools for their work. Decision-makers and managers will find it valuable to manage the social, economic and environmental issues in a balanced and integrated manner. Governments will also find it helpful in assisting them in establishing an evaluation system towards sustainable development.
R 3,672.80


















































