DEFF Research Database (Denmark)
Jantzen, Jan
1998-01-01
A logic based on the two truth values True and False is sometimes inadequate when describing human reasoning. Fuzzy logic uses the whole interval between 0 (False) and 1 (True) to describe human reasoning. As a result, fuzzy logic is being applied in rule based automatic controllers, and this paper...
D2.4 Guidance and assessment tutorial: Inquiry Guidance and Assessment Tutorial
Protopsaltis, Aristidis; Hetzner, Sonia; Haimala, Foteini; Stepanyan, Karen; Specht, Marcus
2014-01-01
The weSPOT project aims at propagating scientific inquiry as the approach for science learning and teaching in combination with today’s curricula and teaching practices. It lowers the threshold for linking everyday life with science teaching in schools by technology. weSPOT supports the meaningful
D2.4 Guidance and assessment tutorial: Inquiry Guidance and Assessment Tutorial
Protopsaltis, Aristidis; Hetzner, Sonia; Haimala, Foteini; Stepanyan, Karen; Specht, Marcus
2014-01-01
The weSPOT project aims at propagating scientific inquiry as the approach for science learning and teaching in combination with today’s curricula and teaching practices. It lowers the threshold for linking everyday life with science teaching in schools by technology. weSPOT supports the meaningful c
Supporting Survey Courses with Lecture-Tutorials and Backwards-Faded Scaffolded Inquiry
Slater, T. F.; Slater, S. J.
2013-12-01
In the course of learning science, it is generally accepted that successful science learning experiences should result in learners developing a meaningful understanding of the nature of science as inquiry where: (i) students are engaged in questions; (ii) students are designing plans to pursue data; and (iii) students are generating and defending conclusions based on evidence they have collected. Few of these learning targets can be effectively reached through a professor-centered, information download lecture. In response to national reform movements calling for professors to adopt teaching strategies and learning environments where non-science majors and future teachers can actively engage in scientific discourse, scholars with the CAPER Center for Astronomy & Physics Education Research have leveraged NSF DUE funding over the last decade to develop and systematically field-test two separate instructional approaches. The first of these is called Lecture-Tutorials (NSF 99077755 and NSF 9952232) . These are self-contained, classroom-ready, collaborative group activities. The materials are designed specifically to be easily integrated into the lecture course and directly address the needs of busy and heavily-loaded teaching faculty for effective, student-centered, classroom-ready materials that do not require a drastic course revision for implementation. Students are asked to reason about difficult concepts, while working in pairs, and to discuss their ideas openly. The second of these is a series of computer-mediated, inquiry learning experiences for non-science majoring undergraduates based upon an inquiry-oriented teaching approach framed by the notions of backwards faded-scaffolding as an overarching theme for instruction (NSF 1044482). Backwards faded-scaffolding is a strategy where the conventional and rigidly linear scientific method is turned on its head and students are first taught how to create conclusions based on evidence, then how experimental design
Thoresen, Carol Wiggins
1994-01-01
This study determined if the training provided physics teaching assistants was sufficient to accomplish the objectives of inquiry-based tutorials for an introductory physics course. Qualitative research methods were used: (1) to determine if the Physics by Inquiry method was modeled; (2) to describe the process from the teaching assistant perspective; (3) to determine TA opinions on training methods; (4) to develop a frame of reference to better understand the role of TA's as instructional support staff. The study determined that the teaching assistants verbalized appropriate instructional actions, but were observed to use a predominantly didactic teaching style. TA's held a variety of perceptions and beliefs about inquiry -based learning and how science is learned. They felt comfortable in the role of tutorial instructor. They were satisfied with the training methods provided and had few suggestions to change or improve training for future tutorial instructors. A concurrent theme of teacher action dependent on teacher beliefs was sustained throughout the study. The TA's actions, as tutorial instructors, reflected their educational beliefs, student background and learning experiences. TA's performance as tutorial instructors depended on what they think and believe about learning science. Practical implications exist for training teaching assistants to be tutorial instructors. Some recommendations may be appropriate for TA's required to use instructional methods that they have not experienced as students. Interview prospective teaching assistants to determine educational experience and beliefs. Employ inexperienced teaching assistants whose perspectives match the proposed instructional role and who might be more receptive to modeling. Incorporate training into staff meetings. Provide time for TA's to experience the instructional model with simulation or role play as students and as instructors, accompanied by conference discussion. Use strategies known to enhance
New Directions in the Logic of Social Inquiry
DEFF Research Database (Denmark)
Ragin, C. C.
2013-01-01
This essay contrasts the conventional template for conducting social inquiry and the alternate template provided by configurational, case-oriented analytic methods, first formalized in The Comparative Method. The essential contrasts address the fundamental building blocks of social research, rang......, ranging from the definition of relevant cases to the understanding of social causation. The alternate template described in this essay provides a much stronger basis for the articulation of within-case and cross-case analysis than is offered by the conventional template....
DEFF Research Database (Denmark)
Dotoli, M.; Jantzen, Jan
1999-01-01
The tutorial concerns automatic control of an inverted pendulum, especially rule based control by means of fuzzy logic. A ball balancer, implemented in a software simulator in Matlab, is used as a practical case study. The objectives of the tutorial are to teach the basics of fuzzy control......, and to show how to apply fuzzy logic in automatic control. The tutorial is distance learning, where students interact one-to-one with the teacher using e-mail....
DEFF Research Database (Denmark)
Dotoli, M.; Jantzen, Jan
1999-01-01
The tutorial concerns automatic control of an inverted pendulum, especially rule based control by means of fuzzy logic. A ball balancer, implemented in a software simulator in Matlab, is used as a practical case study. The objectives of the tutorial are to teach the basics of fuzzy control, and t......, and to show how to apply fuzzy logic in automatic control. The tutorial is distance learning, where students interact one-to-one with the teacher using e-mail....
Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus
Knuth,Kevin H.
2005-01-01
For over a century, the study of logic has focused on the algebra of logical statements. This work, first performed by George Boole, has led to the development of modern computers, and was shown by Richard T. Cox to be the foundation of Bayesian inference. Meanwhile the logic of questions has been much neglected. For our computing machines to be truly intelligent, they need to be able to ask relevant questions. In this paper I will show how the Boolean lattice of logical statements gives rise to the free distributive lattice of questions thus defining their algebra. Furthermore, there exists a quantity analogous to probability, called relevance, which quantifies the degree to which one question answers another. I will show that relevance is not only a natural generalization of information theory, but also forms its foundation.
Mercati, Flavio
2014-01-01
Shape Dynamics (SD) is a new theory of gravity that is based on fewer and more fundamental first principles than General Relativity (GR). The most important feature of SD is the replacement of GR's relativity of simultaneity with a more tractable gauge symmetry, namely invariance under spatial conformal transformations. This Tutorial contains both a quick introduction for readers curious about SD and a detailed walk-through of the historical and conceptual motivations for the theory, its logical development from first principles and an in-depth description of its present status. The Tutorial is sufficiently self-contained for an undergrad student with some basic background in General Relativity and Lagrangian/Hamiltonian mechanics. It is intended both as a reference text for students approaching the subject, and as a review article for researchers interested in the theory. This is a first version of the Tutorial, which will be periodically expanded and updated with the latest results.
DEFF Research Database (Denmark)
Alrø, Helle; Johnsen-Høines, Marit
2012-01-01
in inquiring questions, and what other ways of communicating may have an inquiring function in learning conversations? The intention is to develop and frame the concept of ’inquiry’ in learning conversations, and this is the focus of analysis of an authentic classroom situation, where teacher and pupils......This article discusses what inquiry conversations could mean when learning mathematics.3 Referring to Gadamar’s distinction of true and apparent questions it is discussed what it takes to be inquiring and if this attitude necessarily includes posing questions. Which qualities are expressed...... are exploring the concept of ’volume’. Further, this analysis informs a discussion of listening as an important element of an inquiring learning conversation....
DEFF Research Database (Denmark)
Christensen, Henrik Bærbak
These tutorials demonstrate how to use Karibu for high quality data collection, in particular how to setup a distributed Karibu system and how to adapt Karibu to your particular data collection needs....
Electromagnetism Tutorial (Tutorial de Eletromagnetismo)
Dantas, Christine C
2009-01-01
The present tutorial aims at covering the fundamentals of electromagnetism, in a condensed and clear manner. Some solved and proposed exercises have been included. The reader is assumed to have knowledge of basic electricity, partial derivatives and multiple integrals. ----- O presente tutorial visa cobrir os fundamentos do eletromagnetismo, de forma condensada e clara. Alguns exercicios resolvidos e propostos foram incluidos. Assume-se conhecimento de eletricidade basica, derivadas parciais e integrais multiplas.
CERN. Geneva; MESSMER, Peter; DEMOUTH, Julien
2015-01-01
This tutorial will present Caffee, a powerful Python library to implement solutions working on CPUs and GPUs, and explain how to use it to build and train Convolutional Neural Networks using NVIDIA GPUs. The session requires no prior experience with GPUs or Caffee.
CERN. Geneva; VOSS, Helge
2015-01-01
This tutorial will both give an introduction on how to use TMVA in root6 and showcase some new features, such as modularity, variable importance, interfaces to R and python. After explaining the basic functionality, the typical steps required during a real life application (such as variable selection, pre-processing, tuning and classifier evaluation) will be demonstrated on simple examples. First part of the tutorial will use the usual Root interface (please make sure you have Root 6.04 installed somewhere). The second part will utilize the new server notebook functionality of Root as a Service. If you are within CERN but outside the venue or outside CERN please consult the notes attached.
Cooke, Elizabeth F
2003-01-01
Pragmatic bioethics represents a novel approach to the discipline of bioethics, yet has met with criticisms which have beset the discipline of bioethics in the past. In particular, pragmatic bioethics has been criticized for its excessively fuzzy approach to fundamental questions of normativity, which are crucial to a field like bioethics. Normative questions need answers, and consensus is not always enough. The approach here is to apply elements of the discourse ethics of Habermas and Putnam to the sphere of bioethics, in order to develop a normative structure out of the framework of bioethical inquiry as it stands. The idea here is that the process of inquiry contains its own normative structure as it aims to discover norms. Such an approach, which fuses pragmatic bioethics with discourse ethics (which equally draws on pragmatism), may rightly be called a "Pragmatic Discourse Bioethics."
Tutorial Instruction in Science Education
Directory of Open Access Journals (Sweden)
Rhea Miles
2015-06-01
Full Text Available The purpose of the study is to examine the tutorial practices of in-service teachers to address the underachievement in the science education of K-12 students. Method: In-service teachers in Virginia and North Carolina were given a survey questionnaire to examine how they tutored students who were in need of additional instruction. Results: When these teachers were asked, “How do you describe a typical one-on-one science tutorial session?” the majority of their responses were categorized as teacher-directed. Many of the teachers would provide a science tutorial session for a student after school for 16-30 minutes, one to three times a week. Respondents also indicated they would rely on technology, peer tutoring, scientific inquiry, or themselves for one-on-one science instruction. Over half of the in-service teachers that responded to the questionnaire stated that they would never rely on outside assistance, such as a family member or an after school program to provide tutorial services in science. Additionally, very few reported that they incorporated the ethnicity, culture, or the native language of ELL students into their science tutoring sessions.
Deweyan Inquiry: From Education Theory to Practice
Johnston, James Scott
2009-01-01
This book presents John Dewey's theory of inquiry and applies it to various areas of the primary, middle, and secondary school curricula. "Deweyan Inquiry" brings Dewey's theory of inquiry together with educational theory and practice. James Scott Johnston uses Dewey's late masterpiece "Logic: The Theory of Inquiry" as a guide…
Logic Functions for Cryptography - A Tutorial
2009-05-01
Lemma 2.1. That is, if f is a bent function, from Lemma 2.4, then so is f ⊕ 1 = f . This proves Lemma 2.1. Definition 2.8 The PPRM (positive polarity Reed...binary decision diagram ( BDD ). The disjoint quadratic function was among the first forms known to be bent [16]. It is interesting that all bent
CJS 211 Course Tutorial/TutorialRank
candice
2015-01-01
For more course tutorials visit www.tutorialrank.com Tutorial Purchased: 8 Times, Rating: A+ CJS 211 Week 1 Individual Assignment Ethical Dilemma Paper CJS 211 Week 1 DQ 1 CJS 211 Week 1 DQ 2 CJS 211 Week 2 Individual Assignment Ethical Dilemma Worksheet Law Enforcement CJS 211 Week 2 DQ 1 CJS 211 Week 2 DQ 2 CJS 211 Week 2 Team Assignment Ethical Decision Making Paper CJS 211 Week 3 Individual Assignment Ethical Dilemma Worksheet Prosecutors...
Generating Consistent Program Tutorials
DEFF Research Database (Denmark)
Vestdam, Thomas
2002-01-01
In this paper we present a tool that supports construction of program tutorials. A program tutorial provides the reader with an understanding of an example program by interleaving fragments of source code and explaining text. An example program can for example illustrate how to use a library...
Directory of Open Access Journals (Sweden)
Andrei A. Fedoseev
2014-01-01
Full Text Available The article analyzes effective electronic tutorials creation and application based on the theory of pedagogy. Herewith the issues of necessary electronic tutorial functional, ways of the educational process organization with the use of information and communication technologies and the logistics of electronic educational resources are touched upon.
Energy Technology Data Exchange (ETDEWEB)
Holland, Marika
2014-08-11
The 2014 annual tutorial for the Community Earth System Model (CESM) was held on August 11-August 15, 2014 at the National Center for Atmospheric Research in Boulder, CO. It included lectures and practical sessions on numerous aspects of the CESM model. The proceedings submitted here include a description of the tutorial.
DEFF Research Database (Denmark)
Hyldegård, Jette; Lund, Haakon
2012-01-01
The paper presents the results from a study on information literacy in a higher education (HE) context based on a larger research project evaluating 3 Norwegian IL web tutorials at 6 universities and colleges in Norway. The aim was to evaluate how the 3 web tutorials served students’ information...... seeking and writing process in an study context and to identify barriers to the employment and use of the IL web tutorials, hence to the underlying information literacy intentions by the developer. Both qualitative and quantitative methods were employed. A clear mismatch was found between intention...... and use of the web tutorials. In addition, usability only played a minor role compared to relevance. It is concluded that the positive expectations of the IL web tutorials tend to be overrated by the developers. Suggestions for further research are presented....
Clifton, Jennifer
2014-01-01
In an era of globalization, public-private partnerships often tip too easily toward privatization, where global processes of consumption, production, and migration complicate the conditions and consequences of engagement in public life. Like the logic of service, the logic of activist capitalism underlying social entrepreneurship and microlending…
DEFF Research Database (Denmark)
Hyldegård, Jette; Lund, Haakon
2012-01-01
The paper presents the results from a study on information literacy in a higher education (HE) context based on a larger research project evaluating 3 Norwegian IL web tutorials at 6 universities and colleges in Norway. The aim was to evaluate how the 3 web tutorials served students’ information...... seeking and writing process in an study context and to identify barriers to the employment and use of the IL web tutorials, hence to the underlying information literacy intentions by the developer. Both qualitative and quantitative methods were employed. A clear mismatch was found between intention...
Adult nutrition assessment tutorial
This tutorial presents a systematic approach to nutrition assessment based on a modern appreciation for the contributions of inflammation that serve as the foundation for newly proposed consensus definitions for malnutrition syndromes. Practical indicators of malnutrition and inflammation have been ...
The dynamic turn in quantum logic
Baltag, Alexandru; Smets, Sonja
In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the
Plane geometry drawing tutorial
Directory of Open Access Journals (Sweden)
Eduardo Gutiérrez de Ravé
2014-01-01
Full Text Available Se ha desarrollado un tutorial para facilitar la docencia del d ibujo geométrico. Con la idea de servir de apoyo a las explicac iones teóricas y prácticas de los conceptos correspondientes a los trazados ge ométricos planos necesarios en la ingeniería. Este tutorial es de fácil manejo y permite interactividad con el usuario, animaciones prá cticas, autoevaluaciones, explicaciones amplias del temario y l a enseñanza "paso a paso" de los conceptos gracias a los diferent es niveles de complejidad conceptual que incluye en su contenido.
DEFF Research Database (Denmark)
Behrmann, Gerd; David, Alexandre; Larsen, Kim Guldstrand
2004-01-01
This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide reference examples and modeling patterns.......This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide reference examples and modeling patterns....
DEFF Research Database (Denmark)
Nilsson, Jørgen Fischer
A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students......A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students...
Staub, Florian
2016-01-01
I give in this brief tutorial a short practical introduction to the Mathematica package SARAH. First, it is shown how an existing model file can be changed to implement a new model in SARAH. In the second part, masses, vertices and renormalisation group equations are calculated with SARAH. Finally, the main commands to generate model files and output for other tools are summarised.
Fiber Nonlinearities: A Tutorial
Institute of Scientific and Technical Information of China (English)
Govind P. Agrawal
2003-01-01
Fiber nonlinearities have long been regarded as being mostly harmful for fiber-optic communication systems. Over the last few years, however, the nonlinear effects are increasingly being used for practical telecommunications applications,the Raman amplification being only one of the recent examples. In this tutorial I review the vario us nonlinear effects occurring in optical fibers from both standpoints..
Fiber Nonlinearities: A Tutorial
Institute of Scientific and Technical Information of China (English)
Govind; P.; Agrawal
2003-01-01
Fiber nonlinearities have long been regarded as being mostly harmful for fiber-optic communication systems. Over the last few years, however, the nonlinear effects are increasingly being used for practical telecommunications applications, the Raman amplification being only one of the recent examples. In this tutorial I review the various nonlinear effects occurring in optical fibers from both standpoints..
Tutorial on architectural acoustics
Shaw, Neil; Talaske, Rick; Bistafa, Sylvio
2002-11-01
This tutorial is intended to provide an overview of current knowledge and practice in architectural acoustics. Topics covered will include basic concepts and history, acoustics of small rooms (small rooms for speech such as classrooms and meeting rooms, music studios, small critical listening spaces such as home theatres) and the acoustics of large rooms (larger assembly halls, auditoria, and performance halls).
Interactive Web-based tutorials for teaching digital electronics
Bailey, Donald G.
2000-10-01
With a wide range of student abilities in a class, it is difficult to effectively teach and stimulate all students. A series of web based tutorials was designed to help weaker students and stretch the stronger students. The tutorials consist of a series of HTML web pages with embedded Java applets. This combination is particularly powerful for providing interactive demonstrations because any textual content may be easily provided within the web page. The applet is able to be a compete working program that dynamically illustrates the concept, or provides a working environment for the student to experiment and work through their solution. The applet is dynamic, and responds to the student through both mouse clicks and keyboard entry. These allow the student to adjust parameters, make selections, and affect the way the program is run or information is displayed. Such interaction allows each applet to provide a mini demonstration or experiment to help the student understand a particular concept or technique. The approach taken is illustrated with a tutorial that dynamically shows the relationships between a truth table, Karnaugh amp, logic circuit and Boolean algebra representations of a logic function, and dramatically illustrates the effect of minimization on the resultant circuit. Use of the tutorial has resulted in significant benefits, particularly with weaker students.
Reinforcement Learning: A Tutorial.
1997-01-01
The purpose of this tutorial is to provide an introduction to reinforcement learning (RL) at a level easily understood by students and researchers in...provides a simple example to develop intuition of the underlying dynamic programming mechanism. In Section (2) the parts of a reinforcement learning problem... reinforcement learning algorithms. These include TD(lambda) and both the residual and direct forms of value iteration, Q-learning, and advantage learning
Oracle support provides a range of new tutorials
2012-01-01
The IT DB is pleased to announce a new series of Oracle tutorials, with the proposed schedule. Note that these tutorials will take place in the Filtration Plant (Building 222) and that no registration is required. 4 June (Monday) 09:00 Oracle Architecture, Przemyslaw Adam Radowiecki The objective is to go through Oracle database physical and logical structures, highlighting the consequences of some of Oracle's internal design choices for developers of database applications. The presentation defines Oracle-related basic terms and illustrates them based on the database architecture. The following topics will be discussed: • Database with its physical and logical structures (tablespace, segment, extent, block, database user, schema, user's quota) • Single instance (significant memory structures: buffer cache, shared pool) • Real Application Cluster (RAC) • Connecting to the database (TNS, database service) • SQL statement processing (h...
Library Video Tutorials to Support Large Undergraduate Labs: Will They Watch?
Colosimo, April L.; Kasuto, Emily
2012-01-01
Video tutorials were designed for students working on a General Chemistry scientific inquiry laboratory in 2008, as a supplement to in-class instruction from a librarian. In 2010, with no opportunity to provide in-class instruction, one of the videos was redesigned and offered to assist students with the exercise. In both years, students were…
FIN 320 UOP Course Tutorial/TutorialRank
apj
2015-01-01
For more course tutorials visit www.tutorialrank.com Tutorial Purchased: 0 Times, Rating: No Rating What are differences between accounting and finance? What are the roles of financial managers? What are their fiduciary responsibilities? By what ethical standards should they abide?
FIN 320(UOP) UOP Course Tutorial/TutorialRank
apj
2015-01-01
For more course tutorials visit www.tutorialrank.com Tutorial Purchased: 0 Times, Rating: No Rating What are differences between accounting and finance? What are the roles of financial managers? What are their fiduciary responsibilities? By what ethical standards should they abide?
Uptodate: tutorial. Desembre 2010
Universitat de Barcelona. CRAI
2010-01-01
Tutorial de consulta de base de dades UpToDate, de medicina clínica basada en l'evidència Uptodate. Proporciona accés sintetitzat a informació mèdica. Conté revisions originals escrites per reconeguts experts que analitzen casos clínics concrets i proporcionen les recomanacions pertinents. Centrat en resoldre qüestions sobre l'atenció als pacients i facilitar la pressa de decisions en la pràctica clínica diària.
Smart molecules at work-mimicking advanced logic operations
2010-01-01
Molecular logic is an interdisciplinary research field, which has captured worldwide interest. This tutorial review gives a brief introduction into molecular logic and Boolean algebra. This serves as the basis for a discussion of the state-of-the-art and future challenges in the field. Representative examples from the most recent literature including adders/subtractors, multiplexers/demultiplexers, encoders/decoders, and sequential logic devices (keypad locks) are highlighted. Other horizons,...
Teaching to the Test: A Pragmatic Approach to Teaching Logic
Vannatta, Seth C.
2014-01-01
The proper goal of an introductory logic course, teaching critical thinking, is best achieved by maintaining the principle of continuity between student experiences and the curriculum. To demonstrate this I explain Dewey's naturalistic approach to logic and the process of inquiry, one which presents the elements of traditional logic in the…
Smullyan, Raymond
2008-01-01
This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. T
Energy Technology Data Exchange (ETDEWEB)
Hu, Jonathan Joseph [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Wiesner, Tobias A. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Prokopenko, Andrey [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Gee, Michael [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
2014-10-01
The MueLu tutorial is written as a hands-on tutorial for MueLu, the next generation multigrid framework in Trilinos. It covers the whole spectrum from absolute beginners’ topics to expert level. Since the focus of this tutorial is on practical and technical aspects of multigrid methods in general and MueLu in particular, the reader is expected to have a basic understanding of multigrid methods and its general underlying concepts. Please refer to multigrid textbooks (e.g. [1]) for the theoretical background.
CERN. Geneva; Manzoni, Alex Marc
2017-01-01
This short tutorial explains how to create a CONFERENCE in indico and how to handle abstracts and registration forms, in detail: Timestamps: 1:01 - Programme 2:28 - Call for abstracts 11:50 - Abstract submission 13:41 - Abstract Review 15:41 - The Judge's Role 17:23 - Registration forms' creation 23:34 - Candidate participant's registration/application 25:54 - Customisation of Indico pages - Layout 28:08 - Customisation of Indico pages - Menus 29:47 - Configuring Event reminders and import into calendaring tools See HERE a recent presentation by Pedro about the above steps in the life of an indico CONFERENCE event.
Kleene, Stephen Cole
2002-01-01
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.
Use of an online writing tutorial to improve writing skills in nursing courses.
Roberts, Susan T; Goss, Gay
2009-01-01
Nursing students often struggle with writing style and the presentation of a logical flow of ideas. To help students enhance their scholastic writing skills, nursing faculty implemented an online program to improve syntax, grammar, and presentation of thoughts. The authors discuss a descriptive study and its results, which did demonstrate the effectiveness of the writing tutorial in Web-based nursing courses.
Hadoop Tutorials - Hadoop Foundations
CERN. Geneva; Lanza Garcia, Daniel
2016-01-01
The Hadoop ecosystem is the leading opensource platform for distributed storage and processing of "big data". The Hadoop platform is available at CERN as a central service provided by the IT department. This tutorial organized by the IT Hadoop service, aims to introduce the main concepts about Hadoop technology in a practical way and is targeted to those who would like to start using the service for distributed parallel data processing. The main topics that will be covered are: Hadoop architecture and available components How to perform distributed parallel processing in order to explore and create reports with SQL (with Apache Impala) on example data. Using a HUE - Hadoop web UI for presenting the results in user friendly way. How to format and/or structure data in order to make data processing more efficient - by using various data formats/containers and partitioning techniques (Avro, Parquet, HBase). ...
Smart molecules at work--mimicking advanced logic operations.
Andréasson, Joakim; Pischel, Uwe
2010-01-01
Molecular logic is an interdisciplinary research field, which has captured worldwide interest. This tutorial review gives a brief introduction into molecular logic and Boolean algebra. This serves as the basis for a discussion of the state-of-the-art and future challenges in the field. Representative examples from the most recent literature including adders/subtractors, multiplexers/demultiplexers, encoders/decoders, and sequential logic devices (keypad locks) are highlighted. Other horizons, such as the utility of molecular logic in bio-related applications, are discussed as well.
FIN 370new UOP Course Tutorial/TutorialRank
2015-01-01
For more course tutorials visit www.tutorialrank.com Tutorial Purchased: 24 Times, Rating: A+ 1.Which of the following is true regarding Investment Banks? 2. We compute the profitability index of a capital-budgeting proposal by Initial outlay = $1,748.80 3. Project Sigma requires an investment of $1 million and has a NPV of $10. Project Delta requires an investment of $500,000 and has a NPV of $150,000. The projects involve unrelated new product lines. What ...
Quantitative Microbial Risk Assessment Tutorial - Primer
This document provides a Quantitative Microbial Risk Assessment (QMRA) primer that organizes QMRA tutorials. The tutorials describe functionality of a QMRA infrastructure, guide the user through software use and assessment options, provide step-by-step instructions for implementi...
Flow Logic for Process Calculi
DEFF Research Database (Denmark)
Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik
2012-01-01
Flow Logic is an approach to statically determining the behavior of programs and processes. It borrows methods and techniques from Abstract Interpretation, Data Flow Analysis and Constraint Based Analysis while presenting the analysis in a style more reminiscent of Type Systems. Traditionally...... developed for programming languages, this article provides a tutorial development of the approach of Flow Logic for process calculi based on a decade of research. We first develop a simple analysis for the π-calculus; this consists of the specification, semantic soundness (in the form of subject reduction...... and adequacy results), and a Moore Family result showing that a least solution always exists, as well as providing insights on how to implement the analysis. We then show how to strengthen the analysis technology by introducing reachability components, interaction points, and localized environments...
CERN. Geneva
2005-01-01
With open access and repositories assuming a high profile some may question whether advocacy is still necessary. Those involved in the business of setting up and populating repositories are aware that in the majority of institutions there is still a great need for advocacy. This tutorial will give participants an opportunity to discuss different advocacy methods and approaches, including the 'top down' and 'bottom up' approach, publicity methods and the opportunities offered by funding body positions on open access. Participants will have the opportunity to share experiences of what works and what doesn't. The advocacy role often encompasses responsibility for advising academics on IPR issues. This is a particularly critical area where repository staff are engaged in depositing content on behalf of academics. The tutorial will offer an opportunity to discuss the IPR issues encountered by those managing repositories. The tutorial will draw on the experience of participants who have been engaged in advocacy act...
Tugué, Tosiyuki; Slaman, Theodore
1989-01-01
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.
Tutorials in complex photonic media
Noginov, Mikhail A; McCall, Martin W; Zheludev, Nikolay I
2010-01-01
The field of complex photonic media encompasses many leading-edge areas in physics, chemistry, nanotechnology, materials science, and engineering. In Tutorials in Complex Photonic Media , leading experts have brought together 19 tutorials on breakthroughs in modern optics, such as negative refraction, chiral media, plasmonics, photonic crystals, and organic photonics. This text will help students, engineers, and scientists entering the field to become familiar with the interrelated aspects of the subject. It also serves well as a supplemental text in introductory and advanced courses on optica
CERN. Geneva
2016-01-01
Mail2print is a feature which allows you to send documents to a printer by mail. This tutorial (text attached to the event page) explains how to use this service. Content owner: Vincent Nicolas Bippus Presenter: Pedro Augusto de Freitas Batista Tell us what you think via e-learning.support at cern.ch More tutorials in the e-learning collection of the CERN Document Server (CDS) https://cds.cern.ch/collection/E-learning%20modules?ln=en All info about the CERN rapid e-learning project is linked from http://twiki.cern.ch/ELearning
Historical review of tutorial in education
Directory of Open Access Journals (Sweden)
María Gabriela Luna Pérez
2015-01-01
Full Text Available For centuries, tutorials have always been of an individual character in the history of education. The paper reviews how tutorials in education have evolved from ancient Greece to the present by considering taking into account the following aspects: a its general understanding, b the favorite areas of orientation c the role of learning guiding process d the supporting role of tutorials. We offer a historical account of tutorials development in Mexican Education. The study provides the main trends of tutorial activities in primary education, the evidence confirmed that tutoring has evolved from the learning of philosophical and ethical questions to the multiple learning involving competencies.
2014-10-03
that must be woven into proofs of security statements. 03-10-2014 Memorandum Report Logic System-on-a-Chip Distributed systems 9888 ASDR&EAssistant...can be removed without damaging the logic. For all propositional letters p, E1. p ⊃ [r] p From now on, a distributed logic contains at least the...a ∈ x iff 〈h〉 ∈ x. These same definitions work for the canonical relation R for r : h y k where now a ∈ MA(k), [r] a, 〈r〉 a ∈ MA(h), x ∈ CF(h), and
Online Searching in PBL Tutorials
Jin, Jun; Bridges, Susan M.; Botelho, Michael G.; Chan, Lap Ki
2015-01-01
This study aims to explore how online searching plays a role during PBL tutorials in two undergraduate health sciences curricula, Medicine and Dentistry. Utilizing Interactional Ethnography (IE) as an organizing framework for data collection and analysis, and drawing on a critical theory of technology as an explanatory lens, enabled a textured…
DEFF Research Database (Denmark)
Lund, Haakon; Pors, Niels Ole
2012-01-01
Purpose – The purpose of the research is to investigate Norwegian web‐tutorials in contexts consisting of organizational issues and different forms of usability in relation to students’ perception and use of the system. Further, the research investigates the usefulness of the concepts concerning...
Online Searching in PBL Tutorials
Jin, Jun; Bridges, Susan M.; Botelho, Michael G.; Chan, Lap Ki
2015-01-01
This study aims to explore how online searching plays a role during PBL tutorials in two undergraduate health sciences curricula, Medicine and Dentistry. Utilizing Interactional Ethnography (IE) as an organizing framework for data collection and analysis, and drawing on a critical theory of technology as an explanatory lens, enabled a textured…
Hypermedia 1990 structured Hypertext tutorial
Johnson, J. Scott
1990-01-01
Hypermedia 1990 structured Hypertext tutorial is presented in the form of view-graphs. The following subject areas are covered: structured hypertext; analyzing hypertext documents for structure; designing structured hypertext documents; creating structured hypertext applications; structuring service and repair documents; maintaining structured hypertext documents; and structured hypertext conclusion.
Lengyel, Florian
2012-01-01
We define Denial Logic DL, a system of justification logic that models an agent whose justified beliefs are false, who cannot avow his own propositional attitudes and who can believe contradictions but not tautologies of classical propositional logic. Using Artemov's natural semantics for justification logic JL, in which justifications are interpreted as sets of formulas, we provide an inductive construction of models of DL, and prove soundness and completeness results for DL. Some logical notions developed for JL, such as constant specifications and the internalization property, are inconsistent with DL. This leads us to define negative constant specifications for DL, which can be used to model agents with justified false beliefs. Denial logic can therefore be relevant to philosophical skepticism. We use DL with what we call coherent negative constant specifications to model a Putnamian brain in a vat with the justified false belief that it is not a brain in a vat, and derive a model of JL in which "I am a b...
DEFF Research Database (Denmark)
Braüner, Torben
2011-01-01
Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.......Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area....
Institute of Scientific and Technical Information of China (English)
Hongsheng QI; Daizhan CHENG
2008-01-01
This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.
Science Information Literacy Tutorials and Pedagogy
Directory of Open Access Journals (Sweden)
Ping Li
2011-06-01
Full Text Available Objective – This study examined information literacy tutorials in science. The goals of the research were to identify which of the information literacy standards for science, engineering and technology were addressed in the tutorials, and the extent that the tutorials incorporated good pedagogical elements.Methods – The researcher chose for review 31 of the tutorials selected by members of the ACRL Science & Technology Section (STS Information Literacy Committee. She carefully analyzed the tutorials and developed a database with codes for the topic of each tutorial, the STS information literacy standard(s addressed by the tutorial, and whether good pedagogical elements were incorporated. The entire analysis and coding procedure was repeated three times to ensure consistency.Results – The tutorials analyzed in this study covered various subjects and addressed all the (STS information literacy standards. The tutorials presented information clearly and allowed users to select their own learning paths. The incorporation of good pedagogical elements was limited, especially in relation to active learning elements.Conclusions – Web tutorials have been accepted as effective information literacy instruction tools and have been used to teach all elements of the STS information literacy standards. Yet, ensuring they provide a real learning experience for students remains a challenge. More serious thought needs to be given to integrating good pedagogy into these instructional tools in order to attain deep learning.
DEFF Research Database (Denmark)
Gørlich, Anne
2016-01-01
In this article, I argue that poetic inquiry is a valuable method for producing knowledge that complements current research into ‘what works’ in reintegrating young people into secondary education. Researching ‘what works’ and ‘finding effects’ leads to insight into which interventions and tools...
Rushton, Gregory T.; Dias, Michael; McDurmon, Grant
2008-01-01
In this article, the authors describe a two-phase inquiry lesson in which students explore the catalytic activity of amylase on starch (Rungruangsa and Panijpan 1979). In the first phase, students' prior knowledge about the reaction is assessed through a set of directed prompts and small-group discussion, then challenged or reinforced as students…
ROOT Tutorial for Summer Students
CERN. Geneva; Piparo, Danilo
2015-01-01
ROOT is a "batteries-included" tool kit for data analysis, storage and visualization. It is widely used in High Energy Physics and other disciplines such as Biology, Finance and Astrophysics. This event is an introductory tutorial to ROOT and comprises a front lecture and hands on exercises. IMPORTANT NOTE: The tutorial is based on ROOT 6.04 and NOT on the ROOT5 series. IMPORTANT NOTE: if you have ROOT 6.04 installed on your laptop, you will not need to install any virtual machine. The instructions showing how to install the virtual machine on which you can find ROOT 6.04 can be found under "Material" on this page.
CRJ 305 ASH Tutorial/ Uoptutorial
venkatesh
2015-01-01
For more course tutorials visit www.uoptutorial.com Law - General Law Factors that Cause Crime. In Chapter 1 of Crime Prevention, the author discusses factors that cause crime. Select a specific crime or criminal issue. What are three factors that lead to the crime or criminal justice issue you identified? Identify possible solutions to the crime or criminal justice issue you selected. Why do you think these solutions would be effective ...
Tutorial on Online Partial Evaluation
Directory of Open Access Journals (Sweden)
William R. Cook
2011-09-01
Full Text Available This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional programming language. In particular, we show that the partial evaluator can be derived as a variation on a compositionally defined interpreter. We demonstrate the use of the resulting partial evaluator for program optimization in the context of model-driven development.
Creating R Packages: A Tutorial
Leisch, Friedrich
2008-01-01
This tutorial gives a practical introduction to creating R packages. We discuss how object oriented programming and S formulas can be used to give R code the usual look and feel, how to start a package from a collection of R functions, and how to test the code once the package has been created. As running example we use functions for standard linear regression analysis which are developed from scratch.
Tutorial on Online Partial Evaluation
Cook, William R; 10.4204/EPTCS.66.8
2011-01-01
This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional programming language. In particular, we show that the partial evaluator can be derived as a variation on a compositionally defined interpreter. We demonstrate the use of the resulting partial evaluator for program optimization in the context of model-driven development.
A Tutorial on Variational Integrators
Webb, Stephen D
2014-01-01
We present a brief tutorial on the nuts and bolts computation of a multisymplectic particle-in-cell algorithm using the discretized Lagrangian approach. This approach, originated by Marsden, Shadwick, and others, brings the benefits of symplectic integration of Hamiltonian systems to full electromagnetic particle-in-cell algorithms. To make the work more approachable, we present a basic discussion of the philosophy, combined with a detailed derivation of a standard 1-dimensional electrostatic particle-in-cell algorithm.
ECO 204 NEW Tutorial / Uoptutorial
Armugam
2015-01-01
For more course tutorials visit www.uoptutorial.com Circular Flow Diagram. Explain how the circular flow diagram relates to the current economic situation. Using the circular flow diagram, explain a way that your family interacts in the factor market and a way that it interacts in the products market. Supply and Demand. Analyze how the law of demand applies to a recent purchase that you made. Describe how the product has changed in price and explain whether the price ch...
Teaching Game Programming using Video Tutorials
DEFF Research Database (Denmark)
Majgaard, Gunver
Background. What are the learning potentials of using online video tutorials as educational tools in game programming of Mixed Reality? The paper reports on the first experiences of teaching third semester engineering students design of Mixed Reality using online step-by-step programming video...... tutorials. Mixed Reality covers in this case both Augmented and Virtual Reality. Until recently, most of the instructional support for the software and game development came from paper tutorials (van der Meij et al, 2016:332). YouTube’s rapid growth in popularity and easy to use programs for video...... and emerging topics such as Mixed Reality. Students tend to use video tutorial on their own initiative as supplementary tutorials for new and hard topics. This motivated me to use existing video tutorials as teaching materials in the course titled Mixed Reality for third semester engineering students...
Campillo Frutos, Sebastián; Sánchez López, María Cristina; Gomariz Vicente, María Ángeles; Martínez Juárez, Miriam
2009-01-01
Contenidos: La Acción tutorial. El tutor. El Plan de Acción Tutorial. Técnicas para el desarrollo de la Acción Tutorial. Materia que se imparte en el Master Universitario en Formación del Profesorado de Educación Secundaria Obligatoria y Bachillerato, Formación Profesional, Enseñanzas de Idiomas y Enseñanzas Artísticas
DEFF Research Database (Denmark)
Dindler, Christian; Iversen, Ole Sejer
At designe i en fortællemæssig ramme giver brugere og designere mulighed for i fællesskab at udforske fremtidens it-anvendelser. Metoden hedder Fictional Inquiry, og den motiverer brugerne til at tænke ud over dagligdagens begrænsninger og sætte ord på ting i hverdagen, som ellers er svære...
Zadeh, Lofti A.
1988-01-01
The author presents a condensed exposition of some basic ideas underlying fuzzy logic and describes some representative applications. The discussion covers basic principles; meaning representation and inference; basic rules of inference; and the linguistic variable and its application to fuzzy control.
Trevathan, Jarrod; Myers, Trina
2013-01-01
Process-Oriented Guided Inquiry Learning (POGIL) is a technique used to teach in large lectures and tutorials. It invokes interaction, team building, learning and interest through highly structured group work. Currently, POGIL has only been implemented in traditional classroom settings where all participants are physically present. However,…
The logic of medical diagnosis.
Stanley, Donald E; Campos, Daniel G
2013-01-01
Establishing diagnoses is a crucial aspect of medical practice. However, this process has received comparatively little logical and pedagogical attention when compared to statistical methods for evaluating evidence. This article investigates the logic of medical diagnosis in order to fill this void. It is organized in three parts: the first attempts to explain why more attention ought to be paid to diagnosis, at least as much as to evidence; the second calls attention to the method of diagnosis by abductive reasoning developed in the 19th century by Charles Sanders Peirce (1839-1914); and the third demonstrates the use and pervasiveness of abduction by any other name in clinical diagnosis. We examine six diagnostic strategies in common use that contain most, if not all, of Peirce's structure of inquiry in science.
GEN 480 UOP TUTORIAL / Uoptutorial
2015-01-01
For more course tutorials visit www.uoptutorial.com GEN 480 Week 1 DQ 1 GEN 480 Week 1 DQ 2 GEN 480 Week 1 DQ 3 GEN 480 Week 1 DQ 4 GEN 480 Week 1 Individual AssignmentEthics Awareness GEN 480 Week 1 Summary GEN 480 Week 2 DQ 1 GEN 480 Week 2 DQ 2 GEN 480 Week 2 DQ 3 GEN 480 Week 2 DQ 4 GEN 480 Week 2 Individual Assignment Ethics Awareness &...
Agregar recursos en Studium. Tutorial
Universidad de Salamanca (España). Universidad Virtual
2009-01-01
A través de este tutorial se pretende dar a conocer las opciones que presenta Studium para agregar diversos tipos de recursos. Se explica de forma textual y gráfica cómo añadir y editar una etiqueta, una página de texto, una página web, enlazar diversos tipos de documentos, como un archivo o una web. Por otra parte, se presenta cómo gestionar el uso de carpetas.
DEFF Research Database (Denmark)
Lund, Haakon; Pors, Niels Ole
2012-01-01
affordances and different forms of usability. Design/methodology/approach – The research has employed a variety of data‐collection methods including interviews with librarians, interviews and focus group interviews with students, coupled with tests of their capabilities using the systems. A detailed research...... of students were also interesting, clearly indicating marked differences in perceptions depending on study year and discipline but also different valuation of the different forms of usability. Overall, the research indicated a discrepancy between design intentions versus use and perception of the tutorials...
ACC 230 UOP TUTORIAL / Uoptutorial
Justin Bieber
2015-01-01
For more course tutorials visit www.uoptutorial.com ACC 230 Week 1 Checkpoint Financial Statements ACC 230 Week 1 DQ 1 and DQ 2 ACC 230 Week 2 CheckPoint Differentiating Depreciation Methods ACC 230 Week 2 Assignment Lucent Technologies Case ACC 230 Week 3 CheckPoint Preparing an Income Statement ACC 230 Week 3 DQ 1 and DQ 2 ACC 230 Week 4 CheckPoint Analyzing an Income Statement ACC 230 Week 4 Assignment Web Sites Search ACC 230 Week 5 Chec...
Using VMD: an introductory tutorial.
Hsin, Jen; Arkhipov, Anton; Yin, Ying; Stone, John E; Schulten, Klaus
2008-12-01
VMD (Visual Molecular Dynamics) is a molecular visualization and analysis program designed for biological systems such as proteins, nucleic acids, lipid bilayer assemblies, etc. This unit will serve as an introductory VMD tutorial. We will present several step-by-step examples of some of VMD's most popular features, including visualizing molecules in three dimensions with different drawing and coloring methods, rendering publication-quality figures, animating and analyzing the trajectory of a molecular dynamics simulation, scripting in the text-based Tcl/Tk interface, and analyzing both sequence and structure data for proteins.
Using VMD - An Introductory Tutorial
Hsin, Jen; Arkhipov, Anton; Yin, Ying; Stone, John E.; Schulten, Klaus
2010-01-01
VMD (Visual Molecular Dynamics) is a molecular visualization and analysis program designed for biological systems such as proteins, nucleic acids, lipid bilayer assemblies, etc. This unit will serve as an introductory VMD tutorial. We will present several step-by-step examples of some of VMD’s most popular features, including visualizing molecules in three dimensions with different drawing and coloring methods, rendering publication-quality figures, animate and analyze the trajectory of a molecular dynamics simulation, scripting in the text-based Tcl/Tk interface, and analyzing both sequence and structure data for proteins. PMID:19085979
Molecules with a sense of logic: a progress report.
Andréasson, Joakim; Pischel, Uwe
2015-03-07
In this tutorial review, the most recent developments in the field of molecular logic and information processing are discussed. Special emphasis is given to the report of progress in the concatenation of molecular logic devices and switches, the design of memory systems working according to the principles of sequential logic, the mimicking of transistors, and the research on photochromic platforms with an unprecedented degree of functional integration. Furthermore, a series of achievements that add up to the conceptual diversity of molecular logic is introduced, such as the realization of highly complex and logically reversible Toffoli and Fredkin gates by the action of DNAzymes or the use of a multifluorophoric platform as a viable approach towards keypad lock functions.
Institute of Scientific and Technical Information of China (English)
林作铨; 李未
1995-01-01
Parametric logic is introduced. The language, semantics and axiom system of parametric logic are defined. Completeness theorem of parametric logic is provided. Parametric logic has formal ability powerful enough to capture a wide class of logic as its special cases, and therefore can be viewed as a uniform basis for modern logics.
DEFF Research Database (Denmark)
This collection of dialogues is the only textbook of its kind. Internet Inquiry: Conversations About Method takes students into the minds of top internet researchers as they discuss how they have worked through critical challenges as they research online social environments. Editors Annette N....... Markham and Nancy K. Baym illustrate that good research choices are not random but are deliberate, studied, and internally consistent. Rather than providing single "how to" answers, this book presents distinctive and divergent viewpoints on how to think about and conduct qualitative internet studies....
DEFF Research Database (Denmark)
This collection of dialogues is the only textbook of its kind. Internet Inquiry: Conversations About Method takes students into the minds of top internet researchers as they discuss how they have worked through critical challenges as they research online social environments. Editors Annette N....... Markham and Nancy K. Baym illustrate that good research choices are not random but are deliberate, studied, and internally consistent. Rather than providing single "how to" answers, this book presents distinctive and divergent viewpoints on how to think about and conduct qualitative internet studies....
Hyperspectral image analysis. A tutorial
Energy Technology Data Exchange (ETDEWEB)
Amigo, José Manuel, E-mail: jmar@food.ku.dk [Spectroscopy and Chemometrics Group, Department of Food Sciences, Faculty of Science, University of Copenhagen, Rolighedsvej 30, Frederiksberg C DK–1958 (Denmark); Babamoradi, Hamid [Spectroscopy and Chemometrics Group, Department of Food Sciences, Faculty of Science, University of Copenhagen, Rolighedsvej 30, Frederiksberg C DK–1958 (Denmark); Elcoroaristizabal, Saioa [Spectroscopy and Chemometrics Group, Department of Food Sciences, Faculty of Science, University of Copenhagen, Rolighedsvej 30, Frederiksberg C DK–1958 (Denmark); Chemical and Environmental Engineering Department, School of Engineering, University of the Basque Country, Alameda de Urquijo s/n, E-48013 Bilbao (Spain)
2015-10-08
This tutorial aims at providing guidelines and practical tools to assist with the analysis of hyperspectral images. Topics like hyperspectral image acquisition, image pre-processing, multivariate exploratory analysis, hyperspectral image resolution, classification and final digital image processing will be exposed, and some guidelines given and discussed. Due to the broad character of current applications and the vast number of multivariate methods available, this paper has focused on an industrial chemical framework to explain, in a step-wise manner, how to develop a classification methodology to differentiate between several types of plastics by using Near infrared hyperspectral imaging and Partial Least Squares – Discriminant Analysis. Thus, the reader is guided through every single step and oriented in order to adapt those strategies to the user's case. - Highlights: • Comprehensive tutorial of Hyperspectral Image analysis. • Hierarchical discrimination of six classes of plastics containing flame retardant. • Step by step guidelines to perform class-modeling on hyperspectral images. • Fusion of multivariate data analysis and digital image processing methods. • Promising methodology for real-time detection of plastics containing flame retardant.
Tutorial on Superconducting Accelerator Magnets
Ball, M. J. Penny; Goodzeit, Carl L.
1997-05-01
A multimedia CD-ROM tutorial on the physics and engineering concepts of superconducting magnets for particle accelerators is being developed under a U.S. Dept. of Energy SBIR grant. The tutorial, scheduled for distribution this summer, is targeted to undergraduate junior or senior level science students. However, its unified presentation of the broad range of issues involved in the design of superconducting magnets for accelerators and the extensive detail about the construction process (including animations and video clips) will also be of value to staff of research institutes and industrial concerns with an interest in applied superconductivity or magnet development. The source material, which is based on the world-wide R and D programs to develop superconducting accelerator magnets, is organized in five units with the following themes: Introduction to magnets and accelerators; (2) Superconductors for accelerator magnets; (3) Magnetic design methods for accelerator magnets; (4) Electrical, mechanical, and cryogenic considerations for the final magnet package; (5) Performance characteristics and measurement methods. A detailed outline and examples will be shown.
All 2006 ATLAS Tutorials online
Steven Goldfarb,; Mitch McLachlan,; Homer A. Neal
The University of Michigan has completed its full agenda of Web Lecture recording for ATLAS for 2006. The archives include all three ATLAS Week Plenary Sessions, as well as a large variety of tutorials. They are accessible at target="_top" this location. Viewing requires a standard web browser with RealPlayer plug-in (included in most browsers automatically) and works on any major platform. This is the first year our group has been asked to provide this complete service to the collaboration, so any and all feedback is welcome. We would especially like to know if you had any difficulties viewing the lectures, if you found the selection of material to be useful, and/or if you think there are any other specific events we ought to cover in 2007. Please send you comments to wlap@umich.edu. We look forward to bringing you a rich variety of new lectures in 2007, starting with the ATLAS Distributed Computing Tutorial on Feb 1, 2 in Edinburgh and concluding with the Higgs discovery talk (of course). Enjoy the Lec...
Malcolm, Norman; Altuner, Ilyas
2015-01-01
The paper deals exclusively with the doctrine called ‘Logical Behaviorism’. Although this position does not vogue it enjoyed in the 1930s and 1940s, it will always possess a compelling attraction for anyone who is perplexed by the psychological concepts, who has become aware of worthlessness of an appeal to introspection as an account of how we learn those concepts, and he has no inclination to identify mind with brain. There, of course, are other forms of behaviorism, and of reductionism, wh...
DEFF Research Database (Denmark)
Bender, Ralf; Berg, Gabriele; Zeeb, Hajo
2005-01-01
Confidence intervals represent a routinely used standard method to document the uncertainty of estimated effects. In most cases, for the calculation of confidence intervals the conventional fixed 95% confidence level is used. Confidence curves represent a graphical illustration of confidence...... attention to the different interpretation of one- and two-sided statistical inference. It is shown that these two options also have influence on the plotting of appropriate confidence curves. We illustrate the use of one- and two-sided confidence curves and explain their correct interpretation. In medical...
The genre tutorial and social networks terminology
Directory of Open Access Journals (Sweden)
Márcio Sales Santiago
2014-02-01
Full Text Available This paper analyzes the terminology in the Internet social networks tutorials. A tutorial is a specialized text, full of terms, aiming to teach an individual or group of individuals who need some guidelines to operationalize a computerized tool, such as a social network. It is necessary to identify linguistic and terminological characteristics from the specialized lexical units in this digital genre. Social networks terminology is described and exemplified here. The results show that it is possible to refer to two specific terminologies in tutorials which help to determine the terminological profile of the thematic area, specifically from the point of view of denomination.
CERN. Geneva
2007-01-01
This tutorial is aimed at those who are new to the area of repositories and who want to learn more about key advocacy and policy issues. The tutorial will include information and advice on putting together an institutional advocacy campaign and developing policies for your repository. There will be opportunities for participants to share experiences and to ask questions. The tutorial will include a practical exercise in developing an advocacy presentation. Participants with experience of advocacy are welcome to attend the session to share their experiences, but should bear in mind that it is aimed primarily at those looking for help and advice in advocacy matters.
Advocacy and policy issues Tutorial 2
CERN. Geneva
2007-01-01
This tutorial is aimed at those who are new to the area of repositories and who want to learn more about key advocacy and policy issues. The tutorial will include information and advice on putting together an institutional advocacy campaign and developing policies for your repository. There will be opportunities for participants to share experiences and to ask questions. The tutorial will include a practical exercise in developing an advocacy presentation. Participants with experience of advocacy are welcome to attend the session to share their experiences, but should bear in mind that it is aimed primarily at those looking for help and advice in advocacy matters.
Hadoop Tutorial - Efficient data ingestion
CERN. Geneva; Baranowski, Zbigniew
2016-01-01
The Hadoop ecosystem is the leading opensource platform for distributed storage and processing of "big data". The Hadoop platform is available at CERN as a central service provided by the IT department. Real-time data ingestion to Hadoop ecosystem due to the system specificity is non-trivial process and requires some efforts (which is often underestimated) in order to make it efficient (low latency, optimize data placement, footprint on the cluster). In this tutorial attendees will learn about: The important aspects of storing the data in Hadoop Distributed File System (HDFS). Data ingestion techniques and engines that are capable of shipping data to Hadoop in an efficient way. Setting up a full data ingestion flow into a Hadoop Distributed Files System from various sources (streaming, log files, databases) using the best practices and components available around the ecosystem (including Sqoop, Kite, Flume, Kafka...
Energy Technology Data Exchange (ETDEWEB)
Long, Kevin R.
2004-07-01
Sundance is a system of software components that allows construction of an entire parallel simulator and its derivatives using a high-level symbolic language. With this high-level problem description, it is possible to specify a weak formulation of a PDE and its discretization method in a small amount of user-level code; furthermore, because derivatives are easily available, a simulation in Sundance is immediately suitable for accelerated PDE-constrained optimization algorithms. This paper is a tutorial for setting up and solving linear and nonlinear PDEs in Sundance. With several simple examples, we show how to set up mesh objects, geometric regions for BC application, the weak form of the PDE, and boundary conditions. Each example then illustrates use of an appropriate solver and solution visualization.
Hyperspectral image analysis. A tutorial
DEFF Research Database (Denmark)
Amigo Rubio, Jose Manuel; Babamoradi, Hamid; Elcoroaristizabal Martin, Saioa
2015-01-01
This tutorial aims at providing guidelines and practical tools to assist with the analysis of hyperspectral images. Topics like hyperspectral image acquisition, image pre-processing, multivariate exploratory analysis, hyperspectral image resolution, classification and final digital image processi...... to differentiate between several types of plastics by using Near infrared hyperspectral imaging and Partial Least Squares - Discriminant Analysis. Thus, the reader is guided through every single step and oriented in order to adapt those strategies to the user's case....... will be exposed, and some guidelines given and discussed. Due to the broad character of current applications and the vast number of multivariate methods available, this paper has focused on an industrial chemical framework to explain, in a step-wise manner, how to develop a classification methodology...
Basic Radar Altimetry Toolbox & Tutorial
Rosmorduc, Vinca; Benveniste, Jerome; Breebaart, Leo; Bronner, Emilie; Dinardo, Salvatore; Earith, Didier; Lucas, Bruno Manuel; Niejmeier, Sander; Picot, Nicolas
2010-12-01
The Basic Radar Altimetry Toolbox is an "all-altimeter" collection of tools, tutorials and documents designed to facilitate the use of radar altimetry data, including the last mission launched, CryoSat. It has been available from April 2007, and had been demonstrated during training courses and scientific meetings. Nearly 1200 people downloaded it (as of end of June 2010), with many "newcomers" to altimetry among them. Users' feedbacks, developments in altimetry, and practice, showed that new interesting features could be added. Some have been added and/or improved in version 2. Others are ongoing, some are in discussion. The Basic Radar Altimetry Toolbox is able: - to read most distributed radar altimetry data, from ERS-1 & 2, Topex/Poseidon, Geosat Follow-on, Jason- 1, Envisat, Jason- 2, CryoSat and also the future Saral and Sentinel 3 missions, - to perform some processing, data editing and statistic, - and to visualize the results. It can be used at several levels/several ways: - as a data reading tool, with APIs for C, Fortran, Matlab and IDL - as processing/extraction routines, through the on-line command mode - as an educational and a quick-look tool both, with the graphical user interface As part of the Toolbox, a Radar Altimetry Tutorial gives general information about altimetry, the technique involved and its applications, as well as an overview of past, present and future missions, including information on how to access data, additional software and documentation. It also presents a series of data use cases, covering all uses of altimetry over ocean, cryosphere and land, showing the basic methods for some of the most frequent manners of using altimetry data. BRAT is developed under contract with ESA and CNES. It is available at http://www.altimetry.info and http://earth.esa.int/brat/
DEFF Research Database (Denmark)
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume...... is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic...... epistemic logic, and the logic of evidence....
Carlton, David Bryan
The exponential improvements in speed, energy efficiency, and cost that the computer industry has relied on for growth during the last 50 years are in danger of ending within the decade. These improvements all have relied on scaling the size of the silicon-based transistor that is at the heart of every modern CPU down to smaller and smaller length scales. However, as the size of the transistor reaches scales that are measured in the number of atoms that make it up, it is clear that this scaling cannot continue forever. As a result of this, there has been a great deal of research effort directed at the search for the next device that will continue to power the growth of the computer industry. However, due to the billions of dollars of investment that conventional silicon transistors have received over the years, it is unlikely that a technology will emerge that will be able to beat it outright in every performance category. More likely, different devices will possess advantages over conventional transistors for certain applications and uses. One of these emerging computing platforms is nanomagnetic logic (NML). NML-based circuits process information by manipulating the magnetization states of single-domain nanomagnets coupled to their nearest neighbors through magnetic dipole interactions. The state variable is magnetization direction and computations can take place without passing an electric current. This makes them extremely attractive as a replacement for conventional transistor-based computing architectures for certain ultra-low power applications. In most work to date, nanomagnetic logic circuits have used an external magnetic clocking field to reset the system between computations. The clocking field is then subsequently removed very slowly relative to the magnetization dynamics, guiding the nanomagnetic logic circuit adiabatically into its magnetic ground state. In this dissertation, I will discuss the dynamics behind this process and show that it is greatly
Institute of Scientific and Technical Information of China (English)
小雨
2006-01-01
A teacher was giving her pu- pils a lesson on logic(逻辑)．“Here is the situation(情景),”she said,“a man is stand- ing up in a boat in the middle of a river,fishing．He loses his bal- ance(平衡),falls in,and begins splashing(泼水)and yelling(叫喊)for help．His wife hears the commotion(喧闹),knows that he can’t swim,and runs down to the bank (河岸)．Why did she run to the bank?” A girl raised her hand and asked,“To draw out(提取)all of his savings(存款)．”
Understanding Medical Words Tutorial: Download Instructions
... https://medlineplus.gov/medwords/medicalwordsdownload.html Understanding Medical Words Tutorial: Download Instructions To use the sharing features ... no Internet connection is available. Download: Understanding Medical Words [16MB zip file] Download instructions : Click on the ...
The BTeV Software Tutorial Suite
Energy Technology Data Exchange (ETDEWEB)
Robert K. Kutschke
2004-02-20
The BTeV Collaboration is starting to develop its C++ based offline software suite, an integral part of which is a series of tutorials. These tutorials are targeted at a diverse audience, including new graduate students, experienced physicists with little or no C++ experience, those with just enough C++ to be dangerous, and experts who need only an overview of the available tools. The tutorials must both teach C++ in general and the BTeV specific tools in particular. Finally, they must teach physicists how to find and use the detailed documentation. This report will review the status of the BTeV experiment, give an overview of the plans for and the state of the software and will then describe the plans for the tutorial suite.
Tutorials in university students with a disability
Directory of Open Access Journals (Sweden)
Joaquín Gairín Sallán
2013-10-01
Full Text Available This article places an emphasis on the importance of tutorials for students with a disability in universities. It presented the most significant results of the study of tutorials carried out in help services, units or offices for students with a disability inmore than 45 Spanish universities, in relation to promotion, reception, completion and graduation. The contributions highlight the importance of organising a response through a Tutorial Action Plan made up of the stages of motivation and awareness-raisin, planning, execution, evaluation and institutionalisation. Among the principle conclusions, the importance of moving towards a truly inclusive university through tutorial activity is highlighted, thereby providing a guide for providing assistance to university students with a disability.
An Introduction to Logic for Students of Physics and Engineering
Kolecki, Joseph C.
2004-01-01
A physicist with an engineering background, the author presents a brief tutorial on logic. In his work at NASA and in his encounters with students, he has often found that a firm grounding in basic logic is lacking - perhaps because there are so many other demands on people that time simply cannot be taken to really examine the roots of human reasoning. This report provides an overview of this all-too-important subject with the dual hope that it will suffice insofar as it goes and that it will spur at least some to further study.
National Research Council Canada - National Science Library
Jorge Orós
2014-01-01
... de Acción Tutorial que contribuyan a la mejora de los resultados académicos. Los Planes de Acción Tutorial, en su sentido más amplio, pueden incluir los siguientes aspectos: * Programa de captación de estudiantes Objetivo: incrementar la demanda de preinscripciones y en consecuencia, aumentar la nota mínima de ingreso. * Programa de acogida Objetivo: fac...
Paraconsistent Computational Logic
DEFF Research Database (Denmark)
Jensen, Andreas Schmidt; Villadsen, Jørgen
2012-01-01
In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....
Doberkat, Ernst-Erich
2009-01-01
Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.
Eskolemization in intuitionistic logic
Baaz, Matthias; Iemhoff, R.
In [2] an alternative skolemization method called eskolemization was introduced that is sound and complete for existence logic with respect to existential quantifiers. Existence logic is a conservative extension of intuitionistic logic by an existence predicate. Therefore eskolemization provides a
Paraconsistent Computational Logic
DEFF Research Database (Denmark)
Jensen, Andreas Schmidt; Villadsen, Jørgen
2012-01-01
In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study.......In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....
Datalog: A self-contained tutorial (Part 2)
Energy Technology Data Exchange (ETDEWEB)
Ceri, S.; Gottlob, G.; Tanca, L.
1992-07-01
Datalog is a database query language based on the logic programming paradigm; it has been designed and intensively studied through the last five years. We present the syntax and semantics of Datalog and its use for querying a relational database. Then, we classify optimization methods for achieving efficient evaluations of Datalog queries, and present the most relevant methods. Finally, we discuss various enhancements of Datalog, currently under study, and indicate what is still needed in order to extend Datalog`s applicability to the solution of real-life problems The aim of this paper is to provide a self-contained tutorial, addressed also to those members of the database community who are not too familiar with logic programming concepts. The paper is divided into two parts. Part One contains Sections 1,2,3, and the bibliography. In Section 2 we presented the foundations of Datalog: in Section 3 we explained how Datalog is used as a query language over relational database. Part Two is thus organized: Section 4 presents a taxonomy of the various optimization methods: in Section 5, we introduce some representative evaluation methods and optimization techniques. In Section 6, we present several formal extensions to Datalog. Finally, in Section 7 we attempt an evaluation of what will be required to make Datalog more attractive and usable. For the list of references, the reader is referred to Part 1 (Issue No. 4, pp. 20-38, 1991). 6 figs.
Datalog; a self-contained tutorial (Part 1)
Energy Technology Data Exchange (ETDEWEB)
Ceri, S.; Gottlob, G.; Tanca, L.
1992-05-01
Datalog is a database query language based on the logic programming paradigm; it has been designed and intensively studied through the last five years. We present the syntax and semantics of Datalog and its use for querying a relational database. Then, we classify optimization methods for achieving efficient evaluations of Datalog queries, and present the most relevant methods. Finally, we discuss various exhancements of Datalog, currently under study, and indicate what is still needed in order to extend Datalog`s applicability to the solution of real-lift problems. The aim of this paper is to provide a self-contained tutorial, addressed also to those members of the database community, who are not too familiar with logic programming concepts. The paper is divided into two parts. Part 1 contains Sections 1, 2, 3, and the bibliography. In Section 2 we present the foundations of Datalog; in Section 3 we explain how Datalog is used as a query language over relational databases. Part 2 is thus organized: Section 4 presents a taxonomy of the various optimization methods; in Section 5, we introduce some representative evaluation methods and optimization techniques. In Section 6, we present several formal extensions to Datalog. Finally, in Section 7 we attempt an evaluation of what will be required to Datalog in order to become more attractive and usable. 74 refs., 3 figs.
Three-valued logics in modal logic
Kooi, Barteld; Tamminga, Allard
2013-01-01
Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we
A 5' online tutorial about 'how to prepare for a 5' online tutorial'
CERN. Geneva
2016-01-01
This 4' video summarises our experience from short online tutorial recordings for the last 6 months. It contains important points for speakers' preparation and things to observe during the online tutorial recordings. For more details, check out our e-learning twiki.
Jeffery, Keven M; Maggio, Lauren; Blanchard, Mary
2009-01-01
Librarians at the Boston University Medical Center constructed two interactive online tutorials, "Introduction to EBM" and "Formulating a Clinical Question (PICO)," for a Family Medicine Clerkship and then quickly repurposed the existing tutorials to support an Evidence-based Dentistry course. Adobe's ColdFusion software was used to populate the tutorials with course-specific content based on the URL used to enter each tutorial, and a MySQL database was used to collect student input. Student responses were viewable immediately by course faculty on a password-protected Web site. The tutorials ensured that all students received the same baseline training and allowed librarians to tailor a subsequent library skills workshop to student tutorial answers. The tutorials were well-received by the medical and dental schools and have been added to mandatory first-year Evidence-based Medicine (EBM) and Evidence-based Dentistry (EBD) courses, meaning that every medical and dental student at BUMC will be expected to complete these tutorials.
Specht, Marcus
2012-01-01
Specht, M. (2012, 8 November). Mobile Inquiry Based Learning. Presentation given at the Workshop "Mobile inquiry-based learning" at the Mobile Learning Day 2012 at the Fernuniversität Hagen, Hagen, Germany.
Specht, Marcus
2012-01-01
Specht, M. (2012, 8 November). Mobile Inquiry Based Learning. Presentation given at the Workshop "Mobile inquiry-based learning" at the Mobile Learning Day 2012 at the Fernuniversität Hagen, Hagen, Germany.
Department of Homeland Security — All non-media public inquiries and complaints and responses to inquiries received by telephone, e-mail and fax, and handles contacts in English and Spanish. The data...
Topics and features of academic medical library tutorials.
Anderson, Rozalynd P; Wilson, Steven P; Yeh, Felicia; Phillips, Betty; Livingston, Mary Briget
2008-01-01
In a 2007 study, librarians at the University of South Carolina School of Medicine Library examined freely available online tutorials on academic medical library Web sites. The team identified tutorial topics, determined common design features, and assessed elements of active learning in library-created tutorials; the team also generated a list of third-party tutorials to which medical libraries link. This article updates the earlier study, describing changes and trends in tutorial content and design on medical libraries' Web sites; the project team plans to continue to track trends in tutorial development by repeating this study annually.
DEFF Research Database (Denmark)
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume i...... epistemic logic, and the logic of evidence.......Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume...... is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic...
Tutorial on Protein Ontology Resources.
Arighi, Cecilia N; Drabkin, Harold; Christie, Karen R; Ross, Karen E; Natale, Darren A
2017-01-01
The Protein Ontology (PRO) is the reference ontology for proteins in the Open Biomedical Ontologies (OBO) foundry and consists of three sub-ontologies representing protein classes of homologous genes, proteoforms (e.g., splice isoforms, sequence variants, and post-translationally modified forms), and protein complexes. PRO defines classes of proteins and protein complexes, both species-specific and species nonspecific, and indicates their relationships in a hierarchical framework, supporting accurate protein annotation at the appropriate level of granularity, analyses of protein conservation across species, and semantic reasoning. In the first section of this chapter, we describe the PRO framework including categories of PRO terms and the relationship of PRO to other ontologies and protein resources. Next, we provide a tutorial about the PRO website ( proconsortium.org ) where users can browse and search the PRO hierarchy, view reports on individual PRO terms, and visualize relationships among PRO terms in a hierarchical table view, a multiple sequence alignment view, and a Cytoscape network view. Finally, we describe several examples illustrating the unique and rich information available in PRO.
Energy Technology Data Exchange (ETDEWEB)
Sala, Marzio; Day, David Minot; Heroux, Michael Allen
2004-05-01
The Trilinos Project is an effort to facilitate the design, development, integration and ongoing support of mathematical software libraries. The goal of the Trilinos Project is to develop parallel solver algorithms and libraries within an object-oriented software framework for the solution of large-scale, complex multiphysics engineering and scientific applications. The emphasis is on developing robust, scalable algorithms in a software framework, using abstract interfaces for flexible interoperability of components while providing a full-featured set of concrete classes that implement all the abstract interfaces. This document introduces the use of Trilinos, version 4.0. The presented material includes, among others, the definition of distributed matrices and vectors with Epetra, the iterative solution of linear systems with AztecOO, incomplete factorizations with IF-PACK, multilevel and domain decomposition preconditioners with ML, direct solution of linear system with Amesos, and iterative solution of nonlinear systems with NOX. The tutorial is a self-contained introduction, intended to help computational scientists effectively apply the appropriate Trilinos package to their applications. Basic examples are presented that are fit to be imitated. This document is a companion to the Trilinos User's Guide [20] and Trilinos Development Guides [21,22]. Please note that the documentation included in each of the Trilinos' packages is of fundamental importance.
GOCE User Toolbox and Tutorial
Benveniste, J.; Knudsen, P.
2013-12-01
The GOCE User Toolbox GUT is a compilation of tools for the utilisation and analysis of GOCE Level 2 products. GUT support applications in Geodesy, Oceanography and Solid Earth Physics. The GUT Tutorial provides information and guidance in how to use the toolbox for a variety of applications. GUT consists of a series of advanced computer routines that carry out the required computations. It may be used on Windows PCs, UNIX/Linux Workstations, and Mac. The toolbox is supported by The GUT Algorithm Description and User Guide and The GUT Install Guide. A set of a-priori data and models are made available as well. Recently, the second version of the GOCE User Toolbox (GUT) was developed to enhance the exploitation of GOCE level 2 data with ERS ENVISAT altimetry. The developments of GUT focused on the following issues: Data Extraction, Generation, Filtering, and Data Save and Restore Without any doubt the development of the GOCE user toolbox have played a major role in paving the way to successful use of the GOCE data for oceanography. The results of the preliminary analysis carried out in this phase of the GUTS project have already demonstrated a significant advance in the ability to determine the ocean's general circulation. The improved gravity models provided by the GOCE mission have enhanced the resolution and sharpened the boundaries of those features compared with earlier satellite only solutions. Calculation of the geostrophic surface currents from the MDT reveals improvements for all of the ocean's major current systems.
Suarez, Angel; Ternier, Stefaan; Specht, Marcus
2014-01-01
The Personal Inquiry Manager (PIM) is an integration approach based on a mobile application, based on Android, to support the IBL process and gives users mobile access to their inquiries. Moreover it facilitates a more self-directed approach as it enables to set up their own personal inquiries. The
Teaching Science through Inquiry
Wilcox, Jesse; Kruse, Jerrid W.; Clough, Michael P.
2015-01-01
Science education efforts have long emphasized inquiry, and inquiry and scientific practices are prominent in contemporary science education reform documents (NRC 1996; NGSS Lead States 2013). However, inquiry has not become commonplace in science teaching, in part because of misunderstandings regarding what it means and entails (Demir and Abell…
Rule Systems for Runtime Verification: A Short Tutorial
Barringer, Howard; Havelund, Klaus; Rydeheard, David; Groce, Alex
In this tutorial, we introduce two rule-based systems for on and off-line trace analysis, RuleR and LogScope. RuleR is a conditional rule-based system, which has a simple and easily implemented algorithm for effective runtime verification, and into which one can compile a wide range of temporal logics and other specification formalisms used for runtime verification. Specifications can be parameterized with data, or even with specifications, allowing for temporal logic combinators to be defined. We outline a number of simple syntactic extensions of core RuleR that can lead to further conciseness of specification but still enabling easy and efficient implementation. RuleR is implemented in Java and we will demonstrate its ease of use in monitoring Java programs. LogScope is a derivation of RuleR adding a simple very user-friendly temporal logic. It was developed in Python, specifically for supporting testing of spacecraft flight software for NASA’s next 2011 Mars mission MSL (Mars Science Laboratory). The system has been applied by test engineers to analysis of log files generated by running the flight software. Detailed logging is already part of the system design approach, and hence there is no added instrumentation overhead caused by this approach. While post-mortem log analysis prevents the autonomous reaction to problems possible with traditional runtime verification, it provides a powerful tool for test automation. A new system is being developed that integrates features from both RuleR and LogScope.
Probabilistic Dynamic Epistemic Logic
Kooi, B.P.
2003-01-01
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1999). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order informatio
Metamathematics of fuzzy logic
Hájek, Petr
1998-01-01
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.
DEFF Research Database (Denmark)
Bentzen, Martin Mose
2014-01-01
A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning ar...... the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic....
Neural networks and applications tutorial
Guyon, I.
1991-09-01
The importance of neural networks has grown dramatically during this decade. While only a few years ago they were primarily of academic interest, now dozens of companies and many universities are investigating the potential use of these systems and products are beginning to appear. The idea of building a machine whose architecture is inspired by that of the brain has roots which go far back in history. Nowadays, technological advances of computers and the availability of custom integrated circuits, permit simulations of hundreds or even thousands of neurons. In conjunction, the growing interest in learning machines, non-linear dynamics and parallel computation spurred renewed attention in artificial neural networks. Many tentative applications have been proposed, including decision systems (associative memories, classifiers, data compressors and optimizers), or parametric models for signal processing purposes (system identification, automatic control, noise canceling, etc.). While they do not always outperform standard methods, neural network approaches are already used in some real world applications for pattern recognition and signal processing tasks. The tutorial is divided into six lectures, that where presented at the Third Graduate Summer Course on Computational Physics (September 3-7, 1990) on Parallel Architectures and Applications, organized by the European Physical Society: (1) Introduction: machine learning and biological computation. (2) Adaptive artificial neurons (perceptron, ADALINE, sigmoid units, etc.): learning rules and implementations. (3) Neural network systems: architectures, learning algorithms. (4) Applications: pattern recognition, signal processing, etc. (5) Elements of learning theory: how to build networks which generalize. (6) A case study: a neural network for on-line recognition of handwritten alphanumeric characters.
GOCE User Toolbox and Tutorial
Benveniste, Jérôme; Knudsen, Per
2016-07-01
The GOCE User Toolbox GUT is a compilation of tools for the utilisation and analysis of GOCE Level 2 products. GUT support applications in Geodesy, Oceanography and Solid Earth Physics. The GUT Tutorial provides information and guidance in how to use the toolbox for a variety of applications. GUT consists of a series of advanced computer routines that carry out the required computations. It may be used on Windows PCs, UNIX/Linux Workstations, and Mac. The toolbox is supported by The GUT Algorithm Description and User Guide and The GUT Install Guide. A set of a-priori data and models are made available as well. Without any doubt the development of the GOCE user toolbox have played a major role in paving the way to successful use of the GOCE data for oceanography. The GUT version 2.2 was released in April 2014 and beside some bug-fixes it adds the capability for the computation of Simple Bouguer Anomaly (Solid-Earth). During this fall a new GUT version 3 has been released. GUTv3 was further developed through a collaborative effort where the scientific communities participate aiming on an implementation of remaining functionalities facilitating a wider span of research in the fields of Geodesy, Oceanography and Solid earth studies. Accordingly, the GUT version 3 has: - An attractive and easy to use Graphic User Interface (GUI) for the toolbox, - Enhance the toolbox with some further software functionalities such as to facilitate the use of gradients, anisotropic diffusive filtering and computation of Bouguer and isostatic gravity anomalies. - An associated GUT VCM tool for analyzing the GOCE variance covariance matrices.
Dynamical systems on networks a tutorial
Porter, Mason A
2016-01-01
This volume is a tutorial for the study of dynamical systems on networks. It discusses both methodology and models, including spreading models for social and biological contagions. The authors focus especially on “simple” situations that are analytically tractable, because they are insightful and provide useful springboards for the study of more complicated scenarios. This tutorial, which also includes key pointers to the literature, should be helpful for junior and senior undergraduate students, graduate students, and researchers from mathematics, physics, and engineering who seek to study dynamical systems on networks but who may not have prior experience with graph theory or networks. Mason A. Porter is Professor of Nonlinear and Complex Systems at the Oxford Centre for Industrial and Applied Mathematics, Mathematical Institute, University of Oxford, UK. He is also a member of the CABDyN Complexity Centre and a Tutorial Fellow of Somerville College. James P. Gleeson is Professor of Industrial and Appli...
Simplifying Inquiry Instruction: Assessing the Inquiry Level of Classroom Activities
Bell, Randy L.; Smetana, Lara; Binns, Ian
2005-01-01
Inquiry instruction is a hallmark of the current science education reform efforts. Science teachers know that inquiry is important, yet most teachers lack a practical framework of inquiry to inform their instruction. Defining inquiry and assessing how much inquiry is supported by a particular activity or lab can be difficult and confusing. This…
Video and HTML: Testing Online Tutorial Formats with Biology Students
Craig, Cindy L.; Friehs, Curt G.
2013-01-01
This study compared two common types of online information literacy tutorials: a streaming media tutorial using animation and narration and a text-based tutorial with static images. Nine sections of an undergraduate biology lab class (234 students total) were instructed by a librarian on how to use the BIOSIS Previews database. Three sections…
Video and HTML: Testing Online Tutorial Formats with Biology Students
Craig, Cindy L.; Friehs, Curt G.
2013-01-01
This study compared two common types of online information literacy tutorials: a streaming media tutorial using animation and narration and a text-based tutorial with static images. Nine sections of an undergraduate biology lab class (234 students total) were instructed by a librarian on how to use the BIOSIS Previews database. Three sections…
Progress Report--Microsoft Office 2003 Lynchburg College Tutorials
Murray, Tom
2004-01-01
For the past several years Lynchburg College has developed Microsoft tutorials for use with academic classes and faculty, student and staff training. The tutorials are now used internationally. Last year Microsoft and Verizon sponsored a tutorial web site at http://www.officetutorials.com. This website recognizes ASCUE members for their wonderful…
Analysis of Web-Based Tutorials Created by Academic Libraries
Somoza-Fernandez, Marta; Abadal, Ernest
2009-01-01
This paper aims to analyse the characteristics of tutorials created by academic libraries. It evaluates a sample of 180 tutorials by applying thirty basic indicators referring to general characteristics, content, teaching methodology, usability and technology. The general conclusion is that most of the tutorials are at an early stage of…
PHI 200 ASH Course Tutorial/ Tutorialrank
john
2015-01-01
For more course tutorials visit www.tutorialrank.com Tutorial Purchased: 5 Times, Rating: A+ PHI 200 Week 2 DQ 1 Ethics and Relativism PHI 200 Week 2 DQ 2 Animal Rights PHI 200 Week 2 Written Assignment Assisted Suicide PHI 200 Week 3 DQ 1 The Limits of Skepticism PHI 200 Week 3 DQ 2 Creationism and Science PHI 200 Week 3 Written Assignment Final Paper (Death Penalty) PHI 200 Week 4 DQ 1 Proof of God's Existence PHI 200 Week 4 DQ 2 The Tu...
Subtitled video tutorials, an accessible teaching material
Directory of Open Access Journals (Sweden)
Luis Bengochea
2012-11-01
Full Text Available The use of short-lived audio-visual tutorials constitutes an educational resource very attractive for young students, widely familiar with this type of format similar to YouTube clips. Considered as "learning pills", these tutorials are intended to strengthen the understanding of complex concepts that because their dynamic nature can’t be represented through texts or diagrams. However, the inclusion of this type of content in eLearning platforms presents accessibility problems for students with visual or hearing disabilities. This paper describes this problem and shows the way in which a teacher could add captions and subtitles to their videos.
First year clinical tutorials: students’ learning experience
Directory of Open Access Journals (Sweden)
Burgess A
2014-11-01
Full Text Available Annette Burgess,1 Kim Oates,2 Kerry Goulston,2 Craig Mellis1 1Central Clinical School, Sydney Medical School, The University of Sydney, Sydney, NSW, Australia; 2Sydney Medical School, The University of Sydney, Sydney, NSW, Australia Background: Bedside teaching lies at the heart of medical education. The learning environment afforded to students during clinical tutorials contributes substantially to their knowledge, thinking, and learning. Situated cognition theory posits that the depth and breadth of the students' learning experience is dependent upon the attitude of the clinical teacher, the structure of the tutorial, and the understanding of tutorial and learning objectives. This theory provides a useful framework to conceptualize how students' experience within their clinical tutorials impacts their knowledge, thinking, and learning. Methods: The study was conducted with one cohort (n=301 of students who had completed year 1 of the medical program at Sydney Medical School in 2013. All students were asked to complete a three-part questionnaire regarding their perceptions of their clinical tutor's attributes, the consistency of the tutor, and the best features of the tutorials and need for improvement. Both quantitative and qualitative data were collected and analyzed using descriptive statistics. Results: The response rate to the questionnaire was 88% (265/301. Students perceived that their tutors displayed good communication skills and enthusiasm, encouraged their learning, and were empathetic toward patients. Fifty-two percent of students reported having the same communications tutor for the entire year, and 28% reported having the same physical examination tutor for the entire year. Students would like increased patient contact, greater structure within their tutorials, and greater alignment of teaching with the curriculum. Conclusion: Situated cognition theory provides a valuable lens to view students' experience of learning within the
Koh, Aaron
2014-01-01
Why do more than three-quarters of Hong Kong's senior secondary students flock to tutorial centres like moths to light? What is the "magic" that is driving the popularity of the tutorial centre enterprise? Indeed, looking at the ongoing boom of tutorial centres in Hong Kong (there are almost 1,000 of them), it is difficult not to ask…
DEFF Research Database (Denmark)
Schürmann, Carsten; Sarnat, Jeffrey
2008-01-01
, such as Twelf, and yet they are often straightforward in proof assistants with stronger meta-logics. In this paper, we propose structural logical relations as a technique for conducting these proofs in systems with limited meta-logical strength by explicitly representing and reasoning about an auxiliary logic......Tait's method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed lambda-calculi. Historically, these proofs have been extremely difficult to formalize in proof assistants with weak meta-logics...
DEFF Research Database (Denmark)
Herrmann, Kim Jesper
2014-01-01
This study examines differences in university students’ approaches to learning when attending tutorials as well as variation in students’ perceptions of tutorials as an educational arena. In-depth qualitative analysis of semi-structured interviews with undergraduates showed how surface and deep...... approaches to learning were revealed in the students’ note-taking, listening, and engaging in dialogue. It was also shown how variation in the students’ approaches to learning were coherent with variation in the students’ perceptions of the tutors’ pedagogical role, the value of peer interaction......, and the overall purpose of tutorials. The results are discussed regarding the paradox that students relying on surface approaches to learning seemingly are the ones least likely to respond to tutorials in the way they were intended....
DEFF Research Database (Denmark)
Herrmann, Kim Jesper
2014-01-01
This study examines differences in university students’ approaches to learning when attending tutorials as well as variation in students’ perceptions of tutorials as an educational arena. In-depth qualitative analysis of semi-structured interviews with undergraduates showed how surface and deep...... approaches to learning were revealed in the students’ note-taking, listening, and engaging in dialogue. It was also shown how variation in the students’ approaches to learning were coherent with variation in the students’ perceptions of the tutors’ pedagogical role, the value of peer interaction......, and the overall purpose of tutorials. The results are discussed regarding the paradox that students relying on surface approaches to learning seemingly are the ones least likely to respond to tutorials in the way they were intended....
A Survey of Paraconsistent Logics
Middelburg, C A
2011-01-01
A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and Subrahmanian's logics Ptau. A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned.
Online Bioinformatics Tutorials | Office of Cancer Genomics
Bioinformatics is a scientific discipline that applies computer science and information technology to help understand biological processes. The NIH provides a list of free online bioinformatics tutorials, either generated by the NIH Library or other institutes, which includes introductory lectures and "how to" videos on using various tools.
Professionalizing tutors and tutorials in higher education
Directory of Open Access Journals (Sweden)
Colunga, Silvia
2012-01-01
Full Text Available The paper analyzes the necessity of professionalizing training of university teachers performing tutorial activities in higher education as a response to the demands of pupils following a part-time model. Permanent training of tutor is emphasized as a way to enhance professional and personal accomplishments. This training gives priority to educative orientation and interventional actions.
Information Hiding Techniques: A Tutorial Review
Thampi, Sabu M
2008-01-01
The purpose of this tutorial is to present an overview of various information hiding techniques. A brief history of steganography is provided along with techniques that were used to hide information. Text, image and audio based information hiding techniques are discussed. This paper also provides a basic introduction to digital watermarking.
Migrant Education Tutorial Aide Training Manual.
California State Dept. of Education, Sacramento. Bureau of Community Services and Migrant Education.
Designed by California's Region II Office of Migrant Education to aid in training teacher aides working with migrant children, this manual outlines activities used in teaching by the aides. Each activity is described in terms of the concept to be taught, the tutorial skill required, standard instructional media, rationale for the media, expected…
Action perception and imitation : a tutorial
Bekkering, H; Wohlschlager, A; Prinz, W; Hommel, B
2002-01-01
Currently, imitation, or performing an act after perceiving it, is in the focus of attention of researchers from many different disciplines. Although this tutorial attempts to provide some interdisciplinary background, it will concentrate on possible cognitive mechanisms that underlie imitation perf
Screencast Tutorials Enhance Student Learning of Statistics
Lloyd, Steven A.; Robertson, Chuck L.
2012-01-01
Although the use of computer-assisted instruction has rapidly increased, there is little empirical research evaluating these technologies, specifically within the context of teaching statistics. The authors assessed the effect of screencast tutorials on learning outcomes, including statistical knowledge, application, and interpretation. Students…
Audi-Tutorial Instruction in Basic Business
Brown, Richard D.
1974-01-01
Results of a study in which audio-tutorial instruction was compared to illustrated lecture instruction are reported. No great differences in achievement levels in the two strategies of instruction were found. The development of such an alternative teaching strategy forces better teacher organization, leading to improvement of the illustrated…
Audi-Tutorial Instruction in Basic Business
Brown, Richard D.
1974-01-01
Results of a study in which audio-tutorial instruction was compared to illustrated lecture instruction are reported. No great differences in achievement levels in the two strategies of instruction were found. The development of such an alternative teaching strategy forces better teacher organization, leading to improvement of the illustrated…
Statistical Analysis of Random Simulations : Bootstrap Tutorial
Deflandre, D.; Kleijnen, J.P.C.
2002-01-01
The bootstrap is a simple but versatile technique for the statistical analysis of random simulations.This tutorial explains the basics of that technique, and applies it to the well-known M/M/1 queuing simulation.In that numerical example, different responses are studied.For some responses, bootstrap
Relevant Research on Audio-Tutorial Methods
Novak, Joseph D.
1970-01-01
Reviews two aspects of research related to audio-tutorial instructional methods. First, the learning theory of David P. Ausebel is summarized and applied to instructional procedures. Secondly, learning time for attainment of concept and knowledge levels is discussed. Concludes that studies are needed on designs based on Ausebel's theory,…
Institute of Scientific and Technical Information of China (English)
林作铨
1996-01-01
A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and exception.The syntactic and semantics of modal nonmonotonic logic are provided,and the completeness theorem and the theorems relating it to major nonmonotonic logics are proved.It directly formalizes the intuition of nonmonotonic reasoning.Among other things,it provides us a first-order extension of default logic and autoepistemic logic,and simultaneously has the capability of circumscription to infer universal statement.It has important applications in logic programming and deductive data base.As a result,it provides a uniform basis for various nonmonotonic logics,from which the correspondent relationship among major nonmonotonic logics can coincide.
Newton-Smith, WH
2003-01-01
A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps it shows the mechanics of the formal analysis of arguments.
Bolc, Leonard
1992-01-01
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic alone cannot answer. All these interpretations of many-valued calculi motivate specific formal systems thatallow detailed mathematical treatment. In this volume, the authors are concerned with finite-valued logics, and especially with three-valued logical calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology are discussed. Separate chapters deal w...
Energy Technology Data Exchange (ETDEWEB)
Clement, T.P. [Pacific Northwest National Lab., Richland, WA (United States); Jones, N.L. [Brigham Young Univ., Provo, UT (United States)
1998-02-01
RT3D (Reactive Transport in 3-Dimensions) is a computer code that solves coupled partial differential equations that describe reactive-flow and transport of multiple mobile and/or immobile species in a three dimensional saturated porous media. RT3D was developed from the single-species transport code, MT3D (DoD-1.5, 1997 version). As with MT3D, RT3D also uses the USGS groundwater flow model MODFLOW for computing spatial and temporal variations in groundwater head distribution. This report presents a set of tutorial problems that are designed to illustrate how RT3D simulations can be performed within the Department of Defense Groundwater Modeling System (GMS). GMS serves as a pre- and post-processing interface for RT3D. GMS can be used to define all the input files needed by RT3D code, and later the code can be launched from within GMS and run as a separate application. Once the RT3D simulation is completed, the solution can be imported to GMS for graphical post-processing. RT3D v1.0 supports several reaction packages that can be used for simulating different types of reactive contaminants. Each of the tutorials, described below, provides training on a different RT3D reaction package. Each reaction package has different input requirements, and the tutorials are designed to describe these differences. Furthermore, the tutorials illustrate the various options available in GMS for graphical post-processing of RT3D results. Users are strongly encouraged to complete the tutorials before attempting to use RT3D and GMS on a routine basis.
Yang, Fan; Väänänen, Jouko
2016-01-01
We consider team semantics for propositional logic, continuing our previous work (Yang & V\\"a\\"an\\"anen 2016). In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an individual valuation. This offers the possibility to give meaning to concepts such as dependence, independence and inclusion. We define an expressively maximal propositional team logic, called full propositional team logic. This requires going beyond the logic...
DEFF Research Database (Denmark)
Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle
2012-01-01
of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones in the logical representation of space and investigate current trends. In doing so......, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces....
Institutional Logics in Action
DEFF Research Database (Denmark)
Lounsbury, Michael; Boxenbaum, Eva
2013-01-01
This double volume presents state-of-the-art research and thinking on the dynamics of actors and institutional logics. In the introduction, we briefly sketch the roots and branches of institutional logics scholarship before turning to the new buds of research on the topic of how actors engage ins...... prolific stream of research on institutional logics by deepening our insight into the active use of institutional logics in organizational action and interaction, including the institutional effects of such (inter)actions....
Hierarchies in Dependence Logic
Durand, Arnaud
2011-01-01
We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of existential second-order logic corresponding to these fragments of dependence logic. We also show that these both ways of defining fragments of dependence logic give rise to a hierarchy in expressive power with respect to k.
Institute of Scientific and Technical Information of China (English)
刘叙华; 邓安生
1994-01-01
A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical logic and can be applied to the qualitative description of fuzzy knowledge.
DEFF Research Database (Denmark)
Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian
2015-01-01
We introduce Concurrent Weighted Logic (CWL), a multimodal logic for concurrent labeled weighted transition systems (LWSs). The synchronization of LWSs is described using dedicated functions that, in various concurrency paradigms, allow us to encode the compositionality of LWSs. To reflect these......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....
DEFF Research Database (Denmark)
Berg Johansen, Christina; Waldorff, Susanne Boch
This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guides by institutional logics, as well...
Regular database update logics
Spruit, Paul; Wieringa, Roel; Meyer, John-Jules
2001-01-01
We study regular first-order update logic (FUL), which is a variant of regular dynamic logic in which updates to function symbols as well as to predicate symbols are possible. We fi1rst study FUL without making assumptions about atomic updates. Second, we look at relational algebra update logic (RAU
Uckelman, S.L.
2009-01-01
This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which deal with various modalities: the writings on
DEFF Research Database (Denmark)
Christiansen, Henning; Dahl, Veronica
2009-01-01
By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting....... We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from...
Variano, Evan; Taylor, Karen
2006-01-01
Inquiry can be implemented in various ways, ranging from simple classroom discussions to longterm research projects. In this article, the authors developed a project in which high school students were introduced to the nature and process of scientific discovery through a two-week guided inquiry unit on "limnology"--the study of fresh water, which…
Booth, Gregory
2001-01-01
Conducts an action research investigation to determine which type of student benefits more from inquiry-based science laboratories. Designs two labs on diffusion and osmosis using both traditional and inquiry-based approaches and assesses student learning in these settings. (YDS)
Miller, James R.; Hart, James
1973-01-01
Some obvious difficulties of teaching and testing history as inquiry are reviewed. Examples of test items that require students to utilize thought processes developed through inquiry teaching are presented together with a rationale for their use. Bloom's Taxonomy of Educational Objectives is proposed as a useful tool in test construction. (SM)
DEFF Research Database (Denmark)
Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria;
2014-01-01
Leon Henkin was not a modal logician, but there is a branch of modal logic that has been deeply influenced by his work. That branch is hybrid logic, a family of logics that extend orthodox modal logic with special proposition symbols (called nominals) that name worlds. This paper explains why...... Henkin’s techniques are so important in hybrid logic. We do so by proving a completeness result for a hybrid type theory called HTT, probably the strongest hybrid logic that has yet been explored. Our completeness result builds on earlier work with a system called BHTT, or basic hybrid type theory...... is due to the first-order perspective, which lies at the heart of Henin’s best known work and hybrid logic....
Tutorials in endovascular neurosurgery and interventional neuroradiology
Energy Technology Data Exchange (ETDEWEB)
Byrne, James Vincent [Univ. of Oxford, Oxford (United Kingdom). Dept. of Neuroradiology
2012-07-01
This book aims to provide the trainee and practicing minimally invasive neurological therapist with a comprehensive understanding of the background science and theory that forms the foundation of their work. The contents are based on the tutorial teaching techniques used at the University of Oxford and are authored by the MSc Course Director. The tutorial is a learning episode focussed on a particular topic and intended to guide the student/reader through the background literature, to highlight the research on which standard practices are based and to provide the insights of an experienced practitioner. Each chapter of the book covers a different topic to build a complete review of the subspecialty, with in-depth discussion of all currently used techniques. The literature is reviewed and presented in context to illustrate its importance to the practice of this rapidly expanding field of medical treatment.
"Accelerators and beams," a multimedia tutorial
Silbar, Richard R.
1997-02-01
We are developing a computer-based tutorial for charged-particle beam optics under a grant from the DOE. This subject is important to the DOE not only for its use in providing basic research tools but because the physics is the underpinning for accelerators used in industry and medicine. The tutorial, which will be delivered on Macintosh and Windows platforms, uses multimedia techniques to enhance the student's rate of learning and length of retention of the material. As such, it integrates our interactive On-Screen Laboratories™ with hypertext, line drawings, photographs, animation, video, and sound. We are targeting an audience from technicians to graduate students in science and engineering. At this time we have about a fourth of the material (about equivalent to a one-semester three-credit-hour upper under-graduate physics course) available in prototype form.
A Hypertext tutorial for teaching cephalometrics.
Clark, R D; Weekrakone, S; Rock, W P
1997-11-01
Hypertext is a non-linear method of text presentation. It necessitates the use of a computer to store data as a series of nodes that can be called up in any desired sequence and, as such, is a new form of discovery-based learning. This paper describes a Hypertext tutorial in cephalometrics and its subsequent testing on first-year clinical dental students. Students were divided into two groups: the first received a conventional lecture; the second used the Hypertext tutorial. Testing was by means of conventional multiple choice questions. The results showed that there was no statistically significant difference between the two groups, although the computer tutor was shown more consistently to improve the knowledge of the students than did the conventional lecture. Most students who used the computer program found it enjoyable, but time consuming; less than half found it easy to follow.
MacSelfService online tutorial
CERN. Geneva
2016-01-01
Mac Self-Service is a functionality within the Mac Desktop Service built and maintained to empower CERN users by giving them easy access to applications and configurations through the Self-Service application. This tutorial (text attached to the event page) explains how to install Mac Self-Service and how to use it to install applications and printers. Content owner: Vincent Nicolas Bippus Presenter: Pedro Augusto de Freitas Batista Tell us what you think via e-learning.support at cern.ch More tutorials in the e-learning collection of the CERN Document Server (CDS) https://cds.cern.ch/collection/E-learning%20modules?ln=en All info about the CERN rapid e-learning project is linked from http://twiki.cern.ch/ELearning
ReSTful OSGi Web Applications Tutorial
Shams, Khawaja; Norris, Jeff
2008-01-01
This slide presentation accompanies a tutorial on the ReSTful (Representational State Transfer) web application. Using Open Services Gateway Initiative (OSGi), ReST uses HTTP protocol to enable developers to offer services to a diverse variety of clients: from shell scripts to sophisticated Java application suites. It also uses Eclipse for the rapid development, the Eclipse debugger, the test application, and the ease of export to production servers.
ESE 631 ASH COURSE Tutorial/UOPHELP
sdzfghj
2015-01-01
For more course tutorials visit www.uophelp.com ESE 631 Complete Class, New Syllabus Business - General Business LRE and FAPE. Please read the article “Least Restrictive Environment: How Do We Prepare Both Our Special Educators and Our General Educators to Comply with the Provision?” (Keuhne, 1998). According to IDEA, what do the terms Least Restrictive Environment (LRE) and Free and Appropriate Public Education (FAPE) mean? How does inclusion fi...
Interactive learning tutorials on quantum mechanics
Singh, Chandralekha
2016-01-01
We discuss the development and evaluation of quantum interactive learning tutorials (QuILTs) which are suitable for undergraduate courses in quantum mechanics. QuILTs are based on the investigation of student difficulties in learning quantum physics. They exploit computer-based visualization tools and help students build links between the formal and conceptual aspects of quantum physics without compromising the technical content. They can be used both as supplements to lectures or as a self-study tool.
Thermophysics Universal Research Framework (TURF) Tutorial Package
2017-03-02
DATES COVERED (From - To) 4. TITLE AND SUBTITLE Thermophysics Universal Research Framework (TURF) Tutorial Package 5a. CONTRACT NUMBER In...Standard Form 298 (Rev. 8-98) Prescribed by ANSI Std. 239.18 THERMOPHYSICS UNIVERSAL RESEARCH FRAMEWORK – INFRASTRUCTURE RELEASE – (TURF-IR V1.0...a C-R physics module), there are no hooks to indicate that a particular module is missing. In this way, reverse engineering the functionality of a
abs417ashcoursesTutorial /uophelp
smith
2015-01-01
For more course tutorials visit www.uophelp.com ABS 417 Week 1 DQ 1 ( The Power of Many ) ABS 417 Week 1 DQ 2 ( Social Change Model ) ABS 417 Week 2 DQ 1 ( Empowerment, Disempowerment and Social Change ) ABS 417 Week 2 DQ 2 ( Non-Profit vs. For-Profit Organizations ) ABS 417 Week 2 Assignment ( Reflection Paper ) ABS 417 Week 3 DQ 1 ( Social Problems ) &nb...
ACC 220 Tutorials / acc220dotcom
modumteja
2015-01-01
For more course tutorials visit www.acc220.com ACC 220 Week 1 Checkpoint Career Opportunities ACC 220 Week 1 DQ 1 & DQ 2 ACC 220 Week 2 Checkpoint Proprietorships, Partnerships, and Corporations ACC 220 Week 2 Assignment Financial Statements ACC 220 Week 3 Checkpoint Classified Balance Sheets ACC 220 Week 3 DQ 1 and DQ 2 ACC 220 Week 4 Checkpoint Cash Management Matrix Appendix B ACC 220 Week 4 Assignment Internal Cash Control ACC 220 Wee...
EDU 626 ASH COURSE Tutorial/UOPHELP
dsftr
2015-01-01
For more course tutorials visit www.uophelp.com EDU 626 Complete Class, New Coursework Business - General Business Week 1 Brainstorm. Brainstorm potential educational research topics that are of interest to you. What is a topic that will motivate you to want to explore it further? Try to focus in as much as possible. For example, if you are interested in education for gifted children, you may want to focus on the advantages/disadvantages of homogeneous grouping ...
Inquiry-Based Science: Turning Teachable Moments into Learnable Moments
Haug, Berit S.
2014-02-01
This study examines how an inquiry-based approach to teaching and learning creates teachable moments that can foster conceptual understanding in students, and how teachers capitalize upon these moments. Six elementary school teachers were videotaped as they implemented an integrated inquiry-based science and literacy curriculum in their classrooms. In this curriculum, science inquiry implies that students search for evidence in order to make and revise explanations based on the evidence found and through critical and logical thinking. Furthermore, the curriculum material is designed to address science key concepts multiple times through multiple modalities (do it, say it, read it, write it). Two types of teachable moments were identified: planned and spontaneous. Results suggest that the consolidation phases of inquiry, when students reinforce new knowledge and connect their empirical findings to theory, can be considered as planned teachable moments. These are phases of inquiry during which the teacher should expect, and be prepared for, student utterances that create opportunities to further student learning. Spontaneous teachable moments are instances when the teacher must choose to either follow the pace of the curriculum or adapt to the students' need. One implication of the study is that more teacher support is required in terms of how to plan for and effectively utilize the consolidation phases of inquiry.
Dalen, Dirk
1983-01-01
A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory cal...
Logical database design principles
Garmany, John; Clark, Terry
2005-01-01
INTRODUCTION TO LOGICAL DATABASE DESIGNUnderstanding a Database Database Architectures Relational Databases Creating the Database System Development Life Cycle (SDLC)Systems Planning: Assessment and Feasibility System Analysis: RequirementsSystem Analysis: Requirements Checklist Models Tracking and Schedules Design Modeling Functional Decomposition DiagramData Flow Diagrams Data Dictionary Logical Structures and Decision Trees System Design: LogicalSYSTEM DESIGN AND IMPLEMENTATION The ER ApproachEntities and Entity Types Attribute Domains AttributesSet-Valued AttributesWeak Entities Constraint
2009-01-01
This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which deal with various modalities: the writings on alethic modalities by William of Sherwood, Pseudo-Aquinas, and St. Thomas Aquinas in the 13th century, St. Anselm of Canterbury’s writings on facere and debere in the late 11th century; Lambert of...
Separation Logic and Concurrency
Bornat, Richard
Concurrent separation logic is a development of Hoare logic adapted to deal with pointers and concurrency. Since its inception, it has been enhanced with a treatment of permissions to enable sharing of data between threads, and a treatment of variables as resource alongside heap cells as resource. An introduction to the logic is given with several examples of proofs, culminating in a treatment of Simpson's 4-slot algorithm, an instance of racy non-blocking concurrency.
Embedding Description Logic Programs into Default Logic
Wang, Yisong; Yuan, Li Yan; Shen, Yi-Dong; Eiter, Thomas
2011-01-01
Description logic programs (dl-programs) under the answer set semantics formulated by Eiter {\\em et al.} have been considered as a prominent formalism for integrating rules and ontology knowledge bases. A question of interest has been whether dl-programs can be captured in a general formalism of nonmonotonic logic. In this paper, we study the possibility of embedding dl-programs into default logic. We show that dl-programs under the strong and weak answer set semantics can be embedded in default logic by combining two translations, one of which eliminates the constraint operator from nonmonotonic dl-atoms and the other translates a dl-program into a default theory. For dl-programs without nonmonotonic dl-atoms but with the negation-as-failure operator, our embedding is polynomial, faithful, and modular. In addition, our default logic encoding can be extended in a simple way to capture recently proposed weakly well-supported answer set semantics, for arbitrary dl-programs. These results reinforce the argument ...
Introduction to mathematical logic
Mendelson, Elliott
2015-01-01
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in th
Crossley, J N; Brickhill, CJ; Stillwell, JC
2010-01-01
Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.The book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams beg
Ferrite logic reliability study
Baer, J. A.; Clark, C. B.
1973-01-01
Development and use of digital circuits called all-magnetic logic are reported. In these circuits the magnetic elements and their windings comprise the active circuit devices in the logic portion of a system. The ferrite logic device belongs to the all-magnetic class of logic circuits. The FLO device is novel in that it makes use of a dual or bimaterial ferrite composition in one physical ceramic body. This bimaterial feature, coupled with its potential for relatively high speed operation, makes it attractive for high reliability applications. (Maximum speed of operation approximately 50 kHz.)
DEFF Research Database (Denmark)
Lopez, Hugo Andres; Carbone, Marco; Hildebrandt, Thomas
2010-01-01
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for speciﬁcation and veriﬁcation of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL...... ), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service speciﬁcations. Finally, we show that, despite GL is undecidable, there is a signiﬁcant decidable fragment which we provide with a sound and complete proof...
Carbone, Marco; Hildebrandt, Thomas T; López, Hugo A; 10.4204/EPTCS.69.3
2011-01-01
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.
Directory of Open Access Journals (Sweden)
Marco Carbone
2011-10-01
Full Text Available We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL, a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.
Howard, Ayanna
2005-01-01
The Fuzzy Logic Engine is a software package that enables users to embed fuzzy-logic modules into their application programs. Fuzzy logic is useful as a means of formulating human expert knowledge and translating it into software to solve problems. Fuzzy logic provides flexibility for modeling relationships between input and output information and is distinguished by its robustness with respect to noise and variations in system parameters. In addition, linguistic fuzzy sets and conditional statements allow systems to make decisions based on imprecise and incomplete information. The user of the Fuzzy Logic Engine need not be an expert in fuzzy logic: it suffices to have a basic understanding of how linguistic rules can be applied to the user's problem. The Fuzzy Logic Engine is divided into two modules: (1) a graphical-interface software tool for creating linguistic fuzzy sets and conditional statements and (2) a fuzzy-logic software library for embedding fuzzy processing capability into current application programs. The graphical- interface tool was developed using the Tcl/Tk programming language. The fuzzy-logic software library was written in the C programming language.
Questions Revisited: A Close Examination of Calculus of Inference and Inquiry
Knuth, Kevin H.; Koga, Dennis (Technical Monitor)
2003-01-01
In this paper I examine more closely the way in which probability theory, the calculus of inference, is derived from the Boolean lattice structure of logical assertions ordered by implication. I demonstrate how the duality between the logical conjunction and disjunction in Boolean algebra is lost when deriving the probability calculus. In addition, I look more closely at the other lattice identities to verify that they are satisfied by the probability calculus. Last, I look towards developing the calculus of inquiry demonstrating that there is a sum and product rule for the relevance measure as well as a Bayes theorem. Current difficulties in deriving the complete inquiry calculus will also be discussed.
Koh, Aaron
2014-12-01
Why do more than three-quarters of Hong Kong's senior secondary students flock to tutorial centres like moths to light? What is the "magic" that is driving the popularity of the tutorial centre enterprise? Indeed, looking at the ongoing boom of tutorial centres in Hong Kong (there are almost 1,000 of them), it is difficult not to ask these questions. This paper examines the phenomenon of tutorial centres in Hong Kong and seeks to understand what draws students to these centres. Combining theories of marketing semiotics and emotion studies, the author investigates the pivotal role of media marketing in generating the "magic" of tutorial centres, whose advertising strategy includes, for example, a display of billboard posters featuring stylishly-dressed "celebrity teachers". The author reviews some of the literature available on the subject of tutorial centres. In a case study approach, he then maps out the pedagogy he observed in an English tutorial class, seeking heuristic insights into the kind of teaching students in the study were looking for. He argues that part of the "magical" attraction of what are essentially "cram schools" is their formulaic pedagogy of teaching and reinforcing exam skills. Finally, the paper considers the social implications of the tutorial centre industry in terms of media marketing of education and unequal access to tutorial services.
Wondering + Online Inquiry = Learning
Sekeres, Diane Carver; Coiro, Julie; Castek, Jill; Guzniczak, Lizabeth A.
2014-01-01
Digital information sources can form the basis of effective inquiry-based learning if teachers construct the information and exercises in ways that will promote collaboration, communication, and problem solving.
Understanding Social Media Logic
Directory of Open Access Journals (Sweden)
José van Dijck
2013-08-01
Full Text Available Over the past decade, social media platforms have penetrated deeply into the mechanics of everyday life, affecting people's informal interactions, as well as institutional structures and professional routines. Far from being neutral platforms for everyone, social media have changed the conditions and rules of social interaction. In this article, we examine the intricate dynamic between social media platforms, mass media, users, and social institutions by calling attention to social media logic—the norms, strategies, mechanisms, and economies—underpinning its dynamics. This logic will be considered in light of what has been identified as mass media logic, which has helped spread the media's powerful discourse outside its institutional boundaries. Theorizing social media logic, we identify four grounding principles—programmability, popularity, connectivity, and datafication—and argue that these principles become increasingly entangled with mass media logic. The logic of social media, rooted in these grounding principles and strategies, is gradually invading all areas of public life. Besides print news and broadcasting, it also affects law and order, social activism, politics, and so forth. Therefore, its sustaining logic and widespread dissemination deserve to be scrutinized in detail in order to better understand its impact in various domains. Concentrating on the tactics and strategies at work in social media logic, we reassess the constellation of power relationships in which social practices unfold, raising questions such as: How does social media logic modify or enhance existing mass media logic? And how is this new media logic exported beyond the boundaries of (social or mass media proper? The underlying principles, tactics, and strategies may be relatively simple to identify, but it is much harder to map the complex connections between platforms that distribute this logic: users that employ them, technologies that
DEFF Research Database (Denmark)
Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand
2012-01-01
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates of the ...
Ponse, A.; Zwaag, M.B. van der
2002-01-01
We distinguish two interpretations for the truth value `undefined' in Kleene's three-valued logic. Combining these two interpretations leads to a four-valued propositional logic that characterizes two particular ingredients of process algebra: ``choice' and ``inaction'. We study two different bases
S.L. Uckelman
2009-01-01
The origins of treating agency as a modal concept go back at least to the 11th century when Anselm, Archbishop of Canterbury, provided a modal explication of the Latin facere ‘to do’, which can be formalized within the context of modern modal logic and neighborhood semantics. The agentive logic indu
Logic via Computer Programming.
Wieschenberg, Agnes A.
This paper proposed the question "How do we teach logical thinking and sophisticated mathematics to unsophisticated college students?" One answer among many is through the writing of computer programs. The writing of computer algorithms is mathematical problem solving and logic in disguise and it may attract students who would otherwise stop…
Boyd, Robert
1995-01-01
This article proposes that within the discipline of logic, college students can learn the important elements of persuasive writing. Characteristics of and distinctions between deductive and inductive logic are outlined, and the appropriateness and usefulness of each for different kinds of persuasion are discussed. (MSE)
Inductive Logic and Statistics
Romeijn, J. -W.
2009-01-01
This chapter concerns inductive logic in relation to mathematical statistics. I start by introducing a general notion of probabilistic induc- tive inference. Then I introduce Carnapian inductive logic, and I show that it can be related to Bayesian statistical inference via de Finetti's representatio
Logic of Algorithmic Knowledge
Directory of Open Access Journals (Sweden)
Surowik Dariusz
2015-09-01
Full Text Available In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Programmable Logic Controllers.
Insolia, Gerard; Anderson, Kathleen
This document contains a 40-hour course in programmable logic controllers (PLC), developed for a business-industry technology resource center for firms in eastern Pennsylvania by Northampton Community College. The 10 units of the course cover the following: (1) introduction to programmable logic controllers; (2) DOS primer; (3) prerequisite…
Yopp, David
2010-01-01
Understanding logical necessity is an important component of proof and reasoning for teachers of grades K-8. The ability to determine exactly where young students' arguments are faulty offers teachers the chance to give youngsters feedback as they progress toward writing mathematically valid deductive proofs. As defined, logical necessity is the…
Directory of Open Access Journals (Sweden)
Evandro Agazzi
2011-06-01
Full Text Available Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.
Blackburn, P.; Rijke, M. de
1995-01-01
Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standar
CSIR Research Space (South Africa)
Klarman, S
2013-05-01
Full Text Available We introduce Description Logics of Context (DLCs) - an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify...
Directory of Open Access Journals (Sweden)
Daniel Durante Pereira Alves
2011-04-01
Full Text Available Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
Daniel Durante Pereira Alves
2011-01-01
Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
DEFF Research Database (Denmark)
Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin
2012-01-01
In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now...
Microelectromechanical reprogrammable logic device
Hafiz, M. A. A.; Kosuru, L.; Younis, M. I.
2016-03-01
In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme.
DEFF Research Database (Denmark)
Klose, Karl; Ostermann, Klaus
2010-01-01
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability to large-scale projects. We analyze the probl......In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability to large-scale projects. We analyze...... the problems inhibiting separate checking and propose a class of logics that reconcile logic metaprogramming and separate checking. We have formalized the resulting module system and have proven the soundness of separate checking. We validate its feasibility by presenting the design and implementation...... of a specific logic that is able to express many metaprogramming examples from the literature....
Amplifying genetic logic gates.
Bonnet, Jerome; Yin, Peter; Ortiz, Monica E; Subsoontorn, Pakpoom; Endy, Drew
2013-05-03
Organisms must process information encoded via developmental and environmental signals to survive and reproduce. Researchers have also engineered synthetic genetic logic to realize simpler, independent control of biological processes. We developed a three-terminal device architecture, termed the transcriptor, that uses bacteriophage serine integrases to control the flow of RNA polymerase along DNA. Integrase-mediated inversion or deletion of DNA encoding transcription terminators or a promoter modulates transcription rates. We realized permanent amplifying AND, NAND, OR, XOR, NOR, and XNOR gates actuated across common control signal ranges and sequential logic supporting autonomous cell-cell communication of DNA encoding distinct logic-gate states. The single-layer digital logic architecture developed here enables engineering of amplifying logic gates to control transcription rates within and across diverse organisms.
Heterogeneous logics of competition
DEFF Research Database (Denmark)
Mossin, Christiane
2015-01-01
The purpose of the article is to demonstrate that in order to understand competition as a socially organizing phenomenon, we should not examine competition in isolation, but as constellations of heterogeneous logics. More precisely, the article is based on two main theoretical points: (1) Logics...... of competition are only realized as particular forms of social organization by virtue of interplaying with other kinds of logics, like legal logics. (2) Competition logics enjoy a peculiar status in-between constructedness and givenness; although competition depends on laws and mechanisms of socialization, we...... still experience competition as an expression of spontaneous human activities. On the basis of these perspectives, a study of fundamental rights of EU law, springing from the principle of ‘free movement of people’, is conducted. The first part of the empirical analysis seeks to detect the presence...
Malhas, Othman Qasim
1993-10-01
The concept of “abacus logic” has recently been developed by the author (Malhas, n.d.). In this paper the relation of abacus logic to the concept of fuzziness is explored. It is shown that if a certain “regularity” condition is met, concepts from fuzzy set theory arise naturally within abacus logics. In particular it is shown that every abacus logic then has a “pre-Zadeh orthocomplementation”. It is also shown that it is then possible to associate a fuzzy set with every proposition of abacus logic and that the collection of all such sets satisfies natural conditions expected in systems of fuzzy logic. Finally, the relevance to quantum mechanics is discussed.
Microelectromechanical reprogrammable logic device
Hafiz, M. A. A.
2016-03-29
In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme.
Use of IBM LinkWay for Developing Tutorials.
Nagarkatte, Umesh P.; Nagarkatte, Shailaja U.
IBM LinkWay is an example of a hypertext and hypermedia authoring system. This paper summarizes a workshop presentation that demonstrates how to create a mathematics tutorial using LinkWay. An introduction discusses the guidelines for the tutorial. The guidelines consider the presentation of questions, help features for the students, feedback,…
The SIKS/BiGGrid Big Data Tutorial
Hiemstra, Djoerd; Lammerts, Evert; de Vries, A.P.
2011-01-01
The School for Information and Knowledge Systems SIKS and the Dutch e-science grid BiG Grid organized a new two-day tutorial on Big Data at the University of Twente on 30 November and 1 December 2011, just preceding the Dutch-Belgian Database Day. The tutorial is on top of some exciting new
Developing and Testing a Video Tutorial for Software Training
Meij, van der Hans
2014-01-01
Purpose: Video tutorials for software training are rapidly becoming popular. A set of dedicated guidelines for the construction of such tutorials was recently advanced in Technical Communication (Van der Meij & Van der Meij, 2013). The present study set out to assess the cognitive and motivational e
The SIKS/BiGGrid Big Data Tutorial
Hiemstra, Djoerd; Lammerts, Evert; Vries, de Arjen P.
2011-01-01
The School for Information and Knowledge Systems SIKS and the Dutch e-science grid BiG Grid organized a new two-day tutorial on Big Data at the University of Twente on 30 November and 1 December 2011, just preceding the Dutch-Belgian Database Day. The tutorial is on top of some exciting new developm
The SIKS/BiGGrid Big Data Tutorial
Hiemstra, Djoerd; Lammerts, Evert; de Vries, A.P.
2011-01-01
The School for Information and Knowledge Systems SIKS and the Dutch e-science grid BiG Grid organized a new two-day tutorial on Big Data at the University of Twente on 30 November and 1 December 2011, just preceding the Dutch-Belgian Database Day. The tutorial is on top of some exciting new developm
Evaluating Best Practices for Video Tutorials: A Case Study
Weeks, Thomas; Putnam Davis, Jennifer
2017-01-01
This article will explore one library's experience creating best practices for the creation of video tutorials. First, a literature review establishes the best practices other creators have used. Then, the authors apply these best practices to the creation of their first video tutorial. Finally, they evaluate the usefulness of each practice in…
SPIN Tutorial: How to Become a SPIN Doctor
Ruys, T.C.; Bosnacki, D.; Leue, S.
2002-01-01
SPIN is a model checker for the verification of software systems. SPIN uses a high level language called PROMELA to specify systems descriptions. The goal of this tutorial is to introduce novice users to both PROMELA and SPIN. The tutorial itself is divided into two parts. The BASIC SPIN part is tar
XACC 280 UOP Tutorial Course/Uoptutorial
anemone222
2015-01-01
For More Course Tutorials Visit www.uoptutorial.com 1. Assignment: Journalizing, Posting, and Preparing a Trial Balance · Complete P2-2A on p. 81 of Financial Accounting, using the templates in Appendix C for your answers. Each part of the problem corresponds to one tab in Appendix C. Complete all three tabs of Appendix C. ...
SOC 120 ASH Tutorial course/ Uoptutorial
Michael Crichton
2015-01-01
For more course tutorials visit www.uoptutorial.com SOC 120 WEEK 1 DQ 1 RELATIVISM SOC 120 WEEK 1 DQ 2 EGOISM AND ALTRUISM SOC 120 WEEK 2 DQ 1 SCHOOL PRAYER SOC 120 WEEK 2 DQ 2 RESPONSIBILITY AND REWARD SOC 120 WEEK 2 RELATIVISM AND MORALITY SOC 120 WEEK 3 DQ 1 DEATH PENALTY SOC 120 WEEK 3 DQ 2 FUTURE GENERATIONS AND DEVELOPMENT SOC 120 WEEK 3 ROUGH DRAFT OF FINAL PAPER ON ETHICS THEORY SOC 120 WEEK 4 DQ 1 PRESUMPTION OF INNOCENCE ...
MGT 401 ASH Course Tutorial / Tutorialoutlet
kennith
2015-01-01
For more course tutorials visit www.tutorialoutlet.com MGT 401 Week 1 Individual Assignment Strategic Management Process Paper (Ash) MGT 401 Week 1 Class Activity Week 1 (Ash) MGT 401 Week 1 DQ 1 (Ash) MGT 401 Week 1 DQ 2 (Ash) MGT 401 Week 2 Learning Team Business Model Comparison Example (Ash) MGT 401 Week 2 DQ 1 (Ash) MGT 401 Week 2 DQ 2 (Ash) MGT 401 Week 2 Class Activity (Ash) MGT 401 Week 3 Individual Assignment Business Plan Evaluation (Ash) ...
MGT 330 ASH Course Tutorial / Tutorialoutlet
alfoniz
2015-01-01
For more course tutorials visit www.tutorialoutlet.com MGT 330 Week 1 Individual Assignment Functions of Management Paper (Ash) MGT 330 Week 1 DQ 1 (Ash) MGT 330 Week 1 DQ 2 (Ash) MGT 330 Week 1 DQ 3 (Ash) MGT 330 Week 1 Summary (Ash) MGT 330 Week 2 Team Assignment External Internal Factors Paper (Ash) MGT 330 Week 2 Individual Assignment Delegation (Ash) MGT 330 Week 2 Summary (Ash) MGT 330 Week 2 DQ 1 (Ash) MGT 330 Week 2 DQ 2 (Ash) MGT 330 W...
HIS 103 ASH course tutorial/tutorialoutlet
NARESH 1
2015-01-01
For more course tutorials visit www.tutorialoutlet.com HIS 103 Week 1 DQ 1 (Transition to Agriculture) (Ash) HIS 103 Week 1 DQ 2 (Early Complex Societies) (Ash) HIS 103 Week 1 Quiz (Ash) HIS 103 Week 1 Assignment (Ash) HIS 103 Week 2 Assignment Greco Roman Influence Paper (Ash) HIS 103 Week 2 DQ 1 Chinese Social and Political Order Systems (Ash) HIS 103 Week 2 DQ 2 Caste System (Ash) HIS 103 Week 2 Quiz (Ash) HIS 103 Week 3 Assignment Black Death Dra...
MAT 126 ASH Course Tutorial / Tutorialoutlet
stylia
2015-01-01
For more course tutorials visit www.tutorialoutlet.com MAT 126 Week 1 DQ 1 (Ash) MAT 126 Week 1 Quiz (Ash) MAT 126 Week 1 Written Assignment (Arithmetic and geometric sequence) (Ash) MAT 126 Week 2 DQ 1 (Ash) MAT 126 Week 2 DQ 2 (Ash) MAT 126 Week 2 Assignment Is It Fat Free (Ash) MAT 126 Week 2 Quiz (Ash) MAT 126 Week 3 DQ 1 (Ash) MAT 126 Week 3 DQ 2 (Ash) MAT 126 Week 3 Assignment Quadratic Equations (Ash) MAT 126 Week 3 Quiz (Ash) MAT 126...
CJA 444 Tutorials / cja444dotcom
sunshine384
2015-01-01
For more course tutorials visit www.cja444.com CJA 444 Week 1 DQ 1 CJA 444 Week 1 DQ 2 CJA 444 Week 1 Individual Assignment Organizational Behavior Paper CJA 444 Week 1 Team Assignment Weekly Summary CJA 444 Week 2 DQ 1 CJA 444 Week 2 DQ 2 CJA 444 week 2 Individual Assignment Group Behavior and Processes Paper CJA 444 Week 2 Team Assignment Team Diversity Paper CJA 444 Week 2 Learning Team Weekly Summary CJA 444 Week 3 DQ 1 CJA 444 We...
Sonic effervescence: A tutorial on acoustic cavitation
Energy Technology Data Exchange (ETDEWEB)
Apfel, R.E. [Yale University, New Haven, Connecticut 06520-8286 (United States)
1997-03-01
This article on acoustic cavitation is a revision of a tutorial lecture presented at the Acoustical Society of America meeting in Austin, Texas, on 28 November 1994. The general approach adopted here differs from a review article in stressing the overarching themes that come under the category of acoustic cavitation, rather than being an encyclopedic reference on the topic. When possible, specific order-of-magnitude estimates have been given so that the reader can better understand the particular phenomena being described. The basic physics is discussed, and applications are reviewed with the goal of putting them in a useful context. {copyright} {ital 1997 Acoustical Society of America.}
Endnote Web tutorial for BJCVS/RBCCV
Directory of Open Access Journals (Sweden)
Marcos Aurélio Barboza de Oliveira
2015-04-01
Full Text Available AbstractAt present, many useful tools for reference management are available for use. They can be either off-line softwares or accessible Websites to all users in the internet. Their target is to facilitate the production of scientific text. But, to accomplish that, the featured bibliographic style should be effectively inserted, and the program has to be free. Here in this tutorial, we present Endnote Web®, a bibliographic reference management program comprising these two requirements: it contains the Brazilian Journal of Cardiovascular Surgery reference format and its use is free for charge after sign-in in IP registered terminal in Web of Science®.
Endnote Web tutorial for BJCVS/RBCCV.
Oliveira, Marcos Aurélio Barboza de; Santos, Carlos Alberto dos; Brandi, Antônio Carlos; Botelho, Paulo Henrique Husseini; Sciarra, Adília Maria Pires; Braile, Domingo Marcolino
2015-01-01
At present, many useful tools for reference management are available for use. They can be either off-line softwares or accessible Websites to all users in the internet. Their target is to facilitate the production of scientific text. But, to accomplish that, the featured bibliographic style should be effectively inserted, and the program has to be free. Here in this tutorial, we present Endnote Web®, a bibliographic reference management program comprising these two requirements: it contains the Brazilian Journal of Cardiovascular Surgery reference format and its use is free for charge after sign-in in IP registered terminal in Web of Science®.
Endnote Web tutorial for BJCVS/RBCCV
de Oliveira, Marcos Aurélio Barboza; dos Santos, Carlos Alberto; Brandi, Antônio Carlos; Botelho, Paulo Henrique Husseini; Sciarra, Adília Maria Pires; Braile, Domingo Marcolino
2015-01-01
At present, many useful tools for reference management are available for use. They can be either off-line softwares or accessible Websites to all users in the internet. Their target is to facilitate the production of scientific text. But, to accomplish that, the featured bibliographic style should be effectively inserted, and the program has to be free. Here in this tutorial, we present Endnote Web®, a bibliographic reference management program comprising these two requirements: it contains the Brazilian Journal of Cardiovascular Surgery reference format and its use is free for charge after sign-in in IP registered terminal in Web of Science®. PMID:26107457
BIS 220 Tutorials /bis220dotcom
ramya85
2015-01-01
BIS 220 Entire Course For more course tutorials visit www.bis220.com BIS 220 Week 1 Individual Assignment Information Technology Acts Paper BIS 220 Week 1 DQ 1 BIS 220 Week 1 DQ 2 BIS 220 Week 2 LT Reflection Summary BIS 220 Week 2 Individual Assignment Information Systems Proposal BIS 220 Week 2 DQ 1 BIS 220 Week 2 DQ 2 BIS 220 Week 3 Individual Assignment Types of Electronic Commerce Activity BIS 220 Week 3 LT Reflection Summ...
CJS 220 Tutorials / cjs220dotcom
sunshine38
2015-01-01
For more course tutorials visit www.cjs220.com CJS 220 Week 1 DQ 1 and DQ 2 CJS 220 Week 2 Checkpoint Structure of the Courts CJS 220 Week 2 Individual Law Opinion Paper CJS 220 Week 3 Checkpoint Due Process CJS 220 Week 3 Checkpoint Legal Defenses CJS 220 Week 3 DQ 1 and DQ 2 CJS 220 Week 4 Checkpoint Attorney Client Confidentiality CJS 220 Week 4 Individual Assignment Prosecution Versus Defense Paper CJS 220 Week 5 Checkpoint Path to...
BIS 220 Tutorials / bis220dotcom
rajitha82
2015-01-01
BIS 220 Entire Course For more course tutorials visit www.bis220.com BIS 220 Week 1 Individual Assignment Information Technology Acts Paper BIS 220 Week 1 DQ 1 BIS 220 Week 1 DQ 2 BIS 220 Week 2 LT Reflection Summary BIS 220 Week 2 Individual Assignment Information Systems Proposal BIS 220 Week 2 DQ 1 BIS 220 Week 2 DQ 2 BIS 220 Week 3 Individual Assignment Types of Electronic Commerce Activity BIS 220 Week 3 LT Reflection Summ...
Tutorial examples for uncertainty quantification methods.
Energy Technology Data Exchange (ETDEWEB)
De Bord, Sarah [Univ. of California, Davis, CA (United States)
2015-08-01
This report details the work accomplished during my 2015 SULI summer internship at Sandia National Laboratories in Livermore, CA. During this internship, I worked on multiple tasks with the common goal of making uncertainty quantification (UQ) methods more accessible to the general scientific community. As part of my work, I created a comprehensive numerical integration example to incorporate into the user manual of a UQ software package. Further, I developed examples involving heat transfer through a window to incorporate into tutorial lectures that serve as an introduction to UQ methods.
Dynamic Logic with Trace Semantics
Beckert, Bernhard; Bruns, Daniel
2013-01-01
Dynamic logic is an established instrument for program verification and for reasoning about the semantics of programs and programming languages. In this paper, we define an extension of dynamic logic, called Dynamic Trace Logic (DTL), which combines the expressiveness of program logics such as dynamic logic with that of temporal logic. And we present a sound and relatively complete sequent calculus for proving validity of DTL formulae. Due to its expressiveness, DTL can serve as a basis for p...
Mathematical logic for computer science
Zhong Wan Lu
1998-01-01
Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
Design and evaluation of a computer tutorial on electric fields
Morse, Jeanne Jackson
Research has shown that students do not fully understand electric fields and their interactions with charged particles after completing traditional classroom instruction. The purpose of this project was to develop a computer tutorial to remediate some of these difficulties. Research on the effectiveness of computer-delivered instructional materials showed that students would learn better from media incorporating user-controlled interactive graphics. Two versions of the tutorial were tested. One version used interactive graphics and the other used static graphics. The two versions of the tutorial were otherwise identical. This project was done in four phases. Phases I and II were used to refine the topics covered in the tutorial and to test the usability of the tutorial. The final version of the tutorial was tested in Phases III and IV. The tutorial was tested using a pretest-posttest design with a control group. Both tests were administered in an interview setting. The tutorial using interactive graphics was more effective at remediating students' difficulties than the tutorial using static graphics for students in Phase III (p = 0.001). In Phase IV students who viewed the tutorial with static graphics did better than those viewing interactive graphics. The sample size in Phase IV was too small for this to be a statistically meaningful result. Some student reasoning errors were noted during the interviews. These include difficulty with the vector representation of electric fields, treating electric charge as if it were mass, using faulty algebraic reasoning to answer questions involving ratios and proportions, and using Coulomb's law in situations in which it is not appropriate.
Arthur Prior and medieval logic
2012-01-01
Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior’s research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be fam...
Bozzelli, Laura; French, Tim; Hales, James; Pinchinat, Sophie
2012-01-01
In this paper we present refinement modal logic. A refinement is like a bisimulation, except that from the three relational requirements only 'atoms' and 'back' need to be satisfied. Our logic contains a new operator 'forall' in additional to the standard modalities 'Box' for each agent. The operator 'forall' acts as a quantifier over the set of all refinements of a given model. We call it the refinement operator. As a variation on a bisimulation quantifier, it can be seen as a refinement quantifier over a variable not occurring in the formula bound by the operator. The logic combines the simplicity of multi-agent modal logic with some powers of monadic second order quantification. We present a sound and complete axiomatization of multiagent refinement modal logic. We also present an extension of the logic to the modal mu-calculus, and an axiomatization for the single-agent version of this logic. Examples and applications are also discussed: to software verification and design (the set of agents can also be s...
Metaphysics of Logical Realism
Directory of Open Access Journals (Sweden)
Mohammadreza Abdollahnejad
2015-08-01
Full Text Available Despite the often false impression that the analytic philosophy as an anti-metaphysical movement has nothing to do with metaphysics, there can be found good reasons to grant the metaphysical dispositions of analytic philosophers, and thereby, to minimize the anti-metaphysical nature of analytic philosophy in its all phases. Since analytic philosophy is a historical movement the main nature of which developed through several stages, the very kinds of metaphysical dispositions within each one of its various stages can be easily portrayed. In the meantime, logical realism as the early stage of analytic philosophy contains plenty of metaphysical dispositions. Undoubtedly, one cannot say that analytic philosophy in this period was not committed to metaphysical theses about the plurality of entities, the ultimate nature of reality and the logical structure of the world. In this paper, then, after giving a relatively complete explanation of the logical realism, we claimed that although logical realists rejected the traditional speculative metaphysics of their predecessors, they also replaced it by the metaphysics of logic that pursues the metaphysical aims, this time, by logical means. So, we portrayed this kind of metaphysics as Bolzano’s Semantic Platonism, Frege’s and Russell’s Pluralistic Platonism, Russell’s Pluralistic Atomism, and Wittgenstein’s logical atomism.
DEFF Research Database (Denmark)
Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick
2014-01-01
Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....
DEFF Research Database (Denmark)
Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis
2012-01-01
We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both inductive computations of behaviors as well as co-inductive specifications of properties. Two main theoretical contributions...... are a Moore Family result and a parametrized worst case time complexity result. We show that the logic and the associated solver can be used for rapid prototyping of analyses and illustrate a wide variety of applications within Static Analysis, Constraint Satisfaction Problems and Model Checking. In all cases...
Logic in elementary mathematics
Exner, Robert M
2011-01-01
This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic. Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and
DEFF Research Database (Denmark)
Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand
2012-01-01
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates...... characterizes stochastic bisimilarity and it supports the definition of a quantified extension of the satisfiability relation that measures the "compatibility" between a model and a property. In this context, the metaproperties allows us to prove two robustness theorems for the logic stating that one can...
Solar Tutorial and Annotation Resource (STAR)
Showalter, C.; Rex, R.; Hurlburt, N. E.; Zita, E. J.
2009-12-01
We have written a software suite designed to facilitate solar data analysis by scientists, students, and the public, anticipating enormous datasets from future instruments. Our “STAR" suite includes an interactive learning section explaining 15 classes of solar events. Users learn software tools that exploit humans’ superior ability (over computers) to identify many events. Annotation tools include time slice generation to quantify loop oscillations, the interpolation of event shapes using natural cubic splines (for loops, sigmoids, and filaments) and closed cubic splines (for coronal holes). Learning these tools in an environment where examples are provided prepares new users to comfortably utilize annotation software with new data. Upon completion of our tutorial, users are presented with media of various solar events and asked to identify and annotate the images, to test their mastery of the system. Goals of the project include public input into the data analysis of very large datasets from future solar satellites, and increased public interest and knowledge about the Sun. In 2010, the Solar Dynamics Observatory (SDO) will be launched into orbit. SDO’s advancements in solar telescope technology will generate a terabyte per day of high-quality data, requiring innovation in data management. While major projects develop automated feature recognition software, so that computers can complete much of the initial event tagging and analysis, still, that software cannot annotate features such as sigmoids, coronal magnetic loops, coronal dimming, etc., due to large amounts of data concentrated in relatively small areas. Previously, solar physicists manually annotated these features, but with the imminent influx of data it is unrealistic to expect specialized researchers to examine every image that computers cannot fully process. A new approach is needed to efficiently process these data. Providing analysis tools and data access to students and the public have proven
Pragmatic inquiry and creativity
DEFF Research Database (Denmark)
Gimmler, Antje
’Don’t block the road of inquiry” was the motto of Peirce and also Dewey situated inquiry in its ideal version in a democratic and cooperative community. Abduction became the key concept for the pragmatic and creative research process where the lonely engineer is substituted with intelligent...... collaborations of the many. Thus, inquiry is from a pragmatic understanding rather a social than a purely cognitive task. The paper will firstly give a sketch of this understanding of inquiry and creativity on the background of the theories of Peirce and Dewey and will draw some parallels to recent...... of Thevenot’s critical pragmatism this understanding might be naïve – not because this is an idealistic rather than a real-life scenario but because the idea of collaborative creativity and self-realization has actually become the driving force in a marked dominated organization of science and production...
Propositional Dynamic Logic as a Logic of Belief Revision
D.J.N. van Eijck (Jan); Y. Wang (Yanjing)
2008-01-01
htmlabstractThis paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from
Primary Sources and Inquiry Learning
Pappas, Marjorie L.
2006-01-01
In this article, the author discusses inquiry learning and primary sources. Inquiry learning puts students in the active role of investigators. Questioning, authentic and active learning, and interactivity are a few of the characteristics of inquiry learning that put the teacher and library media specialist in the role of coaches while students…
Appreciative inquiry research review & notes
Zandee, D.P.
2015-01-01
This short article renews the emphasis on 'inquiry' in the appreciative/ inquiry equation, through a connection with the action research literature. Appreciative Inquiry was initially introduced as action research with the generative capacity to create knowledge for social innovation. If we look at
Effective Evaluation through Appreciative Inquiry
Dunlap, Cheryl A.
2008-01-01
Evaluators in the HPI field can improve their performance program results with effective evaluation through appreciative inquiry. Appreciative inquiry and evaluation have many similarities, and when combined they add value and effectiveness to the measurement of intervention results. Appreciative inquiry is beneficial in many evaluation contexts:…
Fisher, Michael; Gabbay, Dov; Gough, Graham
2000-01-01
Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor ...
DEFF Research Database (Denmark)
Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick
2014-01-01
Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study of inform......Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....
Directory of Open Access Journals (Sweden)
Schumann Andrew
2016-03-01
Full Text Available The paper considers main features of two groups of logics for biological devices, called Physarum Chips, based on the plasmodium. Let us recall that the plasmodium is a single cell with many diploid nuclei. It propagates networks by growing pseudopodia to connect scattered nutrients (pieces of food. As a result, we deal with a kind of computing. The first group of logics for Physarum Chips formalizes the plasmodium behaviour under conditions of nutrient-poor substrate. This group can be defined as standard storage modification machines. The second group of logics for Physarum Chips covers the plasmodium computing under conditions of nutrient-rich substrate. In this case the plasmodium behaves in a massively parallel manner and propagates in all possible directions. The logics of the second group are unconventional and deal with non-well-founded data such as infinite streams.
Dialectic operator fuzzy logic
Institute of Scientific and Technical Information of China (English)
程晓春; 姜云飞; 刘叙华
1996-01-01
Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.
Heterogeneous logics of competition
DEFF Research Database (Denmark)
Mossin, Christiane
2015-01-01
The purpose of the article is to demonstrate that in order to understand competition as a socially organizing phenomenon, we should not examine competition in isolation, but as constellations of heterogeneous logics. More precisely, the article is based on two main theoretical points: (1) Logics...... still experience competition as an expression of spontaneous human activities. On the basis of these perspectives, a study of fundamental rights of EU law, springing from the principle of ‘free movement of people’, is conducted. The first part of the empirical analysis seeks to detect the presence...... of a presumed logic of competition within EU law, whereas the second part focuses on particular legal logics. In this respect, the so-called ‘real link criterion’ (determining the access to transnational social rights for certain groups of unemployed people) is given special attention. What is particularly...
Geneves, Pierre
2008-01-01
This thesis describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint temporal logic with converse, derived from the mu-calculus, where models are finite trees. This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees, while having a single exponential time complexity. Specifically the decidability of the logic is proved in time 2^O(n) where n is the size of the input formula. Major XML concepts are linearly translated into the logic: XPath navigation and node selection semantics, and regular tree languages (which include DTDs and XML Schemas). Based on these embeddings, several problems of major importance in XML applications are reduced to satisfiability of the logic. These problems include XPath containment, emptiness, equivalence, overlap, coverage, in the presence or absence of regular tree type constraints, and the static type-checking of an annotated query....
Reasoning, logic, and psychology.
Stenning, Keith; van Lambalgen, Michiel
2011-09-01
We argue that reasoning has been conceptualized so narrowly in what is known as 'psychology of reasoning' that reasoning's relevance to cognitive science has become well-nigh invisible. Reasoning is identified with determining whether a conclusion follows validly from given premises, where 'valid' is taken to mean 'valid according to classical logic'. We show that there are other ways to conceptualize reasoning, more in line with current logical theorizing, which give it a role in psychological processes ranging from (verbal) discourse comprehension to (nonverbal) planning. En route we show that formal logic, at present marginalized in cognitive science, can be an extremely valuable modeling tool. In particular, there are cases in which probabilistic modeling must fail, whereas logical models do well. WIREs Cogni Sci 2011 2 555-567 DOI: 10.1002/wcs.134 For further resources related to this article, please visit the WIREs website.
Extending Value Logic Thinking to Value Logic Portfolios
DEFF Research Database (Denmark)
Ritter, Thomas; Andersen, Poul Houman
Based on value creation logic theory (Stabell & Fjeldstad, 1998), this paper suggests an extension of the original Stabell & Fjeldstad model by an additional fourth value logic, the value system logic. Furthermore, instead of only allowing one dominant value creation logic for a given firm...... or transaction, an understanding of firms and transactions as a portfolio of value logics (i.e. an interconnected coexistence of different value creation logics) is proposed. These additions to the original value creation logic theory imply interesting avenues for both, strategic decision making in firms...
Tan, Yong
2013-01-01
In this paper, author uses set theory to construct a logic model of abstract figure from binary relation. Based on the uniform quantified structure, author gives two logic system for graph traversal and graph coloring respectively, moreover shows a new method of cutting graph. Around this model, there are six algorithms in this paper including exact graph traversal, Algebra calculation of natural number, graph partition and graph coloring.
DEFF Research Database (Denmark)
Nilsson, Jørgen Fischer
1999-01-01
Conceptual spaces have been proposed as topological or geometric means for establishing conceptual structures and models. This paper, after briey reviewing conceptual spaces, focusses on the relationship between conceptual spaces and logical concept languages with operations for combining concepts...... to form concepts. Speci cally is introduced an algebraic concept logic, for which conceptual spaces are installed as semantic domain as replacement for, or enrichment of, the traditional....
Logic and declarative language
Downward, M
2004-01-01
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.
Institute of Scientific and Technical Information of China (English)
Simon Mumford takes a more 'logical' view of gramm
2010-01-01
@@ Many people enjoy puzzles and solving prob lems,and the use of an element of logic can make grammar exercises more interesting.Exercises such as putting words in order and clozes can be consid ered forms of puzzles,but there are many more op portunities to challenge more logically-minded stu dents.Here are some language puzzles for students and teachers alike.
Yanushkevich, Svetlana N
2008-01-01
Preface Design Process and Technology Theory of logic design Analysis and synthesis Implementation technologies Predictable technologies Contemporary CAD of logic networks Number Systems Positional numbers Counting in a positional number system Basic arithmetic operations in various number systems Binary arithmetic Radix-complement representations Techniques for conversion of numbers in various radices Overflow Residue arithmetic Other binary codes Redundancy and reliability Graphical Data Structures Graphs in discrete devices and systems design Basic definitions T
Towards a Formal Occurrence Logic based on Predicate Logic
DEFF Research Database (Denmark)
Badie, Farshad; Götzsche, Hans
2015-01-01
In this discussion we will concentrate on the main characteristics of an alternative kind of logic invented by Hans Götzsche: Occurrence Logic, which is not based on truth functionality. Our approach is based on temporal logic developed and elaborated by A. N. Prior. We will focus on characterising...... argumentation based on formal Occurrence Logic concerning events and occurrences, and illustrate the relations between Predicate Logic and Occurrence Logic. The relationships (and dependencies) is conducive to an approach that can analyse the occurrences of ”logical statements based on different logical...... principles” in different moments. We will also conclude that the elaborated Götzsche’s Occurrence Logic could be able to direct us to a truth-functional independent computer-based logic for analysing argumentation based on events and occurrences....
Lab-Tutorials for teaching quantum physics (Lab-Tutorials fuer den Quantenphysik Unterricht)
Wittmann, M C
2006-01-01
English abstract: In the "Intuitive Quantum Physics" course, we use graphical interpretations of mathematical equations and qualitative reasoning to develop and teach a simplified model of quantum physics. Our course contains three units: Wave physics, Development of a conceptual toolbox, and quantum physics. It also contains three key themes: wave-particle duality, the Schroedinger equation, and tunneling of quantum particles. Students learn most new material in lab-tutorials in which students work in small groups (3 to 3 people) on specially designed worksheets. Lecture reinforces the lab-tutorial content and focuses more on issues about the nature of science. Data show that students are able to learn some of the most difficult concepts in the course, and also that students learn to believe that there is a conceptually accessible structure to the physics in the course. German abstract: Im Kurs "Intuitive Quantum Physics" werden graphische Interpretationen mathematischer Gleichungen und qualitatives Denken d...
Energy Technology Data Exchange (ETDEWEB)
Bulsara, Adi R., E-mail: bulsara@spawar.navy.mil [SPAWAR Systems Center Pacific, San Diego, CA 92152-5001 (United States); Dari, Anna, E-mail: adari@asu.edu [Ira A. Fulton School of Engineering, Arizona State University, Tempe, AZ 85287-9309 (United States); Ditto, William L., E-mail: william.ditto@asu.edu [Ira A. Fulton School of Engineering, Arizona State University, Tempe, AZ 85287-9309 (United States); Murali, K., E-mail: kmurali@annauniv.edu [Department of Physics, Anna University, Chennai 600 025 (India); Sinha, Sudeshna, E-mail: sudeshna@imsc.res.in [Institute of Mathematical Sciences, Taramani, Chennai 600 113 (India); Indian Institute of Science Education and Research, Mohali, Transit Campus: MGSIPAP Complex, Sector 26 Chandigarh (India)
2010-10-05
In a recent publication it was shown that, when one drives a two-state system with two square waves as input, the response of the system mirrors a logical output (NOR/OR). The probability of obtaining the correct logic response is controlled by the interplay between the noise-floor and the nonlinearity. As one increases the noise intensity, the probability of the output reflecting a NOR/OR operation increases to unity and then decreases. Varying the nonlinearity (or the thresholds) of the system allows one to morph the output into another logic operation (NAND/AND) whose probability displays analogous behavior. Thus, the outcome of the interplay of nonlinearity and noise is a flexible logic gate with enhanced performance. Here we review this concept of 'Logical Stochastic Resonance' (LSR) and provide details of an electronic circuit system demonstrating LSR. Our proof-of-principle experiment involves a particularly simple realization of a two-state system realized by two adjustable thresholds. We also review CMOS implementations of a simple LSR circuit, and the concatenation of these LSR modules to emulate combinational logic, such as data flip-flop and full adder operations.
Re-Visions of Psychology: Feminism as a Paradigm of Scientific Inquiry.
Brownell, Arlene
An intellectual revolution is described in which the logic-centered, value-free model that has served as the foundation for paradigms in psychology is being reevaluated. As part of the intellectual revolution, feminism is presented as a paradigm of scientific inquiry meeting Thomas Kuhn's definition. The question is posed of whether psychologists…
Arthur Prior and medieval logic
Uckelman, S.L.
2012-01-01
Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Becaus
Relational Parametricity and Separation Logic
DEFF Research Database (Denmark)
Birkedal, Lars; Yang, Hongseok
2008-01-01
Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds's relational...... parametricity, and it provides a formal connection between separation logic and data abstraction. Udgivelsesdato: 2008...
Logical Varieties in Normative Reasoning
Burgin, Mark; Mestdagh, de Vey
2011-01-01
Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for any logical calculus is its consistency. At the same time, knowledge about large object domains (in science or in practice) is essentially inconsistent. Logical prevarieties and varieties were introduced to eliminate these limitations in a logically correct way. In this paper, the Logic of Reasonable Inferences is described. This logic has been applied successfully to model legal reasoning with inconsistent knowledge. It is demonstrated that this logic is a logical variety and properties of logical varieties related to legal reasoning are developed.
A TUTORIAL INTRODUCTION TO ADAPTIVE FRACTAL ANALYSIS
Directory of Open Access Journals (Sweden)
Michael A Riley
2012-09-01
Full Text Available The authors present a tutorial description of adaptive fractal analysis (AFA. AFA utilizes an adaptive detrending algorithm to extract globally smooth trend signals from the data and then analyzes the scaling of the residuals to the fit as a function of the time scale at which the fit is computed. The authors present applications to synthetic mathematical signals to verify the accuracy of AFA and demonstrate the basic steps of the analysis. The authors then present results from applying AFA to time series from a cognitive psychology experiment on repeated estimation of durations of time to illustrate some of the complexities of real-world data. AFA shows promise in dealing with many types of signals, but like any fractal analysis method there are special challenges and considerations to take into account, such as determining the presence of linear scaling regions.
Maximum Segment Sum, Monadically (distilled tutorial
Directory of Open Access Journals (Sweden)
Jeremy Gibbons
2011-09-01
Full Text Available The maximum segment sum problem is to compute, given a list of integers, the largest of the sums of the contiguous segments of that list. This problem specification maps directly onto a cubic-time algorithm; however, there is a very elegant linear-time solution too. The problem is a classic exercise in the mathematics of program construction, illustrating important principles such as calculational development, pointfree reasoning, algebraic structure, and datatype-genericity. Here, we take a sideways look at the datatype-generic version of the problem in terms of monadic functional programming, instead of the traditional relational approach; the presentation is tutorial in style, and leavened with exercises for the reader.
Informed Source Separation: A Bayesian Tutorial
Knuth, Kevin H.
2005-01-01
Source separation problems are ubiquitous in the physical sciences; any situation where signals are superimposed calls for source separation to estimate the original signals. In h s tutorial I will discuss the Bayesian approach to the source separation problem. This approach has a specific advantage in that it requires the designer to explicitly describe the signal model in addition to any other information or assumptions that go into the problem description. This leads naturally to the idea of informed source separation, where the algorithm design incorporates relevant information about the specific problem. This approach promises to enable researchers to design their own high-quality algorithms that are specifically tailored to the problem at hand.
Recently Published Lectures and Tutorials for ATLAS
J. Herr
2006-01-01
As reported in the September 2004 ATLAS eNews, the Web Lecture Archive Project, a collaboration between the University of Michigan and CERN, has developed a synchronized system for recording and publishing educational multimedia presentations, using the Web as medium. The current system, including future developments for the project and the field in general, was recently presented at the CHEP 2006 conference in Mumbai, India. The relevant presentations and papers can be found here: The Web Lecture Archive Project A Web Lecture Capture System with Robotic Speaker Tracking This year, the University of Michigan team has been asked to record and publish all ATLAS Plenary sessions, as well as a large number of Physics and Computing tutorials. A significant amount of this material has already been published and can be accessed via the links below. All lectures can be viewed on any major platform with any common internet browser, either via streaming or local download (for limited bandwidth). Please enjoy the l...
Recently Published Lectures and Tutorials for ATLAS
Goldfarb, S.
2006-01-01
As reported in the September 2004 ATLAS eNews, the Web Lecture Archive Project, WLAP, a collaboration between the University of Michigan and CERN, has developed a synchronized system for recording and publishing educational multimedia presentations, using the Web as medium. The current system, including future developments for the project and the field in general, was recently presented at the CHEP 2006 conference in Mumbai, India. The relevant presentations and papers can be found here: The Web Lecture Archive Project. A Web Lecture Capture System with Robotic Speaker Tracking This year, the University of Michigan team has been asked to record and publish all ATLAS Plenary sessions, as well as a large number of Physics and Computing tutorials. A significant amount of this material has already been published and can be accessed via the links below. All lectures can be viewed on any major platform with any common internet browser, either via streaming or local download (for limited bandwidth). Please e...
Tutorial: Radiation Effects in Electronic Systems
Pellish, Jonathan A.
2017-01-01
This tutorial presentation will give an overview of radiation effects in electrical, electronic, and electromechanical (EEE) components as it applies to civilian space systems of varying size and complexity. The natural space environment presents many unique threats to electronic systems regardless of where the systems operate from low-Earth orbit to interplanetary space. The presentation will cover several topics, including: an overview and introduction to the applicable space radiation environments common to a broad range of mission designs; definitions and impacts of effects due to impinging particles in the space environment e.g., total ionizing dose (TID), total non-ionizing dose (TNID), and single-event effects (SEE); and, testing for and evaluation of TID, TNID, and SEE in EEE components.
A tutorial on Bayesian Normal linear regression
Klauenberg, Katy; Wübbeler, Gerd; Mickan, Bodo; Harris, Peter; Elster, Clemens
2015-12-01
Regression is a common task in metrology and often applied to calibrate instruments, evaluate inter-laboratory comparisons or determine fundamental constants, for example. Yet, a regression model cannot be uniquely formulated as a measurement function, and consequently the Guide to the Expression of Uncertainty in Measurement (GUM) and its supplements are not applicable directly. Bayesian inference, however, is well suited to regression tasks, and has the advantage of accounting for additional a priori information, which typically robustifies analyses. Furthermore, it is anticipated that future revisions of the GUM shall also embrace the Bayesian view. Guidance on Bayesian inference for regression tasks is largely lacking in metrology. For linear regression models with Gaussian measurement errors this tutorial gives explicit guidance. Divided into three steps, the tutorial first illustrates how a priori knowledge, which is available from previous experiments, can be translated into prior distributions from a specific class. These prior distributions have the advantage of yielding analytical, closed form results, thus avoiding the need to apply numerical methods such as Markov Chain Monte Carlo. Secondly, formulas for the posterior results are given, explained and illustrated, and software implementations are provided. In the third step, Bayesian tools are used to assess the assumptions behind the suggested approach. These three steps (prior elicitation, posterior calculation, and robustness to prior uncertainty and model adequacy) are critical to Bayesian inference. The general guidance given here for Normal linear regression tasks is accompanied by a simple, but real-world, metrological example. The calibration of a flow device serves as a running example and illustrates the three steps. It is shown that prior knowledge from previous calibrations of the same sonic nozzle enables robust predictions even for extrapolations.
A Survey of Subject and Logical Subject
Institute of Scientific and Technical Information of China (English)
陈永亮
1999-01-01
@@ This paper discusses Subject and Logical Subject of the English language. The grammar rules complied by some grammarians will be focused on and induced in a fuller account of the survey, aiming simply at a common- sense justification of traditional sentence analysis. Subject, a familiar grammatical term, is one of the most basic to thetraditional of grammatical analysis. It reports the concept of the subject and its history conducted with learners of English who are involved in making further English programme in the education with deep grammar explorations. Both the teachers and the students face many problems in this area, which need to be made clear and definite. The non- finite verbs have their specific rules or objective laws stipulated or summed up by grammarians. These areas of intellectual inquiry ,like most other fields of language study, have represented profoundly intelligent and important investigation in to the English deep grammars.
Impact of problem finding on the quality of authentic open inquiry science research projects
Labanca, Frank
2008-11-01
Problem finding is a creative process whereby individuals develop original ideas for study. Secondary science students who successfully participate in authentic, novel, open inquiry studies must engage in problem finding to determine viable and suitable topics. This study examined problem finding strategies employed by students who successfully completed and presented the results of their open inquiry research at the 2007 Connecticut Science Fair and the 2007 International Science and Engineering Fair. A multicase qualitative study was framed through the lenses of creativity, inquiry strategies, and situated cognition learning theory. Data were triangulated by methods (interviews, document analysis, surveys) and sources (students, teachers, mentors, fair directors, documents). The data demonstrated that the quality of student projects was directly impacted by the quality of their problem finding. Effective problem finding was a result of students using resources from previous, specialized experiences. They had a positive self-concept and a temperament for both the creative and logical perspectives of science research. Successful problem finding was derived from an idiosyncratic, nonlinear, and flexible use and understanding of inquiry. Finally, problem finding was influenced and assisted by the community of practicing scientists, with whom the students had an exceptional ability to communicate effectively. As a result, there appears to be a juxtaposition of creative and logical/analytical thought for open inquiry that may not be present in other forms of inquiry. Instructional strategies are suggested for teachers of science research students to improve the quality of problem finding for their students and their subsequent research projects.
Leuenberger, Ted; Shepardson, Daniel; Harbor, Jon; Bell, Cheryl; Meyer, Jason; Klagges, Hope; Burgess, Willie
2001-01-01
Presents inquiry-oriented activities that acquaint students with groundwater sources, movement of water through aquifers, and contamination of groundwater by pollution. In one activity, students use well log data from web-based resources to explore groundwater systems. Provides sample well log data for those not having access to local information.…
Hendry, Petra Munro
2010-01-01
The author suggests that all research is narrative. Resituating all research as narrative, as opposed to characterizing narrative as one particular form of inquiry, provides a critical space for rethinking "research" beyond current dualisms and bifurcations that create boundaries that limit the capacity for dialogue across diverse epistemologies.…
Designing for Watershed Inquiry
Bodzin, Alec; Shive, Louise
2004-01-01
In this article, we describe a collaborative design initiative with three secondary school teachers to promote the use of Web-based inquiry in the context of a watershed investigation. Design interviews that focus on instructional goals and pedagogical beliefs of classroom teachers were conducted. The interview protocol used a curricular framework…
Extending Paper Chromatography Inquiry
Finson, Kevin
2004-01-01
One of the "good old" standard activities middle school students seem to enjoy is paper chromatography. The procedures and materials needed are relatively simple and the results can be colorful. All too often, the activity ends just after these colorful results are obtained, cutting short the potential it holds for some further inquiry. With some…
Koller, Martin M.
Learning in small groups is a practical way to bring about behavior change. The inquiry learning process is perceived to be the most natural and scientific way of learning. Skills developed include those of problem-solving task analysis, decision-making, value formation and adaptability. The art of small group interaction is developed. Factual…
Cowling, W R
2001-06-01
Unitary appreciative inquiry is described as an orientation, process, and approach for illuminating the wholeness, uniqueness, and essence that are the pattern of human life. It was designed to bring the concepts, assumptions, and perspectives of the science of unitary human beings into reality as a mode of inquiry. Unitary appreciative inquiry provides a way of giving fullest attention to important facets of human life that often are not fully accounted for in current methods that have a heavier emphasis on diagnostic representations. The participatory, synoptic, and transformative qualities of the unitary appreciative process are explicated. The critical dimensions of nursing knowledge development expressed in dialectics of the general and the particular, action and theory, stories and numbers, sense and soul, aesthetics and empirics, and interpretation and emancipation are considered in the context of the unitary appreciative stance. Issues of legitimacy of knowledge and credibility of research are posed and examined in the context of four quality standards that are deemed important to evaluate the worthiness of unitary appreciative inquiry for the advancement of nursing science and practice.
Leuenberger, Ted; Shepardson, Daniel; Harbor, Jon; Bell, Cheryl; Meyer, Jason; Klagges, Hope; Burgess, Willie
2001-01-01
Presents inquiry-oriented activities that acquaint students with groundwater sources, movement of water through aquifers, and contamination of groundwater by pollution. In one activity, students use well log data from web-based resources to explore groundwater systems. Provides sample well log data for those not having access to local information.…
Discourse Preferences in Dynamic Logic
Jaspars, J; Jaspars, Jan; Kameyama, Megumi
1997-01-01
In order to enrich dynamic semantic theories with a `pragmatic' capacity, we combine dynamic and nonmonotonic (preferential) logics in a modal logic setting. We extend a fragment of Van Benthem and De Rijke's dynamic modal logic with additional preferential operators in the underlying static logic, which enables us to define defeasible (pragmatic) entailments over a given piece of discourse. We will show how this setting can be used for a dynamic logical analysis of preferential resolutions of ambiguous pronouns in discourse.
Non-logic devices in logic processes
Ma, Yanjun
2017-01-01
This book shows readers how to design semiconductor devices using the most common and lowest cost logic CMOS processes. Readers will benefit from the author’s extensive, industrial experience and the practical approach he describes for designing efficiently semiconductor devices that typically have to be implemented using specialized processes that are expensive, time-consuming, and low-yield. The author presents an integrated picture of semiconductor device physics and manufacturing techniques, as well as numerous practical examples of device designs that are tried and true.
Logic and truth: Some logics without theorems
Directory of Open Access Journals (Sweden)
Jayanta Sen
2008-08-01
Full Text Available Two types of logical consequence are compared: one, with respect to matrix and designated elements and the other with respect to ordering in a suitable algebraic structure. Particular emphasis is laid on algebraic structures in which there is no top-element relative to the ordering. The significance of this special condition is discussed. Sequent calculi for a number of such structures are developed. As a consequence it is re-established that the notion of truth as such, not to speak of tautologies, is inessential in order to define validity of an argument.
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Pearce, David; Woltran, Stefan
2009-01-01
Equilibrium logic is an approach to nonmonotonic reasoning that extends the stable-model and answer-set semantics for logic programs. In particular, it includes the general case of nested logic programs, where arbitrary Boolean combinations are permitted in heads and bodies of rules, as special kinds of theories. In this paper, we present polynomial reductions of the main reasoning tasks associated with equilibrium logic and nested logic programs into quantified propositional logic, an extension of classical propositional logic where quantifications over atomic formulas are permitted. We provide reductions not only for decision problems, but also for the central semantical concepts of equilibrium logic and nested logic programs. In particular, our encodings map a given decision problem into some formula such that the latter is valid precisely in case the former holds. The basic tasks we deal with here are the consistency problem, brave reasoning, and skeptical reasoning. Additionally, we also provide encoding...
Diagnosable structured logic array
Whitaker, Sterling (Inventor); Miles, Lowell (Inventor); Gambles, Jody (Inventor); Maki, Gary K. (Inventor)
2009-01-01
A diagnosable structured logic array and associated process is provided. A base cell structure is provided comprising a logic unit comprising a plurality of input nodes, a plurality of selection nodes, and an output node, a plurality of switches coupled to the selection nodes, where the switches comprises a plurality of input lines, a selection line and an output line, a memory cell coupled to the output node, and a test address bus and a program control bus coupled to the plurality of input lines and the selection line of the plurality of switches. A state on each of the plurality of input nodes is verifiably loaded and read from the memory cell. A trusted memory block is provided. The associated process is provided for testing and verifying a plurality of truth table inputs of the logic unit.
Prakash, Manu; Gershenfeld, Neil
2007-02-09
We demonstrate universal computation in an all-fluidic two-phase microfluidic system. Nonlinearity is introduced into an otherwise linear, reversible, low-Reynolds number flow via bubble-to-bubble hydrodynamic interactions. A bubble traveling in a channel represents a bit, providing us with the capability to simultaneously transport materials and perform logical control operations. We demonstrate bubble logic AND/OR/NOT gates, a toggle flip-flop, a ripple counter, timing restoration, a ring oscillator, and an electro-bubble modulator. These show the nonlinearity, gain, bistability, synchronization, cascadability, feedback, and programmability required for scalable universal computation. With increasing complexity in large-scale microfluidic processors, bubble logic provides an on-chip process control mechanism integrating chemistry and computation.
Carlsson, Christer; Fullér, Robert
2004-01-01
Fuzzy Logic in Management demonstrates that difficult problems and changes in the management environment can be more easily handled by bringing fuzzy logic into the practice of management. This explicit theme is developed through the book as follows: Chapter 1, "Management and Intelligent Support Technologies", is a short survey of management leadership and what can be gained from support technologies. Chapter 2, "Fuzzy Sets and Fuzzy Logic", provides a short introduction to fuzzy sets, fuzzy relations, the extension principle, fuzzy implications and linguistic variables. Chapter 3, "Group Decision Support Systems", deals with group decision making, and discusses methods for supporting the consensus reaching processes. Chapter 4, "Fuzzy Real Options for Strategic Planning", summarizes research where the fuzzy real options theory was implemented as a series of models. These models were thoroughly tested on a number of real life investments, and validated in 2001. Chapter 5, "Soft Computing Methods for Reducing...
Giordano, Paolo
2009-01-01
We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular, on the contrary with respect to SIA, which admits models only in intuitionistic logic, the theory of Fermat reals is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the definition and properties of the total order relation. The construction is highly constructive, and every Fermat real admits a clear and order preserving geometrical representation. Using nilpotent infinitesimals, every smooth functions becomes a polynomial because in Taylor's formulas the rest is now zero. Finally, we present several applications to informal classical calculations used in Physics: now all these calc...
Rushton, Andrew
2011-01-01
Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. This book bridges the gap between the VHDL language and the hardware that results from logic synthesis with clear organisation, progressing from the basics of combinational logic, types, and operators; through special structures such as tristate buses, register banks and memories, to advanced themes such as developing your own packages, writing test benches and using the full range of synthesis types. This third edition has been substantially rewritten to include the new VHDL-2008 features that enable synthesis of fixed-point and floating-point hardware. Extensively updated throughout to reflect modern logic synthesis usage, it also contains a complete case study to demonstrate the updated features. Features to this edition include: * a common VHDL subset which will work across a range of different synthesis systems, targeting a very wide range of technologies...
Logic Programming for Linguistics
DEFF Research Database (Denmark)
Christiansen, Henning
2010-01-01
This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...... a computer is, can follow the text. I cannot, of course, cover all aspects of logic programming in this text, and so we give references to other sources with more details. Students of linguistics must have a very good motivation to spend time on programming, and I show here how logic programming can be used...... for modelling different linguistic phenomena. When modelling language in this way, as opposed to using only paper and pencil, your models go live: you can run and test your models and you can use them as automatic language analyzers. This way you will get a better understanding of the dynamics of languages...
Augmenting cognitive learning of community nutrition by tutorials.
Chaturvedi, S
1998-01-01
Community health interventions are increasingly being considered a priority area in medical curriculum. In the topic of nutrition, a situation analysis of final MBBS students in our institution revealed significantly lower levels of knowledge in community applications as compared to basics and clinical aspects, indicating the need for some educational intervention. An improvised tutorial was conducted to address this deficiency at cognitive level. The intervention was a special scheme of flow of discussion with a positive bias in favour of nutritional applications at community level. Half of the learners were given routine tutorial, as part of existing teaching schedule in nutrition and the remaining were subjected to educational intervention, to provide control and study groups respectively. Before and after assessment of the recall of learners on community applications demonstrated a positive impact of improvised tutorial. The learners' level of knowledge in two groups was comparable before the tutorial but it was significantly higher ('P' < 0.001) in study group as compared to control, after the tutorial (mean scores: 134.38/150 and 91.20/150 respectively). No extra resources, tutor time or student's learning hours were needed for the improvised tutorial. Tutor's positive bias in favour of applied aspects can bring about a desired change even in conventional teaching-learning process, without asking for extra resources. It can be a supplement to community-based learning.
Effectiveness of Tutorials for Introductory Physics in Argentinean high schools
Benegas, J.; Flores, J. Sirur
2014-06-01
This longitudinal study reports the results of a replication of Tutorials in Introductory Physics in high schools of a Latin-American country. The main objective of this study was to examine the suitability of Tutorials for local science education reform. Conceptual learning of simple resistive electric circuits was determined by the application of the single-response multiple-choice test "Determining and Interpreting Resistive Electric Circuits Concepts Test" (DIRECT) to high school classes taught with Tutorials and traditional instruction. The study included state and privately run schools of different socioeconomic profiles, without formal laboratory space and equipment, in classes of mixed-gender and female-only students, taught by novice and experienced instructors. Results systematically show that student learning is significantly higher in the Tutorials classes compared with traditional teaching for all of the studied conditions. The results also show that long-term learning (one year after instruction) in the Tutorials classes is highly satisfactory, very similar to the performance of the samples of college students used to develop the test DIRECT. On the contrary, students following traditional instruction returned one year after instruction to the poor performance (conceptual knowledge of basic physics recently determined by a systematic study of first-year students attending seven universities in Spain and four Latin-American countries. Some replication and adaptation problems and difficulties of this experience are noted, as well as recommendations for successful use of Tutorials in high schools of similar educational systems.
How experienced tutors facilitate tutorial dynamics in PBL groups.
Lee, Gin-Hong; Lin, Chaou-Shune; Lin, Yu-Hua
2013-01-01
Problem-based learning (PBL) tutorial are conducted in small groups, and successful learning in such groups requires good group facilitating skills. There is a lack of research on actual skills employed by tutors in facilitating the group dynamics. To explore the process of PBL tutorial small groups, focusing on the tutors' actual behavior in facilitating group dynamics. Eight experienced tutors from various departments in medical colleges participated in this research. Forty tutorial group sessions were videotaped. Among the 636 tutorial intervention episodes, 142 of them were associated with facilitating group dynamics. Tutors interventions as well as their recalls were transcribed verbatim. Qualitative research methods were utilized to analyze the data. There were 10 tutorial group dynamic situations and 48 tutorial skills. Analysis of the tutors' intentions employing these skills in the 10 situations showed that tutors were trying to achieve the following aims: (1) iteration of PBL principles, (2) delegation of responsibility to the students, (3) creation of a good discussion forum, and (4) the generation of a good learning atmosphere. Results from this study provide PBL tutors with a practical frame of reference on group dynamic facilitating skills and stimulate further research on this topic.
The logic of selecting an appropriate map projection in a Decision Support System (DSS)
Finn, Michael P.; Usery, E. Lynn; Woodard, Laura N.; Yamamoto, Kristina H.
2017-01-01
There are undeniable practical consequences to consider when choosing an appropriate map projection for a specific region. The surface of a globe covered by global, continental, and regional maps are so singular that each type distinctively affects the amount of distortion incurred during a projection transformation because of the an assortment of effects caused by distance, direction, scale , and area. A Decision Support System (DSS) for Map Projections of Small Scale Data was previously developed to help select an appropriate projection. This paper reports on a tutorial to accompany that DSS. The DSS poses questions interactively, allowing the user to decide on the parameters, which in turn determines the logic path to a solution. The objective of including a tutorial to accompany the DSS is achieved by visually representing the path of logic that is taken to a recommended map projection derived from the parameters the user selects. The tutorial informs the DSS user about the pedigree of the projection and provides a basic explanation of the specific projection design. This information is provided by informational pop-ups and other aids.
DEFF Research Database (Denmark)
Meyn, Carina Ann
2016-01-01
This article aims to unsettle some of the most widely propagated claims about practice theoretical inquiry in IR, namely that it is supposedly neutral, objective, bridge-building, and “closer to reality” than prior discourse-based forms of analysis. The aim is not to discredit the value......-reading of the political aspect to practice theoretical inquiry, the article exemplifies some of the deeper intentionality and end-directedness to the approach, which spans both ethnographic, statistical, and discourse-based forms of analysis. Ultimately, I argue that practice theoretical inquiry cannot be pitted...... in logical opposition to discourse-based forms of analysis, or claimed to be a bridging “middle-ground” between neo-positivist research ideals and radical deconstruction. Instead, what this article suggests is to treat practice theoretical inquiry as its own distinct creature in continental political...
Introduction to mathematical logic
Mendelson, Elliott
2009-01-01
The Propositional CalculusPropositional Connectives. Truth TablesTautologies Adequate Sets of Connectives An Axiom System for the Propositional Calculus Independence. Many-Valued LogicsOther AxiomatizationsFirst-Order Logic and Model TheoryQuantifiersFirst-Order Languages and Their Interpretations. Satisfiability and Truth. ModelsFirst-Order TheoriesProperties of First-Order Theories Additional Metatheorems and Derived Rules Rule C Completeness Theorems First-Order Theories with EqualityDefinitions of New Function Letters and Individual Constants Prenex Normal Forms Isomorphism of Interpretati
Stoll, Robert R
1979-01-01
Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. One of the most complex and essential of modern mathematical innovations, the theory of sets (crucial to quantum mechanics and other sciences), is introduced in a most careful concept manner, aiming for the maximum in clarity and stimulation for further study in
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2011-01-01
We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML....... To guard against modelling artifacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D-algebra....
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2011-01-01
We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML....... To guard against modelling artefacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D -algebra....
Reactive standard deontic logic
Gabbay, Dov M.; Straßer, Christian
2015-01-01
We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic logic). Given a Kripkean view on the semantics of SDL in terms of directed graphs where arrows -> represent the accessibility relation between worlds, reactive models add two elements: arrows -> are labelled as 'active' or 'inactive', and double arrows a dagger connect arrows, e.g. (x(1) -> x(2)) a dagger (x(3) -> x(4)). The idea is that passing through x(1) -> x(2) activates a switch represented...
Rebuschi, Manuel
2009-01-01
One of the highlights of recent informal epistemology is its growing theoretical emphasis upon various notions of context. The present paper addresses the connections between knowledge and context within a formal approach. To this end, a "contextual epistemic logic", CEL, is proposed, which consists of an extension of standard S5 epistemic modal logic with appropriate reduction axioms to deal with an extra contextual operator. We describe the axiomatics and supply both a Kripkean and a dialogical semantics for CEL. An illustration of how it may fruitfully be applied to informal epistemological matters is provided.
Evens, Aden
2015-01-01
Building a foundational understanding of the digital, Logic of the Digital reveals a unique digital ontology. Beginning from formal and technical characteristics, especially the binary code at the core of all digital technologies, Aden Evens traces the pathways along which the digital domain of abstract logic encounters the material, human world. How does a code using only 0s and 1s give rise to the vast range of applications and information that constitutes a great and growing portion of our world? Evens' analysis shows how any encounter between the actual and the digital must cross an ontolo
Gibson, J
2013-01-01
Most branches of organizing utilize digital electronic systems. This book introduces the design of such systems using basic logic elements as the components. The material is presented in a straightforward manner suitable for students of electronic engineering and computer science. The book is also of use to engineers in related disciplines who require a clear introduction to logic circuits. This third edition has been revised to encompass the most recent advances in technology as well as the latest trends in components and notation. It includes a wide coverage of application specific integrate
Linear Logical Voting Protocols
DEFF Research Database (Denmark)
DeYoung, Henry; Schürmann, Carsten
2012-01-01
. In response, we promote linear logic as a high-level language for both specifying and implementing voting protocols. Our linear logical specifications of the single-winner first-past-the-post (SW- FPTP) and single transferable vote (STV) protocols demonstrate that this approach leads to concise......Current approaches to electronic implementations of voting protocols involve translating legal text to source code of an imperative programming language. Because the gap between legal text and source code is very large, it is difficult to trust that the program meets its legal specification...... implementations that closely correspond to their legal specification, thereby increasing trust....
A Tutorial for Performing a Radiographic Examination
2017-03-01
report. Having properly qualified and certified personnel present is the first component that needs to be in place when starting up an NDT...sources are x-ray based. At this point, the practitioner should logically start at one piece of the critical equipment, determine what type is...needed for the inspection criteria, and move on to the next. Geometry Starting with the x-ray source, the type necessary to meet the part
From logic design to logic programming
Energy Technology Data Exchange (ETDEWEB)
Snyers, D.; Thayse, A.
1987-01-01
The main purpose of the present book is to show that in the same way as P-functions can lead to algorithmic or imperative implementations via the algorithmic state machine model or via the parallel program schema, they can also lead to a declarative type of implementation via the theorem proving model. As P-functions are used for synthesizing algorithms, the result of the synthesis can be interpreted in terms of implementation tools. To the hardware, microprogrammed and programmed (in an algorithmic or imperative programming environment using fortran-like or pascal-like languages) implementations the authors can thus add logic programmed implementation as a possible result of the P-function calculus.
L'ajuda tutorial en els MOOCs: un nou enfocament en l'acció tutorial
Directory of Open Access Journals (Sweden)
Rosario Medina-Salguero
2013-12-01
Full Text Available En el present treball s'expon un analisis de l'accio tutorial en una nova modalitat d'ensenyança-aprenentage, els MOOCS. Per a açò, hem portat a veta un estudi de material documental que permet reconstruir els acontenyiments que estan succeint en l'actualitat en els MOOCS. Els resultats mos indiquen com se configura esta nova tendencia d'aprenentage a nivell internacional i nacional i com s'establix l'ajuda pedagogica en els MOOCS.
Radiation tolerant combinational logic cell
Maki, Gary R. (Inventor); Gambles, Jody W. (Inventor); Whitaker, Sterling (Inventor)
2009-01-01
A system has a reduced sensitivity to Single Event Upset and/or Single Event Transient(s) compared to traditional logic devices. In a particular embodiment, the system includes an input, a logic block, a bias stage, a state machine, and an output. The logic block is coupled to the input. The logic block is for implementing a logic function, receiving a data set via the input, and generating a result f by applying the data set to the logic function. The bias stage is coupled to the logic block. The bias stage is for receiving the result from the logic block and presenting it to the state machine. The state machine is coupled to the bias stage. The state machine is for receiving, via the bias stage, the result generated by the logic block. The state machine is configured to retain a state value for the system. The state value is typically based on the result generated by the logic block. The output is coupled to the state machine. The output is for providing the value stored by the state machine. Some embodiments of the invention produce dual rail outputs Q and Q'. The logic block typically contains combinational logic and is similar, in size and transistor configuration, to a conventional CMOS combinational logic design. However, only a very small portion of the circuits of these embodiments, is sensitive to Single Event Upset and/or Single Event Transients.
Greek, Indian and Arabic logic
Gabbay, Dov M
2004-01-01
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of t...
Mapping Individual Logical Processes
Smetana, Frederick O.
1975-01-01
A technique to measure and describe concisely a certain class of individual mental reasoning processes has been developed. The measurement is achieved by recording the complete dialog between a large, varied computerized information system with a broad range of logical operations and options and a human information seeker. (Author/RC)
Logicism, intuitionism, and formalism
Symons, John
2008-01-01
Aims to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science.
Duration Calculus: Logical Foundations
DEFF Research Database (Denmark)
Hansen, Michael Reichhardt; Chaochen, Zhou
1997-01-01
The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...
Welty, Gordon A.
The logic of the evaluation of educational and other action programs is discussed from a methodological viewpoint. However, no attempt is made to develop methods of evaluating programs. In Part I, the structure of an educational program is viewed as a system with three components--inputs, transformation of inputs into outputs, and outputs. Part II…
Krötzsch, Markus; Horrocks, Ian
2012-01-01
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further reading.
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2014-01-01
We study the international standard XACML 3.0 for describing security access control policies in a compositional way. Our main contributions are (i) to derive a logic that precisely captures the intentions of the standard, (ii) to formally define a semantics for the XACML 3.0 component evaluation...
Nonmonotonic logics and algebras
Institute of Scientific and Technical Information of China (English)
CHAKRABORTY Mihir Kr; GHOSH Sujata
2008-01-01
Several nonmonotonie logic systems together with their algebraic semantics are discussed. NM-algebra is defined.An elegant construction of an NM-algebra starting from a Boolean algebra is described which gives rise to a few interesting algebraic issues.
DEFF Research Database (Denmark)
Jensen, Jonas Buhrkal; Birkedal, Lars
2012-01-01
, separation means physical separation. In this paper, we introduce \\emph{fictional separation logic}, which includes more general forms of fictional separating conjunctions P * Q, where "*" does not require physical separation, but may also be used in situations where the memory resources described by P and Q...
Logic Programming for Linguistics
DEFF Research Database (Denmark)
Christiansen, Henning
2010-01-01
This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...
LOGICAL SEMANTICS OF MODULARIZATION
DELAVALETTE, GRR
1992-01-01
An algebra of theories, signatures, renamings and the operations import and export is investigated. A normal form theorem for terms of this algebra is proved. Another algebraic approach and the relation with a fragment of second order logic are also considered.
Bergstra, J.A.; Ponse, A.
2010-01-01
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used. A short-circuit logic is a variant of p
Quantum probabilistic logic programming
Balu, Radhakrishnan
2015-05-01
We describe a quantum mechanics based logic programming language that supports Horn clauses, random variables, and covariance matrices to express and solve problems in probabilistic logic. The Horn clauses of the language wrap random variables, including infinite valued, to express probability distributions and statistical correlations, a powerful feature to capture relationship between distributions that are not independent. The expressive power of the language is based on a mechanism to implement statistical ensembles and to solve the underlying SAT instances using quantum mechanical machinery. We exploit the fact that classical random variables have quantum decompositions to build the Horn clauses. We establish the semantics of the language in a rigorous fashion by considering an existing probabilistic logic language called PRISM with classical probability measures defined on the Herbrand base and extending it to the quantum context. In the classical case H-interpretations form the sample space and probability measures defined on them lead to consistent definition of probabilities for well formed formulae. In the quantum counterpart, we define probability amplitudes on Hinterpretations facilitating the model generations and verifications via quantum mechanical superpositions and entanglements. We cast the well formed formulae of the language as quantum mechanical observables thus providing an elegant interpretation for their probabilities. We discuss several examples to combine statistical ensembles and predicates of first order logic to reason with situations involving uncertainty.
Logical analysis of biological systems
DEFF Research Database (Denmark)
Mardare, Radu Iulian
2005-01-01
R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005.......R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005....
Preferential reasoning for modal logics
CSIR Research Space (South Africa)
Britz, K
2011-11-01
Full Text Available Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed...
Grzegorczyk, Dawid; Mulawka, Jan J.; Nieznański, Edward
In this article there are presented a few methods of proving that can be adopted for epistemic logic. Those methods are used for proving sample thesis in a certain considered epistemic logic also described briefly in this work.
DEFF Research Database (Denmark)
Braüner, Torben
2011-01-01
Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one...... often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism....... For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic...
Wansing, Heinrich; Willkommen, Caroline; Recent Trends in Philosophical Logic
2014-01-01
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University ...
TUTORIAL: Electrical resistance: an atomistic view
Datta, Supriyo
2004-07-01
This tutorial article presents a 'bottom-up' view of electrical resistance starting from something really small, like a molecule, and then discussing the issues that arise as we move to bigger conductors. Remarkably, no serious quantum mechanics is needed to understand electrical conduction through something really small, except for unusual things like the Kondo effect that are seen only for a special range of parameters. This article starts with energy level diagrams (section 2), shows that the broadening that accompanies coupling limits the conductance to a maximum of q2/h per level (sections 3, 4), describes how a change in the shape of the self-consistent potential profile can turn a symmetric current-voltage characteristic into a rectifying one (sections 5, 6), shows that many interesting effects in molecular electronics can be understood in terms of a simple model (section 7), introduces the non-equilibrium Green function (NEGF) formalism as a sophisticated version of this simple model with ordinary numbers replaced by appropriate matrices (section 8) and ends with a personal view of unsolved problems in the field of nanoscale electron transport (section 9). Appendix A discusses the Coulomb blockade regime of transport, while appendix B presents a formal derivation of the NEGF equations. MATLAB codes for numerical examples are listed in appendix C. (The appendices are available in the online version only.)
Low temperature plasma biomedicine: A tutorial reviewa)
Graves, David B.
2014-08-01
Gas discharge plasmas formed at atmospheric pressure and near room temperature have recently been shown to be potentially useful for surface and wound sterilization, antisepsis, bleeding cessation, wound healing, and cancer treatment, among other biomedical applications. This tutorial review summarizes the field, stressing the likely role of reactive oxygen and nitrogen species created in these plasmas as the biologically and therapeutically active agents. Reactive species, including radicals and non-radical compounds, are generated naturally within the body and are now understood to be essential for normal biological functions. These species are known to be active agents in existing therapies for wound healing, infection control, and cancer treatment. But they are also observed at elevated levels in persons with many diseases and are associated with aging. The physical and chemical complexity of plasma medical devices and their associated biochemical effects makes the development of safe, effective plasma medical devices and procedures a challenge, but encouragingly rapid progress has been reported around the world in the last several years.
Low temperature plasma biomedicine: A tutorial review
Energy Technology Data Exchange (ETDEWEB)
Graves, David B., E-mail: graves@berkeley.edu [University of California at Berkeley, Berkeley, California 94720 (United States)
2014-08-15
Gas discharge plasmas formed at atmospheric pressure and near room temperature have recently been shown to be potentially useful for surface and wound sterilization, antisepsis, bleeding cessation, wound healing, and cancer treatment, among other biomedical applications. This tutorial review summarizes the field, stressing the likely role of reactive oxygen and nitrogen species created in these plasmas as the biologically and therapeutically active agents. Reactive species, including radicals and non-radical compounds, are generated naturally within the body and are now understood to be essential for normal biological functions. These species are known to be active agents in existing therapies for wound healing, infection control, and cancer treatment. But they are also observed at elevated levels in persons with many diseases and are associated with aging. The physical and chemical complexity of plasma medical devices and their associated biochemical effects makes the development of safe, effective plasma medical devices and procedures a challenge, but encouragingly rapid progress has been reported around the world in the last several years.
Mössbauer Spectroscopy Tutorial Book
Langouche, Guido
2013-01-01
Tutorials on Mössbauer Spectroscopy Since the discovery of the Mössbauer Effect many excellent books have been published for researchers and for doctoral and master level students. However, there appears to be no textbook available for final year bachelor students, nor for people working in industry who have received only basic courses in classical mechanics, electromagnetism, quantum mechanics, chemistry and materials science. The challenge of this book is to give an introduction to Mössbauer Spectroscopy for this level. The ultimate goal of this book is to give this audience not only a scientific introduction to the technique, but also to demonstrate in an attractive way the power of Mössbauer Spectroscopy in many fields of science, in order to create interest among the readers in joining the community of Mössbauer spectroscopists. This is particularly important at times where in many Mössbauer laboratories succession is at stake.
A Tutorial on Microwave Photonic Filters
Capmany, José; Ortega, Beatriz; Pastor, Daniel
2006-01-01
Microwave photonic filters are photonic subsystems designed with the aim of carrying equivalent tasks to those of an ordinary microwave filter within a radio frequency (RF) system or link, bringing supplementary advantages inherent to photonics such as low loss, high bandwidth, immunity to electromagnetic interference (EMI), tunability, and reconfigurability. There is an increasing interest in this subject since, on one hand, emerging broadband wireless access networks and standards spanning from universal mobile telecommunications system (UMTS) to fixed access picocellular networks and including wireless local area network (WLAN), World Interoperability for Microwave Access, Inc. (WIMAX), local multipoint distribution service (LMDS), etc., require an increase in capacity by reducing the coverage area. An enabling technology to obtain this objective is based on radio-over-fiber (RoF) systems where signal processing is carried at a central office to where signals are carried from inexpensive remote antenna units (RAUs). On the other hand, microwave photonic filters can find applications in specialized fields such as radar and photonic beamsteering of phased-arrayed antennas, where dynamical reconfiguration is an added value. This paper provides a tutorial introduction of this subject to the reader not working directly in the field but interested in getting an overall introduction of the subject and also to the researcher wishing to get a comprehensive background before working on the subject.
Ambient ionization mass spectrometry: A tutorial
Energy Technology Data Exchange (ETDEWEB)
Huang, Min-Zong; Cheng, Sy-Chi; Cho, Yi-Tzu [Department of Chemistry, National Sun Yat-Sen University, Kaohsiung, Taiwan (China); Shiea, Jentaie, E-mail: jetea@fac.nsysu.edu.tw [Department of Chemistry, National Sun Yat-Sen University, Kaohsiung, Taiwan (China); Cancer Center, Kaohsiung Medical University, Kaohsiung, Taiwan (China)
2011-09-19
Highlights: {yields} Ambient ionization technique allows the direct analysis of sample surfaces with little or no sample pretreatment. {yields} We sort ambient ionization techniques into three main analytical strategies, direct ionization, direct desorption/ionization, and two-step ionization. {yields} The underlying principles of operation, ionization processes, detecting mass ranges, sensitivity, and representative applications of these techniques are described and compared. - Abstract: Ambient ionization is a set of mass spectrometric ionization techniques performed under ambient conditions that allows the direct analysis of sample surfaces with little or no sample pretreatment. Using combinations of different types of sample introduction systems and ionization methods, several novel techniques have been developed over the last few years with many applications (e.g., food safety screening; detection of pharmaceuticals and drug abuse; monitoring of environmental pollutants; detection of explosives for antiterrorism and forensics; characterization of biological compounds for proteomics and metabolomics; molecular imaging analysis; and monitoring chemical and biochemical reactions). Electrospray ionization and atmospheric pressure chemical ionization are the two main ionization principles most commonly used in ambient ionization mass spectrometry. This tutorial paper provides a review of the publications related to ambient ionization techniques. We describe and compare the underlying principles of operation, ionization processes, detecting mass ranges, sensitivity, and representative applications of these techniques.
Mass spectrometry in food proteomics: a tutorial.
Cunsolo, Vincenzo; Muccilli, Vera; Saletti, Rosaria; Foti, Salvatore
2014-09-01
In the last decades, the continuous and rapid evolution of proteomic approaches has provided an efficient platform for the characterization of food-derived proteins. Particularly, the impressive increasing in performance and versatility of the MS instrumentation has contributed to the development of new analytical strategies for proteins, evidencing how MS arguably represents an indispensable tool in food proteomics. Investigation of protein composition in foodstuffs is helpful for understanding the relationship between the protein content and the nutritional and technological properties of foods, the production of methods for food traceability, the assessment of food quality and safety, including the detection of allergens and microbial contaminants in foods, or even the characterization of genetically modified products. Given the high variety of the food-derived proteins and considering their differences in chemical and physical properties, a single proteomic strategy for all purposes does not exist. Rather, proteomic approaches need to be adapted to each analytical problem, and development of new strategies is necessary in order to obtain always the best results. In this tutorial, the most relevant aspects of MS-based methodologies in food proteomics will be examined, and their advantages and drawbacks will be discussed.
MSTAR extended operating conditions: a tutorial
Keydel, Eric R.; Lee, Shung W.; Moore, John T.
1996-06-01
One key advantage of the model-based approach for automatic target recognition (ATR) is the wide range of targets and acquisition scenarios that can be accommodated without algorithm re-training. This accrues from the use of predictive models which can be adjusted to hypothesized scenarios on-line. Approaches which rely on measured signature exemplars as the source of reference data for signature matching are constrained to those scenarios represented in the reference data base. The moving and stationary target recognition (MSTAR) program will advance the state-of-the-art in model-based ATR by developing, evaluating, and testing algorithm performance against a set of extended operating conditions (EOCs) designed to reflect real-world battlefield scenarios. In addition to full 360 deg target aspect coverage over a range of depression angles, the EOCs include variations in squint angle, target articulation and configurations, obscuration due to occlusion and/or layover, and intra-class target variability. These conditions can have a profound impact on the nature of the target signature, necessitating the development of explicit prediction and reasoning algorithms to provide robust target recognition. This paper provides a tutorial description of the impact of the MSTAR EOCs on SAR target signatures. A brief background discussion of the SAR imaging process is presented first. This is followed by a description of the impact of each EOC category on the target signature along with synthetic imagery examples to illustrate this impact.
Recently Published Lectures and Tutorials for ATLAS
Herr, J.
2006-01-01
As reported in the September 2004 ATLAS eNews, the Web Lecture Archive Project, WLAP, a collaboration between the University of Michigan and CERN, has developed a synchronized system for recording and publishing educational multimedia presentations, using the Web as medium. This year, the University of Michigan team has been asked to record and publish all ATLAS Plenary sessions, as well as a large number of Physics and Computing tutorials. A significant amount of this material has already been published and can be accessed via the links below. The WLAP model is spreading. This summer, the CERN's High School Teachers program has used WLAP's system to record several physics lectures directed toward a broad audience. And a new project called MScribe, which is essentially the WLAP system coupled with an infrared tracking camera, is being used by the University of Michigan to record several University courses this academic year. All lectures can be viewed on any major platform with any common internet browser...
Finding Unity in Computational Logic
Miller, Dale
2010-01-01
International audience; While logic was once developed to serve philosophers and mathematicians, it is increasingly serving the varied needs of computer scientists. In fact, recent decades have witnessed the creation of the new discipline of Computational Logic. While Computation Logic can claim involvement in diverse areas of computing, little has been done to systematize the foundations of this new discipline. Here, we envision a unity for Computational Logic organized around the proof theo...
Nguyen, Hung T
2005-01-01
THE CONCEPT OF FUZZINESS Examples Mathematical modeling Some operations on fuzzy sets Fuzziness as uncertainty Exercises SOME ALGEBRA OF FUZZY SETS Boolean algebras and lattices Equivalence relations and partitions Composing mappings Isomorphisms and homomorphisms Alpha-cuts Images of alpha-level sets Exercises FUZZY QUANTITIES Fuzzy quantities Fuzzy numbers Fuzzy intervals Exercises LOGICAL ASPECTS OF FUZZY SETS Classical two-valued logic A three-valued logic Fuzzy logic Fuzzy and Lukasiewi
Modal Logics for Cryptographic Processes
DEFF Research Database (Denmark)
Frendrup, U.; Huttel, Hans; Jensen, N. J.
2002-01-01
We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker ...
DEFF Research Database (Denmark)
Engberg, Uffe Henrik; Winskel, Glynn
This article shows how individual Petri nets form models of Girard's intuitionistic linear logic. It explores questions of expressiveness and completeness of linear logic with respect to this interpretation. An aim is to use Petri nets to give an understanding of linear logic and give some apprai...
A tutorial on the principles of harmonic intonation for trombonists
Keener, Michael Kenneth
A Tutorial on the Principles of Harmonic Intonation for Trombonists includes a manual containing background information, explanations of the principles of harmonic intonation, and printed musical examples for use in learning and practicing the concepts of harmonic intonation. An audio compact disk containing music files corresponding to the printed music completes the set. This tutorial is designed to allow performing musicians and students to practice intonation skills with the pitch-controlled music on the compact disc. The music on the CD was recorded in movable-comma just intonation, replicating performance parameters of wind, string, and vocal ensembles. The compact disc includes sixty tracks of ear-training exercises and interval studies with which to practice intonation perception and adjustment. Tuning notes and examples of equal-tempered intervals and just intervals are included on the CD. The intonation exercises consist of musical major scales, duets, trios, and quartet phrases to be referenced while playing the printed music. The CD tracks allow the performer to play scales in unison (or practice other harmonic intervals) or the missing part of the corresponding duet, trio, or quartet exercise. Instructions in the manual guide the user through a process that can help prepare musicians for more accurate musical ensemble performance. The contextual essay that accompanies the tutorial includes a description of the tutorial, a review of related literature, methodology of construction of the tutorial, evaluations and outcomes, conclusions and recommendations for further research, and a selected bibliography.
Community Earth System Model (CESM) Tutorial 2016 Final Report
Energy Technology Data Exchange (ETDEWEB)
Lamarque, Jean-Francois [Univ. Corporation for Atmospheric Research (UCAR) and National Center for Atmospheric Research (NCAR) and Climate and Global Dynamics Laboratory (CGD), Boulder, CO (United States)
2017-05-09
For the 2016 tutorial, NCAR/CGD requested a total budget of $70,000 split equally between DOE and NSF. The funds were used to support student participation (travel, lodging, per diem, etc.). Lectures and practical session support was primarily provided by local participants at no additional cost (see list below). The seventh annual Community Earth System Model (CESM) tutorial (2016) for students and early career scientists was held 8 – 12 August 2016. As has been the case over the last few years, this event was extremely successful and there was greater demand than could be met. There was continued interest in support of the NSF’s EaSM Infrastructure awards, to train these awardees in the application of the CESM. Based on suggestions from previous tutorial participants, the 2016 tutorial experience again provided direct connection to Yellowstone for each individual participant (rather than pairs), and used the NCAR Mesa Library. The 2016 tutorial included lectures on simulating the climate system and practical sessions on running CESM, modifying components, and analyzing data. These were targeted to the graduate student level. In addition, specific talks (“Application” talks) were introduced this year to provide participants with some in-depth knowledge of some specific aspects of CESM.
Pascal, Robert; Pross, Addy
2016-04-01
In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the `regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both `regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.
Pascal, Robert; Pross, Addy
2016-11-01
In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the `regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both `regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.
DEFF Research Database (Denmark)
Friche, Nanna; Normann Andersen, Vibeke
combined with state funding through a taximeter scheme (pay per student). Secondly, party governance system involving labor market partners at both national and local level formalized through a national Council for Vocational Training and 50 local trade committees as well as local education committees......For the last fifteen years completion rates in Danish vocational education and training (VET) has stayed on a rather low level. In 2014, only half of the students enrolled in a vocational program on upper secondary level, graduated from the program (Flarup et al 2016). In Denmark, like in other...... and well-being of students enrolled in the VETs must be strengthened. We focus on target 1, 2 and 4. The reform is being implemented in a field of VET that can be characterized by four logics of governance. Firstly, a governance logic characterized by institutional independence of vocational colleges...
Franceschet, Massimo
2010-01-01
Networks are pervasive in the real world. Nature, society, economy, and technology are supported by ostensibly different networks that in fact share an amazing number of interesting structural properties. Network thinking exploded in the last decade, boosted by the availability of large databases on the topology of various real networks, mainly the Web and biological networks, and converged to the new discipline of network analysis - the holistic analysis of complex systems through the study of the network that wires their components. Physicists mainly drove the investigation, studying the structure and function of networks using methods and tools of statistical mechanics. Here, we give an alternative perspective on network analysis, proposing a logic for specifying general properties of networks and a modular algorithm for checking these properties. The logic borrows from two intertwined computing fields: XML databases and model checking.
Pascal, Robert; Pross, Addy
2016-11-01
In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the 'regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both 'regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.
Delay modeling in logic simulation
Energy Technology Data Exchange (ETDEWEB)
Acken, J. M.; Goldstein, L. H.
1980-01-01
As digital integrated circuit size and complexity increases, the need for accurate and efficient computer simulation increases. Logic simulators such as SALOGS (SAndia LOGic Simulator), which utilize transition states in addition to the normal stable states, provide more accurate analysis than is possible with traditional logic simulators. Furthermore, the computational complexity of this analysis is far lower than that of circuit simulation such as SPICE. An eight-value logic simulation environment allows the use of accurate delay models that incorporate both element response and transition times. Thus, timing simulation with an accuracy approaching that of circuit simulation can be accomplished with an efficiency comparable to that of logic simulation. 4 figures.
Strong Completeness for Markovian Logics
DEFF Research Database (Denmark)
Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash
2013-01-01
In this paper we present Hilbert-style axiomatizations for three logics for reasoning about continuous-space Markov processes (MPs): (i) a logic for MPs defined for probability distributions on measurable state spaces, (ii) a logic for MPs defined for sub-probability distributions and (iii) a logic...... defined for arbitrary distributions. These logics are not compact so one needs infinitary rules in order to obtain strong completeness results. We propose a new infinitary rule that replaces the so-called Countable Additivity Rule (CAR) currently used in the literature to address the problem of proving...
Evaluating Internet Health Information: A Tutorial from the National Library of Medicine
... page: https://medlineplus.gov/webeval/webeval.html Evaluating Internet Health Information: A Tutorial from the National Library ... version of the tutorial for use when no Internet connection is available. Read the transcript of the ...
Understanding Medical Words: A Tutorial from the National Library of Medicine
... page: https://medlineplus.gov/medicalwords.html Understanding Medical Words: A Tutorial from the National Library of Medicine ... enable JavaScript. This tutorial teaches you about medical words. You'll learn about how to put together ...
Bisimulations, games, and logic
DEFF Research Database (Denmark)
Nielsen, Mogens; Clausen, Christian
1994-01-01
In a recent paper by Joyal, Nielsen, and Winskel, bisimulation is defined in an abstract and uniform way across a wide range of different models for concurrency. In this paper, following a recent trend in theoretical computer science, we characterize their abstract definition game-theoretically a......-theoretically and logically in a non-interleaving model. Our characterizations appear as surprisingly simple extensions of corresponding characterizations of interleaving bisimulation....
Magnetoresistive logic and biochip
Energy Technology Data Exchange (ETDEWEB)
Brueckl, Hubert E-mail: brueckl@physik.uni-bielefeld.de; Brzeska, Monika; Brinkmann, Dirk; Schotter, J.Joerg; Reiss, Guenter; Schepper, Willi; Kamp, P.-B.; Becker, Anke
2004-11-01
While some magnetoresistive devices based on giant magnetoresistance or spin-dependent tunneling are already commercialized, a new branch of development is evolving towards magnetoresistive logic with magnetic tunnel junctions. Furthermore, the new magnetoelectronic effects show promising properties in magnetoresistive biochips, which are capable of detecting even single molecules (e.g. DNA) by functionalized magnetic markers. The unclear limits of this approach are discussed with two model systems.
Teslenko, Maxim
2008-01-01
This dissertation is in the area of Computer-Aided Design (CAD) of digital Integrated Circuits (ICs). Today's digital ICs, such as microprocessors, memories, digital signal processors (DSPs), etc., range from a few thousands to billions of logic gates, flip-flops, and other components, packed in a few millimeters of area. The creation of such highly complex systems would not be possible without the use of CAD tools. CAD tools play the key role in determining the area, speed and power consumpt...
Energy Technology Data Exchange (ETDEWEB)
Rudin, M.J. [Univ. of Nevada, Las Vegas NV (United States); O`Brien, M.C. [Univ. of Arizona, Tucson, AZ (United States)
1995-04-01
A planning and management tool was developed that relates environmental restoration and waste management problems to technologies that can be used to remediate these problems. Although the Technology Logic Diagram has been widely used within the US Department of Energy`s Office of Environmental Restoration and Waste Management, it can be modified for use during the planning of any waste management and environmental cleanup effort.
Probabilistic Logical Characterization
DEFF Research Database (Denmark)
Hermanns, Holger; Parma, Augusto; Segala, Roberto;
2011-01-01
Probabilistic automata exhibit both probabilistic and non-deterministic choice. They are therefore a powerful semantic foundation for modeling concurrent systems with random phenomena arising in many applications ranging from artificial intelligence, security, systems biology to performance model...... modeling. Several variations of bisimulation and simulation relations have proved to be useful as means to abstract and compare different automata. This paper develops a taxonomy of logical characterizations of these relations on image-finite and image-infinite probabilistic automata....
1986-12-01
determining the consequences of assumptions about the behavior of a system . If the space of behaviors is represented by an envisionment , many such...consequences can be represented by pruning states from the envisionment . This paper provides a formal logic of occurrence which justifies the...algorithms involved and provides a language for relating specific histories to envisionments . The concepts and axioms are general enough to be applicable to
Inquiry learning for gifted children
Eysink, Tessa; Gersen, Loes; Gijlers, Hannie
2015-01-01
The aim of the study was to investigate the effects of support on knowledge acquisition of gifted learners and their flow and mood during inquiry learning. Sixty-four gifted primary school children were randomly assigned to one of three conditions differing in support given in an inquiry task. Resul
Meyer, Daniel Z.; Kubarek-Sandor, Joy; Kedvesh, James; Heitzman, Cheryl; Pan, Yaozhen; Faik, Sima
2012-01-01
Creating inquiry activities is inherently difficult. Asking meaningful questions requires both background knowledge on the part of the students and complexity on the part of the phenomena. Yet numerous strategies can help teachers conduct inquiry activities. In this article, the authors share a taxonomy of teaching strategies used to create…
Navigating Sites for Narrative Inquiry
Clandinin, D. Jean; Pushor, Debbie; Orr, Anne Murray
2007-01-01
Narrative inquiry is a methodology that frequently appeals to teachers and teacher educators. However, this appeal and sense of comfort has advantages and disadvantages. Some assume narrative inquiries will be easy to design, live out, and represent in storied formats in journals, dissertations, or books. For the authors, though, narrative inquiry…
Narrative Inquiry: Theory and Practice
Savin-Baden, Maggi; Van Niekerk, Lana
2007-01-01
This article offers an overview of the method of narrative inquiry and explores competing trends in the use of the approach. It not only examines the theories relating to the method but also offers practical guidance on using narrative inquiry, including an exploration of what might count as a narrative and ways of analysing narrative data. The…
Inquiry learning for gifted children
Eysink, Tessa H.S.; Gersen, Loes; Gijlers, Aaltje H.
2015-01-01
The aim of the study was to investigate the effects of support on knowledge acquisition of gifted learners and their flow and mood during inquiry learning. Sixty-four gifted primary school children were randomly assigned to one of three conditions differing in support given in an inquiry task.
The process of generative inquiry
Zandee, D.P.
2013-01-01
Appreciative inquiry is an approach to action research that intends to create knowledge for social innovation. Such knowledge has the generative capacity to interrupt habitual practice and to create an inspiring sense of possibility that energizes novel action. How can appreciative inquiry live up t
Tutorial on Atomic Oxygen Effects and Contamination
Miller, Sharon K.
2017-01-01
Atomic oxygen is the most predominant specie in low Earth orbit (LEO) and is contained in the upper atmosphere of many other planetary bodies. Formed by photo-dissociation of molecular oxygen, it is highly reactive and energetic enough to break chemical bonds on the surface of many materials and react with them to form either stable or volatile oxides. The extent of the damage for spacecraft depends a lot on how much atomic oxygen arrives at the surface, the energy of the atoms, and the reactivity of the material that is exposed to it. Oxide formation can result in shrinkage, cracking, or erosion which can also result in changes in optical, thermal, or mechanical properties of the materials exposed. The extent of the reaction can be affected by mechanical loading, temperature, and other environmental components such as ultraviolet radiation or charged particles. Atomic oxygen generally causes a surface reaction, but it can scatter under coatings and into crevices causing oxidation much farther into a spacecraft surface or structure than would be expected. Contamination can also affect system performance. Contamination is generally caused by arrival of volatile species that condense on spacecraft surfaces. The volatiles are typically a result of outgassing of materials that are on the spacecraft. Once the volatiles are condensed on a surface, they can then be fixed on the surface by ultraviolet radiation andor atomic oxygen reaction to form stable surface contaminants that can change optical and thermal properties of materials in power systems, thermal systems, and sensors. This tutorial discusses atomic oxygen erosion and contaminate formation, and the effect they have on typical spacecraft materials. Scattering of atomic oxygen, some effects of combined environments and examples of effects of atomic oxygen and contamination on spacecraft systems and components will also be presented.
The GOCE User Toolbox (GUT) and Tutorial
Bingham, R. J.; Benveniste, J.; Knudsen, P.
2015-12-01
The GOCE User Toolbox (GUT) is an integrated suite of tools for the analysis and use of GOCE Level 2 gravity products. GUT supports applications in geodesy, oceanography and solid earth physics. The accompanying GUT tutorial provides information and guidance on how to use the toolbox for a variety of applications within each of these domains. An important motivation for the development of GUT has been the desire that users should be able to exploit the GOCE gravity products to calculate derived products relevant to their particular domains without necessarily needing to understand the technicalities of particular geodetic concepts and algorithms. As such, GUT is also suitable for use as an aid to the teaching of geophysics. A comprehensive and up-to-date set of a-priori data and models are supplied with the toolbox, together with a range of pre-defined workflows, allowing the user to immediately calculate useful geophysical quantities. The toolbox is supported by The GUT Algorithm Description and User Guide and The GUT Install Guide. GUT is cross-platform and may be used on Windows PCs, UNIX/Linux workstations and Macs. GUT version 2.2 was released in April 2014 and, besides some bug-fixes, the capability to calculate the simple Bouguer anomaly was added. Recently, GUT version 3 has been released. Through a collaborative effort between the relevant scientific communities, this version has built on earlier releases by further extending the functionality of the toolbox within the fields of geodesy, oceanography and solid earth physics. Additions include the ability to work directly with gravity gradients, anisotropic diffusive filtering, and the computation of Bouguer and isostatic gravity anomalies. The interface between the user and the toolbox has also been greatly improved and GUT version 3 now includes an attractive and intuitive Graphical User Interface. An associated GUT VCM tool for analysing the GOCE variance covariance matrices is also available.
Intelligent machines in the twenty-first century: foundations of inference and inquiry
Knuth, Kevin H.
2003-01-01
The last century saw the application of Boolean algebra to the construction of computing machines, which work by applying logical transformations to information contained in their memory. The development of information theory and the generalization of Boolean algebra to Bayesian inference have enabled these computing machines, in the last quarter of the twentieth century, to be endowed with the ability to learn by making inferences from data. This revolution is just beginning as new computational techniques continue to make difficult problems more accessible. Recent advances in our understanding of the foundations of probability theory have revealed implications for areas other than logic. Of relevance to intelligent machines, we recently identified the algebra of questions as the free distributive algebra, which will now allow us to work with questions in a way analogous to that which Boolean algebra enables us to work with logical statements. In this paper, we examine the foundations of inference and inquiry. We begin with a history of inferential reasoning, highlighting key concepts that have led to the automation of inference in modern machine-learning systems. We then discuss the foundations of inference in more detail using a modern viewpoint that relies on the mathematics of partially ordered sets and the scaffolding of lattice theory. This new viewpoint allows us to develop the logic of inquiry and introduce a measure describing the relevance of a proposed question to an unresolved issue. Last, we will demonstrate the automation of inference, and discuss how this new logic of inquiry will enable intelligent machines to ask questions. Automation of both inference and inquiry promises to allow robots to perform science in the far reaches of our solar system and in other star systems by enabling them not only to make inferences from data, but also to decide which question to ask, which experiment to perform, or which measurement to take given what they have
Intelligent machines in the twenty-first century: foundations of inference and inquiry
Knuth, Kevin H.
2003-01-01
The last century saw the application of Boolean algebra to the construction of computing machines, which work by applying logical transformations to information contained in their memory. The development of information theory and the generalization of Boolean algebra to Bayesian inference have enabled these computing machines, in the last quarter of the twentieth century, to be endowed with the ability to learn by making inferences from data. This revolution is just beginning as new computational techniques continue to make difficult problems more accessible. Recent advances in our understanding of the foundations of probability theory have revealed implications for areas other than logic. Of relevance to intelligent machines, we recently identified the algebra of questions as the free distributive algebra, which will now allow us to work with questions in a way analogous to that which Boolean algebra enables us to work with logical statements. In this paper, we examine the foundations of inference and inquiry. We begin with a history of inferential reasoning, highlighting key concepts that have led to the automation of inference in modern machine-learning systems. We then discuss the foundations of inference in more detail using a modern viewpoint that relies on the mathematics of partially ordered sets and the scaffolding of lattice theory. This new viewpoint allows us to develop the logic of inquiry and introduce a measure describing the relevance of a proposed question to an unresolved issue. Last, we will demonstrate the automation of inference, and discuss how this new logic of inquiry will enable intelligent machines to ask questions. Automation of both inference and inquiry promises to allow robots to perform science in the far reaches of our solar system and in other star systems by enabling them not only to make inferences from data, but also to decide which question to ask, which experiment to perform, or which measurement to take given what they have
Writing as collaborative inquiry
DEFF Research Database (Denmark)
Frølunde, Lisbeth; Pedersen, Christina Hee; Novak, Martin
2015-01-01
In our presentation we strive to disturb and unravel the romantic discourses of collaboration, dialogue and empowerment in relation to qualitative inquiry. For more than two years we (five Danish and Czech researchers) have been exploring the complex obstructions, difficulties and potentials...... involved in collaborative knowledge production across difference (including age, professional position, life situation, nation). We tell about our experiences with how collaboration can lead toward re-invention of our research practices and methods, as well as our own subjectivities, through involvement...
Complexity of validity for propositional dependence logics
Jonni Virtema
2014-01-01
We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete. In addition, we establish that the corresponding problem for modal dependence logic and extended modal dependence logic is NEXPTIME-hard and in NEXPTIME^NP.
Dynamic Logics of Dynamical Systems
Platzer, André
2012-01-01
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of parametrized modal operators for each dynamical system to express necessary or possible properties of their transition behavior. Due to their full basis of first-order modal logic operators, dynamic logics can express a rich variety of system properties, including safety, controllability, reactivity, liveness, and quantified parametrized properties, even about relations between multiple dynamical systems. In this survey, we focus on some of the representatives of the family of differential dynamic logics, which share the ability to express properties of dynamical systems having continuous dynamics described by various forms of differential equations. We explain the dynamical system models, dynamic logics of dynamical systems, their semantics, their axiomatizations, and proof calcul...
Seltzer, E
1977-06-01
This article compares John Dewey's theory of inquiry with Jean Piaget's analysis of the mechanisms implied in the increase of knowledge. The sources for this paper are Dewey's studies on logic and the theory of inquiry and Piaget's historical-critical and psychogenetic investigations. Three major conclusions result from the comparison: first, there are significant convergences between the two theories; second, Piaget's developmental analysis makes explicit what is programmatic in Dewey's investigations; and, finally, Piaget is incorrect in characterizing Dewey's pragmatism as a method that does not meet the criteria of intelligent activity.
The Web Lecture Archive Project: Archiving ATLAS Presentations and Tutorials
Herr, J
2004-01-01
The geographical diversity of the ATLAS Collaboration presents constant challenges in the communication between and training of its members. One important example is the need for training of new collaboration members and/or current members on new developments. The Web Lecture Archive Project (WLAP), a joint project between the University of Michigan and CERN Technical Training, has addressed this challenge by recording ATLAS tutorials in the form of streamed "Web Lectures," consisting of synchronized audio, video and high-resolution slides, available on demand to anyone in the world with a Web browser. ATLAS software tutorials recorded by WLAP include ATHENA, ATLANTIS, Monte Carlo event generators, Object Oriented Analysis and Design, GEANT4, and Physics EDM and tools. All ATLAS talks, including both tutorials and meetings are available at http://www.wlap.org/browser.php?ID=atlas. Members of the University of Michigan Physics Department and Media Union, under the framework of the ATLAS Collaboratory Project ...
Pedagogical Considerations in Developing an Online Tutorial in Information Literacy.
Directory of Open Access Journals (Sweden)
Therese Skagen
2009-04-01
Full Text Available The article discusses the pedagogical background on which the design of the online tutorial Søk & Skriv ('Search and Write' is based. The tutorial Søk & Skriv is specially designed for distance learning students, but can also be used by students on campus. Søk & Skriv aims at increasing students' information and digital literacy with the ultimate goal of empowering them to gradually become legitimate members of the academic community, as well as lifelong learners. Further, the tutorial sets out to make a contribution to the pedagogical development of user education at the academic library. The article shows how a general didactical model, namely the didactical relationship model (Hiim & Hippe, 1998, has been applied to enrich information literacy education practice, and in this case specifically, to enrich the design of online education.
New series of ORACLE tutorials, March-June 2006
Catherine Delamare
2006-01-01
The IT DES Oracle Support team is pleased to announce the new series of Oracle tutorials with the proposed schedule: Thursday 20 April - SQL I - Eva Dafonte Perez Thursday 27 April - SQL II - Lucia Moreno Lopez Thursday 4 May - Architecture - Montse Collados Thursday 11 May - Tuning - Michal Kwiatek Thursday 1 June - PL/SQL I - Eva Dafonte Perez Thursday 8 June - PL/SQL II - Nilo Segura Thursday 15 June - Oracle Tools and Bindings with languages - Eric Grancher, Nilo Segura These tutorials will take place in the IT Auditorium (bldg. 31/3-004) starting at 10:00. The average duration will be 1 hour plus time for questions. There is no need to register in advance. You can access the previous 2002-2003 sessions at http://it-des.web.cern.ch/IT-DES/DIS/oracle/tutorials.html If you need more information, please contact Catherine.Delamare@cern.ch
New series of Oracle tutorials, May-June 2006
2006-01-01
The IT DES Oracle Support team is pleased to announce the new series of Oracle tutorials with the proposed schedule: Thursday 11 May Tuning - Michal Kwiatek Thursday 1 June PL/SQL I - Eva Dafonte Perez Thursday 8 June PL/SQL II - Nilo Segura Thursday 15 June Oracle Tools and Bindings with languages - Eric Grancher, Nilo Segura These tutorials will take place in the IT Auditorium (bldg. 31/3-004) starting at 10:00. The average duration will be 1 hour plus time for questions. There is no need to register in advance. You can access the previous 2002-2003 sessions at http://it-des.web.cern.ch/IT-DES/DIS/oracle/tutorials.html If you need more information, please contact Catherine.Delamare@cern.ch
New series of ORACLE tutorials, March-June 2006
Catherine Delamare
2006-01-01
The IT DES Oracle Support team is pleased to announce the new series of Oracle tutorials with the proposed schedule: Thursday 30 March - Design - Arash Khodabandeh Thursday 20 April - SQL I - Eva Dafonte Perez Thursday 27 April - SQL II - Lucia Moreno Lopez Thursday 4 May - Architecture - Montse Collados Thursday 11 May - Tuning - Michal Kwiatek Thursday 1 June - PL/SQL I - Eva Dafonte Perez Thursday 8 June - PL/SQL II - Nilo Segura Thursday 15 June - Oracle Tools and Bindings with languages - Eric Grancher, Nilo Segura These tutorials will take place in the IT Auditorium (bldg. 31/3-004) starting at 10:00. The average duration will be 1 hour plus time for questions. There is no need to register in advance. You can access the previous 2002-2003 sessions at http://it-des.web.cern.ch/IT-DES/DIS/oracle/tutorials.html If you need more information, please contact Catherine.Delamare@cern.ch
GRAPHIC REALIZATION FOUNDATIONS OF LOGIC-SEMANTIC MODELING IN DIDACTICS
Directory of Open Access Journals (Sweden)
V. E. Steinberg
2017-01-01
.Practical significance. In-line integration of logic-semantic models into educational process intensifies the process of thinking; it helps on performing of the subject and fact-finding, analytic-speech, modeling- fixative educational activity; also, promotes implementation of invariant forms of education. The examples of use of new didactic means in student teaching are given. In particular, based on the presented didactic means, the didactic multidimensional technology is developed and original computer tutorial DMT-AutoTutor program is designed.
O'Sullivan, Timothy P.; Hargaden, Gra´inne C.
2014-01-01
This article describes the development and implementation of an open-access organic chemistry question bank for online tutorials and assessments at University College Cork and Dublin Institute of Technology. SOCOT (structure-based organic chemistry online tutorials) may be used to supplement traditional small-group tutorials, thereby allowing…
An Undergraduate Science Information Literacy Tutorial in a Web 2.0 World
Scaramozzino, Jeanine Marie
2008-01-01
The development of an interactive web-based science information literacy tutorial that introduces undergraduate science majors to basic components of scientific literature is described. The tutorial introduces concepts, vocabulary and resources necessary for understanding and accessing information. The tutorial content is based on the Association…
Sharma, Manjula D.; Mendez, Alberto; O'Byrne, John W.
2005-01-01
The School of Physics at the University of Sydney has introduced voluntary workshop tutorials in large first-year courses. The tutorials are based on informal cooperative groupings with structured worksheets and short hands-on activities. In this study we explore the relationship between attendance at the workshop tutorials and student performance…
O'Sullivan, Timothy P.; Hargaden, Gra´inne C.
2014-01-01
This article describes the development and implementation of an open-access organic chemistry question bank for online tutorials and assessments at University College Cork and Dublin Institute of Technology. SOCOT (structure-based organic chemistry online tutorials) may be used to supplement traditional small-group tutorials, thereby allowing…
A Study of the Feasibility of Network Tutorial System in Taiwan
Chiu, Jui-Man; Liu, Wei-Liang
2008-01-01
The reasons that the current tutorial system (CTS) does not produce significant effects include the budgets and policies of schools, the greater independence of students, and the infrequent interaction of tutors with students. To reduce the deficiencies of the current tutorial system, this paper proposes a network tutorial system (NTS) and…
Creating online tutorials a practical guide for librarians
Gascho Rempel, Hannah
2015-01-01
Today’s students rely heavily on using electronic resources; they expect to be able to access library resources from any location and at any time of the day. More and more schools, from K-12 through graduate level universities, are offering online education, and libraries must be prepared to guide learners in how to use library resources when and where they are needed. Online tutorials are the library’s answer to providing this immediate instruction, and today’s learners are expecting to have these guides available. Many librarians don’t have the technical expertise needed to create online tutorials.
Solidaridad en la relación tutorial
Directory of Open Access Journals (Sweden)
Arturo G Rillo
Full Text Available Introducción. La tutoría académica concreta el proceso educativo sustentado en estándares de calidad, características y necesidades de aprendizaje del estudiante; se desenvuelve confrontando actividades pedagógicas y consolida solidaridades. En este contexto, el estudio se realizó con el propósito de realizar la analítica de la solidaridad que surge de la relación tutorial. Método. Desde el ámbito de la hermenéutica, se realizó un estudio en cuatro fases: analítica, comprensiva, reconstructiva, crítica. Se construyó el concepto de solidaridad en la relación tutorial con propuestas de Gadamer, Habermas, Adela Cortina y Edgar Morín. Las categorías de análisis fueron: construcción social del sentido en la relación tutorial, relación tutorial de naturaleza epistémica, compleja, infinita y cambiante; y práctica tutorial generadora de solidaridades. Resultados. La solidaridad como praxis humana orientada al cuidado del otro (Fürsorge promueve el encuentro con el estudiante. La tutoría académica regula la experiencia vital de la dualidad enseñar-aprender; articula la decisión del docente y alumno con la responsabilidad solidaria. El docente concreta un asentimiento aconsejado por la amistad de estar-ahí-con el estudiante, acompañándolo, posibilitando elecciones y decisiones entre posibilidades para una vida sustentable mediante la virtud de la phrónesis. Conclusiones. La solidaridad en la relación tutorial como horizonte de sentido engarza la cosmovisión del binomio docente-estudiante en la relación tutorial. Dado el vínculo social, se ubica en el escenario de la relación tutorial el sentido originario de la amistad y la solidaridad con los siguientes baremos: compasión, saber hacer, confidencialidad, confianza, conciencia de sí mismo y del otro, tacto, escucha atenta y solícita, comprensión del otro.
Disjunctive logic and semantics of disjunctive logic programs
Institute of Scientific and Technical Information of China (English)
沈一栋
1997-01-01
In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not is defined as not provable , the disjunctive logic program { a V b, not a, not b} should be consistent because a being not provable and b being nor provable does not imply a V b being riot provable. Such an observation is significant for non-monotonic reasoning, but none of the major current semantics for disjunctive logic programs is able to support it because they are all based on classical first-order logic in which assuming not a and not b implies assuming no: (a V b) A new first-order logic (disjunctive logic ) is developed that fully complies with this observation and new semantics for disjunctive logic programs are established This theory is able to formalize and solve some paradoxical problems, such as the lottery paradox
Reconsideration of the Paradox of Inquiry
Sato, Kunimasa
2014-01-01
It is well known that the Meno presents the argument called "the paradox of inquiry." This paper has two purposes. First, I analyze the paradox of inquiry and reformulate the argument as the "renewed paradox of inquiry." Second, I clarify that the problem of inquiry posed by this paradox concerns the necessary conditions for a…
Reconsideration of the Paradox of Inquiry
Sato, Kunimasa
2014-01-01
It is well known that the Meno presents the argument called "the paradox of inquiry." This paper has two purposes. First, I analyze the paradox of inquiry and reformulate the argument as the "renewed paradox of inquiry." Second, I clarify that the problem of inquiry posed by this paradox concerns the necessary conditions for a…
Instantaneous noise-based logic
Kish, Laszlo B; Peper, Ferdinand
2010-01-01
We show two universal, Boolean, deterministic logic schemes based on binary noise timefunctions that can be realized without time averaging units. The first scheme is based on a new bipolar random telegraph wave scheme and the second one makes use of the recent noise-based logic which is conjectured to be the brain's method of logic operations [Physics Letters A 373 (2009) 2338-2342, arXiv:0902.2033]. For binary-valued logic operations, the two simple Boolean schemes presented in this paper use zero (no noise) for the logic Low (L) state. In the random telegraph wave-based scheme, for multi-valued logic operations, additive superpositions of logic states must be avoided, while multiplicative superpositions utilizing hyperspace base vectors can still be utilized. These modifications, while keeping the information richness of multi-valued (noise-based) logic, result in a significant speedup of logic operations for the same signal bandwidth. The logic hyperspace of the first scheme results random telegraph waves...
Inventions and patents: a practical tutorial.
Tidwell, J Lille; Liotta, Lance A
2012-01-01
Patents are designed to protect and encourage creativity and innovation. Patenting a biomedical discovery can be a requirement before a pharmaceutical company or biotech entity will invest in the lengthy and costly clinical testing necessary to achieve patient benefit. Although scientists and clinicians are well versed in research publication requirements, patent descriptions and claims are formatted in a manner quite different from a research paper. Patents require (a) a series of logical statements clearly delineating the boundaries of the novel aspects of the invention and (b) sufficient disclosure of the invention so that it can be reproduced by others. Patents are granted only for inventions that meet three conditions: novelty, nonobviousness, and usefulness. This chapter provides basic guidelines and definitions of technology transfer: inventions, inventorship, and patent filing, which are summarized using a question and answer format.
Rolling element bearing diagnostics—A tutorial
Randall, Robert B.; Antoni, Jérôme
2011-02-01
This tutorial is intended to guide the reader in the diagnostic analysis of acceleration signals from rolling element bearings, in particular in the presence of strong masking signals from other machine components such as gears. Rather than being a review of all the current literature on bearing diagnostics, its purpose is to explain the background for a very powerful procedure which is successful in the majority of cases. The latter contention is illustrated by the application to a number of very different case histories, from very low speed to very high speed machines. The specific characteristics of rolling element bearing signals are explained in great detail, in particular the fact that they are not periodic, but stochastic, a fact which allows them to be separated from deterministic signals such as from gears. They can be modelled as cyclostationary for some purposes, but are in fact not strictly cyclostationary (at least for localised defects) so the term pseudo-cyclostationary has been coined. An appendix on cyclostationarity is included. A number of techniques are described for the separation, of which the discrete/random separation (DRS) method is usually most efficient. This sometimes requires the effects of small speed fluctuations to be removed in advance, which can be achieved by order tracking, and so this topic is also amplified in an appendix. Signals from localised faults in bearings are impulsive, at least at the source, so techniques are described to identify the frequency bands in which this impulsivity is most marked, using spectral kurtosis. For very high speed bearings, the impulse responses elicited by the sharp impacts in the bearings may have a comparable length to their separation, and the minimum entropy deconvolution technique may be found useful to remove the smearing effects of the (unknown) transmission path. The final diagnosis is based on "envelope analysis" of the optimally filtered signal, but despite the fact that this
Reconceptualising inquiry in science education
Bevins, Stuart; Price, Gareth
2016-01-01
Decades of discussion and debate about how science is most effectively taught and learned have resulted in a number of similar but competing inquiry models. These aim to develop students learning of science through approaches which reflect the authenticity of science as practiced by professional scientists while being practical and manageable within the school context. This paper offers a collection of our current reflections and suggestions concerning inquiry and its place in science education. We suggest that many of the current models of inquiry are too limited in their vision concerning themselves, almost exclusively, with producing a scaffold which reduces the complex process of inquiry into an algorithmic approach based around a sequence of relatively simple steps. We argue that this restricts students' experience of authentic inquiry to make classroom management and assessment procedures easier. We then speculate that a more integrated approach is required through an alternative inquiry model that depends on three dimensions (conceptual, procedural and personal) and we propose that it will be more likely to promote effective learning and a willingness to engage in inquiry across all facets of a students' school career and beyond.
Classical Mathematical Logic The Semantic Foundations of Logic
Epstein, Richard L
2011-01-01
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proo
T Atanassov, Krassimir
2017-01-01
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Flexible programmable logic module
Energy Technology Data Exchange (ETDEWEB)
Robertson, Perry J. (Albuquerque, NM); Hutchinson, Robert L. (Albuquerque, NM); Pierson, Lyndon G. (Albuquerque, NM)
2001-01-01
The circuit module of this invention is a VME board containing a plurality of programmable logic devices (PLDs), a controlled impedance clock tree, and interconnecting buses. The PLDs are arranged to permit systolic processing of a problem by offering wide data buses and a plurality of processing nodes. The board contains a clock reference and clock distribution tree that can drive each of the PLDs with two critically timed clock references. External clock references can be used to drive additional circuit modules all operating from the same synchronous clock reference.
Krötzsch, M
2010-01-01
Ontological modelling today is applied in many areas of science and technology,including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary
Computability, complexity, logic
Börger, Egon
1989-01-01
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes an
Substructural Logical Specifications
2012-11-14
a more natural correspondence with our physical intuitions about consumable resources. Linear conjunction A ⊗ B (“A tensor B”) represents the...sketch a radically different, vaguely Feynman - diagram-inspired, way of presenting traces in Figure 4.14. Resources are the edges in the DAG and steps or...70th Birthday, volume 17 of Studies in Logic. College Publications, 2008. 3.3.3, 4.1.2, 4.7.3 [Pfe12a] Frank Pfenning. Lecture notes on backtracking
Bright, Liam Kofi
2017-07-10
The logical empiricists expressed a consistent attitude to racial categorisation in both the ethical and scientific spheres. Their attitude may be captured in the following slogan: human racial taxonomy is an empirically meaningful mode of classifying persons that we should refrain from deploying. I offer an interpretation of their position that would render coherent their remarks on race with positions they adopted on the scientific status of taxonomy in general, together with their potential moral or political motivations for adopting that position. Copyright © 2017. Published by Elsevier Ltd.
Mentoring and Community: Inquiry as stance and science as inquiry
Melville, Wayne; Bartley, Anthony
2010-04-01
In this article, we investigate how mentoring relationships founded on inquiry as stance can work to emphasize the conditions that promote the development of teachers of science as inquiry. Drawing on data collected through semi-structured interviews, we have developed two narrative case studies based on the two mentoring relationships that exist between three teachers: Will, Dan, and Cathy. Will entered the teaching profession in 1966, and has acted as a mentor for Dan since he commenced teaching in 1982. Similarly, Dan has mentored Cathy since she commenced teaching in 1999. By following two generations of mentoring relationships, we have gained insights into the potential for inquiry as stance to assist the promotion of the professional development standards of the National Science Education Standards. Our data and analysis clearly point to the need for mentoring relationships to exist within larger inquiry-based communities if they are to produce rapid and sustained changes to teacher practice.
PM 3655 PHILIPS Logic analyzer
A logic analyzer is an electronic instrument that captures and displays multiple signals from a digital system or digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or may correlate assembly with source-level software. Logic Analyzers have advanced triggering capabilities, and are useful when a user needs to see the timing relationships between many signals in a digital system.
Generalized logic in experience thinking
Institute of Scientific and Technical Information of China (English)
何华灿; 刘永怀; 何大庆; 成华
1996-01-01
The thinking and mathematical background of raising GL is explained first,then the main definitions and basic features of GL are presented,and finally the relationship between GL and other logic and the GL family are discussed.Although the research of GL just began,it may become the logic of all other logic.GL will be one of the basic theories in AI research,and has promising application.
Pragmatic inquiry and creativity
DEFF Research Database (Denmark)
Gimmler, Antje
conceptualizations of knowledge production within the field of sociology of knowledge (Helga Nowotny). The pragmatic approach to inquiry as part of everyday life practices is committed not only to the acceptance and inclusion of the public but also to the humanistic ideal of meliorism. From the perspective...... of Thevenot’s critical pragmatism this understanding might be naïve – not because this is an idealistic rather than a real-life scenario but because the idea of collaborative creativity and self-realization has actually become the driving force in a marked dominated organization of science and production....... ‘The inspired world’ as Laurent Thévenot calls this creative environment, is liberating and repressive at the same time, thriving upon constant innovation and excitement. The force to be creative leads to a higher form of alienation. How would Dewey react to this diagnosis? The paper will secondly...
DEFF Research Database (Denmark)
While organizations have become central for thinking and structuring contemporary social action, existing perspectives on what they are and how to deal with them are still rooted in modern ideas about the foundations of society. The chapters in this volume take critical narrative inquiry — inspired...... by postmodern or post-human approaches to organizations — as a broad range of research and development strategies that challenge the dominant perspectives prevalent in the organizational literature. The purpose of the volume is three-fold. Firstly, a critical reading of organizations foregrounding notions...... of power and ethics is presented. Secondly, a new framework for understanding and analyzing organizational action based on critical notions of storytelling and sustainability is unfolded. Thirdly, the framework is deployed through innovative concepts and learning methodologies for leadership...
weighting of items in a tutorial performance evaluation
African Journals Online (AJOL)
2009-05-21
May 21, 2009 ... learning performance, including their performance in tutorial groups. ... small group interaction, reasoning and autonomy (Niemenin, Saure ... role is to foster cooperation, stimulate thinking, promote enquiry and ... These processes require the individual learner to possess or, in the longer term, to develop a ...
Application developer's tutorial for the CSM testbed architecture
Underwood, Phillip; Felippa, Carlos A.
1988-01-01
This tutorial serves as an illustration of the use of the programmer interface on the CSM Testbed Architecture (NICE). It presents a complete, but simple, introduction to using both the GAL-DBM (Global Access Library-Database Manager) and CLIP (Command Language Interface Program) to write a NICE processor. Familiarity with the CSM Testbed architecture is required.
Online Tutorials and Effective Information Literacy Instruction for Distance Learners
Gonzales, Brighid M.
2014-01-01
As Internet and computer technologies have evolved, libraries have incorporated these technologies into the delivery of information literacy instruction. Of particular benefit is the ability of online tutorials to deliver information literacy instruction to students not physically present on campus. A survey of library and information science…
Tutorial: Calculating Percentile Rank and Percentile Norms Using SPSS
Baumgartner, Ted A.
2009-01-01
Practitioners can benefit from using norms, but they often have to develop their own percentile rank and percentile norms. This article is a tutorial on how to quickly and easily calculate percentile rank and percentile norms using SPSS, and this information is presented for a data set. Some issues in calculating percentile rank and percentile…
Acquaintanceship, Familiarity, and Coordinated Laughter in Writing Tutorials
Thonus, Terese
2008-01-01
This study compared the frequency, structure, and purposes of laughter in writing tutorials between 46 acquainted and unacquainted tutor-student pairs. Of particular interest were instances of shared, or coordinated laughter, which took the form of sequenced, simultaneous, and extended laughter. Familiarity, viewed as a continuum, was also…
Initiation of student-TA interactions in tutorials
Directory of Open Access Journals (Sweden)
Raymond A. Hodges
2006-12-01
Full Text Available At the University of Maryland we videotaped several semesters of tutorials as part of a large research project. A particular research task required us to locate examples of students calling the teaching assistants (TAs over for assistance with a physics question. To our surprise, examples of this kind of interaction were difficult to find. We undertook a systematic study of TA-student interactions in tutorial: In particular, how are the interactions initiated? Do the students call the TA over for help with a particular issue, does the TA stop by spontaneously, or does the worksheet require a discussion with the TA at that point? The initiation of the interaction is of particular interest because it provides evidence of the motivation for and purpose of the interaction. This paper presents the results of that systematic investigation. We discovered that the majority of student-TA interactions in tutorial are initiated by teaching assistants, confirmed our initial observation that relatively few interactions are initiated by students, and found, further, that even fewer interactions are worksheet initiated. Perhaps most importantly, we found that our sense of who initiates tutorial interactions—based on extensive but informal observations—is not necessarily accurate. We need systematic investigations to uncover the reality of our classroom experiences.
Tutorials in Nanotechnology: Focus on Physical and Analytical Electrochemistry
2010-11-29
Society in Vienna Austria on the 5th of October 2009. This symposium was part of a continuing series of symposia at Electrochemical Society meetings that...The symposium Tutorials in Nanotechnology: Focus on Physical and Analytical Electrochemistry was held at the 216th Meeting of the Electrochemical
Innovations in Co-Ordinating Undergraduate Students' Oral Tutorial Presentations
Harman, Kristyn E.
2010-01-01
Individual oral tutorial presentations have been utilised in numerous undergraduate courses to develop and assess students' skills in organising and communicating ideas and information to a select audience. However, evidence from the literature, interviews with academics (n=5), and the author's own experiences have demonstrated that these…
LHC@home online tutorial for Windows users - recording
CERN. Geneva
2016-01-01
A step-by-step online tutorial about LHC@home for Windows users by Karolina Bozek. It contains detailed instructions on how-to-join this volunteer computing project. This 5' video is linked from http://lhcathome.web.cern.ch/join-us Also from the CDS e-learning category.
LHC@home online tutorial for Linux users - recording
CERN. Geneva
2016-01-01
A step-by-step online tutorial for LHC@home by Karolina Bozek It contains detailed instructions for Linux users on how-to-join this volunteer computing project. This 5' linked from http://lhcathome.web.cern.ch/join-us CLICK Here to see the commands to copy/paste for installing BOINC and the VirtualBox.
pyro: Python-based tutorial for computational methods for hydrodynamics
Zingale, Michael
2015-07-01
pyro is a simple python-based tutorial on computational methods for hydrodynamics. It includes 2-d solvers for advection, compressible, incompressible, and low Mach number hydrodynamics, diffusion, and multigrid. It is written with ease of understanding in mind. An extensive set of notes that is part of the Open Astrophysics Bookshelf project provides details of the algorithms.
Tutorial: Calculating Percentile Rank and Percentile Norms Using SPSS
Baumgartner, Ted A.
2009-01-01
Practitioners can benefit from using norms, but they often have to develop their own percentile rank and percentile norms. This article is a tutorial on how to quickly and easily calculate percentile rank and percentile norms using SPSS, and this information is presented for a data set. Some issues in calculating percentile rank and percentile…
An interactive tutorial-based training technique for vertebral morphometry.
Gardner, J C; von Ingersleben, G; Heyano, S L; Chesnut, C H
2001-01-01
The purpose of this work was to develop a computer-based procedure for training technologists in vertebral morphometry. The utility of the resulting interactive, tutorial based training method was evaluated in this study. The training program was composed of four steps: (1) review of an online tutorial, (2) review of analyzed spine images, (3) practice in fiducial point placement and (4) testing. During testing, vertebral heights were measured from digital, lateral spine images containing osteoporotic fractures. Inter-observer measurement precision was compared between research technicians, and between technologists and radiologist. The technologists participating in this study had no prior experience in vertebral morphometry. Following completion of the online training program, good inter-observer measurement precision was seen between technologists, showing mean coefficients of variation of 2.33% for anterior, 2.87% for central and 2.65% for posterior vertebral heights. Comparisons between the technicians and radiologist ranged from 2.19% to 3.18%. Slightly better precision values were seen with height measurements compared with height ratios, and with unfractured compared with fractured vertebral bodies. The findings of this study indicate that self-directed, tutorial-based training for spine image analyses is effective, resulting in good inter-observer measurement precision. The interactive tutorial-based approach provides standardized training methods and assures consistency of instructional technique over time.
Musculoskeletal ultrasound education: orthopaedic resident ability following a multimedia tutorial.
Piposar, Jonathan R; Easley, Mark; Nunley, James A; DeOrio, James K; Talusan, Paul G; Gubler, Kyle E; Reach, John S
2015-01-01
Musculoskeletal ultrasound (MSK-US) is a quick and effective imaging tool that can be utilized by orthopaedic surgeons to identify common musculoskeletal pathology such as ankle tendinopathy. This study evaluated the ability of 15 orthopaedic surgery residents to identify and measure ankle tendons after attending a multimedia tutorial on MSK-US. Afterwards, proficiency of usage was assessed by identification and quantification of three ankle tendons (Achilles, tibialis posterior, and flexor hallucis longus) in a cadaver limb. Resident comfort level and plan for future use were also assessed. After completing the tutorial, accuracy measuring the Achilles, tibialis posterior, and flexor hallucis longus tendons was 94.8%, 90.2%, and 90.1%, respectively. Resident comfort level improved from a level of 2.3 before the tutorial to 6.8 afterwards. Seventy-one percent of residents plan to use ultrasound in clinical practice. These results show that orthopaedic surgery residents can identify and assess tendon size via MSK-US with sufficient accuracy after a multimedia tutorial.
The Effectiveness of Interactivity in Multimedia Software Tutorials
Whitman, Lisa
2013-01-01
Many people face the challenge of finding effective computer-based software instruction, including employees who must learn how to use software applications for their job and students of distance education classes. Therefore, it is important to conduct research on how computer-based multimedia software tutorials should be designed so they are as…
Proposal for tutorial: Resilience in carrier Ethernet transport
DEFF Research Database (Denmark)
Berger, Michael Stübert; Wessing, Henrik; Ruepp, Sarah Renée
2009-01-01
This tutorial addresses how Carrier Ethernet technologies can be used in the transport network to provide resilience to the packet layer. Carrier Ethernet networks based on PBB-TE and T-MPLS/MPLS-TP are strong candidates for reliable transport of triple-play services. These technologies offer...
Auto-Tutorial Instruction in Entomology: Principles of Entomology (Orders).
Minnick, D. R.; Steele, K. L.
Auto-tutorial instruction was compared to traditional lecture instruction in a university entomology course. In seven consecutive terms, undergraduate students enrolled in an introductory entomology course were divided into two groups: Group I received only lecture instruction on insect orders, while Group II was dismissed for three consecutive…
Position paper: Web tutorials and Information Literacy research
DEFF Research Database (Denmark)
Hyldegård, Jette
2011-01-01
Position paper on future research challenges regarding web tutorials with the aim of supporting and facilitating Information Literacy in an academic context. Presented and discussed at the workshop: Social media & Information Practices, track on Information literacy practices, University of Borås...
Peer Discussions in Lecture-Based Tutorials in Introductory Physics
Leinonen, Risto; Asikainen, Mervi A.; Hirvonen, Pekka E.
2017-01-01
This study analyzes the types of peer discussion that occur during lecture-based tutorial sessions. It focuses in particular on whether discussions of this kind have certain characteristics that might indicate success in the post-testing phase. The data were collected during an introductory physics course. The main data set was gathered with the…
Tutorial on nonlinear backstepping: Applications to ship control
Directory of Open Access Journals (Sweden)
Thor I. Fossen
1999-04-01
Full Text Available The theoretical foundation of nonlinear backstepping designs is presented in a tutorial setting. This includes a brief review of integral backstepping, extensions to SISO and MIMO systems in strict feedback form and physical motivated case studies. Parallels and differences to feedback linearization where it is shown how so-called "good nonlincarities" can be exploited in the design are also made.
A Study of Sustainable Assessment Theory in Higher Education Tutorials
Beck, Robert J.; Skinner, William F.; Schwabrow, Lynsey A.
2013-01-01
A study of sustainable assessment theory in nine tutorial courses at four colleges demonstrated that three long-term learning outcomes improved: Independence, Intellectual Maturity and Creativity. Eight of 10 traits associated with these outcomes were validated through internal reliability, faculty and student rubrics, and faculty case studies…
Identity and Knowledge Work in a University Tutorial
Krieg, Susan
2010-01-01
In the contemporary university the large classes associated with many core units mean that tutorials are often taken by many part-time sessional who are typically employed on a casual basis, paid an hourly rate and not paid to attend the lectures. Given this situation, unit coordinators are often responsible for another phase in curriculum…
Position paper: Web tutorials and Information Literacy research
DEFF Research Database (Denmark)
Hyldegård, Jette
2011-01-01
Position paper on future research challenges regarding web tutorials with the aim of supporting and facilitating Information Literacy in an academic context. Presented and discussed at the workshop: Social media & Information Practices, track on Information literacy practices, University of Borås...
Partnerships and Parents--Relationships in Tutorial Programmes
Layton, Delia; McKenna, Sioux
2016-01-01
The tutorial system is considered to be a useful pedagogical intervention to improve student retention, particularly in the context of a first-year student's experience of entering university. For these novice students to achieve academic success, it is important that they are given access to the subject-specific knowledge and practices in their…
Software engineering techniques in design automation: a tutorial
Energy Technology Data Exchange (ETDEWEB)
Smith, R.J. II
1977-04-18
Several useful software engineering techniques, disciplines, and perspectives are related to typical software development problems in design automation. Specific examples from recent experience illustrate both beneficial and undesirable practices. Oriented toward managers and practicing software engineers, the tutorial discusses system structure, control and data structures, programing guidelines, work habits, testing, documentation, and operational maintenance. 10 figures.
Best Practices for Creating an Online Tutorial: A Literature Review
Blummer, Barbara A.; Kritskaya, Olga
2009-01-01
In the digital era, information literacy skills enable users to locate and use online materials effectively. One persistent library service for libraries is providing skills training to students. This article traces the creation of online library instructional tutorials, currently referred to as digital learning objects, in academic libraries. It…
Key Elements of the Tutorial Support Management Model
Lynch, Grace; Paasuke, Philip
2011-01-01
In response to an exponential growth in enrolments the "Tutorial Support Management" (TSM) model has been adopted by Open Universities Australia (OUA) after a two-year project on the provision of online tutor support in first year, online undergraduate units. The essential focus of the TSM model was the development of a systemic approach…
Benefits from Taking a Private Tutorial Course for Exam Preparation?
DEFF Research Database (Denmark)
la Cour, Lisbeth; Milhøj, Anders
In this paper we analyze the effects of taking an extra private tutorial course on the passing probability and the grade in a course in Macroeconomics at the Business Diploma study program at Copenhagen Business School. The topic is of interest as the students are not supposed to need such an ext...
Benefits from Taking a Private Tutorial Course for Exam Preparation?
DEFF Research Database (Denmark)
la Cour, Lisbeth; Milhøj, Anders
2015-01-01
We analyze the effects of taking an extra private tutorial course on the passing probability and the grade in a course in Macroeconomics at the Business Diploma study program at Copenhagen Business School. The topic is of interest as the students are not supposed to need such an extra course in o...
Methods in Logic Based Control
DEFF Research Database (Denmark)
Christensen, Georg Kronborg
1999-01-01
Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC-design met......Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC...
Admissibility of logical inference rules
Rybakov, VV
1997-01-01
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and
Optimization methods for logical inference
Chandru, Vijay
2011-01-01
Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs."" Presenting powerful, proven optimization techniques for logic in
Barriers in Concurrent Separation Logic
Hobor, Aquinas; Gherghina, Cristian
We develop and prove sound a concurrent separation logic for Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is widely used for verification, there has not been any effort to combine the two. Unlike locks and critical sections, Pthreads barriers enable simultaneous resource redistribution between multiple threads and are inherently stateful, leading to significant complications in the design of the logic and its soundness proof. We show how our logic can be applied to a specific example program in a modular way. Our proofs are machine-checked in Coq.
Popular lectures on mathematical logic
Wang, Hao
2014-01-01
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incomplete
Meta-Logical Reasoning in Higher-Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen; Schlichtkrull, Anders; Hess, Andreas Viktor
The semantics of first-order logic (FOL) can be described in the meta-language of higher-order logic (HOL). Using HOL one can prove key properties of FOL such as soundness and completeness. Furthermore, one can prove sentences in FOL valid using the formalized FOL semantics. To aid in the constru...
Shifting from Activitymania To Inquiry.
Nelson, Tamara Holmlund; Moscovici, Hedy
1998-01-01
Discusses various problems with Activitymania (prepackaged activities for science instruction) in the context of teaching scientific inquiry. Suggests that teachers clearly define conceptual goals and their relationships to students' lives and interests before selecting classroom activities. (PVD)
Inquiry Teaching in Clinical Periodontics.
Heins, Paul J.; Mackenzie, Richard S.
1987-01-01
An adaptation of the inquiry method of teaching, which develops skills of information retrieval and reasoning through systematic questioning by the teacher, is proposed for instruction in clinical periodontics. (MSE)
Shifting from Activitymania To Inquiry.
Nelson, Tamara Holmlund; Moscovici, Hedy
1998-01-01
Discusses various problems with Activitymania (prepackaged activities for science instruction) in the context of teaching scientific inquiry. Suggests that teachers clearly define conceptual goals and their relationships to students' lives and interests before selecting classroom activities. (PVD)
Infusing Authentic Inquiry into Biotechnology
Hanegan, Nikki L.; Bigler, Amber
2009-10-01
Societal benefit depends on the general public's understandings of biotechnology (Betsch in World J Microbiol Biotechnol 12:439-443, 1996; Dawson and Cowan in Int J Sci Educ 25(1):57-69, 2003; Schiller in Business Review: Federal Reserve Bank of Philadelphia (Fourth Quarter), 2002; Smith and Emmeluth in Am Biol Teach 64(2):93-99, 2002). A National Science Foundation funded survey of high school biology teachers reported that hands-on biotechnology education exists in advanced high school biology in the United States, but is non-existent in mainstream biology coursework (Micklos et al. in Biotechnology labs in American high schools, 1998). The majority of pre-service teacher content preparation courses do not teach students appropriate content knowledge through the process of inquiry. A broad continuum exists when discussing inquiry-oriented student investigations (Hanegan et al. in School Sci Math J 109(2):110-134, 2009). Depending on the amount of structure in teacher lessons, inquiries can often be categorized as guided or open. The lesson can be further categorized as simple or authentic (Chinn and Malhotra in Sci Educ 86(2):175-218, 2002). Although authentic inquiries provide the best opportunities for cognitive development and scientific reasoning, guided and simple inquiries are more often employed in the classroom (Crawford in J Res Sci Teach 37(9):916-937, 2000; NRC in Inquiry and the national science education standards: a guide for teaching and learning, 2000). For the purposes of this study we defined inquiry as "authentic" if original research problems were resolved (Hanegan et al. in School Sci Math J 109(2):110-134, 2009; Chinn and Malhotra in Sci Educ 86(2):175-218, 2002; Roth in Authentic school science: knowing and learning in open-inquiry science laboratories, 1995). The research question to guide this study through naturalistic inquiry research methods was: How will participants express whether or not an authentic inquiry experience enhanced
Towards an arithmetical logic the arithmetical foundations of logic
Gauthier, Yvon
2015-01-01
This book offers an original contribution to the foundations of logic and mathematics, and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic, and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of l...
Šinigoj, Veronika; Avsec, Stanislav
2014-01-01
Inquiry-based learning is inductive teaching method which was very popular in 1960's, but in nowadays science and technology was not extended so much. Method differs from traditional instructional methods in developing a) students' self-regulation and efficacy, b) critical and logical thinking, and c) problem solving skills. European Union seventh framework project titled Chain Reaction makes effort to promote and exploit this method to science and technology with pre-...
Inventions and Patents: A Practical Tutorial.
Mehta, Hina; Tidwell, Lille; Liotta, Lance A
2017-01-01
Patents are designed to protect and encourage creativity and innovation. Patenting a biomedical discovery can be a requirement before a pharmaceutical company or biotech entity will invest in the lengthy and capital-intensive drug development and clinical trials necessary to achieve patient benefit. Although scientists and clinicians are well versed in research publication requirements, patent descriptions and claims are formatted in a manner quite different from a research paper. Patents require (a) a series of logical statements clearly delineating the boundaries of the novel aspects of the invention and (b) sufficient disclosure of the invention so that it can be reproduced by others. Patents are granted only for inventions that meet three conditions: novelty, non-obviousness, and usefulness. Recent changes to US patent law limit the scope of patentable material. Products of nature such as nucleic acids and proteins, or steps used to observe natural events, are no longer patent eligible. This chapter provides basic guidelines and definitions for inventions, inventorship, and patent filing which are summarized using a question and answer format.
2005-01-01
A new all-electronic Particle Image Velocimetry technique that can efficiently map high speed gas flows has been developed in-house at the NASA Lewis Research Center. Particle Image Velocimetry is an optical technique for measuring the instantaneous two component velocity field across a planar region of a seeded flow field. A pulsed laser light sheet is used to illuminate the seed particles entrained in the flow field at two instances in time. One or more charged coupled device (CCD) cameras can be used to record the instantaneous positions of particles. Using the time between light sheet pulses and determining either the individual particle displacements or the average displacement of particles over a small subregion of the recorded image enables the calculation of the fluid velocity. Fuzzy logic minimizes the required operator intervention in identifying particles and computing velocity. Using two cameras that have the same view of the illumination plane yields two single exposure image frames. Two competing techniques that yield unambiguous velocity vector direction information have been widely used for reducing the single-exposure, multiple image frame data: (1) cross-correlation and (2) particle tracking. Correlation techniques yield averaged velocity estimates over subregions of the flow, whereas particle tracking techniques give individual particle velocity estimates. For the correlation technique, the correlation peak corresponding to the average displacement of particles across the subregion must be identified. Noise on the images and particle dropout result in misidentification of the true correlation peak. The subsequent velocity vector maps contain spurious vectors where the displacement peaks have been improperly identified. Typically these spurious vectors are replaced by a weighted average of the neighboring vectors, thereby decreasing the independence of the measurements. In this work, fuzzy logic techniques are used to determine the true
Questions and dependency in intuitionistic logic
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
2017-01-01
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and
Reversible logic gates on Physarum Polycephalum
Energy Technology Data Exchange (ETDEWEB)
Schumann, Andrew [University of Information Technology and Management, Sucharskiego 2, Rzeszow, 35-225 (Poland)
2015-03-10
In this paper, we consider possibilities how to implement asynchronous sequential logic gates and quantum-style reversible logic gates on Physarum polycephalum motions. We show that in asynchronous sequential logic gates we can erase information because of uncertainty in the direction of plasmodium propagation. Therefore quantum-style reversible logic gates are more preferable for designing logic circuits on Physarum polycephalum.
A beginner's guide to mathematical logic
Smullyan, Raymond M
2014-01-01
Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.
Logical entropy of quantum dynamical systems
Directory of Open Access Journals (Sweden)
Ebrahimzadeh Abolfazl
2016-01-01
Full Text Available This paper introduces the concepts of logical entropy and conditional logical entropy of hnite partitions on a quantum logic. Some of their ergodic properties are presented. Also logical entropy of a quantum dynamical system is dehned and ergodic properties of dynamical systems on a quantum logic are investigated. Finally, the version of Kolmogorov-Sinai theorem is proved.
Design and Application of Strategies/Tactics in Higher Order Logics
Archer, Myla (Editor); diVito, Ben (Editor); Munoz, Cesar (Editor)
2003-01-01
This Proceedings includes both a paper from the implementors of PVS providing guidance for PVS strategy writers and a tutorial on PVS strategy writing distilled from the experience of three PVS users who have written extensive sets of PVS user strategies. Following these are three full papers from the higher-order logic theorem proving community that discuss PVS strategies to enhance arithmetic and other interactive reasoning in PVS; implementing first-order tactics in higher-order provers; and a proposed technique for specifying small step semantics that can be used in multiple higher order logic theorem provers, with illustrations from both Coq and PVS. The Proceedings concludes with three position papers for a panel session that discuss three settings in which development of PVS strategies is worth while.
DEFF Research Database (Denmark)
Birkedal, Lars; Sieczkowski, Filip; Thamsborg, Jacob Junker
2012-01-01
We present a logical relation for showing the correctness of program transformations based on a new type-and-eﬀect system for a concurrent extension of an ML-like language with higher-order functions, higher-order store and dynamic memory allocation. We show how to use our model to verify a number...... of interesting program transformations that rely on eﬀect annotations. In particular, we prove a Parallelization Theorem, which expresses when it is sound to run two expressions in parallel instead of sequentially. The conditions are expressed solely in terms of the types and eﬀects of the expressions....... To the best of our knowledge, this is the ﬁrst such result for a concurrent higher-order language with higher-order store and dynamic memory allocation....
Whitfield, J D; Biamonte, J D
2012-01-01
Designing and optimizing cost functions and energy landscapes is a problem encountered in many fields of science and engineering. These landscapes and cost functions can be embedded and annealed in experimentally controllable spin Hamiltonians. Using an approach based on group theory and symmetries, we examine the embedding of Boolean logic gates into the ground state subspace of such spin systems. We describe parameterized families of diagonal Hamiltonians and symmetry operations which preserve the ground state subspace encoding the truth tables of Boolean formulas. The ground state embeddings of adder circuits are used to illustrate how gates are combined and simplified using symmetry. Our work is relevant for experimental demonstrations of ground state embeddings found in both classical optimization as well as adiabatic quantum optimization.
Cleaveland, Rance; Luettgen, Gerald; Bushnell, Dennis M. (Technical Monitor)
2002-01-01
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.
Balzani, Vincenzo; Credi, Alberto; Venturi, Margherita
2003-01-13
Miniaturization has been an essential ingredient in the outstanding progress of information technology over the past fifty years. The next, perhaps ultimate, limit of miniaturization is that of molecules, which are the smallest entities with definite size, shape, and properties. Recently, great effort has been devoted to design and investigate molecular-level systems that are capable of transferring, processing, and storing information in binary form. Some of these nanoscale devices can, in fact, perform logic operations of remarkable complexity. This research--although far from being transferred into technology--is attracting interest, as the nanometer realm seems to be out of reach for the "top-down" techniques currently available to microelectronics industry. Moreover, such studies introduce new concepts in the "old" field of chemistry and stimulate the ingenuity of researchers engaged in the "bottom-up" approach to nanotechnology.
Borresen, Jon; Lynch, Stephen
2012-01-01
In the 1940s, the first generation of modern computers used vacuum tube oscillators as their principle components, however, with the development of the transistor, such oscillator based computers quickly became obsolete. As the demand for faster and lower power computers continues, transistors are themselves approaching their theoretical limit and emerging technologies must eventually supersede them. With the development of optical oscillators and Josephson junction technology, we are again presented with the possibility of using oscillators as the basic components of computers, and it is possible that the next generation of computers will be composed almost entirely of oscillatory devices. Here, we demonstrate how coupled threshold oscillators may be used to perform binary logic in a manner entirely consistent with modern computer architectures. We describe a variety of computational circuitry and demonstrate working oscillator models of both computation and memory.
DEFF Research Database (Denmark)
Jensen, Lars Bang
The problematic this thesis investigates, through a specific kind of structuralism derived from a reading of Michel Foucault, Pierre Bourdieu and Gilles Deleuze, concerns how the subject becomes a science subject and potentially a scientist, with interest and literacy in science. The Logic...... of Science – a vivisection of monsters is thus an exploration of Being and Becoming in relation to Science and its Education. The investigation has been derived from, in, and connected to the Youth-to-Youth Project, a regional bridge building project in Northern Jutland in Denmark. The Youth-to-Youth Project...... (2011-2015) attempts to facilitate contact and provide a different kind of counselling and guidance between youths and youths who are ‘one step ahead’ in their educational trajectory. The meetings between the youths are both social and science subject oriented, and the intention is to establish...
Symmetry Theory in Molecular Physics with Mathematica A new kind of tutorial book
McClain, William
2008-01-01
Prof. McClain has indeed produced "a new kind of tutorial book." It is written using the logic engine Mathematica, which permits concrete exploration and development of every concept involved in Symmetry Theory. The book may be read in your hand, or on a computer screen with Mathematica running behind it. It is intended for students of chemistry and molecular physics who need to know mathematical group theory and its applications, either for their own research or for understanding the language and concepts of their field. The book has three major parts: Part I begins with the most elementary symmetry concepts, showing how to express them in terms of matrices and permutations. These are then combined into mathematical groups. Many chemically important point groups are constructed and kept in a Mathematica package for easy reference. No other book gives such easy access to the groups themselves. The automated group construction machinery allows you to tabulate new groups that may be needed in research, such as ...
Logical Modelling of Physarum Polycephalum
Schumann, Andrew
2011-01-01
We propose a novel model of unconventional computing where a structural part of computation is presented by dynamics of plasmodium of Physarum polycephalum, a large single cell. We sketch a new logical approach combining conventional logic with process calculus to demonstrate how to employ formal methods in design of unconventional computing media presented by Physarum polycephalum.
Flat coalgebraic fixed point logics
Schröder, Lutz
2010-01-01
Fixed point logics have a wide range of applications in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the mu-calculus and its relatives. However, popular fixed point logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the mu-calculus. The family of such flat fixed point logics includes, e.g., CTL, the *-nesting-free fragment of PDL, and the logic of common knowledge. Here, we extend this notion to the generic semantic framework of coalgebraic logic, thus covering a wide range of logics beyond the standard mu-calculus including, e.g., flat fragments of the graded mu-calculus and the alternating-time mu-calculus (such as ATL), as well as probabilistic and monotone fixed point logics. Our main results are completeness of the Kozen-Park axiomatization and a timed-out tableaux method that matches EXPTIME upper bounds inherited from the coalgebraic mu-calculus but avo...
A Paraconsistent Higher Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen
2004-01-01
of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...
Sasao, Tsutomu
2011-01-01
This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called look-up tables (LUTs), and medium-scale memories, called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers, concerned with logic synthesis for FPGAs.
A Paraconsistent Higher Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen
2004-01-01
of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...
Simulated Laboratory in Digital Logic.
Cleaver, Thomas G.
Design of computer circuits used to be a pencil and paper task followed by laboratory tests, but logic circuit design can now be done in half the time as the engineer accesses a program which simulates the behavior of real digital circuits, and does all the wiring and testing on his computer screen. A simulated laboratory in digital logic has been…
Logical Modelling of Physarum Polycephalum
Schumann, Andrew; Adamatzky, Andrew
2011-01-01
We propose a novel model of unconventional computing where a structural part of computation is presented by dynamics of plasmodium of Physarum polycephalum, a large single cell. We sketch a new logical approach combining conventional logic with process calculus to demonstrate how to employ formal methods in design of unconventional computing media presented by Physarum polycephalum.
Institute of Scientific and Technical Information of China (English)
修勤
1995-01-01
In the red corner, Aristotle. In the blue corner, Buddha.It’s the fight of the century, and it’s a grudge match. "Fuzzy theory is wrong, wrong, and pernicious. What we need is more logical thinking, not less," fulminates Professor William Kahan of Berkeley. "Fuzzy logic is the cocaine of science. "
Propositional inquisitive logic: a survey
Directory of Open Access Journals (Sweden)
Ivano Ciardelli
2016-12-01
Full Text Available This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs.
Logical Querying of Relational Databases
Directory of Open Access Journals (Sweden)
Luminita Pistol
2016-12-01
Full Text Available This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filtered java 8 streams, enhanced with Tuples facilities from jOOλ library.
Methods in Logic Based Control
DEFF Research Database (Denmark)
Christensen, Georg Kronborg
1999-01-01
Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC...
Marketing Logics, Ambidexterity and Influence
DEFF Research Database (Denmark)
Tollin, Karin; Schmidt, Marcus
2012-01-01
The duties of companies' chief marketing officers (CMOs) seem incompatible. They are expected to ensure that their company's market assets are properly exploited and recorded, while simultaneously enacting a proactive role in the company's business development. This study shows that about one...... in four CMOs have taken on this challenge, or adopted a marketing logic which could be referred to as ambidextrous. Furthermore, the study shows that this logic exerts a stronger impact on marketing's influence, compared to logics related to assuring brand consistency and measuring the performance...... of marketing processes. Three other ways to enact marketing management were also revealed, namely: an innovation; a communication; and a supporting marketing logic. This leads us to conclude that the influence of companies' marketing functions show up a heterogeneous picture within which the marketing logics...
Nucleic acid based logical systems.
Han, Da; Kang, Huaizhi; Zhang, Tao; Wu, Cuichen; Zhou, Cuisong; You, Mingxu; Chen, Zhuo; Zhang, Xiaobing; Tan, Weihong
2014-05-12
Researchers increasingly visualize a significant role for artificial biochemical logical systems in biological engineering, much like digital logic circuits in electrical engineering. Those logical systems could be utilized as a type of servomechanism to control nanodevices in vitro, monitor chemical reactions in situ, or regulate gene expression in vivo. Nucleic acids (NA), as carriers of genetic information with well-regulated and predictable structures, are promising materials for the design and engineering of biochemical circuits. A number of logical devices based on nucleic acids (NA) have been designed to handle various processes for technological or biotechnological purposes. This article focuses on the most recent and important developments in NA-based logical devices and their evolution from in vitro, through cellular, even towards in vivo biological applications.
Logical independence and quantum randomness
Energy Technology Data Exchange (ETDEWEB)
Paterek, T; Kofler, J; Aspelmeyer, M; Zeilinger, A; Brukner, C [Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences, Boltzmanngasse 3, A-1090 Vienna (Austria); Prevedel, R; Klimek, P [Faculty of Physics, University of Vienna, Boltzmanngasse 5, A-1090 Vienna (Austria)], E-mail: tomasz.paterek@univie.ac.at
2010-01-15
We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it also allows for an explanation of the probabilities of random outcomes observed in Pauli group measurements from logical independence without invoking quantum theory. The axiomatic systems we study can be completed and are therefore not subject to Goedel's incompleteness theorem.
Directory of Open Access Journals (Sweden)
Márcia M. C. Ferreira
1999-09-01
Full Text Available The aim of this work is to present a tutorial on Multivariate Calibration, a tool which is nowadays necessary in basically most laboratories but very often misused. The basic concepts of preprocessing, principal component analysis (PCA, principal component regression (PCR and partial least squares (PLS are given. The two basic steps on any calibration procedure: model building and validation are fully discussed. The concepts of cross validation (to determine the number of factors to be used in the model, leverage and studentized residuals (to detect outliers for the validation step are given. The whole calibration procedure is illustrated using spectra recorded for ternary mixtures of 2,4,6 trinitrophenolate, 2,4 dinitrophenolate and 2,5 dinitrophenolate followed by the concentration prediction of these three chemical species during a diffusion experiment through a hydrophobic liquid membrane. MATLAB software is used for numerical calculations. Most of the commands for the analysis are provided in order to allow a non-specialist to follow step by step the analysis.
Reversible logic gate using adiabatic superconducting devices
National Research Council Canada - National Science Library
Takeuchi, N; Yamanashi, Y; Yoshikawa, N
2014-01-01
.... However, until now, no practical reversible logic gates have been demonstrated. One of the problems is that reversible logic gates must be built by using extremely energy-efficient logic devices...
The Logic of Practice in the Practice of Logics
DEFF Research Database (Denmark)
Raviola, Elena; Dubini, Paola
2016-01-01
of logics through a six months full-time ethnographic study at Il Sole-24 Ore, the largest Italian financial newspaper, between 2007 and 2008. An original conceptual framework is developed to analyse how the logic of journalism is enacted vis-à-vis that of advertising in a setting in which an old technology...... for news production – print newspaper – coexists with a new one – website – and thus encounters between new and old technological possibilities make workings of institutional logics particularly visible. The findings point out different mechanisms of institutional work dealing with actions that, made...
Probabilistic Logic Programming under Answer Sets Semantics
Institute of Scientific and Technical Information of China (English)
王洁; 鞠实儿
2003-01-01
Although traditional logic programming languages provide powerful tools for knowledge representation, they cannot deal with uncertainty information (e. g. probabilistic information). In this paper, we propose a probabilistic logic programming language by introduce probability into a general logic programming language. The work combines 4-valued logic with probability. Conditional probability can be easily represented in a probabilistic logic program. The semantics of such a probabilistic logic program i...
Reconfigurable Optical Directed-Logic Circuits
2015-11-20
and their switching delays do not accumulate. This is in contrast to conventional logic circuits where gate delays are cascaded, resulting in a...transistor logic circuits wherein gate delays are cascaded resulting in increased latencies with increased logic elements. Thus directed- logic ... reverse biased at -5 V ( logic ‘1’) and the transmission is high when the bias voltage is zero ( logic ‘0’). So the switch works in the block/pass mode
College science teachers' views of classroom inquiry
Brown, Patrick L.; Abell, Sandra K.; Demir, Abdulkadir; Schmidt, Francis J.
2006-09-01
The purposes of this study were to (a) gain an understanding of the views of inquiry held by faculty members involved in undergraduate science teaching and (b) describe the challenges, constraints, and opportunities that they perceived in designing and teaching inquiry-based laboratories. Participants included 19 college professors, representing both life and physical science disciplines, from (a) 2-year community college, (b) small, private nonprofit liberal arts college, (c) public master's granting university, and (d) public doctoral/research extensive university. We collected data through semistructured interviews and applied an iterative data analysis process. College science faculty members held a full and open inquiry view, seeing classroom inquiry as time consuming, unstructured, and student directed. They believed that inquiry was more appropriate for upper level science majors than for introductory or nonscience majors. Although faculty members valued inquiry, they perceived limitations of time, class size, student motivation, and student ability. These limitations, coupled with their view of inquiry, constrained them from implementing inquiry-based laboratories. Our proposed inquiry continuum represents a broader view of inquiry that recognizes the interaction between two dimensions of inquiry: (a) the degree of inquiry and (b) the level of student directedness, and provides for a range of inquiry-based classroom activities.