Download or read book A Scalable Method for Deductive Generalization in the Spreadsheet Paradigm written by Margaret Burnett and published by . This book was released on 2001 with total page 35 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Concurrency Graphs and Models written by Pierpaolo Degano and published by Springer Science & Business Media. This book was released on 2008-06-03 with total page 823 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa. The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements.
Download or read book New Perspectives in End User Development written by Fabio Paternò and published by Springer. This book was released on 2017-08-09 with total page 465 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides an in-depth insight into the emerging paradigm of End-User Development (EUD), discussing the diversity and potential for creating effective environments for end users. Containing a unique set of contributions from a number of international researchers and institutes, many relevant issues are discussed and solutions proposed, making important aspects of end-user development research available to a broader audience. Most people are familiar with the basic functionality and interfaces of computers. However, developing new or modified applications that can effectively support users' goals still requires considerable programming expertise that cannot be expected of everyone. One of the fundamental challenges that lie ahead is the development of environments that enable users with little or no programming experience to develop and modify their own applications. The ultimate goal is to empower people to flexibly employ and personalise advanced inform ation and communication technologies.
Download or read book ACM Transactions on Computer human Interaction written by and published by . This book was released on 2002 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Deductive Spreadsheet written by Iliano Cervesato and published by Springer Science & Business Media. This book was released on 2013-09-06 with total page 423 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they currently use spreadsheets to make decisions about numerical data. The result is an elegant design supported by the most recent developments in the above disciplines. The first half of the book focuses on the deductive engine that underlies this application, the foundations that users do not see. After giving a mathematical model of traditional spreadsheet applications, we extend them with operators to perform a number of relational tasks, similar to the user view of a database but in a spreadsheet context. Expressing this extension in a logic programming framework is a natural step towards giving it powerful deductive capabilities. The second half of the book deals with the user interface, the part of the application with which the user actually interacts. We review the elements of the graphical user interface of traditional spreadsheet applications and describe practical methodologies for designing user interfaces borrowed from the field of cognitive psychology. We then propose a design that conservatively integrates mechanisms for a user to take advantage of the new deductive capabilities. This is followed by the results of some preliminary usability experiments. The book will appeal to researchers and practitioners in the various areas underlying this work. Researchers will not only find interesting new developments in their domains, but will also learn how to achieve a multidisciplinary focus. Practitioners will find fully developed solutions to numerous problems that are not easily solvable using traditional spreadsheet applications.
Download or read book Social Science Research written by Anol Bhattacherjee and published by CreateSpace. This book was released on 2012-04-01 with total page 156 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is designed to introduce doctoral and graduate students to the process of conducting scientific research in the social sciences, business, education, public health, and related disciplines. It is a one-stop, comprehensive, and compact source for foundational concepts in behavioral research, and can serve as a stand-alone text or as a supplement to research readings in any doctoral seminar or research methods class. This book is currently used as a research text at universities on six continents and will shortly be available in nine different languages.
Download or read book The Coding Manual for Qualitative Researchers written by Johnny Saldana and published by SAGE. This book was released on 2009-02-19 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Coding Manual for Qualitative Researchers is unique in providing, in one volume, an in-depth guide to each of the multiple approaches available for coding qualitative data. In total, 29 different approaches to coding are covered, ranging in complexity from beginner to advanced level and covering the full range of types of qualitative data from interview transcripts to field notes. For each approach profiled, Johnny Saldaña discusses the method’s origins in the professional literature, a description of the method, recommendations for practical applications, and a clearly illustrated example.
Download or read book Program Synthesis written by Sumit Gulwani and published by . This book was released on 2017-07-11 with total page 138 pages. Available in PDF, EPUB and Kindle. Book excerpt: Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of some specification. Since the inception of artificial intelligence in the 1950s, this problem has been considered the holy grail of Computer Science. Despite inherent challenges in the problem such as ambiguity of user intent and a typically enormous search space of programs, the field of program synthesis has developed many different techniques that enable program synthesis in different real-life application domains. It is now used successfully in software engineering, biological discovery, compute-raided education, end-user programming, and data cleaning. In the last decade, several applications of synthesis in the field of programming by examples have been deployed in mass-market industrial products. This monograph is a general overview of the state-of-the-art approaches to program synthesis, its applications, and subfields. It discusses the general principles common to all modern synthesis approaches such as syntactic bias, oracle-guided inductive search, and optimization techniques. We then present a literature review covering the four most common state-of-the-art techniques in program synthesis: enumerative search, constraint solving, stochastic search, and deduction-based programming by examples. It concludes with a brief list of future horizons for the field.
Download or read book Qualitative Research from Start to Finish First Edition written by Robert K. Yin and published by Guilford Press. This book was released on 2011-09-26 with total page 369 pages. Available in PDF, EPUB and Kindle. Book excerpt: This lively, practical text presents a fresh and comprehensive approach to doing qualitative research. The book offers a unique balance of theory and clear-cut choices for customizing every phase of a qualitative study. A scholarly mix of classic and contemporary studies from multiple disciplines provides compelling, field-based examples of the full range of qualitative approaches. Readers learn about adaptive ways of designing studies, collecting data, analyzing data, and reporting findings. Key aspects of the researcher's craft are addressed, such as fieldwork options, the five phases of data analysis (with and without using computer-based software), and how to incorporate the researcher's “declarative” and “reflective” selves into a final report. Ideal for graduate-level courses, the text includes:* Discussions of ethnography, grounded theory, phenomenology, feminist research, and other approaches.* Instructions for creating a study bank to get a new study started.* End-of-chapter exercises and a semester-long, field-based project.* Quick study boxes, research vignettes, sample studies, and a glossary.* Previews for sections within chapters, and chapter recaps.* Discussion of the place of qualitative research among other social science methods, including mixed methods research.
Download or read book Data Mining with Rattle and R written by Graham Williams and published by Springer Science & Business Media. This book was released on 2011-08-04 with total page 382 pages. Available in PDF, EPUB and Kindle. Book excerpt: Data mining is the art and science of intelligent data analysis. By building knowledge from information, data mining adds considerable value to the ever increasing stores of electronic data that abound today. In performing data mining many decisions need to be made regarding the choice of methodology, the choice of data, the choice of tools, and the choice of algorithms. Throughout this book the reader is introduced to the basic concepts and some of the more popular algorithms of data mining. With a focus on the hands-on end-to-end process for data mining, Williams guides the reader through various capabilities of the easy to use, free, and open source Rattle Data Mining Software built on the sophisticated R Statistical Software. The focus on doing data mining rather than just reading about data mining is refreshing. The book covers data understanding, data preparation, data refinement, model building, model evaluation, and practical deployment. The reader will learn to rapidly deliver a data mining project using software easily installed for free from the Internet. Coupling Rattle with R delivers a very sophisticated data mining environment with all the power, and more, of the many commercial offerings.
Download or read book Column Generation written by Guy Desaulniers and published by Springer Science & Business Media. This book was released on 2006-03-20 with total page 369 pages. Available in PDF, EPUB and Kindle. Book excerpt: Column Generation is an insightful overview of the state of the art in integer programming column generation and its many applications. The volume begins with "A Primer in Column Generation" which outlines the theory and ideas necessary to solve large-scale practical problems, illustrated with a variety of examples. Other chapters follow this introduction on "Shortest Path Problems with Resource Constraints," "Vehicle Routing Problem with Time Window," "Branch-and-Price Heuristics," "Cutting Stock Problems," each dealing with methodological aspects of the field. Three chapters deal with transportation applications: "Large-scale Models in the Airline Industry," "Robust Inventory Ship Routing by Column Generation," and "Ship Scheduling with Recurring Visits and Visit Separation Requirements." Production is the focus of another three chapters: "Combining Column Generation and Lagrangian Relaxation," "Dantzig-Wolfe Decomposition for Job Shop Scheduling," and "Applying Column Generation to Machine Scheduling." The final chapter by François Vanderbeck, "Implementing Mixed Integer Column Generation," reviews how to set-up the Dantzig-Wolfe reformulation, adapt standard MIP techniques to the column generation context (branching, preprocessing, primal heuristics), and deal with specific column generation issues (initialization, stabilization, column management strategies).
Download or read book The Art of Systems Architecting written by Mark W. Maier and published by CRC Press. This book was released on 2009-01-06 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: If engineering is the art and science of technical problem solving, systems architecting happens when you don't yet know what the problem is. The third edition of a highly respected bestseller, The Art of Systems Architecting provides in-depth coverage of the least understood part of systems design: moving from a vague concept and limited resources
Download or read book The Cambridge Handbook of Computing Education Research written by Sally A. Fincher and published by . This book was released on 2019-02-13 with total page 924 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an authoritative introduction to Computing Education research written by over 50 leading researchers from academia and the industry.
Download or read book Bayesian Data Analysis Third Edition written by Andrew Gelman and published by CRC Press. This book was released on 2013-11-01 with total page 677 pages. Available in PDF, EPUB and Kindle. Book excerpt: Now in its third edition, this classic book is widely considered the leading text on Bayesian methods, lauded for its accessible, practical approach to analyzing data and solving research problems. Bayesian Data Analysis, Third Edition continues to take an applied approach to analysis using up-to-date Bayesian methods. The authors—all leaders in the statistics community—introduce basic concepts from a data-analytic perspective before presenting advanced methods. Throughout the text, numerous worked examples drawn from real applications and research emphasize the use of Bayesian inference in practice. New to the Third Edition Four new chapters on nonparametric modeling Coverage of weakly informative priors and boundary-avoiding priors Updated discussion of cross-validation and predictive information criteria Improved convergence monitoring and effective sample size calculations for iterative simulation Presentations of Hamiltonian Monte Carlo, variational Bayes, and expectation propagation New and revised software code The book can be used in three different ways. For undergraduate students, it introduces Bayesian inference starting from first principles. For graduate students, the text presents effective current approaches to Bayesian modeling and computation in statistics and related fields. For researchers, it provides an assortment of Bayesian methods in applied statistics. Additional materials, including data sets used in the examples, solutions to selected exercises, and software instructions, are available on the book’s web page.
Download or read book Research Design written by John W. Creswell and published by SAGE Publications. This book was released on 2017-12-12 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt: This best-selling text pioneered the comparison of qualitative, quantitative, and mixed methods research design. For all three approaches, John W. Creswell and new co-author J. David Creswell include a preliminary consideration of philosophical assumptions, key elements of the research process, a review of the literature, an assessment of the use of theory in research applications, and reflections about the importance of writing and ethics in scholarly inquiry. The Fifth Edition includes more coverage of: epistemological and ontological positioning in relation to the research question and chosen methodology; case study, PAR, visual and online methods in qualitative research; qualitative and quantitative data analysis software; and in quantitative methods more on power analysis to determine sample size, and more coverage of experimental and survey designs; and updated with the latest thinking and research in mixed methods.
Download or read book Encyclopedia of Research Design written by Neil J. Salkind and published by SAGE. This book was released on 2010-06-22 with total page 1779 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Comprising more than 500 entries, the Encyclopedia of Research Design explains how to make decisions about research design, undertake research projects in an ethical manner, interpret and draw valid inferences from data, and evaluate experiment design strategies and results. Two additional features carry this encyclopedia far above other works in the field: bibliographic entries devoted to significant articles in the history of research design and reviews of contemporary tools, such as software and statistical procedures, used to analyze results. It covers the spectrum of research design strategies, from material presented in introductory classes to topics necessary in graduate research; it addresses cross- and multidisciplinary research needs, with many examples drawn from the social and behavioral sciences, neurosciences, and biomedical and life sciences; it provides summaries of advantages and disadvantages of often-used strategies; and it uses hundreds of sample tables, figures, and equations based on real-life cases."--Publisher's description.
Download or read book End User Development written by Volkmar Pipek and published by Springer. This book was released on 2009-02-24 with total page 291 pages. Available in PDF, EPUB and Kindle. Book excerpt: Work practices and organizational processes vary widely and evolve constantly. The technological infrastructure has to follow, allowing or even supporting these changes. Traditional approaches to software engineering reach their limits whenever the full spectrum of user requirements cannot be anticipated or the frequency of changes makes software reengineering cycles too clumsy to address all the needs of a specific field of application. Moreover, the increasing importance of ‘infrastructural’ aspects, particularly the mutual dependencies between technologies, usages, and domain competencies, calls for a differentiation of roles beyond the classical user–designer dichotomy. End user development (EUD) addresses these issues by offering lightweight, use-time support which allows users to configure, adapt, and evolve their software by themselves. EUD is understood as a set of methods, techniques, and tools that allow users of software systems who are acting as non-professional software developers to 1 create, modify, or extend a software artifact. While programming activities by non-professional actors are an essential focus, EUD also investigates related activities such as collective understanding and sense-making of use problems and solutions, the interaction among end users with regard to the introduction and diffusion of new configurations, or delegation patterns that may also partly involve professional designers.
