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
Truth and falsehood an inquiry into generalized logical values
Shramko, Yaroslav
2012-01-01
Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity.
Ash-Shiddieqy, M. H.; Suparmi, A.; Sunarno, W.
2018-04-01
The purpose of this research is to understand the effectiveness of module based on guided inquiry method to improve students’ logical thinking ability. This research only evaluate the students’ logical ability after follows the learning activities that used developed physics module based on guided inquiry method. After the learning activities, students This research method uses a test instrument that adapts TOLT instrument. There are samples of 68 students of grade XI taken from SMA Negeri 4 Surakarta.Based on the results of the research can be seen that in the experimental class and control class, the posttest value aspect of probabilistic reasoning has the highest value than other aspects, whereas the posttest value of the proportional reasoning aspect has the lowest value. The average value of N-gain in the experimental class is 0.39, while in the control class is 0.30. Nevertheless, the N-gain values obtained in the experimental class are larger than the control class, so the guided inquiry-based module is considered more effective for improving students’ logical thinking. Based on the data obtained from the research shows the modules available to help teachers and students in learning activities. The developed Physics module is integrated with every syntax present in guided inquiry method, so it can be used to improve students’ logical thinking ability.
Directory of Open Access Journals (Sweden)
Fajrul Wahdi Ginting
2015-12-01
Full Text Available The Purpose of The study: science process skills and logical thinking ability of students who use inquiry learning model training using PhET media; science process skills and logical thinking ability of students who use conventional learning model; and the difference science process skills and logical thinking ability of students to use learning model Inquiry Training using PhET media and conventional learning models. This research is a quasi experimental. Sample selection is done by cluster random sampling are two classes of classes VIII-E and class VIII-B, where the class VIII-E is taught by inquiry training model using media PhET and VIII-B with conventional learning model. The instrument used consisted of tests science process skills such as essay tests and tests of the ability to think logically in the form of multiple-choice tests. The data were analyzed using t test. The results showed that physics science process skills use Inquiry Training models using PhET media is different and showed better results compared with conventional learning model, and logical thinking skills students use Inquiry Training model using PhET media is different and show better results compared with conventional learning, and there is a difference between the ability to think logically and science process skills of students who use Inquiry Training model using PhET media and conventional learning models.
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....
Directory of Open Access Journals (Sweden)
M. Akhyar Lubis
2017-09-01
Full Text Available This study aimed to analyze whether the results of science process skills of students. Who are taught by the teaching model scientific inquiry better than conventional learning, to analyze whether the results of science process skills of students? Who can think logically high is better than the students who have the potential to think logically low, analyze whether there is an interaction between scientific inquiry learning model with logical thinking skills to students' science process skills. This research is a quasi-experimental design with the two-group pretest-posttest design. The study population is all students of class X SMA Negeri 4 Padangsidimpuan semester II academic year 2016/2017. The The research instrument consists of two types: science process skills instrument consists of 10 questions in essay form which has been declared valid and reliable, and the instrument ability to think logically in the form of multiple choice is entirely groundless and complements (combination. The resulting data, analyzed by using two path Anava. The results showed that science process skills of students who are taught by the teaching model scientific inquiry better than conventional learning. Science process skills of students who can think logically high are better than the students who can think logically low, and there is an interaction between learning model scientific inquiry and conventional learning with the ability to think logically to improve students' science process skills.
Directory of Open Access Journals (Sweden)
Dahrim Pohan
2017-06-01
Full Text Available The aim of the research is to analyz : student’s science process skill using inquiry training learning model is better than konvesional learning.Student’s science process skill who have logical thinking ability above average are better than under average,and the interaction between inquiry training media and logical thinking ability to increase student’s science process skill.The experiment was conducted in SMP 6 Medan as population and class VII-K and VII-J were chosen as sample through cluster random sampling.Science prosess skill used essay test and logical thinking used multiple choice as instrument.Result of the data was analyzed by using two ways ANAVA.Result show that : student’s science process skill using inquiry training learning model is better than konvesional learning,student’s science process skill who logical thinking ability above average are better than under average and the interaction between inquiry training learning model media and logical thinking ability to increase student’s science process skill.
Park, Do-Yong; Park, Mira
2013-01-01
The purpose of this study was to investigate the inquiry features demonstrated in the inquiry tasks of a high school Earth Science curriculum. One of the most widely used curricula, Holt Earth Science, was chosen for this case study to examine how Earth Science logical reasoning and authentic scientific inquiry were related to one another and how…
DEFF Research Database (Denmark)
Schmiedel, Theresa; Müller, Oliver; vom Brocke, Jan
2018-01-01
of large textual data sets and increased computational power, text mining has become an attractive method that has the potential to mitigate some of these limitations. Thus, we suggest applying topic modeling, a specific text mining technique, as a new and complementary strategy of inquiry to study...
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.
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....
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.
This tutorial will help give your organization a broad but succinct analysis of what the SRA grant program is about. This self-paced tutorial is organized under two segments: Overview of Grant Program and Program Details.
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.
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…
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 or a......, and we see potential in using the tool to produce program tutorials to be used for frameworks, libraries, and in educational contexts.......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...... or a framework. We present a means for specifying the fragments of a program that are to be in-lined in the tutorial text. These in-line fragments are defined by addressing named syntactical elements, such as classes and methods, but it is also possible to address individual code lines by labeling them...
The Dynamic Turn in Quantum Logic
Baltag, A.; Smets, S.
2012-01-01
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
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
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.
Improving the University Tutorial.
Stanton, Harry E.
1982-01-01
Frequently, tutorial or seminar members take no part in discussion, a feature considered essential to this teaching method. Tutors may be largely responsible by dominating discussion. Student participation can be increased by varying teaching methods; reducing discussion group size, brainstorming, idea development techniques, and student…
Making Accounting Tutorials Enjoyable
Bargate, Karen
2018-01-01
This paper emanates from a case study which focussed on 15 Managerial Accounting and Financial Management (MAFM) students' "enjoyment" of learning MAFM in an 18-week Writing Intensive Tutorial (WIT) programme. Interactive Qualitative Analysis (IQA) was used for the research design and as a data analysis tool. Following IQA protocols…
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).
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...
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 finally, we extend it to a relational analysis. A Flow Logic is a program logic---in the same sense that a Hoare’s logic is. We conclude with an executive summary presenting the highlights of the approach from this perspective including a discussion of theoretical properties as well as implementation...
CERN. Geneva; Manzoni, Alex Marc; Dimou, Maria
2017-01-01
This short tutorial explains how to create a MEETING in indico, how to populate the timetable, write minutes and how to add material. If you are only interested in the timetable part, please slide to 03.39, for the minutes to 07.46 and for adding material to 08.29. 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) http://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
DEFF Research Database (Denmark)
Bengtsen, Søren Smedegaard; Nørgård, Rikke Toft; Dalsgaard, Christian
. On the grounds of the developed pedagogical format, students elicit advanced academic competences such as being facilitators of critical dialogue, exhibiting knowledge stewardship, and taking on responsibility of relationship formation between students. These are traits we normally see only teachers......We present a design-based research experiment for developing a pedagogical format for supervision collectives called ’online hotseat tutorials.’ The format has been developed and tested within the MA Programme ICT-based educational design, Aarhus University 2014-2018. It has affinity to traditional......-up as well as the pedagogical intentions behind it is presented. Finally, we analyse the emerging forms of partnership within online hot seat tutorials, and we discuss the pedagogical implications for how to further inform, qualify and develop pedagogical formats for team-based supervision in higher...
Fuzzy Logic vs. Neutrosophic Logic: Operations Logic
Directory of Open Access Journals (Sweden)
Salah Bouzina
2016-12-01
Full Text Available The goal of this research is first to show how different, thorough, widespread and effective are the operations logic of the neutrosophic logic compared to the fuzzy logic’s operations logical. The second aim is to observe how a fully new logic, the neutrosophic logic, is established starting by changing the previous logical perspective fuzzy logic, and by changing that, we mean changing changing the truth values from the truth and falsity degrees membership in fuzzy logic, to the truth, falsity and indeterminacy degrees membership in neutrosophic logic; and thirdly, to observe that there is no limit to the logical discoveries - we only change the principle, then the system changes completely.
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...
Embedding Logics into Product Logic
Czech Academy of Sciences Publication Activity Database
Baaz, M.; Hájek, Petr; Krajíček, Jan; Švejda, David
1998-01-01
Roč. 61, č. 1 (1998), s. 35-47 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030601 Grant - others:COST(XE) Action 15 Keywords : fuzzy logic * Lukasiewicz logic * Gödel logic * product logic * computational complexity * arithmetical hierarchy Subject RIV: BA - General Mathematics
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.
Creating library tutorials for nursing students.
Schroeder, Heidi
2010-04-01
This article describes one librarian's experiences with creating, promoting, and assessing online library tutorials. Tutorials were designed to provide on-demand and accessible library instruction to nursing students at Michigan State University. Topics for tutorials were chosen based on the librarian's liaison experiences and suggestions from nursing faculty. The tutorials were created using Camtasia and required the application of several tools and techniques. Tutorials were promoted through Web pages, the ANGEL course management system, blog posts, librarian interactions, e-mails, and more. In order to assess the tutorials' perceived effectiveness, feedback was gathered using a short survey. Future plans for the nursing tutorials project are also discussed.
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
Computer Tutorial Programs in Physics.
Faughn, Jerry; Kuhn, Karl
1979-01-01
Describes a series of computer tutorial programs which are intended to help college students in introductory physics courses. Information about these programs, which are either calculus or algebra-trig based, is presented. (HM)
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…
Gehring, Kathleen M; Eastman, Deborah A
2008-01-01
Many initiatives for the improvement of undergraduate science education call for inquiry-based learning that emphasizes investigative projects and reading of the primary literature. These approaches give students an understanding of science as a process and help them integrate content presented in courses. At the same time, general initiatives to promote information fluency are being promoted on many college and university campuses. Information fluency refers to discipline-specific processing of information, and it involves integration of gathered information with specific ideas to form logical conclusions. We have implemented the use of inquiry-based learning to enhance and study discipline-specific information fluency skills in an upper-level undergraduate Developmental Biology course. In this study, an information literacy tutorial and a set of linked assignments using primary literature analysis were integrated with two inquiry-based laboratory research projects. Quantitative analysis of student responses suggests that the abilities of students to identify and apply valid sources of information were enhanced. Qualitative assessment revealed a set of patterns by which students gather and apply information. Self-assessment responses indicated that students recognized the impact of the assignments on their abilities to gather and apply information and that they were more confident about these abilities for future biology courses and beyond.
Video Tutorial of Continental Food
Nurani, A. S.; Juwaedah, A.; Mahmudatussa'adah, A.
2018-02-01
This research is motivated by the belief in the importance of media in a learning process. Media as an intermediary serves to focus on the attention of learners. Selection of appropriate learning media is very influential on the success of the delivery of information itself both in terms of cognitive, affective and skills. Continental food is a course that studies food that comes from Europe and is very complex. To reduce verbalism and provide more real learning, then the tutorial media is needed. Media tutorials that are audio visual can provide a more concrete learning experience. The purpose of this research is to develop tutorial media in the form of video. The method used is the development method with the stages of analyzing the learning objectives, creating a story board, validating the story board, revising the story board and making video tutorial media. The results show that the making of storyboards should be very thorough, and detailed in accordance with the learning objectives to reduce errors in video capture so as to save time, cost and effort. In video capturing, lighting, shooting angles, and soundproofing make an excellent contribution to the quality of tutorial video produced. In shooting should focus more on tools, materials, and processing. Video tutorials should be interactive and two-way.
Kleene, Stephen Cole
1967-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.
Meyer, J.J.Ch.; Broersen, J.M.; Herzig, A.
2015-01-01
This paper presents an overview of so-called BDI logics, logics where the notion of Beliefs, Desires and Intentions play a central role. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly
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). ...
Moessbauer spectroscopy. Tutorial book
International Nuclear Information System (INIS)
Yoshida, Yutaka; Langouche, Guido
2013-01-01
First textbook on Moessbauer Spectroscopy covering the complete field. Offers a concise introduction to all aspects of Moessbauer spectroscopy by the leading experts in the field. Tutorials on Moessbauer Spectroscopy. Since the discovery of the Moessbauer 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 Moessbauer 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 Moessbauer Spectroscopy in many fields of science, in order to create interest among the readers in joining the community of Moessbauer spectroscopists. This is particularly important at times where in many Moessbauer laboratories succession is at stake.
Payton, Spencer D.
2017-01-01
This study aimed to explore how inquiry-oriented teaching could be implemented in an introductory linear algebra course that, due to various constraints, may not lend itself to inquiry-oriented teaching. In particular, the course in question has a traditionally large class size, limited amount of class time, and is often coordinated with other…
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...
Tutorial on beam current monitoring
International Nuclear Information System (INIS)
Webber, Robert C.
2000-01-01
This paper is a tutorial level review covering a wide range of aspects related to charged particle beam current measurement. The tutorial begins with a look at the characteristics of the beam as a signal source, the associated electromagnetic fields, the influence of the typical accelerator environment on those fields, and the usual means of modifying and controlling that environment to facilitate beam current measurement. Short descriptions of three quite different types of current monitors are presented and a quantitative review of the classical transformer circuit is given. Recognizing that environmental noise pick-up may present a large source of error in quantitative measurements, signal handling considerations are given considerable attention using real-life examples. An example of a successful transport line beam current monitor implementation is presented and the tutorial concludes with a few comments about signal processing and current monitor calibration issues
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...
Le Balleur, J. C.
1988-01-01
The applicability of conventional mathematical analysis (based on the combination of two-valued logic and probability theory) to problems in which human judgment, perception, or emotions play significant roles is considered theoretically. It is shown that dispositional logic, a branch of fuzzy logic, has particular relevance to the common-sense reasoning typical of human decision-making. The concepts of dispositionality and usuality are defined analytically, and a dispositional conjunctive rule and dispositional modus ponens are derived.
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
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.
A tutorial on Fisher information
Ly, A.; Marsman, M.; Verhagen, J.; Grasman, R.P.P.P.; Wagenmakers, E.-M.
2017-01-01
In many statistical applications that concern mathematical psychologists, the concept of Fisher information plays an important role. In this tutorial we clarify the concept of Fisher information as it manifests itself across three different statistical paradigms. First, in the frequentist paradigm,
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.
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.
Energy Technology Data Exchange (ETDEWEB)
Wynne, B [Lancaster Univ. (UK)
1979-06-28
The recently published report entitled 'The Big Public Inquiry' from the Council for Science and Society and the Outer Circle Policy Unit is considered, with especial reference to any future enquiry which may take place into the first commercial fast breeder reactor. Proposals embodied in the report include stronger rights for objectors and an attempt is made to tackle the problem that participation in a public inquiry is far too late to be objective. It is felt by the author that the CSS/OCPU report is a constructive contribution to the debate about big technology inquiries but that it fails to understand the deeper currents in the economic and political structure of technology which so influence the consequences of whatever formal procedures are evolved.
International Nuclear Information System (INIS)
Lambert, C.M.
1981-01-01
The nuclear debate, far from being concluded by the Windscale decision, was in fact opened up and its scope widened to take into account the political, international, environmental and social issues involved. This debate continues and the selection of literature presented here aims to illustrate all aspects of the Inquiry and its implications. The material is presented in two main sections. Section A is concerned with the Inquiry itself: the proceedings, the report and the government's decision. Section B presents a selection of the literature and debate that resulted. (author)
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.
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...... 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...... the tutorials as part of the requirements. Further, examples of organizational amnesia are discussed, pointing to the necessity for leadership support and systematic knowledge sharing. System Usability Scores are analysed in relation to solution of tasks and interesting relations are analysed. The perceptions...
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.
Propositional Logics of Dependence
Yang, F.; Väänänen, J.
2016-01-01
In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete
A Logic Programming Testbed for Inductive Thought and Specification.
Neff, Norman D.
This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary.…
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....
Tutorials in university students with a disability
Joaquín Gairín Sallán; José Luís Muñoz Moreno
2013-01-01
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 ...
Sarwi, S.; Fauziah, N.; Astuti, B.
2018-03-01
This research is setting by the condition of students who have difficulty in ideas delivery, written scientific communication, and still need the development of student character. The objectives of the research are to determine the improvement of concept understanding, to analyze scientific communication skills and to develop the character of the students through guided inquiry learning. The design in this research is quasi experimental control group preposttest, with research subject of two group of grade X Senior High School in Semarang. One group of controller uses non tutorial and treatment group using tutorial in guided inquiry. Based on result of gain test analysis, obtained = 0.71 for treatment and control group = 0.60. The t-test result of mean mastery of concept of quantity and unit using t-test of right side is t count = 2.37 (p=0.003) while t table = 1.67 (α = 5%), which means that the results of the study differed significantly. The results of the students' scientific communication skills analysis showed that the experimental group was higher than the control, with an average of 69% and 63% scientific communication skills. The character values are effective developed through guided inquiry learning. The conclusion of the study is guided inquiry learning tutorial better than guided inquiry non tutorial learning in aspect understanding concept, scientific communication skills; but the character development result is almost the same.
Smets, P
1995-01-01
We start by describing the nature of imperfect data, and giving an overview of the various models that have been proposed. Fuzzy sets theory is shown to be an extension of classical set theory, and as such has a proeminent role or modelling imperfect data. The mathematic of fuzzy sets theory is detailled, in particular the role of the triangular norms. The use of fuzzy sets theory in fuzzy logic and possibility theory,the nature of the generalized modus ponens and of the implication operator for approximate reasoning are analysed. The use of fuzzy logic is detailled for application oriented towards process control and database problems.
DEFF Research Database (Denmark)
Reynolds, John C.
2002-01-01
In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure. The simple imperative programming language is extended with commands (not...... with the inductive definition of predicates on abstract data structures, this extension permits the concise and flexible description of structures with controlled sharing. In this paper, we will survey the current development of this program logic, including extensions that permit unrestricted address arithmetic...
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...
Gradient Boosting Machines, A Tutorial
Directory of Open Access Journals (Sweden)
Alexey eNatekin
2013-12-01
Full Text Available Gradient boosting machines are a family of powerful machine-learning techniques that have shown considerable success in a wide range of practical applications. They are highly customizable to the particular needs of the application, like being learned with respect to different loss functions. This article gives a tutorial introduction into the methodology of gradient boosting methods. A theoretical information is complemented with many descriptive examples and illustrations which cover all the stages of the gradient boosting model design. Considerations on handling the model complexity are discussed. A set of practical examples of gradient boosting applications are presented and comprehensively analyzed.
Historical Text Comprehension Reflective Tutorial Dialogue System
Grigoriadou, Maria; Tsaganou, Grammatiki; Cavoura, Theodora
2005-01-01
The Reflective Tutorial Dialogue System (ReTuDiS) is a system for learner modelling historical text comprehension through reflective dialogue. The system infers learners' cognitive profiles and constructs their learner models. Based on the learner model the system plans the appropriate--personalized for learners--reflective tutorial dialogue in…
Hyperspectral image analysis. A tutorial
International Nuclear Information System (INIS)
Amigo, José Manuel; Babamoradi, Hamid; Elcoroaristizabal, 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 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.
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)
Bender, Ralf; Berg, Gabriele; Zeeb, Hajo
2005-01-01
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...
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...
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...
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.
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.
DEFF Research Database (Denmark)
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten
2014-01-01
In Choreographic Programming, a distributed system is programmed by giving a choreography, a global description of its interactions, instead of separately specifying the behaviour of each of its processes. Process implementations in terms of a distributed language can then be automatically...... projected from a choreography. We present Linear Compositional Choreographies (LCC), a proof theory for reasoning about programs that modularly combine choreographies with processes. Using LCC, we logically reconstruct a semantics and a projection procedure for programs. For the first time, we also obtain...... a procedure for extracting choreographies from process terms....
International Nuclear Information System (INIS)
Mittelstaedt, P.
1979-01-01
The subspaces of Hilbert space constitute an orthocomplemented quasimodular lattice Lsub(q) for which neither a two-valued function nor generalized truth function exist. A generalisation of the dialogic method can be used as an interpretation of a lattice Lsub(qi), which may be considered as the intuitionistic part of Lsub(q). Some obvious modifications of the dialogic method are introduced which come from the possible incommensurability of propositions about quantum mechanical systems. With the aid of this generalized dialogic method a propositional calculus Qsub(eff) is derived which is similar to the calculus of effective (intuitionistic) logic, but contains a few restrictions which are based on the incommensurability of quantum mechanical propositions. It can be shown within the framework of the calculus Qsub(eff) that the value-definiteness of the elementary propositions which are proved by quantum mechanical propositions is inherited by all finite compund propositions. In this way one arrives at the calculus Q of full quantum logic which incorporates the principle of excluded middle for all propositions and which is a model for the lattice Lsub(q). (Auth.)
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
The BTeV Software Tutorial Suite
International Nuclear Information System (INIS)
Kutschke, Robert K.
2004-01-01
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
Design and Analysis of simulation experiments : Tutorial
Kleijnen, J.P.C.
2017-01-01
This tutorial reviews the design and analysis of simulation experiments. These experiments may have various goals: validation, prediction, sensitivity analysis, optimization (possibly robust), and risk or uncertainty analysis. These goals may be realized through metamodels. Two types of metamodels
Teaching Game Programming using Video Tutorials
DEFF Research Database (Denmark)
Majgaard, Gunver
. & Squire K. (2004). Design-Based Research: Putting a Stake in the Ground. Journal of Learning Sciences Vol. 13-1. Lave, J., & Wenger, E. (1991). Situated Learning: Legitimate Peripheral Participation, Cambridge: Cambridge Univ. Majgaard, G. (2014). Teaching Design of Emerging Embodied Technologies......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...... production makes video tutorials a promising alternative to paper tutorials. Software and game engine companies such as Unity has already switched to video and other online materials as the primary medium for their tutorials. It is often hard to find up to date thoroughly worked through textbooks on new...
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.
Transcript for Understanding Medical Words: A Tutorial
... medlineplus.gov/medicalwordstranscript.html Transcript for Understanding Medical Words: A Tutorial To use the sharing features on ... get to what those mean in a minute. Word Roots Word Roots. Let's begin with body parts. ...
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
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....
GOCE User Toolbox and Tutorial
Knudsen, P.; Benveniste, J.
2011-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. GUT has been developed in a collaboration within the GUT Core Group. The GUT Core Group: S. Dinardo, D. Serpe, B.M. Lucas, R. Floberghagen, A. Horvath (ESA), O. Andersen, M. Herceg (DTU), M.-H. Rio, S. Mulet, G. Larnicol (CLS), J. Johannessen, L.Bertino (NERSC), H. Snaith, P. Challenor (NOC), K. Haines, D. Bretherton (NCEO), C. Hughes (POL), R.J. Bingham (NU), G. Balmino, S. Niemeijer, I. Price, L. Cornejo (S&T), M. Diament, I Panet (IPGP), C.C. Tscherning (KU), D. Stammer, F. Siegismund (UH), T. Gruber (TUM),
Bayesian Latent Class Analysis Tutorial.
Li, Yuelin; Lord-Bessen, Jennifer; Shiyko, Mariya; Loeb, Rebecca
2018-01-01
This article is a how-to guide on Bayesian computation using Gibbs sampling, demonstrated in the context of Latent Class Analysis (LCA). It is written for students in quantitative psychology or related fields who have a working knowledge of Bayes Theorem and conditional probability and have experience in writing computer programs in the statistical language R . The overall goals are to provide an accessible and self-contained tutorial, along with a practical computation tool. We begin with how Bayesian computation is typically described in academic articles. Technical difficulties are addressed by a hypothetical, worked-out example. We show how Bayesian computation can be broken down into a series of simpler calculations, which can then be assembled together to complete a computationally more complex model. The details are described much more explicitly than what is typically available in elementary introductions to Bayesian modeling so that readers are not overwhelmed by the mathematics. Moreover, the provided computer program shows how Bayesian LCA can be implemented with relative ease. The computer program is then applied in a large, real-world data set and explained line-by-line. We outline the general steps in how to extend these considerations to other methodological applications. We conclude with suggestions for further readings.
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.
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....
Microelectromechanical reprogrammable logic device
Hafiz, Md Abdullah Al; Kosuru, Lakshmoji; Younis, Mohammad I.
2016-01-01
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
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.
Classical logic and logicism in human thought
Elqayam, Shira
2012-01-01
This chapter explores the role of classical logic as a theory of human reasoning. I distinguish between classical logic as a normative, computational and algorithmic system, and review its role is theories of human reasoning since the 1960s. The thesis I defend is that psychological theories have been moving further and further away from classical logic on all three levels. I examine some prominent example of logicist theories, which incorporate logic in their psychological account, includin...
Logic programming extensions of Horn clause logic
Directory of Open Access Journals (Sweden)
Ron Sigal
1988-11-01
Full Text Available Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages. The concept of a logic programming language is not precisely defined, but it is generally understood to be characterized buy: a declarative nature; foundation in some well understood logical system, e.g., first order logic.
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.
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
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...
Molecular logic gates: the past, present and future.
Erbas-Cakmak, Sundus; Kolemen, Safacan; Sedgwick, Adam C; Gunnlaugsson, Thorfinnur; James, Tony D; Yoon, Juyoung; Akkaya, Engin U
2018-04-03
The field of molecular logic gates originated 25 years ago, when A. P. de Silva published a seminal article in Nature. Stimulated by this ground breaking research, scientists were inspired to join the race to simulate the workings of the fundamental components of integrated circuits using molecules. The rules of this game of mimicry were flexible, and have evolved and morphed over the years. This tutorial review takes a look back on and provides an overview of the birth and growth of the field of molecular logics. Spinning-off from chemosensor research, molecular logic gates quickly proved themselves to be more than intellectual exercises and are now poised for many potential practical applications. The ultimate goal of this vein of research became clearer only recently - to "boldly go where no silicon-based logic gate has gone before" and seek out a new deeper understanding of life inside tissues and cells.
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
Knudsen, Per; Benveniste, Jerome
2017-04-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.
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.
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…
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
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...
Heunen, Chris
2008-01-01
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universal quantifier.
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
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.
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…
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…
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.
Berg Johansen, Christina; Bock Waldorff, Susanne
2015-01-01
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 guided by institutional logics, as well as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to...
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....
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.
Interaction Patterns in Synchronous Chinese Tutorials
Shi, Lijing; Stickler, Ursula
2018-01-01
Speaking in Chinese is problematic for all learners, particularly for beginners and more so during online interaction. Despite the fact that interaction has been identified as crucial for the development of speaking skills, it can be hindered by students' lack of language competence or their anxiety. Teacher-centred practices in tutorials can…
Statistical Tutorial | Center for Cancer Research
Recent advances in cancer biology have resulted in the need for increased statistical analysis of research data. ST is designed as a follow up to Statistical Analysis of Research Data (SARD) held in April 2018. The tutorial will apply the general principles of statistical analysis of research data including descriptive statistics, z- and t-tests of means and mean
From DIY tutorials to DIY recipes
Dalton, M.; Desjardins, A.; Wakkary, R.L.
2014-01-01
While online DIY (do-it-yourself) tutorials have increasingly gained interest both at CHI and in the DIY and Maker communities, there is not a lot of research concerning the qualities and drawbacks of the current formats used to share DIY knowledge online. Drawing on our current study of DIY
Connections among quantum logics
International Nuclear Information System (INIS)
Lock, P.F.; Hardegree, G.M.
1985-01-01
In this paper, a theory of quantum logics is proposed which is general enough to enable us to reexamine a previous work on quantum logics in the context of this theory. It is then easy to assess the differences between the different systems studied. The quantum logical systems which are incorporated are divided into two groups which we call ''quantum propositional logics'' and ''quantum event logics''. The work of Kochen and Specker (partial Boolean algebras) is included and so is that of Greechie and Gudder (orthomodular partially ordered sets), Domotar (quantum mechanical systems), and Foulis and Randall (operational logics) in quantum propositional logics; and Abbott (semi-Boolean algebras) and Foulis and Randall (manuals) in quantum event logics, In this part of the paper, an axiom system for quantum propositional logics is developed and the above structures in the context of this system examined. (author)
DEFF Research Database (Denmark)
Schürmann, Carsten; Sarnat, Jeffrey
2008-01-01
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......, 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...
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...... as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to institutional theory at large, and which social matters institutional logics can and cannot explore...
Indeterministic Temporal Logic
Directory of Open Access Journals (Sweden)
Trzęsicki Kazimierz
2015-09-01
Full Text Available The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łukasiewicz’s idea of many-valued logics and was a motive of A. N. Prior’s considerations about the logic of tenses. In the scheme of temporal logic there are different solutions to the problem. In the paper we consider indeterministic temporal logic based on the idea of temporal worlds and the relation of accessibility between them.
Inquiries and technological assessment
International Nuclear Information System (INIS)
1981-01-01
The authors examine six Canadian inquiries to determine their values as scientific assessments, their ability to combine scientific data with policy considerations, and their effectiveness in extending public debate on scientific issues. Among the inquiries examined are the environmental assessment hearings into the Point Lepreau nuclear generating station, the Bayda inquiry into the Cluff Lake uranium mine, and the Porter commission on electric power planning in Ontario
Quantum Logic as a Dynamic Logic
Baltag, A.; Smets, S.
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”.
Quantum logic as a dynamic logic
Baltag, Alexandru; Smets, Sonja
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no".
Transforming equality logic to propositional logic
Zantema, H.; Groote, J.F.
2003-01-01
Abstract We investigate and compare various ways of transforming equality formulas to propositional formulas, in order to be able to solve satisfiability in equality logic by means of satisfiability in propositional logic. We propose equality substitution as a new approach combining desirable
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...
Directory of Open Access Journals (Sweden)
P N Johnson-Laird
2010-10-01
Full Text Available An old view in logic going back to Aristotle is that an inference is valid in virtue of its logical form. Many psychologists have adopted the same point of view about human reasoning: the first step is to recover the logical form of an inference, and the second step is to apply rules of inference that match these forms in order to prove that the conclusion follows from the premises. The present paper argues against this idea. The logical form of an inference transcends the grammatical forms of the sentences used to express it, because logical form also depends on context. Context is not readily expressed in additional premises. And the recovery of logical form leads ineluctably to the need for infinitely many axioms to capture the logical properties of relations. An alternative theory is that reasoning depends on mental models, and this theory obviates the need to recover logical form.
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.
Anticoincidence logic using PALs
International Nuclear Information System (INIS)
Bolanos, L.; Arista Romeu, E.
1997-01-01
This paper describes the functioning principle of an anticoincidence logic and a design of this based on programing logic. The circuit was included in a discriminator of an equipment for single-photon absorptiometry
Connections among quantum logics
International Nuclear Information System (INIS)
Lock, P.F.; Hardegree, G.M.
1985-01-01
This paper gives a brief introduction to the major areas of work in quantum event logics: manuals (Foulis and Randall) and semi-Boolean algebras (Abbott). The two theories are compared, and the connection between quantum event logics and quantum propositional logics is made explicit. In addition, the work on manuals provides us with many examples of results stated in Part I. (author)
Manca, V.; Salibra, A.; Scollo, Giuseppe
1990-01-01
Equational type logic is an extension of (conditional) equational logic, that enables one to deal in a single, unified framework with diverse phenomena such as partiality, type polymorphism and dependent types. In this logic, terms may denote types as well as elements, and atomic formulae are either
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....
Bergstra, J.A.
2011-01-01
Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of Islamic Finance. The prospective role of RIL
Wahyudin; Riza, L. S.; Putro, B. L.
2018-05-01
E-learning as a learning activity conducted online by the students with the usual tools is favoured by students. The use of computer media in learning provides benefits that are not owned by other learning media that is the ability of computers to interact individually with students. But the weakness of many learning media is to assume that all students have a uniform ability, when in reality this is not the case. The concept of Intelligent Tutorial System (ITS) combined with cyberblog application can overcome the weaknesses in neglecting diversity. An Intelligent Tutorial System-based Cyberblog application (ITS) is a web-based interactive application program that implements artificial intelligence which can be used as a learning and evaluation media in the learning process. The use of ITS-based Cyberblog in learning is one of the alternative learning media that is interesting and able to help students in measuring ability in understanding the material. This research will be associated with the improvement of logical thinking ability (logical thinking) of students, especially in algorithm subjects.
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
Tutorials in endovascular neurosurgery and interventional neuroradiology
International Nuclear Information System (INIS)
Byrne, James Vincent
2012-01-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.
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.
Hazardous Solvent Substitution Data System tutorial
International Nuclear Information System (INIS)
Twitchell, K.E.; Skinner, N.L.
1993-07-01
This manual is the tutorial for the Hazardous Solvent Substitution Data System (HSSDS), an online, comprehensive system of information on alternatives to hazardous solvents and related subjects. The HSSDS data base contains product information, material safety data sheets, toxicity reports, usage reports, biodegradable data, product chemical element lists, and background information on solvents. HSSDS use TOPIC reg-sign to search for information based on a query defined by the user. TOPIC provides a full text retrieval of unstructured source documents. In this tutorial, a series of lessons is provided that guides the user through basic steps common to most queries performed with HSSDS. Instructions are provided for both window-based and character-based applications
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…
Orchestrating Inquiry Learning
Littleton, Karen, Ed.; Scanlon, Eileen, Ed.; Sharples, Mike, Ed.
2011-01-01
There is currently a rapidly growing interest in inquiry learning and an emerging consensus among researchers that, particularly when supported by technology, it can be a significant vehicle for developing higher order thinking skills. Inquiry learning methods also offer learners meaningful and productive approaches to the development of their…
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...
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...... are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet...
Czech Academy of Sciences Publication Activity Database
Horčík, Rostislav; Cintula, Petr
2004-01-01
Roč. 43, - (2004), s. 477-503 ISSN 1432-0665 R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540 Grant - others:GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042 Institutional research plan: CEZ:AV0Z1030915 Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras Subject RIV: BA - General Mathematics Impact factor: 0.295, year: 2004
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....
Directory of Open Access Journals (Sweden)
Newton C. A. da Costa
2002-12-01
Full Text Available In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To be is to be the value of a variable a specific language with a given underlying logic Yet my stand differs from Quine’s, because, among other reasons, I accept some first order heterodox logics as genuine alternatives to classical logic I also discuss some questions of non classical logic to substantiate my argument, and suggest that may position complements and extends some ideas advanced by L Apostel.
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...... institutional logics in the course of their organizational practice. We introduce an exciting line of new works on the meta-theoretical foundations of logics, institutional logic processes, and institutional complexity and organizational responses. Collectively, the papers in this volume advance the very...... 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....
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...
Directory of Open Access Journals (Sweden)
Schang Fabien
2017-03-01
Full Text Available An analogy is made between two rather different domains, namely: logic, and football (or soccer. Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about logic in the same way as in dialogical logic, but it should also present truth-values in an alternative sense of speech-acts occurring in a dialogue. The relativity of truth-values is focused by this way, thereby leading to an additional way of logical pluralism.
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.
International Nuclear Information System (INIS)
Wall, M.J.W.
1992-01-01
The notion of open-quotes probabilityclose quotes is generalized to that of open-quotes likelihood,close quotes and a natural logical structure is shown to exist for any physical theory which predicts likelihoods. Two physically based axioms are given for this logical structure to form an orthomodular poset, with an order-determining set of states. The results strengthen the basis of the quantum logic approach to axiomatic quantum theory. 25 refs
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
Czech Academy of Sciences Publication Activity Database
Peliš, Michal
2017-01-01
Roč. 26, č. 3 (2017), s. 357-381 ISSN 1425-3305 R&D Projects: GA ČR(CZ) GC16-07954J Institutional support: RVO:67985955 Keywords : epistemic logic * erotetic implication * erotetic logic * logic of questions Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.007
Pereyra, Nicolas A.
2018-06-01
This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general (rather than taking a philosophical-math-fundamental oriented approach that is commonly found in mathematical logic textbooks).
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
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...... operator N) and prove completeness results for both logical and contextual validity. We then add propositional constants to handle yesterday, today and tomorrow; our system correctly treats sentences like “Niels will die yesterday” as contextually unsatisfiable. Building on our completeness results for now......, we prove completeness for the richer language, again for both logical and contextual validity....
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...
International Nuclear Information System (INIS)
Andronov, A.A.; Kurin, V.V.; Levichev, M.Yu.; Ryndyk, D.A.; Vostokov, V.I.
1993-01-01
In recent years there has been much interest in superconductor logical devices. Our paper is devoted to the analysis of some new possibilities in this field. The main problems here are: minimization of time of logical operations and reducing of device scale. Josephson systems are quite appropriate for this purpose because of small size, short characteristic time and also small energy losses. Two different types of Josephson logic have been investigated during last years. The first type is based on hysteretic V-A characteristic of a single Josephson junction. Superconducting and resistive (with nonzero voltage) states are considered as logical zero and logical unit. The second one - rapid single flux quantum logic, has been developed recently and is based on SQUID-like bistability. Different logical states are the states with different number of magnetic flux quanta inside closed superconducting contour. Information is represented by voltage pulses with fixed ''area'' (∫ V(t)/dt). This pulses are generated when logical state of SQUID-like elementary cell changes. The fundamental role of magnetic flux quantization in this type of logic leads to the necessity of large enough self-inductance of superconductor contour and thus to limitations on minimal device dimensions. (orig.)
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.
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
Wavelets a tutorial in theory and applications
1992-01-01
Wavelets: A Tutorial in Theory and Applications is the second volume in the new series WAVELET ANALYSIS AND ITS APPLICATIONS. As a companion to the first volume in this series, this volume covers several of the most important areas in wavelets, ranging from the development of the basic theory such as construction and analysis of wavelet bases to an introduction of some of the key applications, including Mallat's local wavelet maxima technique in second generation image coding. A fairly extensive bibliography is also included in this volume.Key Features* Covers several of the
Charged particle beam current monitoring tutorial
International Nuclear Information System (INIS)
Webber, R.C.
1994-10-01
A tutorial presentation is made on topics related to the measurement of charged particle beam currents. The fundamental physics of electricity and magnetism pertinent to the problem is reviewed. The physics is presented with a stress on its interpretation from an electrical circuit theory point of view. The operation of devices including video pulse current transformers, direct current transformers, and gigahertz bandwidth wall current style transformers is described. Design examples are given for each of these types of devices. Sensitivity, frequency response, and physical environment are typical parameters which influence the design of these instruments in any particular application. Practical engineering considerations, potential pitfalls, and performance limitations are discussed
APPRECIATIVE INQUIRY AND PEDAGOGY
DEFF Research Database (Denmark)
Duvander, Mille Themsen
2017-01-01
I blogindlægget gives en lille indblik i hvordan Appreciative Inquiry kan anvendes i undervisningen af pædagogstuderende på en Professionshøjskole i Danmark......I blogindlægget gives en lille indblik i hvordan Appreciative Inquiry kan anvendes i undervisningen af pædagogstuderende på en Professionshøjskole i Danmark...
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
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
Dealing with Conflicts on Knowledge in Tutorial Groups
Aarnio, Matti; Lindblom-Ylanne, Sari; Nieminen, Juha; Pyorala, Eeva
2013-01-01
The aim of our study was to gain understanding of different types of conflicts on knowledge in the discussions of problem-based learning tutorial groups, and how such conflicts are dealt with. We examined first-year medical and dental students' (N = 33) conflicts on knowledge in four videotaped reporting phase tutorials. A coding scheme was…
Developing and Testing a Video Tutorial for Software Training
van der Meij, 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
Interdisciplinary, Application-Oriented Tutorials: Design, Implementation, and Evaluation
Herman, Carolyn; Casiday, Rachel E.; Deppe, Roberta K.; Gilbertson, Michelle; Spees, William M.; Holten, Dewey; Frey, Regina F.
2005-01-01
Fifteen application-oriented chemical tutorials were developed out of which thirteen are currently in use in the general chemistry lab rotary curriculum for chemistry students at Washington University from 1998 to 2000. The central philosophy of the tutorial that the students learn to combine information from variety of sources like science…
Would You Watch It? Creating Effective and Engaging Video Tutorials
Martin, Nichole A.; Martin, Ross
2015-01-01
Video tutorials are a common form of library instruction used with distance learners. This paper combines professional experience and literature reviews from multiple disciplines to provide a contextual overview of recommendations and findings for effective and engaging videos. The tools for tutorials appear in five main categories: screencasts,…
Weakly Intuitionistic Quantum Logic
Hermens, Ronnie
2013-01-01
In this article von Neumann's proposal that in quantum mechanics projections can be seen as propositions is followed. However, the quantum logic derived by Birkhoff and von Neumann is rejected due to the failure of the law of distributivity. The options for constructing a distributive logic while
Kuusisto, Antti
2013-01-01
In recent years, research into the mathematical foundations of modal logic has become increasingly popular. One of the main reasons for this is the fact that modal logic seems to adapt well to the requirements of a wide range of different fields of application. This paper is a summary of some of the author’s contributions to the understanding of modal definability theory.
Cirstea, C.; Kurz, A.; Pattinson, D.; Schröder, L.; Venema, Y.
2011-01-01
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large
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...
Criteria for logical formalization
Czech Academy of Sciences Publication Activity Database
Peregrin, Jaroslav; Svoboda, Vladimír
2013-01-01
Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013
NEVEN, Frank
2002-01-01
We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and automata over infinite alphabets. We focus on their connection with logic and on questions imposed by XML.
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.
A. Ponse (Alban); M.B. van der Zwaag
2002-01-01
textabstractWe 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
Uckelman, S.L.
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
Temporalized Epistemic Default Logic
van der Hoek, W.; Meyer, J.J.; Treur, J.; Gabbay, D.
2001-01-01
The nonmonotonic logic Epistemic Default Logic (EDL) [Meyer and van der Hoek, 1993] is based on the metaphore of a meta-level architecture. It has already been established [Meyer and van der Hoek, 1993] how upward reflection can be formalized by a nonmonotonic entailment based on epistemic states,
Lopez, Antonio M., Jr.
1989-01-01
Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)
W. van der Hoek (Wiebe); J.O.M. Jaspars; E. Thijsse
1995-01-01
textabstractWe propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the
Introduction to OAI and harvesting, tutorial 3
CERN. Geneva
2005-01-01
1. Coverage: - Overview of key Open Archives Initiative (OAI) concepts. - Development of the OAI Protocol for Metadata Harvesting (OAI-PMH). - Non-technical introduction to main underlying technical ideas. - Some considerations regarding implementation of OAI-PMH, with particular focus on harvesting issues. For those who would like an introduction to, or revision of, the main concepts associated with OAI then this session will provide an ideal foundation for the rest of the OAI4 workshop. 2. Audience: Decision-makers, Managers, Technical staff with no previous OAI-PMH knowledge. This is a tutorial for those who may not themselves do hands-on technical implementation, but might make or advise on decisions whether or not to implement particular solutions. They may have staff who are implementers, or may work with them. Technical staff are likely to prefer the technical tutorials, but may want to attend this one if they are at the very early stage of simply requiring background information. 3. At the end of the ...
The Windscale Inquiry: the public inquiry system on trial
International Nuclear Information System (INIS)
Garry, A.M.
1992-01-01
This thesis is concerned with the Windscale Inquiry of 1977 and its effect on the public inquiry system. It focusses both on the major influences of the Windscale Inquiry process, and on the participants, their aims, motivations, expectations and achievements. It provides the most detailed examination of the Inquiry to date and, as a result, uncovers aspects of the process while have not been explored previously. The central questions of the thesis are: Was the outcome of the Windscale Inquiry inevitable or could it have reached different conclusions? and did the Windscale Inquiry demonstrate that the public inquiry system could be used by a government to reach a decision which it favoured? The thesis argues that the outcome of the Windscale Inquiry was almost inevitable. In fact it was found that the Inspector had made up his mind in favour of oxide reprocessing before the Inquiry opened. However, this finding does not express fully the Inquiry's impact, because, as the thesis shows, the Inquiry became a mechanism which forced the nuclear industry and the government to explain, and substantially alter, some parts of their policies. The process of bringing the government and industry to account, did not alter the THORP decision, but it demonstrated that any subsequent inquiries could subject nuclear developments to searching criticism and investigation. Indeed it is suggested that the Windscale Inquiry made it impossible for subsequent Governments to proceed with nuclear expansion without subjecting them to the public inquiry process. Part I of the thesis examines the history and structure of the public Inquiry system and the relevant aspects of planning law. Part II describes the history of reprocessing and the themes which led to the public inquiry being established. Part III forms the most detailed part of the thesis and examines the Windscale Inquiry process focussing on the participants and the issues involved. (author)
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
Microelectromechanical reprogrammable logic device
Hafiz, M. A. A.; Kosuru, L.; Younis, M. I.
2016-01-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. PMID:27021295
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
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...... 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...
Microelectromechanical reprogrammable logic device
Hafiz, Md Abdullah Al
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.
Directory of Open Access Journals (Sweden)
William J. FRASER
2017-10-01
Full Text Available This article focuses on the dilemmas science educators face when having to introduce Pedagogical Content Knowledge (PCK to science student teachers in a predominantly paper-based distance learning environment. It draws on the premise that science education is bound by the Nature of Science (NOS, and by the Nature of Scientific Inquiry (NOSI. Furthermore, science educators’ own PCK, and the limitations of a predominantly paper-based distance education (DE model of delivery are challenges that they have to face when introducing PCK and authentic inquiry-based learning experiences. It deprives them and their students from optimal engagement in a science-oriented community of practice, and leaves little opportunity to establish flourishing communities of inquiry. This study carried out a contextual analysis of the tutorial material to assess the PCK that the student teachers had been exposed to. This comprised the ideas of a community of inquiry, a community of science, the conceptualization of PCK, scientific inquiry, and the 5E Instructional Model of the Biological Sciences Curriculum Study. The analysis confirmed that the lecturers had a good understanding of NOS, NOSI and science process skills, but found it difficult to design interventions to optimize the PCK development of students through communities of inquiry. Paper-based tutorials are ideal to share theory, policies and practices, but fail to monitor the engagement of learners in communities of inquiry. The article concludes with a number of suggestions to address the apparent lack of impact power of the paper-based mode of delivery, specifically in relation to inquiry-based teaching and learning (IBTL.
THRESHOLD LOGIC IN ARTIFICIAL INTELLIGENCE
COMPUTER LOGIC, ARTIFICIAL INTELLIGENCE , BIONICS, GEOMETRY, INPUT OUTPUT DEVICES, LINEAR PROGRAMMING, MATHEMATICAL LOGIC, MATHEMATICAL PREDICTION, NETWORKS, PATTERN RECOGNITION, PROBABILITY, SWITCHING CIRCUITS, SYNTHESIS
International Nuclear Information System (INIS)
Mittelstaedt, P.
1983-01-01
on the basis of the well-known quantum logic and quantum probability a formal language of relativistic quantum physics is developed. This language incorporates quantum logical as well as relativistic restrictions. It is shown that relativity imposes serious restrictions on the validity regions of propositions in space-time. By an additional postulate this relativistic quantum logic can be made consistent. The results of this paper are derived exclusively within the formal quantum language; they are, however, in accordance with well-known facts of relativistic quantum physics in Hilbert space. (author)
International Nuclear Information System (INIS)
Finkelstein, D.
1987-01-01
The von Neumann quantum logic lacks two basic symmetries of classical logic, that between sets and classes, and that between lower and higher order predicates. Similarly, the structural parallel between the set algebra and linear algebra of Grassmann and Peano was left incomplete by them in two respects. In this work a linear algebra is constructed that completes this correspondence and is interpreted as a new quantum logic that restores these invariances, and as a quantum set theory. It applies to experiments with coherent quantum phase relations between the quantum and the apparatus. The quantum set theory is applied to model a Lorentz-invariant quantum time-space complex
Logical inference and evaluation
International Nuclear Information System (INIS)
Perey, F.G.
1981-01-01
Most methodologies of evaluation currently used are based upon the theory of statistical inference. It is generally perceived that this theory is not capable of dealing satisfactorily with what are called systematic errors. Theories of logical inference should be capable of treating all of the information available, including that not involving frequency data. A theory of logical inference is presented as an extension of deductive logic via the concept of plausibility and the application of group theory. Some conclusions, based upon the application of this theory to evaluation of data, are also given
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...
International Nuclear Information System (INIS)
Bialkowski, J.; Moszynski, M.; Zagorski, A.
1981-01-01
The logic diagram principle of operation and some details of the design of the multiplicity logic unit are presented. This unit was specially designed to fulfil the requirements of a multidetector arrangement for gamma-ray multiplicity measurements. The unit is equipped with 16 inputs controlled by a common coincidence gate. It delivers a linear output pulse with the height proportional to the multiplicity of coincidences and logic pulses corresponding to 0, 1, ... up to >= 5-fold coincidences. These last outputs are used to steer the routing unit working with the multichannel analyser. (orig.)
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...
International Nuclear Information System (INIS)
Robertson, J.A.L.
1993-02-01
Our choice of energy sources has important consequences for the economy and the environment. Nuclear energy is a controversial energy source, subject to much public debate. Most individuals find it difficult to decide between conflicting claims and allegations in a variety of technical subjects. Under these circumstances, knowledge of various relevant inquiries can be helpful. This publication summarizes the composition and major findings of more than thirty nuclear energy inquiries. Most of the these are Canadian, but others are included where they have relevance. The survey shows that, contrary to some claims, virtually every aspect of nuclear energy has been subject to detailed scrutiny. The inquiries' reports include many recommendations on how nuclear energy can be exploited safely, but none rejects it as an acceptable energy source when needed. (Author) 38 refs
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.
Medical image reconstruction. A conceptual tutorial
International Nuclear Information System (INIS)
Zeng, Gengsheng Lawrence
2010-01-01
''Medical Image Reconstruction: A Conceptual Tutorial'' introduces the classical and modern image reconstruction technologies, such as two-dimensional (2D) parallel-beam and fan-beam imaging, three-dimensional (3D) parallel ray, parallel plane, and cone-beam imaging. This book presents both analytical and iterative methods of these technologies and their applications in X-ray CT (computed tomography), SPECT (single photon emission computed tomography), PET (positron emission tomography), and MRI (magnetic resonance imaging). Contemporary research results in exact region-of-interest (ROI) reconstruction with truncated projections, Katsevich's cone-beam filtered backprojection algorithm, and reconstruction with highly undersampled data with l 0 -minimization are also included. (orig.)
Network Analysis on Attitudes: A Brief Tutorial.
Dalege, Jonas; Borsboom, Denny; van Harreveld, Frenk; van der Maas, Han L J
2017-07-01
In this article, we provide a brief tutorial on the estimation, analysis, and simulation on attitude networks using the programming language R. We first discuss what a network is and subsequently show how one can estimate a regularized network on typical attitude data. For this, we use open-access data on the attitudes toward Barack Obama during the 2012 American presidential election. Second, we show how one can calculate standard network measures such as community structure, centrality, and connectivity on this estimated attitude network. Third, we show how one can simulate from an estimated attitude network to derive predictions from attitude networks. By this, we highlight that network theory provides a framework for both testing and developing formalized hypotheses on attitudes and related core social psychological constructs.
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...
Experimental design in chemistry: A tutorial.
Leardi, Riccardo
2009-10-12
In this tutorial the main concepts and applications of experimental design in chemistry will be explained. Unfortunately, nowadays experimental design is not as known and applied as it should be, and many papers can be found in which the "optimization" of a procedure is performed one variable at a time. Goal of this paper is to show the real advantages in terms of reduced experimental effort and of increased quality of information that can be obtained if this approach is followed. To do that, three real examples will be shown. Rather than on the mathematical aspects, this paper will focus on the mental attitude required by experimental design. The readers being interested to deepen their knowledge of the mathematical and algorithmical part can find very good books and tutorials in the references [G.E.P. Box, W.G. Hunter, J.S. Hunter, Statistics for Experimenters: An Introduction to Design, Data Analysis, and Model Building, John Wiley & Sons, New York, 1978; R. Brereton, Chemometrics: Data Analysis for the Laboratory and Chemical Plant, John Wiley & Sons, New York, 1978; R. Carlson, J.E. Carlson, Design and Optimization in Organic Synthesis: Second Revised and Enlarged Edition, in: Data Handling in Science and Technology, vol. 24, Elsevier, Amsterdam, 2005; J.A. Cornell, Experiments with Mixtures: Designs, Models and the Analysis of Mixture Data, in: Series in Probability and Statistics, John Wiley & Sons, New York, 1991; R.E. Bruns, I.S. Scarminio, B. de Barros Neto, Statistical Design-Chemometrics, in: Data Handling in Science and Technology, vol. 25, Elsevier, Amsterdam, 2006; D.C. Montgomery, Design and Analysis of Experiments, 7th edition, John Wiley & Sons, Inc., 2009; T. Lundstedt, E. Seifert, L. Abramo, B. Thelin, A. Nyström, J. Pettersen, R. Bergman, Chemolab 42 (1998) 3; Y. Vander Heyden, LC-GC Europe 19 (9) (2006) 469].
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…
Writing learning cases for an information literacy tutorial
Gunhild Austrheim
2010-01-01
The research and writing processes are often hidden mysteries to our students. A key point in the online tutorial Search and Write (Søk and Skriv) has been to supply our students with tools to handle these processes. Learning cases embedded in the tutorial allow us to demonstrate a variety of working techniques and to better cater for a diverse student population. The tutorial can be used as an independent resource for students and as a teaching aid for both library sessions on inform...
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....
International Nuclear Information System (INIS)
Khitun, Alexander; Bao Mingqiang; Wang, Kang L
2010-01-01
We describe and analyse possible approaches to magnonic logic circuits and basic elements required for circuit construction. A distinctive feature of the magnonic circuitry is that information is transmitted by spin waves propagating in the magnetic waveguides without the use of electric current. The latter makes it possible to exploit spin wave phenomena for more efficient data transfer and enhanced logic functionality. We describe possible schemes for general computing and special task data processing. The functional throughput of the magnonic logic gates is estimated and compared with the conventional transistor-based approach. Magnonic logic circuits allow scaling down to the deep submicrometre range and THz frequency operation. The scaling is in favour of the magnonic circuits offering a significant functional advantage over the traditional approach. The disadvantages and problems of the spin wave devices are also discussed.
Query 3; A Data Base Inquiry System Description and User’s Tutorials.
1980-03-01
since Query 3 exists on the ARPANET. These references include: Defense Communications Agency Report NIC 45601, ARPANET Resource Handbook, October 1978...34 T"abular ok:m dIR " biddle dale england fox gridley halsey harry e. yarnell horne josephus daniels jouett leahy reeves richmond k. turner sterett...the terminal, "dwight d. eise... nimitz ainsworth fox reeves valdez dale biddle miller pharris richard e. byrd texas conygham semmes goldsborouqh query
Characterization of quantum logics
International Nuclear Information System (INIS)
Lahti, P.J.
1980-01-01
The quantum logic approach to axiomatic quantum mechanics is used to analyze the conceptual foundations of the traditional quantum theory. The universal quantum of action h>0 is incorporated into the theory by introducing the uncertainty principle, the complementarity principle, and the superposition principle into the framework. A characterization of those quantum logics (L,S) which may provide quantum descriptions is then given. (author)
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....
Extending Value Logic Thinking to Value Logic Portfolios
DEFF Research Database (Denmark)
Andersen, Poul Houman; Ritter, Thomas
2014-01-01
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...
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....
Modern logic and quantum mechanics
International Nuclear Information System (INIS)
Garden, R.W.
1984-01-01
The book applies the methods of modern logic and probabilities to ''interpreting'' quantum mechanics. The subject is described and discussed under the chapter headings: classical and quantum mechanics, modern logic, the propositional logic of mechanics, states and measurement in mechanics, the traditional analysis of probabilities, the probabilities of mechanics and the model logic of predictions. (U.K.)
Semantic theory for logic programming
Energy Technology Data Exchange (ETDEWEB)
Brown, F M
1981-01-01
The author axiomatizes a number of meta theoretic concepts which have been used in logic programming, including: meaning, logical truth, nonentailment, assertion and erasure, thus showing that these concepts are logical in nature and need not be defined as they have previously been defined in terms of the operations of any particular interpreter for logic programs. 10 references.
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...
Generation of Tutorial Dialogues: Discourse Strategies for Active Learning
National Research Council Canada - National Science Library
Evans, Martha
1998-01-01
With the support of the Cognitive Science Program of ONR, we are developing the capability to generate complex natural language tutorial dialogues for an intelligent tutoring system designed to help...
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.
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 (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.
Medical imaging informatics simulators: a tutorial.
Huang, H K; Deshpande, Ruchi; Documet, Jorge; Le, Anh H; Lee, Jasper; Ma, Kevin; Liu, Brent J
2014-05-01
A medical imaging informatics infrastructure (MIII) platform is an organized method of selecting tools and synthesizing data from HIS/RIS/PACS/ePR systems with the aim of developing an imaging-based diagnosis or treatment system. Evaluation and analysis of these systems can be made more efficient by designing and implementing imaging informatics simulators. This tutorial introduces the MIII platform and provides the definition of treatment/diagnosis systems, while primarily focusing on the development of the related simulators. A medical imaging informatics (MII) simulator in this context is defined as a system integration of many selected imaging and data components from the MIII platform and clinical treatment protocols, which can be used to simulate patient workflow and data flow starting from diagnostic procedures to the completion of treatment. In these processes, DICOM and HL-7 standards, IHE workflow profiles, and Web-based tools are emphasized. From the information collected in the database of a specific simulator, evidence-based medicine can be hypothesized to choose and integrate optimal clinical decision support components. Other relevant, selected clinical resources in addition to data and tools from the HIS/RIS/PACS and ePRs platform may also be tailored to develop the simulator. These resources can include image content indexing, 3D rendering with visualization, data grid and cloud computing, computer-aided diagnosis (CAD) methods, specialized image-assisted surgical, and radiation therapy technologies. Five simulators will be discussed in this tutorial. The PACS-ePR simulator with image distribution is the cradle of the other simulators. It supplies the necessary PACS-based ingredients and data security for the development of four other simulators: the data grid simulator for molecular imaging, CAD-PACS, radiation therapy simulator, and image-assisted surgery simulator. The purpose and benefits of each simulator with respect to its clinical relevance
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.
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.
Areces, Carlos; Hoffmann, Guillaume; Denis, Alexandre
We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how this logic has been previously investigated under different guises. We show that the language is related to graded modalities and to hybrid logics. We illustrate a possible application of the language to the treatment of plural objects and queries in natural language. We investigate the expressive power of this logic via bisimulations, discuss the complexity of its satisfiability problem, define a new reasoning task that retrieves the cardinality bound of the extension of a given input formula, and provide an algorithm to solve it.
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.
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...
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...
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 exponentially distributed random variables that characterize the duration of the labeled transitions of a CMP. In this paper we present weak and strong complete axiomatizations for CML and prove a series of metaproperties, including the finite model property and the construction of canonical models. CML...... 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...
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...
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.
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.
Research Notes ~ Electronic Tutorials: Indonesian Experience
Directory of Open Access Journals (Sweden)
Tian Belawati
2002-04-01
Full Text Available As in other developing nations, important concerns surrounding education in Indonesia involve two issues: quantity versus quality. Quality concerns have now been somewhat addressed by the establishment of the Indonesian Open Learning University (Universitas Terbuka in 1984. The concern for quality, however, has not yet been completely resolved. Learning support, believed to be key for achieving good quality distance education, has been limited. This paper presents the results of two pilot projects that examined tutorials provided via Internet and Fax-Internet technologies. It is a report that also shows that the Universitas Terbuka is faced with both visible and invisible challenges. Visible challenges include limitations in the availability of technology infrastructure and issues of inadequate access, while invisible challenges include the readiness of Indonesian people to adopt and take advantage of new technology for educational purposes. Despite the results of the pilot project, it is suggested that Universitas Terbuka should continue to utilize Internet and Fax-Internet as two of its communication channels with students.
Low temperature plasma biomedicine: A tutorial review
International Nuclear Information System (INIS)
Graves, David B.
2014-01-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
Ambient ionization mass spectrometry: A tutorial
International Nuclear Information System (INIS)
Huang, Min-Zong; Cheng, Sy-Chi; Cho, Yi-Tzu; Shiea, Jentaie
2011-01-01
Highlights: → Ambient ionization technique allows the direct analysis of sample surfaces with little or no sample pretreatment. → We sort ambient ionization techniques into three main analytical strategies, direct ionization, direct desorption/ionization, and two-step ionization. → 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.
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.
Tutorial: Terahertz beamforming, from concepts to realizations
Headland, Daniel; Monnai, Yasuaki; Abbott, Derek; Fumeaux, Christophe; Withayachumnankul, Withawat
2018-05-01
The terahertz range possesses significant untapped potential for applications including high-volume wireless communications, noninvasive medical imaging, sensing, and safe security screening. However, due to the unique characteristics and constraints of terahertz waves, the vast majority of these applications are entirely dependent upon the availability of beam control techniques. Thus, the development of advanced terahertz-range beam control techniques yields a range of useful and unparalleled applications. This article provides an overview and tutorial on terahertz beam control. The underlying principles of wavefront engineering include array antenna theory and diffraction optics, which are drawn from the neighboring microwave and optical regimes, respectively. As both principles are applicable across the electromagnetic spectrum, they are reconciled in this overview. This provides a useful foundation for investigations into beam control in the terahertz range, which lies between microwaves and infrared light. Thereafter, noteworthy experimental demonstrations of beam control in the terahertz range are discussed, and these include geometric optics, phased array devices, leaky-wave antennas, reflectarrays, and transmitarrays. These techniques are compared and contrasted for their suitability in applications of terahertz waves.
Iterative Decoding of Concatenated Codes: A Tutorial
Directory of Open Access Journals (Sweden)
Phillip A. Regalia
2005-05-01
Full Text Available The turbo decoding algorithm of a decade ago constituted a milestone in error-correction coding for digital communications, and has inspired extensions to generalized receiver topologies, including turbo equalization, turbo synchronization, and turbo CDMA, among others. Despite an accrued understanding of iterative decoding over the years, the Ã¢Â€Âœturbo principleÃ¢Â€Â remains elusive to master analytically, thereby inciting interest from researchers outside the communications domain. In this spirit, we develop a tutorial presentation of iterative decoding for parallel and serial concatenated codes, in terms hopefully accessible to a broader audience. We motivate iterative decoding as a computationally tractable attempt to approach maximum-likelihood decoding, and characterize fixed points in terms of a Ã¢Â€ÂœconsensusÃ¢Â€Â property between constituent decoders. We review how the decoding algorithm for both parallel and serial concatenated codes coincides with an alternating projection algorithm, which allows one to identify conditions under which the algorithm indeed converges to a maximum-likelihood solution, in terms of particular likelihood functions factoring into the product of their marginals. The presentation emphasizes a common framework applicable to both parallel and serial concatenated codes.
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.
Claude Ziad Bayeh
2015-01-01
The “Manual Logic Controller” also called MLC, is an electronic circuit invented and designed by the author in 2008, in order to replace the well known PLC (Programmable Logic Controller) in many applications for its advantages and its low cost of fabrication. The function of the MLC is somewhat similar to the well known PLC, but instead of doing it by inserting a written program into the PLC using a computer or specific software inside the PLC, it will be manually programmed in a manner to h...
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
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
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....
Energy Technology Data Exchange (ETDEWEB)
Yun, Gil Jung; Yang, Hong Young
2011-03-15
This book is about digital logic circuit test, which lists the digital basic theory, basic gate like and, or And Not gate, NAND/NOR gate such as NAND gate, NOR gate, AND and OR, logic function, EX-OR gate, adder and subtractor, decoder and encoder, multiplexer, demultiplexer, flip-flop, counter such as up/down counter modulus N counter and Reset type counter, shift register, D/A and A/D converter and two supplements list of using components and TTL manual and CMOS manual.
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
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
Programmable Array Logic Design
International Nuclear Information System (INIS)
Demon Handoyo; Djen Djen Djainal
2007-01-01
Good digital circuit design that part of a complex system, often becoming a separate problem. To produce finishing design according to wanted performance is often given on to considerations which each other confuse, hence thereby analyse optimization become important in this case. To realization is made design logic program, the first are determined global diagram block, then are decided contents of these block diagram, and then determined its interconnection in the form of logic expression, continued with election of component. These steps are done to be obtained the design with low price, easy in its interconnection, minimal volume, low power and certainty god work. (author)
DEFF Research Database (Denmark)
Moutsios, Stavros
of self‐reflexivity and self-questioning in the Greek polis gave also rise to the genuine interest in the institutions of the cultural ‘other’. Impartiality in the study of the others’ institutions started in Greece and it was closely associated with the signification that physis (nature) should......The paper explores the origins of comparative studies, which as it argues are located in Ancient Greece. Greece is not only the place where the school was born, but it is also there where the interest in and inquiry of the institutions of other societies, including education, emerged. The rise...... to know better their own society through comparison. Cross-cultural examination in this regard informed further the Greeks’ self-reflexivity. By going through a set of historical sources and contemporary literature, the paper will elaborate on the emergence of cross-cultural and comparative inquiry...
Herodotou, Christothea; Sharples, Mike; Scanlon, Eileen
2017-01-01
The term ‘citizen inquiry’ was coined to describe ways that members of the public can learn by initiating or joining shared inquiry-led scientific investigations (Sharples et al., 2013). It merges learning through scientific investigation with mass collaborative participation exemplified in citizen science activities, altering the relationship most people have with research from being passive recipients to becoming actively engaged, and the relationship between scholarship and public understa...
Conlin, Luke D.
Collaborative inquiry learning environments, such as The Tutorials in Physics Sensemaking, are designed to provide students with opportunities to partake in the authentic disciplinary practices of argumentation and sensemaking. Through these practices, groups of students in tutorial can build shared conceptual understandings of the mechanisms behind physical phenomena. In order to do so, they must also build a shared epistemological understanding of what they are doing together, such that their activity includes collaboratively making sense of mechanisms. Previous work (Conlin, Gupta, Scherr, & Hammer, 2007; Scherr & Hammer, 2009) has demonstrated that tutorial students do not settle upon only one way of understanding their activity together, but instead build multiple shared ways of understanding, or framing (Scherr & Hammer, 2009; Tannen, 1993a), their activity. I build upon this work by substantiating a preliminary finding that one of these shared ways of framing corresponds with increased evidence of the students' collaboratively making sense of physical mechanisms. What previous research has not yet addressed is how the students come to understand their activity as including collaborative sensemaking discussions in the first place, and how that understanding develops over the course of the semester. In this dissertation, I address both of these questions through an in-depth video analysis of three groups' discussions throughout the semester. To build shared understandings through scientific argumentation and collaborative sensemaking, the students need to continually make repairs of each other's understanding, but this comes with the risk of affective damage that can shut down further sensemaking discussions. By analyzing the discourse of the three groups' discussions throughout the semester, I show how each group is able to manage this essential tension as they each build and maintain a safe space to sensemake together. I find that the three groups differ in
Quantum logics with existence property
International Nuclear Information System (INIS)
Schindler, C.
1991-01-01
A quantum logic (σ-orthocomplete orthomodular poset L with a convex, unital, and separating set Δ of states) is said to have the existence property if the expectation functionals on lin(Δ) associated with the bounded observables of L form a vector space. Classical quantum logics as well as the Hilbert space logics of traditional quantum mechanics have this property. The author shows that, if a quantum logic satisfies certain conditions in addition to having property E, then the number of its blocks (maximal classical subsystems) must either be one (classical logics) or uncountable (as in Hilbert space logics)
GOAL Agents Instantiate Intention Logic
Hindriks, Koen; van der Hoek, Wiebe
2008-01-01
It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used t...
Querying Natural Logic Knowledge Bases
DEFF Research Database (Denmark)
Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker
2017-01-01
This paper describes the principles of a system applying natural logic as a knowledge base language. Natural logics are regimented fragments of natural language employing high level inference rules. We advocate the use of natural logic for knowledge bases dealing with querying of classes...... in ontologies and class-relationships such as are common in life-science descriptions. The paper adopts a version of natural logic with recursive restrictive clauses such as relative clauses and adnominal prepositional phrases. It includes passive as well as active voice sentences. We outline a prototype...... for partial translation of natural language into natural logic, featuring further querying and conceptual path finding in natural logic knowledge bases....
Some relationships between logic programming and multiple-valued logic
International Nuclear Information System (INIS)
Rine, D.C.
1986-01-01
There have been suggestions in the artificial intelligence literature that investigations into relationships between logic programming and multiple-valued logic may be helpful. This paper presents some of these relationships through equivalent algebraic evaluations
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...
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...
Klev, Ansten Morch
2014-01-01
The notions of category and type are here studied through the lens of logical syntax: Aristotle's as well as Kant's categories through the traditional form of proposition `S is P', and modern doctrines of type through the Fregean form of proposition `F(a)', function applied to argument. Topics
Structures for Epistemic Logic
Bezhanishvili, N.; Hoek, W. van der
2013-01-01
Epistemic modal logic in a narrow sense studies and formalises reasoning about knowledge. In a wider sense, it gives a formal account of the informational attitude that agents may have, and covers notions like knowledge, belief, uncertainty, and hence incomplete or partial information. As is so
DEFF Research Database (Denmark)
Øhrstrøm, Peter
2009-01-01
's notion of branching time is analysed. It is argued that Prior can be criticized for identifying 'plain future'. Finally, Prior's four grades of tense-logical involvement are introduced and discussed. It is argued that the third grade is the most attractive form a philosophical point of view....
Expressivist Perspective on Logicality
Czech Academy of Sciences Publication Activity Database
Arazim, Pavel
2017-01-01
Roč. 11, č. 4 (2017), s. 409-419 ISSN 1661-8297 R&D Projects: GA ČR(CZ) GA17-15645S Institutional support: RVO:67985955 Keywords : logical constant * expressivism * topic-neutrality * proof- theory * conservativity Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology
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...
Czech Academy of Sciences Publication Activity Database
Klev, Ansten
2017-01-01
Roč. 25, č. 3 (2017), s. 341-368 ISSN 0031-8019 Institutional support: RVO:67985955 Keywords : Philosophy of mathematics * logicism * Richard Dedekind Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology Impact factor: 0.419, year: 2016
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...
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.
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...
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.
Foundations of mathematical logic
Curry, Haskell B
2010-01-01
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.
Czech Academy of Sciences Publication Activity Database
Svoboda, Vladimír; Peregrin, Jaroslav
2016-01-01
Roč. 30, č. 3 (2016), s. 263-287 ISSN 0920-427X R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : argumentation * logical form * incorrect argument * correct arguments Subject RIV: AA - Philosophy ; Religion Impact factor: 0.689, year: 2016
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
Parametric Linear Dynamic Logic
Directory of Open Access Journals (Sweden)
Peter Faymonville
2014-08-01
Full Text Available We introduce Parametric Linear Dynamic Logic (PLDL, which extends Linear Dynamic Logic (LDL by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL that is able to express all ω-regular specifications while still maintaining many of LTL's desirable properties like an intuitive syntax and a translation into non-deterministic Büchi automata of exponential size. But LDL lacks capabilities to express timing constraints. By adding parameterized operators to LDL, we obtain a logic that is able to express all ω-regular properties and that subsumes parameterized extensions of LTL like Parametric LTL and PROMPT-LTL. Our main technical contribution is a translation of PLDL formulas into non-deterministic Büchi word automata of exponential size via alternating automata. This yields a PSPACE model checking algorithm and a realizability algorithm with doubly-exponential running time. Furthermore, we give tight upper and lower bounds on optimal parameter values for both problems. These results show that PLDL model checking and realizability are not harder than LTL model checking and realizability.
Temporal logic motion planning
CSIR Research Space (South Africa)
Seotsanyana, M
2010-01-01
Full Text Available In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain...
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...
Czech Academy of Sciences Publication Activity Database
Peregrin, Jaroslav
2010-01-01
Roč. 4, č. 2 (2010), s. 207-223 ISSN 1661-8297 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional research plan: CEZ:AV0Z9009908 Keywords : logic * natural selection * modus potens * inferentialism Subject RIV: AA - Philosophy ; Religion
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.
Temporalizing Epistemic Default Logic
van der Hoek, Wiebe; Meyer, John Jules; Treur, Jan
1998-01-01
We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates
Logic Programming with Requests
De Schreye, Danny; Etalle, Sandro; van Raamsdonk, Femke
1999-01-01
We propose an extension of logic programming where the user can specify, together with the initial query, the information he is interested in by means of a request. This allows one to extract a result from an incomplete computation, such as the prefix of an infinite derivation. The classical
Logical Characterisation of Ontology Construction using Fuzzy Description Logics
DEFF Research Database (Denmark)
Badie, Farshad; Götzsche, Hans
had the extension of ontologies with Fuzzy Logic capabilities which plan to make proper backgrounds for ontology driven reasoning and argumentation on vague and imprecise domains. This presentation conceptualises learning from fuzzy classes using the Inductive Logic Programming framework. Then......, employs Description Logics in characterising and analysing fuzzy statements. And finally, provides a conceptual framework describing fuzzy concept learning in ontologies using the Inductive Logic Programming....
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...
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.
Tutorial: Asteroseismic Data Analysis with DIAMONDS
Corsaro, Enrico
Since the advent of the space-based photometric missions such as CoRoT and NASA's Kepler, asteroseismology has acquired a central role in our understanding about stellar physics. The Kepler spacecraft, especially, is still releasing excellent photometric observations that contain a large amount of information not yet investigated. For exploiting the full potential of these data, sophisticated and robust analysis tools are now essential, so that further constraining of stellar structure and evolutionary models can be obtained. In addition, extracting detailed asteroseismic properties for many stars can yield new insights on their correlations to fundamental stellar properties and dynamics. After a brief introduction to the Bayesian notion of probability, I describe the code Diamonds for Bayesian parameter estimation and model comparison by means of the nested sampling Monte Carlo (NSMC) algorithm. NSMC constitutes an efficient and powerful method, in replacement to standard Markov chain Monte Carlo, very suitable for high-dimensional and multimodal problems that are typical of detailed asteroseismic analyses, such as the fitting and mode identification of individual oscillation modes in stars (known as peak-bagging). Diamonds is able to provide robust results for statistical inferences involving tens of individual oscillation modes, while at the same time preserving a considerable computational efficiency for identifying the solution. In the tutorial, I will present the fitting of the stellar background signal and the peak-bagging analysis of the oscillation modes in a red-giant star, providing an example to use Bayesian evidence for assessing the peak significance of the fitted oscillation peaks.
Analysis of information security reliability: A tutorial
International Nuclear Information System (INIS)
Kondakci, Suleyman
2015-01-01
This article presents a concise reliability analysis of network security abstracted from stochastic modeling, reliability, and queuing theories. Network security analysis is composed of threats, their impacts, and recovery of the failed systems. A unique framework with a collection of the key reliability models is presented here to guide the determination of the system reliability based on the strength of malicious acts and performance of the recovery processes. A unique model, called Attack-obstacle model, is also proposed here for analyzing systems with immunity growth features. Most computer science curricula do not contain courses in reliability modeling applicable to different areas of computer engineering. Hence, the topic of reliability analysis is often too diffuse to most computer engineers and researchers dealing with network security. This work is thus aimed at shedding some light on this issue, which can be useful in identifying models, their assumptions and practical parameters for estimating the reliability of threatened systems and for assessing the performance of recovery facilities. It can also be useful for the classification of processes and states regarding the reliability of information systems. Systems with stochastic behaviors undergoing queue operations and random state transitions can also benefit from the approaches presented here. - Highlights: • A concise survey and tutorial in model-based reliability analysis applicable to information security. • A framework of key modeling approaches for assessing reliability of networked systems. • The framework facilitates quantitative risk assessment tasks guided by stochastic modeling and queuing theory. • Evaluation of approaches and models for modeling threats, failures, impacts, and recovery analysis of information systems
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.
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.
Quantum Logic and Quantum Reconstruction
Stairs, Allen
2015-01-01
Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.
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...
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....
Probabilistic logics and probabilistic networks
Haenni, Rolf; Wheeler, Gregory; Williamson, Jon; Andrews, Jill
2014-01-01
Probabilistic Logic and Probabilistic Networks presents a groundbreaking framework within which various approaches to probabilistic logic naturally fit. Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.
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 ...
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...
From Logical to Distributional Models
Directory of Open Access Journals (Sweden)
Anne Preller
2014-12-01
Full Text Available The paper relates two variants of semantic models for natural language, logical functional models and compositional distributional vector space models, by transferring the logic and reasoning from the logical to the distributional models. The geometrical operations of quantum logic are reformulated as algebraic operations on vectors. A map from functional models to vector space models makes it possible to compare the meaning of sentences word by word.
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 ...
Combining Paraconsistent Logic with Argumentation
Grooters, Diana; Prakken, Hendrik
2014-01-01
One tradition in the logical study of argumentation is to allow for arguments that combine strict and defeasible inference rules, and to derive the strict inference rules from a logic at least as strong as classical logic. An unsolved problem in this tradition is how the trivialising effect of the
Lectures on Logic and Computation
DEFF Research Database (Denmark)
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers fo...
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...
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 log...
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
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
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 ...
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 ...
DEFF Research Database (Denmark)
Friche, Nanna; Normann Andersen, Vibeke
unintended consequences. Theoretically, we draw on different management and governance theories, e.g. performance management. Empirically, the study is based on surveys to teachers and students at all Danish vocational colleges and interviews with school leaders, teachers and students at six colleges (cases...... 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......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...
Modern Logical Frameworks Design
DEFF Research Database (Denmark)
Murawska, Agata Anna
2017-01-01
lack support for reasoning about, or programming with, the mechanised systems. Our main motivation is to eventually make it possible to model and reason about complex concurrent systems and protocols. No matter the application, be it the development of a logic for multiparty session types...... or a cryptographic protocol used in a voting system, we need the ability to model and reason about both the building blocks of these systems and the intricate connections between them. To this end, this dissertation is an investigation into LF-based formalisms that might help address the aforementioned issues. We...... design and provide the meta-theory of two new frameworks, HyLF and Lincx. The former aims to extend the expressiveness of LF to include proof irrelevance and some user-defined behaviours, using ideas from hybrid logics. The latter is a showcase for an easier to implement framework, while also allowing...
Competing Logics and Healthcare
Saks, Mike
2018-01-01
This paper offers a short commentary on the editorial by Mannion and Exworthy. The paper highlights the positive insights offered by their analysis into the tensions between the competing institutional logics of standardization and customization in healthcare, in part manifested in the conflict between managers and professionals, and endorses the plea of the authors for further research in this field. However, the editorial is criticized for its lack of a strong societal reference point, the comparative absence of focus on hybridization, and its failure to highlight structural factors impinging on the opposing logics in a broader neo-institutional framework. With reference to the Procrustean metaphor, it is argued that greater stress should be placed on the healthcare user in future health policy. Finally, the case of complementary and alternative medicine is set out which – while not explicitly mentioned in the editorial – most effectively concretizes the tensions at the heart of this analysis of healthcare. PMID:29626406
Conventions and Institutional Logics
DEFF Research Database (Denmark)
Westenholz, Ann
Two theoretical approaches – Conventions and Institutional Logics – are brought together and the similarities and differences between the two are explored. It is not the intention to combine the approaches, but I would like to open both ‘boxes’ and make them available to each other with the purpose...... of creating a space for dialog. Both approaches were developed in the mid-1980s as a reaction to rational-choice economic theory and collectivistic sociological theory. These two theories were oversimplifying social life as being founded either in actor-micro level analyses or in structure-macro level...... analyses. The theoretical quest of both Conventions and Institutional Logics has been to understand the increasing indeterminacy, uncertainty and ambiguity in people’s lives where a sense of reality, of value, of moral, of feelings is not fixed. Both approaches have created new theoretical insights...
Effectiveness of Tutorials for Introductory Physics in Argentinean high schools
Directory of Open Access Journals (Sweden)
J. Benegas
2014-03-01
Full Text Available 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 (<20% shown before instruction, a result compatible with the very low level of 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.
Directory of Open Access Journals (Sweden)
Douglas Walton
2015-12-01
Full Text Available This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.
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...... 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....
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....
Stereotypical Reasoning: Logical Properties
Lehmann, Daniel
2002-01-01
Stereotypical reasoning assumes that the situation at hand is one of a kind and that it enjoys the properties generally associated with that kind of situation. It is one of the most basic forms of nonmonotonic reasoning. A formal model for stereotypical reasoning is proposed and the logical properties of this form of reasoning are studied. Stereotypical reasoning is shown to be cumulative under weak assumptions.
International Nuclear Information System (INIS)
Mukhanov, O.A.; Rylov, S.V.; Semenov, V.K.; Vyshenskii, S.V.
1989-01-01
Several ways of local timing of the Josephson-junction RSFQ (Rapid Single Flux Quantum) logic elements are proposed, and their peculiarities are discussed. Several examples of serial and parallel pipelined arithmetic blocks using various types of timing are suggested and their possible performance is discussed. Serial devices enable one to perform n-bit functions relatively slowly but using integrated circuits of a moderate integration scale, while parallel pipelined devices are more hardware-wasteful but promise extremely high productivity
1981-01-01
Rapport, Groupe Intelligence Pasero, R., Artificielle , Universite d’Aix-Marseille, Roussel, P. Luminy, France, 1973. [Kowalski 1974] Kowalski, R. A...THIS PAGZ(Whan Doee Es tMord) Item 20 (Cont’d) ------ work in the area of artificial intelligence and those used in general program development into a...logic programming with LISP for implementing intelligent data base query systems. Continued developments will allow for enhancements to be made to the
Magnetoresistive logic and biochip
International Nuclear Information System (INIS)
Brueckl, Hubert; Brzeska, Monika; Brinkmann, Dirk; Schotter, J.Joerg; Reiss, Guenter; Schepper, Willi; Kamp, P.-B.; Becker, Anke
2004-01-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
Computational Inquiry in Introductory Statistics
Toews, Carl
2017-01-01
Inquiry-based pedagogies have a strong presence in proof-based undergraduate mathematics courses, but can be difficult to implement in courses that are large, procedural, or highly computational. An introductory course in statistics would thus seem an unlikely candidate for an inquiry-based approach, as these courses typically steer well clear of…
Inquiry and Digital Learning Centers
Pappas, Marjorie L.
2005-01-01
"Inquiry is an investigative process that engages students in answering questions, solving real world problems, confronting issues, or exploring personal interests" (Pappas and Tepe 2002, 27). Students who engage in inquiry learning need tools and resources that enable them to independently gather and use information. Scaffolding is important for…
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...... of enhancements are still required to make Carrier Ethernet ready for large scale deployments of reliable point-to-multipoint services. The tutorial highlights the necessary enhancements and shows possible solutions and directions towards reliable multicast. Explicit focus is on OAM for multicast, where...
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.
Tutorial on nuclear thermal propulsion safety for Mars
International Nuclear Information System (INIS)
Buden, D.
1992-01-01
Safety is the prime design requirement for nuclear thermal propulsion (NTP). It must be built in at the initiation of the design process. An understanding of safety concerns is fundamental to the development of nuclear rockets for manned missions to Mars and many other applications that will be enabled or greatly enhanced by the use of nuclear propulsion. To provide an understanding of the basic issues, a tutorial has been prepared. This tutorial covers a range of topics including safety requirements and approaches to meet these requirements, risk and safety analysis methodology, NERVA reliability and safety approach, and life cycle risk assessments
A Paraconsistent Higher Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen
2004-01-01
of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order...... 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...
International Nuclear Information System (INIS)
Clement, K.J.
1987-01-01
Opposition to nuclear energy facilities has increased considerably in Scotland and Germany within the past two decades. The statutory institutions which exist in each country to consider formal objections to such developments have important differences, as do the licensing or planning processes of which they form an integral part. In Britain, the initiation of judicial review following public inquiries is very rare, due to the limited grounds within which this would be possible. By contrast, there has been a very high referral of nuclear power station decisions to the administrative courts in Germany, but the number is now declining as cases are invariably found in favour of the developers. The comparative examination of case studies reveals that objectors' interests may best be served, in terms of achieving policy influence, by acting outside the restrictions of the statutory planning and legal systems. The Scottish public inquiry is revealed as the more flexible institution and one which allows a much greater degree of public participation. (author)
A test of the design of a video tutorial for software training
van der Meij, Jan; van der Meij, Hans
2015-01-01
The effectiveness of a video tutorial versus a paper-based tutorial for software training has yet to be established. Mixed outcomes from the empirical studies to date suggest that for a video tutorial to outperform its paper-based counterpart, the former should be crafted so that it addresses the
Captivate MenuBuilder: Creating an Online Tutorial for Teaching Software
Yelinek, Kathryn; Tarnowski, Lynn; Hannon, Patricia; Oliver, Susan
2008-01-01
In this article, the authors, students in an instructional technology graduate course, describe a process to create an online tutorial for teaching software. They created the tutorial for a cyber school's use. Five tutorial modules were linked together through one menu screen using the MenuBuilder feature in the Adobe Captivate program. The…
Audio-Tutorial Instruction: A Strategy For Teaching Introductory College Geology.
Fenner, Peter; Andrews, Ted F.
The rationale of audio-tutorial instruction is discussed, and the history and development of the audio-tutorial botany program at Purdue University is described. Audio-tutorial programs in geology at eleven colleges and one school are described, illustrating several ways in which programs have been developed and integrated into courses. Programs…
An example of using CASPER tutorials for teaching knowledge of firmware development for FPGAs
International Nuclear Information System (INIS)
Pollak, A.W.
2015-01-01
We present an example of using CASPER tutorials for teaching purposes in Summer Schools and Workshops with participants from a variety of different academic backgrounds. Using the tutorials for laboratory exercises at the INFIERI Summer School 2014, we showed that the flexible nature provided by these tutorials has the advantage of providing high quality laboratory exercises for participants independent of their prior knowledge
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…
Intelligent machines in the twenty-first century: foundations of inference and inquiry.
Knuth, Kevin H
2003-12-15
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
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.
Tutorial: Assessment and Analysis of Polysyllables in Young Children
Masso, Sarah; McLeod, Sharynne; Baker, Elise
2018-01-01
Purpose: Polysyllables, words of 3 or more syllables, represent almost 30% of words used in American English. The purpose of this tutorial is to support speech-language pathologists' (SLPs') assessment and analysis of polysyllables, extending the focus of published assessment tools that focus on sampling and analyzing children's segmental accuracy…
An Evaluation of a Biological Slide-Tutorial Program.
Chan, Gordon L.
Described is an auto-tutorial slide program for zoology students. A self-paced system was devised for observing the subject matter covered in the twelve study units of a zoology course. The post-testing evaluation revealed that students with lower grade point averages achieved scores comparable with students of higher grade point averages.…
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.
Communicating Big Data with the Public via Tutorials
Montgomery, Michele
2015-08-01
Although numerical models that researchers use to analyze large astronomy data sets may be easily found on NASA websites, tutorials on how to use these models and understanding the products of the models are lacking. Thus, communication with the public is ineffective. Where the public could easily engage with data and models to determine if their work and lives could be impacted, and if so, to plan accordingly, a lack of good tutorials typically results in the public waiting for a tweet, a post on Facebook, an announcement on a NASA webpage, an alert sent via text message or email, etc. An example is a solar flare or coronal mass ejection event that may impact GPS devices, the precision of which is heavily relied upon by several sectors of the public and military. To allow the public to engage in real time with solar data and NASA developed heliophysics software, we have developed tutorials. In this work, we present our tutorials made for NASA's Living With a Star Program on the such as Integrated Space Weather Analysis (ISWA) layout and the WSA-ENLIL-CONE Model to analyze a CME Evolution that occurred in 2010. We present our results and our analysis of the public's ability to understand the model's predictions of whether the event will impact Earth. By training the public to use the data and to understand model predictions, we turn passive recipients into engaged and self-supporting users of NASA data of space weather events.
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.
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…
A tutorial on Palm distributions for spatial point processes
DEFF Research Database (Denmark)
Coeurjolly, Jean-Francois; Møller, Jesper; Waagepetersen, Rasmus Plenge
2017-01-01
This tutorial provides an introduction to Palm distributions for spatial point processes. Initially, in the context of finite point processes, we give an explicit definition of Palm distributions in terms of their density functions. Then we review Palm distributions in the general case. Finally, we...
Tutorial Video Series: Using Stakeholder Outreach to Increase ...
The limited amount of toxicity data on thousands of chemicals found in consumer products has led to the development of research endeavors such as the U.S. EPA’s Toxicity Forecaster (ToxCast). ToxCast uses high-throughput screening technology to evaluate thousands of chemicals for potential toxicity. At the end of 2013, U.S. EPA released ToxCast chemical data on almost 2,000 chemicals through the interactive Chemical Safety for Sustainability (iCSS) Dashboard. The iCSS Dashboard provides public access to the high-throughput screening data that can be used to inform the evaluation of the safety of chemicals. U.S. EPA recognized early in the development of ToxCast that stakeholder outreach was needed in order to translate the complex scientific information featured in the iCSS Dashboard and data, with the goal of educating the diverse user community through targeted efforts to increase data usage and analysis. Through survey feedback and the request of stakeholders, a series of tutorial videos to demonstrate how to access and use the data has been planned, and the first video of the series has been released to guide data usage. This presentation will describe the video tutorial strategy including an overview of: 1) Stakeholder outreach goals and approach; 2) Planning, production, and dissemination of tutorial videos; 3) Overview of Survey Feedback; 4) Overview of tutorial video usage statistics and usage of the ToxCast data. This stakeholder-outreach approach
A Tutorial on the Cross-Entropy Method
de Boer, Pieter-Tjerk; Kroese, Dirk; Mannor, Shie; Rubinstein, Reuven Y.
The cross-entropy (CE) method is a new generic approach to combinatorial and multi-extremal optimization and rare event simulation. The purpose of this tutorial is to give a gentle introduction to the CE method. We present the CE methodology, the basic algorithm and its modiï¿½ï¿½?cations, and
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…
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…
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…
Tutorial : service-oriented architecture (SOA) development for serious games
Carvalho, M.B.; Hu, J.; Bellotti, F.; de Gloria, A.; Rauterberg, G.W.M.; Chorianopoulos, K.; Divitini, M.; Hauge, J.; Jaccheri, L.; Malaka, R.
2015-01-01
This tutorial aims to introduce the benefits of applying a service-oriented architecture (SOA) approach to serious games developers. For that end, we propose a hands-on session in which we will provide information on state-of-the-art services for serious games and guide developers in rethinking one
Benefits from Taking a Private Tutorial Course for Exam Preparation?
DEFF Research Database (Denmark)
la Cour, Lisbeth; Milhøj, Anders
course in order to perform well at the exam but still more than 50 % of a cohort signs up for the courses. Our data come from the administrative systems at Copenhagen Business School and they are merged with survey data on student satisfaction and tutorial participation. Based on simple regression...
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...
Engaging undergraduate nursing students in face-to-face tutorials.
Elder, Ruth L; Lewis, Peter A; Windsor, Carol A; Wheeler, Margaret; Forster, Elizabeth; Foster, Joanne; Chapman, Helen
2011-09-01
Chronic nursing shortages have placed increasing pressure on many nursing schools to recruit greater numbers of students with the consequence of larger class sizes. Larger class sizes have the potential to lead to student disengagement. This paper describes a case study that examined the strategies used by a group of nursing lecturers to engage students and to overcome passivity in a Bachelor of Nursing programme. A non-participant observer attended 20 tutorials to observe five academics deliver four tutorials each. Academics were interviewed both individually and as a group following the completion of all tutorial observations. All observations, field notes, interviews and focus groups were coded separately and major themes identified. From this analysis two broad categories emerged: getting students involved; and engagement as a struggle. Academics used a wide variety of techniques to interest and involve students. Additionally, academics desired an equal relationship with students. They believed that both they and the students had some power to influence the dynamics of tutorials and that neither party had ultimate power. The findings of this study serve to re-emphasise past literature which suggests that to engage students, the academics must also engage. Copyright © 2011 Elsevier Ltd. All rights reserved.
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…
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.
Instructional and regulative discourse in language tutorials: An ...
African Journals Online (AJOL)
The research is situated in the context of literature tutorials. To achieve this goal Bernstein's (1990; 1996) pedagogic discourse is employed, as it was used by Buzzelli and Johnston (2001). Keywords: language learning, learning process, teacher-student interaction, participation, potentially offensive views, pedagogic ...
An interactive tutorial on radiation protection for medical students
International Nuclear Information System (INIS)
Sendra-Portero, F.; Martinez-Morillo, M.
2003-01-01
The aim of this project is to develop an interactive tutorial designed for medical students training in radiation protection in order to use its definitive version in a collaborative group of medical schools. The contents of the tutorial matchers the outlines proposed by the EC guidelines on education and training in Radiation Protection for Medical exposures (RP118), for medical and dental schools. The tutorial is organised in virtual lectures, following a similar structure than the traditional lectures, slides and explanations. There is a central script for each theme with a forward-return interaction. Additionally, branches with deeper explanations (drawings, images, videos,...) are provided to the user. The tutorial is being developed on a set of power Point presentations, linked between them. The user can choose two ways sto launch each lecture, based either on spoken (audio) or written explanations. We present the initial version of a useful tool for pre-graduate training of general practitioners in Radiation Protection, which is a complementary tool for personally adapted computed-based education. Most of the contents can be easily adapted for other students of health related careers (i. e. nurses, technologists...) The use of multimedia tools has been recommended in the field of radiation protection, but developing these tools is time consuming and needs expertise in both, educative and multimedia resources. This projects takes part of more than a dozen multimedia projects on different radiology related subjects developed in our department. (Author) 6 refs
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
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.
Basavanagowda Nagabhushana, Nandeesh
2014-01-01
Brown plant hopper showed me the way into organic farming. In 2001, I started my practice with logic of legumes just to cut down the 45 percent expenses of my paddy on fertilizers, pesticides and herbicides. Later as I realized each and every plant carries it’s own nutrients, medicinal values and characters. Plants like millets, oil seeds, spices, di-cots, monocots and weeds all being used as a green manure. For all my agriculture problems and crop demands, I look for the answers only thro...
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....... 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....
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
Bright, Liam Kofi
2017-10-01
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 Elsevier Ltd. All rights reserved.
Flexible programmable logic module
Robertson, Perry J.; Hutchinson, Robert L.; Pierson, Lyndon G.
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.
Sizewell B: the anatomy of an inquiry
International Nuclear Information System (INIS)
O'Riordan, T.; Kemp, R.; Purdue, M.
1987-01-01
The Economic and Social Research Council has studied four major environmental public inquiries, including Sizewell-B. This report summarizes some of the observations of the Sizewell Inquiry Review Project which has been analyzing the context, content and conduct of the Sizewell-B Inquiry. Although public inquiries in Britain have an important function in building public trust in planning decisions where opinions are divided and independent advice is needed, one outcome of the Sizewell-B Inquiry may be a streamlining of the inquiry process, eg by prior examination of policy matters, leaving the Inquiry to consider specifically site-related matters only. (UK)
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
Writing as collaborative inquiry
DEFF Research Database (Denmark)
Frølunde, Lisbeth; Pedersen, Christina Hee; Novak, Martin
2015-01-01
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......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...... in the not-yet-known. Over the years, we have shared and analyzed personal stories about our collaborative experiences in an on-going reflective learning process. We draw on writing methodologies, including memory-work (Haug, Davies) and collaborative writing such as by Wyatt, Gale, Gannon & Davies. Our...
Design processes of a citizen inquiry community
Aristeidou, Maria; Scanlon, Eileen; Sharples, Mike
2017-01-01
As with other online communities, it is important to design elements of citizen inquiry projects that will attract and engage members. This chapter describes the process of designing an online community for citizen inquiry. It builds on design principles of inquiry learning, citizen inquiry and other online communities. The ‘Weather-it’ citizen inquiry community is intended to engage and support people in initiating and joining sustainable citizen-led investigations. The findings indicate som...
Superconducting digital logic amplifier
International Nuclear Information System (INIS)
Przybysz, J.X.
1989-01-01
This paper describes a superconducting digital logic amplifier for interfacing between a Josephson junction logic circuit having output current and a higher voltage semiconductor circuit input. The amplifier comprising: an input terminal for connection to a; an output terminal for connection to a semiconductor circuit input; an input, lower critical current, Josephson junction having first and second terminals; a first series string of at least three lower critical current Josephson junctions. The first series string being connected to the first terminal of the input Josephson junction such that the first series string is in series with the input Josephson junction to provide a series combination. The input terminal being connected to the first terminal of the input Josephson junction, and with the critical current of the lower critical current Josephson junctions of the input Josephson junction and the first series Josephson junctions being less than the output current of the low voltage Josephson junction circuit; a second series string of at least four higher critical current Josephson junctions. The second string being connected in parallel with the series combination to provide parallel strings having an upper common connection and a lower common connection. The lower common connection being connected to the second terminal of the input Josephson junction and the upper common connection being connected to the output terminal; and a pulsed DC current source connected the parallel strings at the upper common connection. The DC current source having a current at least equal to the critical current of the higher critical current Josephson junctions
Quantum logics and convex geometry
International Nuclear Information System (INIS)
Bunce, L.J.; Wright, J.D.M.
1985-01-01
The main result is a representation theorem which shows that, for a large class of quantum logics, a quantum logic, Q, is isomorphic to the lattice of projective faces in a suitable convex set K. As an application we extend our earlier results, which, subject to countability conditions, gave a geometric characterization of those quantum logics which are isomorphic to the projection lattice of a von Neumann algebra or a JBW-algebra. (orig.)
International Nuclear Information System (INIS)
Sambasivan, S. Ilango
2004-01-01
Full text : PFBR is provided with two independent, fast acting and diverse shutdown systems to detect any abnormalities and to initiate safety action. Each system consists of sensors, signal processing systems, logics, drive mechanisms and absorber rods. The absorber rods of the first system are Control and Safety Rods (CSR) and that of the second are called as Diverse Safety Rods (DSR). There are nine CSR and three DSR. While CSR are used for startup, control of reactor power, controlled shutdown and SCRAM, the DSR are used only for SCRAM. The respective drive mechanisms are called as CSRDM and DSRDM. Each of these two systems is capable of executing the shutdown satisfactorily with single failure criteria. Two independent safety logic systems based on diverse principles have been designed for the two shut down systems. The analog outputs of the sensors of Core Monitoring Systems comprising of reactor flux monitoring, core temperature monitoring, failed fuel detection and core flow monitoring systems are processed and converted into binary signals depending on their instantaneous values. Safety logic systems receive the binary signals from these core-monitoring systems and process them logically to protect the reactor against postulated initiating events. Neutronic and power to flow (P/Q) signals form the inputs to safety logic system-I and temperature signals are inputs to the safety logic system II. Failed fuel detection signals are processed by both the shut down systems. The two logic systems to actuate the safety rods are also based on two diverse designs and implemented with solid-state devices to meet all the requirements of safety systems. Safety logic system I that caters to neutronic and P/Q signals is designed around combinational logic and has an on-line test facility to detect struck at faults. The second logic system is based on dynamic logic and hence is inherently safe. This paper gives an overview of the two logic systems that have been
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.
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
Contextual logic for quantum systems
International Nuclear Information System (INIS)
Domenech, Graciela; Freytes, Hector
2005-01-01
In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from considering a sheaf over a topological space associated with the Boolean sublattices of the ortholattice of closed subspaces of the Hilbert space of the physical system. Different from standard quantum logics, the contextual logic maintains a distributive lattice structure and a good definition of implication as a residue of the conjunction
Tensor product of quantum logics
Pulmannová, Sylvia
1985-01-01
A quantum logic is the couple (L,M) where L is an orthomodular σ-lattice and M is a strong set of states on L. The Jauch-Piron property in the σ-form is also supposed for any state of M. A ``tensor product'' of quantum logics is defined. This definition is compared with the definition of a free orthodistributive product of orthomodular σ-lattices. The existence and uniqueness of the tensor product in special cases of Hilbert space quantum logics and one quantum and one classical logic are studied.
DEFF Research Database (Denmark)
A.N. Prior (1914-69) in the course of the 1950s and 1960s founded a new and revolutionary paradigm in philosophy and logic. Its most central feature is the preoccupation with time and the development of the logic of time. However, this was inseparably interwoven with fundamental questions about h...... human freedom, ethics, and existence. This remarkable integration of themes also embodies an original and in fact revolutionary conception of logic. The book series, Logic and Philosophy of Time, is dedicated to a deep investigation and also the further development of Prior’s paradigm. ...
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
DEFF Research Database (Denmark)
By blending historical research with current research, this collection (loosely inspired by themes from the work of Arthur Prior) demonstrates the importance of Prior's writings and helps us to gain a deeper understanding of time, its logic(s), and its language(s).......By blending historical research with current research, this collection (loosely inspired by themes from the work of Arthur Prior) demonstrates the importance of Prior's writings and helps us to gain a deeper understanding of time, its logic(s), and its language(s)....
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)
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
Writing learning cases for an information literacy tutorial
Directory of Open Access Journals (Sweden)
Gunhild Austrheim
2010-09-01
Full Text Available The research and writing processes are often hidden mysteries to our students. A key point in the online tutorial Search and Write (Søk and Skriv has been to supply our students with tools to handle these processes. Learning cases embedded in the tutorial allow us to demonstrate a variety of working techniques and to better cater for a diverse student population. The tutorial can be used as an independent resource for students and as a teaching aid for both library sessions on information literacy and for faculty-led sessions on academic writing. Our tutorial is available in Norwegian and in English and thereby the tutorial can be used with both local and international students. An online tutorial is aimed at all students and therefore the information literacy content is of a general kind. The pedagogical foundation for the Search and Write tutorial is in contextual learning. Adding context to our general content has been important to us and we decided to develop learning cases for this purpose. In our online tutorial we have developed three sample student blogs, Kuhlthau’s information search process functions as a template in structuring the students’ stories. The blogs are learning cases, developed with the intent of illustrating various aspects of academic writing tasks. The blog stories are idealized and touch upon many of the known stumbling stones for student writers. Contextualising the search and write process like this let us explore the diversity of student assignments and from various fields of study. When our real-life students use Search and Write they may use their own research question as a point of departure. They can read the blog stories and relate these stories to their own experiences. They can use the How to brainstorm-tips provided in Sofie’s blog. Christian’s use of tutors, library staff and his writing group can provide guidance on who to ask for help. For students writing literature reviews Oda’s systematic
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...
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...
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 ...
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.
Fuzzy Logic and Arithmetical Hierarchy III
Czech Academy of Sciences Publication Activity Database
Hájek, Petr
2001-01-01
Roč. 68, č. 1 (2001), s. 129-142 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: AV0Z1030915 Keywords : fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy Subject RIV: BA - General Mathematics
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.
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
International Nuclear Information System (INIS)
Schumann, Andrew
2015-01-01
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.
Structural Completeness in Fuzzy Logics
Czech Academy of Sciences Publication Activity Database
Cintula, Petr; Metcalfe, G.
2009-01-01
Roč. 50, č. 2 (2009), s. 153-183 ISSN 0029-4527 R&D Projects: GA MŠk(CZ) 1M0545 Institutional research plan: CEZ:AV0Z10300504 Keywords : structral logics * fuzzy logics * structural completeness * admissible rules * primitive variety * residuated lattices Subject RIV: BA - General Mathematics
A tristate optical logic system
Basuray, A.; Mukhopadhyay, S.; Kumar Ghosh, Hirak; Datta, A. K.
1991-09-01
A method is described to represent data in a tristate logic system which are subsequently replaced by Modified Trinary Numbers (MTN). This system is advantagegeous in parallel processing as carry and borrow free operations in arithmatic computation is possible. The logical operations are also modified according to the three states available. A possible practical application of the same using polarized light is also suggested.
Logic, reasoning, and verbal behavior
Terrell, Dudley J.; Johnston, J. M.
1989-01-01
This paper analyzes the traditional concepts of logic and reasoning from the perspective of radical behaviorism and in the terms of Skinner's treatment of verbal behavior. The topics covered in this analysis include the proposition, premises and conclusions, logicality and rules, and deductive and inductive reasoning.
Flat Coalgebraic Fixed Point Logics
Schröder, Lutz; Venema, Yde
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the μ-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 μ-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 μ-calculus including, e.g., flat fragments of the graded μ-calculus and the alternating-time μ-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 μ-calculus but avoids using automata.
Evidence logics with relational evidence
DEFF Research Database (Denmark)
Baltag, Alexandru; Occhipinti, Andrés
2017-01-01
We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness...
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...
Epistemic logics for sceptical agents
Czech Academy of Sciences Publication Activity Database
Bílková, M.; Majer, Ondrej; Peliš, Michal
2016-01-01
Roč. 26, č. 6 (2016), s. 1815-1841 ISSN 0955-792X R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : epistemic logic * substructural logic * frame semantics Subject RIV: AA - Philosophy ; Religion Impact factor: 0.909, year: 2016
International Nuclear Information System (INIS)
Zapatrin, R.R.
1992-01-01
Given a finite ortholattice L, the *-semigroup is explicitly built whose annihilator ortholattice is isomorphic to L. Thus, it is shown that any finite quantum logic is the additive part of a binary logic. Some areas of possible applications are outlined. 7 refs
Logical independence and quantum randomness
International Nuclear Information System (INIS)
Paterek, T; Kofler, J; Aspelmeyer, M; Zeilinger, A; Brukner, C; Prevedel, R; Klimek, P
2010-01-01
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.
Generator of combined logical signals
International Nuclear Information System (INIS)
Laviron, Andre; Berard, Claude.
1982-01-01
The invention concerns a generator of combined logical signals to form combinations of two outputs at logical level 1 and N-2 outputs at logical level 0, among N generator outputs. This generator is characterized in that it includes a set of N means for storing combinations. Means enable the N storage means to be loaded with the logical levels corresponding to a pre-set starting combination, to control the operations for shifting the contents of the storage means and to control, by transfer facilities, the transfers of contents between these storage means. Controls enable the storage means to be actuated in order to obtain combinations of logical levels 1 and 0. The generation of combinations can be stopped after another pre-set combination. Application is for testing of safety circuits for nuclear power stations [fr
Reliability evaluation programmable logic devices
International Nuclear Information System (INIS)
Srivani, L.; Murali, N.; Thirugnana Murthy, D.; Satya Murty, S.A.V.
2014-01-01
Programmable Logic Devices (PLD) are widely used as basic building modules in high integrity systems, considering their robust features such as gate density, performance, speed etc. PLDs are used to implement digital design such as bus interface logic, control logic, sequencing logic, glue logic etc. Due to semiconductor evolution, new PLDs with state-of-the-art features are arriving to the market. Since these devices are reliable as per the manufacturer's specification, they were used in the design of safety systems. But due to their reduced market life, the availability of performance data is limited. So evaluating the PLD before deploying in a safety system is very important. This paper presents a survey on the use of PLDs in the nuclear domain and the steps involved in the evaluation of PLD using Quantitative Accelerated Life Testing. (author)
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.
Marketing Logics, Ambidexterity and Influence
DEFF Research Database (Denmark)
Tollin, Karin; Schmidt, Marcus
2012-01-01
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......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...
Optical programmable Boolean logic unit.
Chattopadhyay, Tanay
2011-11-10
Logic units are the building blocks of many important computational operations likes arithmetic, multiplexer-demultiplexer, radix conversion, parity checker cum generator, etc. Multifunctional logic operation is very much essential in this respect. Here a programmable Boolean logic unit is proposed that can perform 16 Boolean logical operations from a single optical input according to the programming input without changing the circuit design. This circuit has two outputs. One output is complementary to the other. Hence no loss of data can occur. The circuit is basically designed by a 2×2 polarization independent optical cross bar switch. Performance of the proposed circuit has been achieved by doing numerical simulations. The binary logical states (0,1) are represented by the absence of light (null) and presence of light, respectively.
Automated problem generation in Learning Management Systems: a tutorial
Directory of Open Access Journals (Sweden)
Jaime Romero
2016-07-01
Full Text Available The benefits of solving problems have been widely acknowledged by literature. Its implementation in e–learning platforms can make easier its management and the learning process itself. However, its implementation can also become a very time–consuming task, particularly when the number of problems to generate is high. In this tutorial we describe a methodology that we have developed aiming to alleviate the workload of producing a great deal of problems in Moodle for an undergraduate business course. This methodology follows a six-step process and allows evaluating student’s skills in problem solving, minimizes plagiarism behaviors and provides immediate feedback. We expect this tutorial encourage other educators to apply our six steps process, thus benefiting themselves and their students of its advantages.
[The opinion of teachers about tutorial problem based learning].
Navarro H, Nancy; Zamora S, José
2014-08-01
In 2004 the Faculty of Medicine of Universidad de La Frontera in Chile implemented curricular changes, incorporating small group problem based learning in different carriers. To explore aspects that hamper or facilitate tutorial problem based learning from the perspective of tutors. Six in depth interviews and a focus group with tutors were carried out in 2010 and 2011. Data were analyzed through constant comparisons using the program ATLAS ti, guaranteeing credibility, reliance, validation and transferability. Five hundred and twenty eight (528) significance units were identified and 25 descriptive categories emerged. The categories of tutor motivation, methodological domain, tutor responsibility, tutor critical capacity, disciplinary domain, student participation and tutor-student interaction were emphasized. Three qualitative domains were generated, namely tutor skills, transformation of student roles and institutional commitment. Tutorial teaching is favored by teachers when the institutions train them in the subject, when there is administrative support and an adequate infrastructure and coordination.
Clune, Tom
2014-01-01
This tutorial will introduce Fortran developers to unit-testing and test-driven development (TDD) using pFUnit. As with other unit-testing frameworks, pFUnit, simplifies the process of writing, collecting, and executing tests while providing clear diagnostic messages for failing tests. pFUnit specifically targets the development of scientific-technical software written in Fortran and includes customized features such as: assertions for multi-dimensional arrays, distributed (MPI) and thread-based (OpenMP) parallellism, and flexible parameterized tests.These sessions will include numerous examples and hands-on exercises that gradually build in complexity. Attendees are expected to have working knowledge of F90, but familiarity with object-oriented syntax in F2003 and MPI will be of benefit for the more advanced examples. By the end of the tutorial the audience should feel comfortable in applying pFUnit within their own development environment.
Generation of Tutorial Dialogues: Discourse Strategies for Active Learning
1998-05-29
AND SUBTITLE Generation of Tutorial Dialogues: Discourse Strategies for active Learning AUTHORS Dr. Martha Evens 7. PERFORMING ORGANI2ATION NAME...time the student starts in on a new topic. Michael and Rovick constantly attempt to promote active learning . They regularly use hints and only resort...Controlling active learning : How tutors decide when to generate hints. Proceedings of FLAIRS . Melbourne Beach, FL. 157-161. Hume, G., Michael
Analog circuit design a tutorial guide to applications and solutions
Williams, Jim
2011-01-01
* Covers the fundamentals of linear/analog circuit and system design to guide engineers with their design challenges. * Based on the Application Notes of Linear Technology, the foremost designer of high performance analog products, readers will gain practical insights into design techniques and practice. * Broad range of topics, including power management tutorials, switching regulator design, linear regulator design, data conversion, signal conditioning, and high frequency/RF design. * Contributors include the leading lights in analog design, Robert Dobkin, Jim Willia
XTCE: XML Telemetry and Command Exchange Tutorial, XTCE Version 1
Rice, Kevin; Kizzort, Brad
2008-01-01
These presentation slides are a tutorial on XML Telemetry and Command Exchange (XTCE). The goal of XTCE is to provide an industry standard mechanism for describing telemetry and command streams (particularly from satellites.) it wiill lower cost and increase validation over traditional formats, and support exchange or native format.XCTE is designed to describe bit streams, that are typical of telemetry and command in the historic space domain.
A tutorial on machine learning in educational science
Kidzinski, Lukasz; Giannakos, Michail; Sampson, Demetrios G.; Dillenbourg, Pierre
2015-01-01
Popularity of massive online open courses (MOOCs) allowed educational researchers to address problems which were not accessible few years ago. Although classical statistical techniques still apply, large datasets allow us to discover deeper patterns and to provide more accu-rate predictions of student’s behaviors and outcomes. The goal of this tutorial is to disseminate knowledge on elementary data analysis tools as well as facilitating simple practical data-analysis activities with the purpo...
2012 Community Earth System Model (CESM) Tutorial - Proposal to DOE
Energy Technology Data Exchange (ETDEWEB)
Holland, Marika [National Center for Atmospheric Research, Boulder, CO (United States); Bailey, David A [National Center for Atmospheric Research, Boulder, CO (United States)
2013-03-18
The Community Earth System Model (CESM) is a fully-coupled, global climate model that provides state-of-the-art computer simulations of the Earth's past, present, and future climate states. This document provides the agenda and list of participants for the conference. Web materials for all lectures and practical sessions available from: http://www.cesm.ucar.edu/events/tutorials/073012/ .
LHC@home online tutorial for Mac users - recording
CERN. Geneva
2016-01-01
A step-by-step online tutorial about LHC@home for Mac users by Alexandre Racine. It contains detailed instructions on how-to-join this volunteer computing project. There are 3 screen capture videos with the real installation process accelerated attached to the event page. This 5' video is linked from http://lhcathome.web.cern.ch/join-us Also from the CDS e-learning category.
Criteria for evaluating internet tutorials in speech communication sciences
Bowerman, Chris; Eriksson, Anders; Huckvale, Mark; Rosner, Mike; Tatham, Mark; Wolters, Maria
1999-01-01
The Computer Aided Learning (CAL) working group of the SOCRATES thematic network in Speech Communication Science have studied how the Internet is being used and could be used for the provision of self-study materials for education. In this paper we follow up previous recommendations for the design of Internet tutorials with recommendations for their evaluation. The paper proposes that evaluation should be seen as a necessary quality assurance mechanism operating within the life-cycle of CAL m...
Tutorial Pengenalan Adobe Photoshop Menggunakan Adobe Flash CS3
Mayoka, Rio
2011-01-01
Kajian ini bertujuan untuk membangun sebuah aplikasi yang dapat menjadi alat bantu dalam pembelajaran Adobe Photoshop, dimana terdapat beberapa materi pengenalan dasar Adobe Photoshop. Aplikasi ini suatu gagasan dengan membuat tutorial beranimasi yang interatif. Aplikasi ini dibuat dengan menggunakan Adobe Flash CS3 dan dapat dijalankan dengan Flash player. Aplikasi ini dapat membantu para penggunanya dalam memahami pengenalan Adobe Photoshop, terutama pengenalan tool pada Adob...
Tutorial on X-ray photon counting detector characterization.
Ren, Liqiang; Zheng, Bin; Liu, Hong
2018-01-01
Recent advances in photon counting detection technology have led to significant research interest in X-ray imaging. As a tutorial level review, this paper covers a wide range of aspects related to X-ray photon counting detector characterization. The tutorial begins with a detailed description of the working principle and operating modes of a pixelated X-ray photon counting detector with basic architecture and detection mechanism. Currently available methods and techniques for charactering major aspects including energy response, noise floor, energy resolution, count rate performance (detector efficiency), and charge sharing effect of photon counting detectors are comprehensively reviewed. Other characterization aspects such as point spread function (PSF), line spread function (LSF), contrast transfer function (CTF), modulation transfer function (MTF), noise power spectrum (NPS), detective quantum efficiency (DQE), bias voltage, radiation damage, and polarization effect are also remarked. A cadmium telluride (CdTe) pixelated photon counting detector is employed for part of the characterization demonstration and the results are presented. This review can serve as a tutorial for X-ray imaging researchers and investigators to understand, operate, characterize, and optimize photon counting detectors for a variety of applications.
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...
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.
Theoretical perspectives on narrative inquiry.
Emden, C
1998-04-01
Narrative inquiry is gaining momentum in the field of nursing. As a research approach it does not have any single heritage of methodology and its practitioners draw upon diverse sources of influence. Central to all narrative inquiry however, is attention to the potential of stories to give meaning to people's lives, and the treatment of data as stories. This is the first of two papers on the topic and addresses the theoretical influences upon a particular narrative inquiry into nursing scholars and scholarship. The second paper, Conducting a narrative analysis, describes the actual narrative analysis as it was conducted in this same study. Together, the papers provide sufficient detail for others wishing to pursue a similar approach to do so, or to develop the ideas and procedures according to their own way of thinking. Within this first theoretical paper, perspectives from Jerome Bruner (1987) and Wade Roof (1993) are outlined. These relate especially to the notion of stories as 'imaginative constructions' and as 'cultural narratives' and as such, highlight the profound importance of stories as being individually and culturally meaningful. As well, perspectives on narrative inquiry from nursing literature are highlighted. Narrative inquiry in this instance lies within the broader context of phenomenology.
Basic logic and quantum entanglement
International Nuclear Information System (INIS)
Zizzi, P A
2007-01-01
As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But... can it be made explicit? In other words, is it possible to find the connective 'entanglement' in a logical sequent calculus for the machine language? And also, is it possible to 'teach' the quantum computer to 'mimic' the EPR 'paradox'? The answer is in the affirmative, if the logical sequent calculus is that of the weakest possible logic, namely Basic logic. - A weak logic has few structural rules. But in logic, a weak structure leaves more room for connectives (for example the connective 'entanglement'). Furthermore, the absence in Basic logic of the two structural rules of contraction and weakening corresponds to the validity of the no-cloning and no-erase theorems, respectively, in quantum computing
Basic logic and quantum entanglement
Energy Technology Data Exchange (ETDEWEB)
Zizzi, P A [Dipartimento di Matematica Pura ed Applicata, Via Trieste 63, 35121 Padova (Italy)
2007-05-15
As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But... can it be made explicit? In other words, is it possible to find the connective 'entanglement' in a logical sequent calculus for the machine language? And also, is it possible to 'teach' the quantum computer to 'mimic' the EPR 'paradox'? The answer is in the affirmative, if the logical sequent calculus is that of the weakest possible logic, namely Basic logic. - A weak logic has few structural rules. But in logic, a weak structure leaves more room for connectives (for example the connective 'entanglement'). Furthermore, the absence in Basic logic of the two structural rules of contraction and weakening corresponds to the validity of the no-cloning and no-erase theorems, respectively, in quantum computing.
Logic regression and its extensions.
Schwender, Holger; Ruczinski, Ingo
2010-01-01
Logic regression is an adaptive classification and regression procedure, initially developed to reveal interacting single nucleotide polymorphisms (SNPs) in genetic association studies. In general, this approach can be used in any setting with binary predictors, when the interaction of these covariates is of primary interest. Logic regression searches for Boolean (logic) combinations of binary variables that best explain the variability in the outcome variable, and thus, reveals variables and interactions that are associated with the response and/or have predictive capabilities. The logic expressions are embedded in a generalized linear regression framework, and thus, logic regression can handle a variety of outcome types, such as binary responses in case-control studies, numeric responses, and time-to-event data. In this chapter, we provide an introduction to the logic regression methodology, list some applications in public health and medicine, and summarize some of the direct extensions and modifications of logic regression that have been proposed in the literature. Copyright © 2010 Elsevier Inc. All rights reserved.
Kral, M J
1994-01-01
Although suicide is not viewed as a mental disorder per se, it is viewed by many if not most clinicians, researchers, and lay people as a real or natural symptom of depression. It is at least most typically seen as the unfortunate, severe, yet logical end result of a chain of negative self-appraisals, negative events, and hopelessness. Extending an approach articulated by the early French sociologist Gabriel Tarde, in this paper I argue that suicide is merely an idea, albeit a very bad one, having more in common with societal beliefs and norms regarding such things as divorce, abortion, sex, politics, consumer behavior, and fashion. I make a sharp contrast between perturbation and lethality, concepts central to Edwin S. Shneidman's theory of suicide. Evidence supportive of suicide as an idea is discussed based on what we are learning from the study of history and culture, and about contagion/cluster phenomena, media/communication, and choice of method. It is suggested that certain individuals are more vulnerable to incorporate the idea and act of suicide into their concepts of self, based on the same principles by which ideas are spread throughout society. Just as suicide impacts on society, so does society impact on suicide.
Remmel, Jeffrey; Shore, Richard; Sweedler, Moss; Progress in Computer Science and Applied Logic
1993-01-01
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematica...
Rethinking logic logic in relation to mathematics, evolution, and method
Cellucci, Carlo
2014-01-01
This book examines the limitations of mathematical logic and proposes a new approach intended to overcome them. Formulates new rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition and diagrams.
Student Inquiry in the Research Process: Part I: Inquiry Research Basics.
Preddy, Leslie B.
2002-01-01
Discusses the appropriate use of inquiry among students, teachers, and library media specialists. Topics include planning for an inquiry research project; collaboration between the library media specialist and classroom teacher; national goals, standards, and best practices; teacher roles for inquiry; and evaluating inquiry research. (LRW)
The conditional in quantum logic
International Nuclear Information System (INIS)
Hardegree, G.M.
1976-01-01
In this article it is argued that orthodox quantum logic, which is represented by the lattice of projections on Hilbert space, does in fact admit an operation which possesses the essential properties of a material conditional. It is proposed that this connective can be interpreted as a Stalnaker (counter factual) conditional, where the nearness ordering among 'worlds' (in this case, QM pure states) derives in a natural way from the Hilbert space inner-product metric. It is a characteristic of the quantum logic conditional that the law of modus ponens is equivalent to the orthomodular law of conventional quantum logic. (B.R.H.)
Handling Pressures of Community Logic
DEFF Research Database (Denmark)
Minbaeva, Dana; Hotho, Jasper; Muratbekova-Touron, Maral
2013-01-01
The paper aims at investigating how in pluralistic societies, such as emerging economies and countries in transition, organizational decision-makers respond to pressures of community logics in non-community settings, such as the work place. We theorize that in non-community settings, social...... relations and interactions with community members can act as social cues that induce and expose individuals to community logics. We subsequently propose that properties of these relations – immediacy and relatedness - will affect individual response strategies towards community logics. We test these ideas...... with an experimental vignette study of the effects of clan and kinship ties on recruitment and selection decisions in Kazakhstan, followed by qualitative interviews....
Miniaturization of Josephson logic circuits
International Nuclear Information System (INIS)
Ko, H.; Van Duzer, T.
1985-01-01
The performances of Current Injection Logic (CIL) and Resistor Coupled Josephson Logic (RCJL) have been evaluated for minimum features sizes ranging from 5 μm to 0.2 μm. The logic delay is limited to about 10 ps for both the CIL AND gate and the RCJL OR gate biased at 70% of maximum bias current. The maximum circuit count on an 6.35 x 6.35 chip is 13,000 for CIL gates and 20,000 for RCJL gates. Some suggestions are given for further improvements
Nanoelectromechanical resonator for logic operations
Kazmi, Syed N. R.
2017-08-29
We report an electro-thermally tunable in-plane doubly-clamped nanoelectromechanical resonator capable of dynamically performing NOR, NOT, XNOR, XOR, and AND logic operations. Toward this, a silicon based resonator is fabricated using standard e-beam lithography and surface nanomachining of a highly conductive device layer of a silicon-on-insulator (SOI) wafer. The performance of this logic device is examined at elevated temperatures, ranging from 25 °C to 85 °C, demonstrating its resilience for most of the logic operations; thereby paving the way towards nano-elements-based mechanical computing.
Formalized Epistemology, Logic, and Grammar
Bitbol, Michel
The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.
Avetyan, Smbat
The Physics Education Research (PER) group at the University of Washington have researched traditional teaching methods and found that students in introductory physics are lacking a conceptual understanding of the physics material. The solution they put forth is an interactive tutorial program designed to meet the lack of conceptual understanding. Since the tutorial programs inception at CSU Los Angeles in Fall 2006 no evaluation has been successfully undertaken therefore the effect of the tutorial program in the physics 200 series is deeply obscure to the department. The research has shed light on the tutorial program and brought into context its effectiveness on the overall physics 200 series courses at CSU Los Angeles. The researcher has addressed the following research questions, what overall effect does the tutorial program have on the Physics 200 series curriculum? What is the size and significance of gains attributable to the undergraduate calculus based Physics 200 series tutorial program at CSU Los Angeles? What can we learn from gains about individual weekly lessons from the Physics 200 series tutorial courses? What is the correlation of tutorial gains with student final course grades? Are the gains from the tutorial program different for genders? Is there a difference in gains based on the different students' colleges?
Comparison of two interactive tutorial methods: results from a medical college in Karachi.
Rehan, Rabiya; Farooqi, Lubna; Khan, Hira; Rehman, Rehana
2017-02-01
To compare perception of students on usefulness of interactive tutorials and clinically-oriented problem-solving tutorials. The cross-sectional study was carried out from January 2012 to November 2013 at Bahria University Medical and Dental College, Karachi. The perception of medical students on usefulness of interactive tutorials and clinically-oriented problem-solving tutorials was acquired through a questionnaire distributed to medical students having completed the first two years of studies. The responses on various aspects of learning of physiology were acquired on a scale of poor, good or excellent. The learning abilities and acquired skills were compared in terms of not at all, to some extent, and to great extent. Data was analysed using SPSS 15. Of the hundred students initially enrolled, complete response was obtained from 83(83%). Of them, 47(57%) were females. There was significant difference in understanding of structure and function by clinically-oriented problem-solving tutorials (p=0.04). The students preferred clinically-oriented problem-solving tutorials as far as understating of difficult concepts was concerned (pskills were improved by interactive tutorials (p=0.02) whereas clinical reasoning skills acquired by clinically-oriented problem-solving tutorials was found to be significantly better (pskills were acquired more by clinically-oriented problem-solving tutorials that helped in better understanding of structure and functions.
Inquiry-based science education
DEFF Research Database (Denmark)
Østergaard, Lars Domino; Sillasen, Martin Krabbe; Hagelskjær, Jens
2010-01-01
Inquiry-based science education (IBSE) er en internationalt afprøvet naturfagsdidaktisk metode der har til formål at øge elevernes interesse for og udbytte af naturfag. I artiklen redegøres der for metoden, der kan betegnes som en elevstyret problem- og undersøgelsesbaseret naturfagsundervisnings......Inquiry-based science education (IBSE) er en internationalt afprøvet naturfagsdidaktisk metode der har til formål at øge elevernes interesse for og udbytte af naturfag. I artiklen redegøres der for metoden, der kan betegnes som en elevstyret problem- og undersøgelsesbaseret...
Strategies of Qualitative Inquiry. Third Edition
Denzin, Norman K., Ed.; Lincoln, Yvonna S., Ed.
2007-01-01
"Strategies of Qualitative Inquiry, Third Edition," the second volume in the paperback version of "The SAGE Handbook of Qualitative Research, 3rd Edition," consists of Part III of the handbook ("Strategies of Inquiry"). "Strategies of Qualitative Inquiry, Third Edition" presents the major tactics--historically, the research methods--that…
Questions, Curiosity and the Inquiry Cycle
Casey, Leo
2014-01-01
This article discusses the conceptual relationship between questions, curiosity and learning as inquiry elaborated in the work of Chip Bruce and others as the Inquiry Cycle. The Inquiry Cycle describes learning in terms of a continuous dynamic of ask, investigate, create, discuss and reflect. Of these elements "ask" has a privileged…
Multiple Modes of Inquiry in Earth Science
Kastens, Kim A.; Rivet, Ann
2008-01-01
To help teachers enrich their students' understanding of inquiry in Earth science, this article describes six modes of inquiry used by practicing geoscientists (Earth scientists). Each mode of inquiry is illustrated by using examples of seminal or pioneering research and provides pointers to investigations that enable students to experience these…
Talking Science: Developing a Discourse of Inquiry
Hackling, Mark; Smith, Pru; Murcia, Karen
2010-01-01
A key principle of inquiry-based science education is that the process of inquiry must include opportunities for the exploration of questions and ideas, as well as reasoning with ideas and evidence. Teaching and learning Science therefore involves teachers managing a discourse that supports inquiry and students engaging in talk that facilitates…
10 CFR 1022.6 - Public inquiries.
2010-01-01
... 10 Energy 4 2010-01-01 2010-01-01 false Public inquiries. 1022.6 Section 1022.6 Energy DEPARTMENT... REQUIREMENTS General § 1022.6 Public inquiries. Inquiries regarding DOE's floodplain and wetland environmental... at 1-800-472-2756, toll free. ...
Dealing with the Ambiguities of Science Inquiry
Tan, Yuen Sze Michelle; Caleon, Imelda Santos
2016-01-01
The current vision of science education in myriad educational contexts encourages students to learn through the process of science inquiry. Science inquiry has been used to promote conceptual learning and engage learners in an active process of meaning-making and investigation to understand the world around them. The science inquiry process…
Decision logics in radiotherapy
International Nuclear Information System (INIS)
Gauwerky, F.
1979-01-01
Decisions in planning procedures can generally, at least for beam therapy to deep seated tumors, be based on a self-consistent system of criteria of optimization, namely: 1. The absorbed dose to the target volume must be applied as uniformly as possible. 2. Absorbed doses to organs (volumes) at risk must be as low as possible, at least below an accepted limit. 3. Radiation effects to outside volumes must be kept as low as possible. Whereas these criteria, as being reduced to the simplest possible requirements, have to be regarded as the stable elements, the radiotherapy parameters, such as geometric arrangements, special techniques, absorbed dose contributions to reference points or systems, have to be taken as the variables within decision processes. The properties of the criteria which have widely proved to be valuable in routine clinical practice, have been investigated in relation to the theoretical system of axioms as it is e.g. offered by Karl Popper's general logics of scientific research. An axiomatic system, as it is demanded (after Popper) must be a) free of discrepancies, i.e. self-consistent (not any sentence can be derived), b) independent, that is, one axiom cannot be derived from another one within the system, c) sufficient for deduction of statements needed, d) necessary, that is complete. All these requirements are fitting also to the offered system of radiotherapy optimization criteria. It has been demonstrated, that Popper's axiomatic system can be regarded as to be the general case for all scientific fields of application, the set of optimization criteria being a special system for radiation therapy, which would have been derivable from Popper's theory. Also practical use could be demonstrated. (orig./ORU) [de
Quantum supports and modal logic
International Nuclear Information System (INIS)
Svetlichny, G.
1986-01-01
Recently Foulis, Piron, and Randall introduced a new interpretation of empirical and quantum logics which substitute for the notion of a probabilistic weight a combinatorial notion called a support. The informal use of the notion of ''possible outcomes of experiments'' suggests that this interpretation can be related to corresponding formal notions as treated by modal logic. The purpose of this paper is to prove that in fact supports are in one-to-one correspondence with the sets of possibly true elementary propositions in Kripke models of a set of modal formulas associated to the empirical or quantum logic. This hopefully provides a sufficiently detailed link between the two rather distinct logical systems to shed useful light on both
Classical Limit and Quantum Logic
Losada, Marcelo; Fortin, Sebastian; Holik, Federico
2018-02-01
The analysis of the classical limit of quantum mechanics usually focuses on the state of the system. The general idea is to explain the disappearance of the interference terms of quantum states appealing to the decoherence process induced by the environment. However, in these approaches it is not explained how the structure of quantum properties becomes classical. In this paper, we consider the classical limit from a different perspective. We consider the set of properties of a quantum system and we study the quantum-to-classical transition of its logical structure. The aim is to open the door to a new study based on dynamical logics, that is, logics that change over time. In particular, we appeal to the notion of hybrid logics to describe semiclassical systems. Moreover, we consider systems with many characteristic decoherence times, whose sublattices of properties become distributive at different times.
Logical Theories for Agent Introspection
DEFF Research Database (Denmark)
Bolander, Thomas
2004-01-01
Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one's external environment...... by self-reference. In the standard approach taken in artificial intelligence, the model that an agent has of its environment is represented as a set of beliefs. These beliefs are expressed as logical formulas within a formal, logical theory. When the logical theory is expressive enough to allow...... introspective reasoning, the presence of self-reference causes the theory to be prone to inconsistency. The challenge therefore becomes to construct logical theories supporting introspective reasoning while at the same time ensuring that consistency is retained. In the thesis, we meet this challenge by devising...
Dependence logic theory and applications
Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert
2016-01-01
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning ...
Nanoelectromechanical resonator for logic operations
Kazmi, Syed N. R.; Hafiz, Md A. Al; Chappanda, Karumbaiah N.; Ilyas, Saad; Holguin, Jorge; Da Costa, Pedro M. F. J.; Younis, Mohammad I.
2017-01-01
We report an electro-thermally tunable in-plane doubly-clamped nanoelectromechanical resonator capable of dynamically performing NOR, NOT, XNOR, XOR, and AND logic operations. Toward this, a silicon based resonator is fabricated using standard e
Empirical logic and quantum mechanics
International Nuclear Information System (INIS)
Foulis, D.J.; Randall, C.H.
1976-01-01
This article discusses some of the basic notions of quantum physics within the more general framework of operational statistics and empirical logic (as developed in Foulis and Randall, 1972, and Randall and Foulis, 1973). Empirical logic is a formal mathematical system in which the notion of an operation is primitive and undefined; all other concepts are rigorously defined in terms of such operations (which are presumed to correspond to actual physical procedures). (Auth.)
Logical operations using phenyl ring
Patra, Moumita; Maiti, Santanu K.
2018-02-01
Exploiting the effects of quantum interference we put forward an idea of designing three primary logic gates, OR, AND and NOT, using a benzene molecule. Under a specific molecule-lead interface geometry, anti-resonant states appear which play the crucial role for AND and NOT operations, while for OR gate no such states are required. Our analysis leads to a possibility of designing logic gates using simple molecular structure which might be significant in the area of molecular electronics.
Observation Predicates in Flow Logic
DEFF Research Database (Denmark)
Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan
2003-01-01
in such a way that the hard constraints are satisfi ed exactly when the observation predicates report no violations. The development is carried out in a large fragment of a first order logic with negation and also takes care of the transformations necessary in order to adhere to the stratification restrictions...... inherent in Alternation-free Least Fixed Point Logic and similar formalisms such as Datalog....
Logically automorphically equivalent knowledge bases
Aladova, Elena; Plotkin, Tatjana
2017-01-01
Knowledge bases theory provide an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical problems arising in computer science might be very productive. In this paper we study the equivalence problem for knowledge bases. Our interest is to find out how the informational equivalence is related to the logical description of knowledge. Studying various equivalences of knowledge bases allows us to compare d...
Brünnler, Kai; Flumini, Dandolo; Studer, Thomas
2017-01-01
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.
Logical Reasoning and Decision Making
Ong, D; Khaddaj, Souheil; Bashroush, Rabih
2011-01-01
Most intelligent systems have some form of \\ud decision making mechanisms built into their \\ud organisations. These normally include a logical \\ud reasoning element into their design. This paper reviews \\ud and compares the different logical reasoning strategies, \\ud and tries to address the accuracy and precision of \\ud decision making by formulating a tolerance to \\ud imprecision view which can be used in conjunction with \\ud the various reasoning strategies.
Flow Logics and Operational Semantics
DEFF Research Database (Denmark)
Nielson, Flemming; Nielson, Hanne Riis
1998-01-01
Flow logic is a “fast prototyping” approach to program analysis that shows great promise of being able to deal with a wide variety of languages and calculi for computation. However, seemingly innocent choices in the flow logic as well as in the operational semantics may inhibit proving the analys...... correct. Our main conclusion is that environment based semantics is more flexible than either substitution based semantics or semantics making use of structural congruences (like alpha-renaming)....
Optically controllable molecular logic circuits
International Nuclear Information System (INIS)
Nishimura, Takahiro; Fujii, Ryo; Ogura, Yusuke; Tanida, Jun
2015-01-01
Molecular logic circuits represent a promising technology for observation and manipulation of biological systems at the molecular level. However, the implementation of molecular logic circuits for temporal and programmable operation remains challenging. In this paper, we demonstrate an optically controllable logic circuit that uses fluorescence resonance energy transfer (FRET) for signaling. The FRET-based signaling process is modulated by both molecular and optical inputs. Based on the distance dependence of FRET, the FRET pathways required to execute molecular logic operations are formed on a DNA nanostructure as a circuit based on its molecular inputs. In addition, the FRET pathways on the DNA nanostructure are controlled optically, using photoswitching fluorescent molecules to instruct the execution of the desired operation and the related timings. The behavior of the circuit can thus be controlled using external optical signals. As an example, a molecular logic circuit capable of executing two different logic operations was studied. The circuit contains functional DNAs and a DNA scaffold to construct two FRET routes for executing Input 1 AND Input 2 and Input 1 AND NOT Input 3 operations on molecular inputs. The circuit produced the correct outputs with all possible combinations of the inputs by following the light signals. Moreover, the operation execution timings were controlled based on light irradiation and the circuit responded to time-dependent inputs. The experimental results demonstrate that the circuit changes the output for the required operations following the input of temporal light signals
Directory of Open Access Journals (Sweden)
William R. Torbert
2013-06-01
Full Text Available Collaborative Developmental Action Inquiry (CDAI is introduced as a meta-paradigmatic approach to social science and social action that encompasses seven other more familiar paradigms (e.g., Behaviorism, Empirical Positivism, and Postmodern Interpretivism and that triangulates among third-person, objectivity-seeking social scientific inquiry, second-person, transformational, mutuality-seeking political inquiry, and first-person, adult, spiritual inquiry and consciousness development in the emerging present. CDAI tests findings, not only against third-person criteria of validity as do quantitative, positivist studies and qualitative, interpretive studies, but also against first- and second-person criteria of validity, as well as criteria of efficacy in action. CDAI introduces the possibility of treating, not just formal third-person studies, but any and all activities in one’s daily life in an inquiring manner. The aim of this differently-scientific approach is not only theoretical, generalizable knowledge, but also knowledge that generates increasingly timely action in particular cases in the relationships that mean the most to the inquirer. To illustrate and explain why the CDAI approach can explain unusually high percentages of the variance in whether or not organizations actually transform, all three types of validity-testing are applied to a specific study of intended transformation in ten organizations. The ten organization study found that adding together the performance of each organization’s CEO and lead consultant pn a reliable, well-validated measure of developmental action-logic, predicted 59% of the variance, beyond the .01 level, in whether and how the organization transformed (as rated by three scorers who achieved between .90 and 1.0 reliability. The essay concludes with a comparison between the Empirical Positivist paradigm of inquiry and the Collaborative Developmental Action Inquiry paradigm.
Portfolios: A Vehicle for Inquiry.
McMackin, Mary C.
By blending elements of inquiry with the components of portfolios, learning and thinking in teacher preparation courses can be extended and possible tensions between "covering content" and allowing "open-ended investigation" can be mitigated. Over the years, the author mused about how she might nudge graduate students in her…
Carruthers, Cheryl; Lampe, Karen
2011-01-01
Over the last year, "School Library Monthly" ("SLM") has challenged school librarians to "nudge toward inquiry" through the "SLM" blog-driven submissions compiled by Kristin Fontichiaro. Iowa took up the challenge! This article describes how teacher librarians across Iowa teamed with classroom teachers to…
Collaborative Inquiry-based Learning
Suarez, Angel
2017-01-01
This thesis presents the results of the conducted research and development of applications to support collaborative inquiry-based learning, with a special focus on leveraging learners’ agency. The reported results are structured into three parts: the theoretical foundations, the design and
Critical Quantitative Inquiry in Context
Stage, Frances K.; Wells, Ryan S.
2014-01-01
This chapter briefly traces the development of the concept of critical quantitative inquiry, provides an expanded conceptualization of the tasks of critical quantitative research, offers theoretical explanation and justification for critical research using quantitative methods, and previews the work of quantitative criticalists presented in this…
Remote file inquiry (RFI) system
1975-01-01
System interrogates and maintains user-definable data files from remote terminals, using English-like, free-form query language easily learned by persons not proficient in computer programming. System operates in asynchronous mode, allowing any number of inquiries within limitation of available core to be active concurrently.
The Structure of Historical Inquiry
Retz, Tyson
2017-01-01
History educators find themselves in the peculiar situation of wishing to introduce students to the history discipline while lacking a clear conception of the features intrinsic to historical inquiry across its various specialisations and subject matters. In affirming that no one methodological charter hangs in the corridors of academic history…
Application of linear logic to simulation
Clarke, Thomas L.
1998-08-01
Linear logic, since its introduction by Girard in 1987 has proven expressive and powerful. Linear logic has provided natural encodings of Turing machines, Petri nets and other computational models. Linear logic is also capable of naturally modeling resource dependent aspects of reasoning. The distinguishing characteristic of linear logic is that it accounts for resources; two instances of the same variable are considered differently from a single instance. Linear logic thus must obey a form of the linear superposition principle. A proportion can be reasoned with only once, unless a special operator is applied. Informally, linear logic distinguishes two kinds of conjunction, two kinds of disjunction, and also introduces a modal storage operator that explicitly indicates propositions that can be reused. This paper discuses the application of linear logic to simulation. A wide variety of logics have been developed; in addition to classical logic, there are fuzzy logics, affine logics, quantum logics, etc. All of these have found application in simulations of one sort or another. The special characteristics of linear logic and its benefits for simulation will be discussed. Of particular interest is a connection that can be made between linear logic and simulated dynamics by using the concept of Lie algebras and Lie groups. Lie groups provide the connection between the exponential modal storage operators of linear logic and the eigen functions of dynamic differential operators. Particularly suggestive are possible relations between complexity result for linear logic and non-computability results for dynamical systems.
On Structural Completeness of Tabular Superintuitionistic Logics
Citkin, Alexander
2015-01-01
As usual, the superintuitionistic (propositional) logics (that is, logics extending intuitionistic logic) are being studied “modulo derivability”, meaning such logics are viewed extensionally — they are identified with the set of formulae that are valid (derivable in the corresponding calculus) in
Temporal logics and real time expert systems
Blom, J.A.
1996-01-01
This paper introduces temporal logics. Due to the eternal compromise between expressive adequacy and reasoning efficiency that must decided upon in any application, full (first order logic or modal logic based) temporal logics are frequently not suitable. This is especially true in real time expert
TUTORIALS AS A STRATEGY TO STRENGTHEN THE UPPER LEVEL
Directory of Open Access Journals (Sweden)
Francisco Antonio Romero-Leyva
2014-01-01
Full Text Available In the University context tutorials are displayed as a strategy for improving the quality of higher education, therefore the Universidad de Occidente in its educational model has incorporated this program; on the basis of the above it is interesting to perform an analysis and proposal to improve the institutional program of mentoring (PIT of the U de O, El Fuerte unit. The objective of this research was an analysis of the institutional program of tutoring from the Universidad de Occidente, El Fuerte unit and propose suggestions for improvements. The deductive-inductive method was used, non-probability sampling, with a representative sample of 10% of the universe, the techniques applied the questionnaire and the interview. The sources consulted were; personal, institutional, electronic sources and documentary Among the outstanding results include that it is essential that the IES put in place tutorial systems through which students have to throughout their training with the advice and support of a teacher properly prepared, the way how they are implemented is commitment of each institution, in El Fuerte Unit is necessary training quarterly to the body of tutors, have comfortable spaces for the tutorial process, the administrative authorities require compliance with the listing because it allows the tutor to better control and management problems of their tutees, having the program strategies to rescue students who for various reasons leave the classrooms of the University; this program being a tool to comply with Tutoring System, thereby obtaining increased rates and terminal efficiency and comply graduate profile al. As tutors we need to reflect critically on our personal and professional performance when interacting with tutees, to promote change and the process of development of human potential performance.
Approaches to Inquiry Teaching: Elementary teacher's perspectives
Ireland, Joseph; Watters, James J.; Lunn Brownlee, J.; Lupton, Mandy
2014-07-01
Learning science through the process of inquiry is advocated in curriculum documents across many jurisdictions. However, a number of studies suggest that teachers struggle to help students engage in inquiry practices. This is not surprising as many teachers of science have not engaged in scientific inquiry and possibly hold naïve ideas about what constitutes scientific inquiry. This study investigates teachers' self-reported approaches to teaching science through inquiry. Phenomenographic interviews undertaken with 20 elementary teachers revealed teachers identified six approaches to teaching for inquiry, clustered within three categories. These approaches were categorized as Free and Illustrated Inquiries as part of an Experience-centered category, Solution and Method Inquiries as part of a Problem-centered category, and Topic and Chaperoned Inquiries as part of a Question-centered category. This study contributes to our theoretical understanding of how teachers approach Inquiry Teaching and suggests fertile areas of future research into this valued and influential phenomenon broadly known as 'Inquiry Teaching'.
Doing bayesian data analysis a tutorial with R and BUGS
Kruschke, John K
2011-01-01
There is an explosion of interest in Bayesian statistics, primarily because recently created computational methods have finally made Bayesian analysis obtainable to a wide audience. Doing Bayesian Data Analysis, A Tutorial Introduction with R and BUGS provides an accessible approach to Bayesian data analysis, as material is explained clearly with concrete examples. The book begins with the basics, including essential concepts of probability and random sampling, and gradually progresses to advanced hierarchical modeling methods for realistic data. The text delivers comprehensive coverage of all
A tutorial on queuing and trunking with applications to communications
Tranter, William H
2012-01-01
The motivation for developing this synthesis lecture was to provide a tutorial on queuing and trunking, with extensions to networks of queues, suitable for supplementing courses in communications, stochastic processes, and networking. An essential component of this lecture is MATLAB-based demonstrations and exercises, which can be easily modified to enable the student to observe and evaluate the impact of changing parameters, arrival and departure statistics, queuing disciplines, the number of servers, and other important aspects of the underlying system model. Much of the work in this lecture
A broadcast engineering tutorial for non-engineers
Pizzi, Skip
2014-01-01
A Broadcast Engineering Tutorial for Non-Engineers is the leading publication on the basics of broadcast technology. Whether you are new to the industry or do not have an engineering background, this book will give you a comprehensive primer of television, radio, and digital media relating to broadcast-it is your guide to understanding the technical world of radio and television broadcast engineering. It covers all the important topics such as DTV, IBOC, HD, standards, video servers, editing, electronic newsrooms, and more.
Tutorial for Wave Equation Inversion of Skeletonized Data
Lu, Kai
2017-04-25
Full waveform inversion of seismic data is often plagued by cycle skipping problems so that an iterative optimization method often gets stuck in a local minimum. To avoid this problem we simplify the objective function so that the iterative solution can quickly converge to a solution in the vicinity of the global minimum. The objective function is simplified by only using parsimonious and important portions of the data, which are defined as skeletonized data. We now present a mostly non-mathematical tutorial that explains the theory of skeletonized inversion. We also show its effectiveness with examples.
Marine Vessel Models in Changing Operational Conditions - A Tutorial
DEFF Research Database (Denmark)
Perez, Tristan; Sørensen, Asgeir; Blanke, Mogens
2006-01-01
conditions (VOC). However, since marine systems operate in changing VOCs, there is a need to adapt the models. To date, there is no theory available to describe a general model valid across different VOCs due to the complexity of the hydrodynamic involved. It is believed that system identification could......This tutorial paper provides an introduction, from a systems perspective, to the topic of ship motion dynamics of surface ships. It presents a classification of parametric models currently used for monitoring and control of marine vessels. These models are valid for certain vessel operational...
Breaking the fault tree circular logic
International Nuclear Information System (INIS)
Lankin, M.
2000-01-01
Event tree - fault tree approach to model failures of nuclear plants as well as of other complex facilities is noticeably dominant now. This approach implies modeling an object in form of unidirectional logical graph - tree, i.e. graph without circular logic. However, genuine nuclear plants intrinsically demonstrate quite a few logical loops (circular logic), especially where electrical systems are involved. This paper shows the incorrectness of existing practice of circular logic breaking by elimination of part of logical dependencies and puts forward a formal algorithm, which enables the analyst to correctly model the failure of complex object, which involves logical dependencies between system and components, in form of fault tree. (author)
Preservice teachers working with narrative inquiry
DEFF Research Database (Denmark)
Daugbjerg, Peer
Application of inquiry in teacher education is gaining momentum. Inquiry is used to build connections with the local community (Nicholas, Baker-Sennett, McClanahan, & Harwood, 2012), student-centered inquiry is used as a curricular model (Oliver et al., 2015), inquiry is used to accentuate......’-module is a 6 week full-time study including a 2 weeks stay at a youth folk high school, where the teacher students are to focus on a self-determined element of the praxis. The students are to study this focus through narrative inquiry based on the North-American tradition within narrative inquiry (Clandinin....... Aarhus; Kbh.: Klim; i samarbejde med Folkehøjskolernes Forening. Salerno, A. S., & Kibler, A. K. (2015). Questions they ask: Considering teacher-inquiry questions posed by pre-service english teachers. Educational Action Research, 23(3), 399-415....
Proposal for the Formalization of Dialectical Logic
Directory of Open Access Journals (Sweden)
José Luis Usó-Doménech
2016-12-01
Full Text Available Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic. We present the category logic of qualitative opposition using examples from various sciences. This logic has been defined to include the neuter as part of qualitative opposition. The application of these rules to qualitative opposition, and, in particular, its neuter, demonstrated that a synthetic logic allows the truth of some contradictions. This synthetic logic is dialectical with a multi-valued logic, which gives every proposition a truth value in the interval [0,1] that is the square of the modulus of a complex number. In this dialectical logic, contradictions of the neuter of an opposition may be true.
A Resolution Prover for Coalition Logic
Nalon, Cláudia; Zhang, Lan; Dixon, Clare; Hustadt, Ullrich
2014-01-01
We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and prese...
A vindication of logical necessity against scepticism
Philie, Patrice
2002-01-01
Some philosophers dispute the claim that there is a notion of logical necessity involved in the concept of logical consequence. They are sceptical about logical necessity. They argue that a proper characterisation of logical consequence - of what follows from what - need not and should not appeal to the notion of necessity at all. Quine is the most prominent philosopher holding such a view. In this doctoral dissertation, I argue that scepticism about logical necessity is not successful. Quine...
The Nature of Reflective Practice and Emotional Intelligence in Tutorial Settings
Gill, Gobinder Singh
2014-01-01
The purpose of this paper was to assess the nature of reflective practice and emotional intelligence in tutorial settings. Following the completion of a self-report measure of emotional intelligence, practitioners incorporated a model of reflective practice into their tutorial sessions. Practitioners were instructed to utilise reflective practice…
Proposing a Web-Based Tutorial System to Teach Malay Language Braille Code to the Sighted
Wah, Lee Lay; Keong, Foo Kok
2010-01-01
The "e-KodBrailleBM Tutorial System" is a web-based tutorial system which is specially designed to teach, facilitate and support the learning of Malay Language Braille Code to individuals who are sighted. The targeted group includes special education teachers, pre-service teachers, and parents. Learning Braille code involves memorisation…
Zubas, Patrice; Heiss, Cindy; Pedersen, Mary
2006-01-01
The purpose of this study was to ascertain if an online computer tutorial on diabetes mellitus, supplemented to traditional classroom lecture, is an effective tool in the education of nutrition students. Students completing a web-based tutorial as a supplement to classroom lecture displayed greater improvement in pre- vs. post-test scores compared…
A Tutorial Design Process Applied to an Introductory Materials Engineering Course
Rosenblatt, Rebecca; Heckler, Andrew F.; Flores, Katharine
2013-01-01
We apply a "tutorial design process", which has proven to be successful for a number of physics topics, to design curricular materials or "tutorials" aimed at improving student understanding of important concepts in a university-level introductory materials science and engineering course. The process involves the identification…
Using Visual Assessments and Tutorials to Teach Solar System Concepts in Introductory Astronomy
LoPresto, Michael C.
2010-01-01
Visual assessments and tutorials are instruments that rely on student construction and/or examination of pictures and/or diagrams rather than multiple choice and/or short answer questions. Being a very visual subject, astronomy lends itself to assessments and tutorials of this type. What follows is a report on the results of the use of visual…
Interactive Intragroup Tutorials: A Need-Based Modification to Enhance Learning in Physiology
Srivastava, Tripti K.; Waghmare, Lalitbhushan S.; Jagzape, Arunita; Mishra, Vedprakash
2015-01-01
A tutorial is a period of instruction given by a university or college tutor to an individual or a very small group. Essentially, it is a small class of a few students in which the tutor (a lecturer or other academic staff member) gives individual attention to every learner. The tutorial focuses on certain subject areas and generally proceeds with…
Assessing the Effectiveness of Web-Based Tutorials Using Pre-and Post-Test Measurements
Guy, Retta Sweat; Lownes-Jackson, Millicent
2012-01-01
Computer technology in general and the Internet in particular have facilitated as well as motivated the development of Web-based tutorials (MacKinnon & Williams, 2006). The current research study describes a pedagogical approach that exploits the use of self-paced, Web-based tutorials for assisting students with reviewing grammar and mechanics…
Murphy, Michael P. A.
2017-01-01
Building on prior research into active learning pedagogy in political science, I discuss the development of a new active learning strategy called the "thesis-building carousel," designed for use in political theory tutorials. This use of active learning pedagogy in a graduate student-led political theory tutorial represents the overlap…
Seal, Kala Chand; Przasnyski, Zbigniew H.; Leon, Linda A.
2010-01-01
Do students learn to model OR/MS problems better by using computer-based interactive tutorials and, if so, does increased interactivity in the tutorials lead to better learning? In order to determine the effect of different levels of interactivity on student learning, we used screen capture technology to design interactive support materials for…
The Purpose of Tutorial Groups: Social Influence and the Group as Means and Objective
Rosander, Michael; Chiriac, Eva Hammar
2016-01-01
The aim of this study was to investigate how first-year students view the purpose of tutorial groups in problem-based learning. In all, 147 students from 24 groups participated, providing 399 statements. Data were analysed using thematic analysis. The results showed a focus on both learning and social influence. Learning involved the tutorial as…
An Online Tutorial vs. Pre-Recorded Lecture for Reducing Incidents of Plagiarism
Henslee, Amber M.; Goldsmith, Jacob; Stone, Nancy J.; Krueger, Merilee
2015-01-01
The current study compared an online academic integrity tutorial modified from Belter & du Pre (2009) to a pre-recorded online academic integrity lecture in reducing incidents of plagiarism among undergraduate students at a science and technology university. Participants were randomized to complete either the tutorial or the pre-recorded…
Hoffman, James V.; Wetzel, Melissa Mosley; Peterson, Katie
2016-01-01
In this study, we examined the learning of preservice teachers associated with the features of a literacy tutorial experience. Our qualitative study focused on the close inspection of the experiences of 7 focus cases out of the 19 preservice teachers enrolled in our program across a one-semester tutorial experience. Through our research we…
Laster, Barbara; Blummer, Barbara; Kenton, Jeffrey M.
2010-01-01
Tutorials and digital learning objects provide librarians a quick, concise mechanism for delivering information and training on a wide range of library topics. The semiotic theory promoted by Charles Sanders Peirce (Wiener, 1958) and Howard Smith (2005) contains implications for enhancing the effectiveness of library tutorials through the…
Staying on Top of Your Game and Scoring Big with Adobe Presenter Multimedia Tutorials
Koury, Regina; Francis, Marcia J.; Gray, Catherine J.; Jardine, Spencer J.; Guo, Ruiling
2010-01-01
In order to reach distance students in times of financial uncertainty, librarians must be creative. While much has been written about Camtasia, Captivate and Jing tutorial software, Adobe Presenter, a Microsoft PowerPoint plug-in, has not been discussed. This article describes how our library team created multimedia tutorial projects at Idaho…
A new hierarchy of infinitary logics in abstract algebraic logic
Czech Academy of Sciences Publication Activity Database
Lávička, Tomáš; Noguera, Carles
2017-01-01
Roč. 105, č. 3 (2017), s. 521-551 ISSN 0039-3215 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985556 ; RVO:67985807 Keywords : Abstract algebraic logic * consequence relations * infinitary logics * completeness properties Subject RIV: BA - General Mathematics; BA - General Mathematics (UIVT-O) OBOR OECD: Pure mathematics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O) Impact factor: 0.589, year: 2016 http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf
Fuzzy logic of Aristotelian forms
Energy Technology Data Exchange (ETDEWEB)
Perlovsky, L.I. [Nichols Research Corp., Lexington, MA (United States)
1996-12-31
Model-based approaches to pattern recognition and machine vision have been proposed to overcome the exorbitant training requirements of earlier computational paradigms. However, uncertainties in data were found to lead to a combinatorial explosion of the computational complexity. This issue is related here to the roles of a priori knowledge vs. adaptive learning. What is the a-priori knowledge representation that supports learning? I introduce Modeling Field Theory (MFT), a model-based neural network whose adaptive learning is based on a priori models. These models combine deterministic, fuzzy, and statistical aspects to account for a priori knowledge, its fuzzy nature, and data uncertainties. In the process of learning, a priori fuzzy concepts converge to crisp or probabilistic concepts. The MFT is a convergent dynamical system of only linear computational complexity. Fuzzy logic turns out to be essential for reducing the combinatorial complexity to linear one. I will discuss the relationship of the new computational paradigm to two theories due to Aristotle: theory of Forms and logic. While theory of Forms argued that the mind cannot be based on ready-made a priori concepts, Aristotelian logic operated with just such concepts. I discuss an interpretation of MFT suggesting that its fuzzy logic, combining a-priority and adaptivity, implements Aristotelian theory of Forms (theory of mind). Thus, 2300 years after Aristotle, a logic is developed suitable for his theory of mind.
Strategies and logics of internationalization
Directory of Open Access Journals (Sweden)
Mahjouba Ben Salem
2013-07-01
Full Text Available The race between firms to acquire capacities worldwide has evolved in a chronological order which centered at first around products, then around position to move later on to skills and to focus currently on networks. Similarly, when observing the evolution of the different international development strategies, it was found out that they have started by the exportation and the setting up of production subsidiaries to move more recently to such strategies as mergers & acquisitions and international alliances. The present paper investigates the relationship between the internationalization strategies and logics and comes to the conclusion that, a particular logic is behind every choice made. Indeed, the present work was conducted within the Tunisian food enterprises and helped confirm this hypothesis as it was found out that the position logic is behind the choice of exportation and the creation of production subsidiaries while the choice of partnership is based on the logic of skills. The option for merger, on the other hand, is motivated by the networks logic.
Directory of Open Access Journals (Sweden)
Iryna Khomenko
2018-04-01
Full Text Available The challenges of the global time require new solutions and up-to-date ways of thinking and communication. These challenges call for the ability to use critical thinking to face the ever-changing world and the ability to maintain a dialog based on the effective skills of communication. Studies in the fields of logic and argumentation theory are of particular importance in this regard. Nowadays they can be presented as a mix of theoretical and practical approaches. In this paper, I will present my reflections on informal logic, which was formed in the late 1970s. Unfortunately, in spite of numerous papers, books, and text-books published over the last forty years, consensus on many issues in this field has not been achieved so far. Therefore, it is difficult to treat informal logic as one of the well-defined approaches to argumentation. The goal of this paper is to take a look at the place of informal logic in state-of-the art study of argumentation by clarifying its subject matter and figuring out the realm to which informal logic belongs.
LOG: Analyzing navigation trough a tutorial of Radiation Protection
International Nuclear Information System (INIS)
Vega, J. M.; Pena, J. J.; Rossell, M. A.; Calvo, J. L.
2003-01-01
Every day, the number of didactic materials presented through Internet, is greater. However, we have not effective tools to obtain the potential academic yield of such a media. The complexity of the Internet protocols, in spite of the easy handling, makes it almost impossible. In this work, a didactic tool to analyse graphically the navigation through a tutorial on radiation protection is presented. For its visualisation, some subjects related with the biogical effects of radiation and with radiological quantities and units have been selected. The graphical representation shows the tour travelled by the user, in our case students of Medicine, and the time employed in eyeing each one of the nodes. The answers to problems about the contents of each node and its graphical representation in the navigation map allow us to follow the learning progress of the students as well as their standard of navigation. The graphical representation analysis of multiple users permits to detect some of the mistakes in the design of the tutorial and to suggest to the author a method for amending these mistakes. The system is developed on LINEX, but it is easily adaptable to other operating systems. (Author) 7 refs
Redesigning nursing tutorials for ESL students: a pilot study.
San Miguel, Caroline; Townsend, Lisa; Waters, Cheryl
2013-04-01
Increased enrolments of Bachelor of Nursing (BN) students who speak English as a second language (ESL) can help create a multilingual and culturally diverse workforce that is better prepared to meet the needs of increasingly diverse health populations. However, although ESL enrolments are increasing, attrition rates for ESL students tend to be higher than those of native speakers of English, partly due to academic failure. At the same time, concerns have been expressed in some quarters about the low levels of English language of entering students. As it is unlikely that language entry levels to university will be raised, sustainable programmes that help ESL students better meet the academic challenges they may face need to be developed. So far, models of ESL support have been mostly an adjunct to their degree, voluntary and not well attended. This paper discusses a model using tutorials integrated into the first year nursing curriculum that were specifically designed for ESL students with low levels of English language proficiency. The paper also examines students' perceptions of such tutorials, which they found beneficial to their learning.
Facilitating Multilingual Tutorials at the University of the Free State
Directory of Open Access Journals (Sweden)
du Buisson Theuns
2017-12-01
Full Text Available Conducting undergraduate studies in the English language, while only a small minority of students speak English at home, poses many problems to learning in the South African context. This article explores how restrictive language policies may influence proper learning and impact negatively on the self-understanding of students. It also explores how multilingualism could help to reduce the continued reliance on English, without doing away with English in its entirety. This is especially relevant in light of English and other colonial languages still being perceived as “languages of power” (Stroud & Kerfoot, 2013, p. 403. Therefore, attention is given to the link between language and power, especially in light of languages often being used to implement, display and preserve power. Language use in the classroom, especially with regard to codeswitching (also called translanguaging, is discussed. Finally, it explores the success that was achieved during multilingual tutorial sessions. In the tutorials, students were encouraged to explore the course work in their native languages, thereby internalising it and getting a better understanding thereof.
Guidelines for Effective TAP (Translation for Academic Purposes Tutorial Courses
Directory of Open Access Journals (Sweden)
Elham Yazdanmehr
2014-03-01
Full Text Available An increasing need is felt by the university students, especially at Master’s or PhD level, to get a satisfactory command of English so as to manage great amounts of technical materials and articles published internationally. Public and private language institutions, however, have not responded to this need properly specially in non-English speaking countries including Iran. Therefore, the only way left for the students is to demand tutorial sessions which are rare, and if existing, of diverse questionable quality. There seems to be a dearth of base-line or criteria released in any form to define and guide the tutors’ approach and techniques which can be in accordance with university students’ needs and purposes. Aiming to fill this gap, the present paper attempts to be a pioneering research in the realm of TAP (Translation for Academic Purposes tutorial courses and intends to provide guidelines on text selection, role allocation, timing, rate, assignments and other relevant issues in this area. The guidelines are provided based on a post facto case study carried out by one of the authors which created the motive for this research and may further clarify the significance of the issues discussed. The recommended guidelines consist of 5 basic elements and 3 principles. It was discovered, and is expected for others as well, that following these guidelines helps to manage a TAP course in the best and most fruitful way with the least time wasted and with satisfactory result.
Hess, Amanda Nichols
2013-01-01
Oakland University (OU) Libraries undertook an assessment of how to leverage its resources to make online tutorials more focused on users' needs. A multi-part assessment process reconsidered Web tutorials offerings through the lenses of faculty and staff feedback, literature review, and an analysis of other universities' online tutorial offerings.…
Logical foundation of quantum mechanics
International Nuclear Information System (INIS)
Stachow, E.W.
1980-01-01
The subject of this article is the reconstruction of quantum mechanics on the basis of a formal language of quantum mechanical propositions. During recent years, research in the foundations of the language of science has given rise to a dialogic semantics that is adequate in the case of a formal language for quantum physics. The system of sequential logic which is comprised by the language is more general than classical logic; it includes the classical system as a special case. Although the system of sequential logic can be founded without reference to the empirical content of quantum physical propositions, it establishes an essential part of the structure of the mathematical formalism used in quantum mechanics. It is the purpose of this paper to demonstrate the connection between the formal language of quantum physics and its representation by mathematical structures in a self-contained way. (author)
Coinductive Logic Programming with Negation
Min, Richard; Gupta, Gopal
We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF) resolution. We present declarative and operational semantics of co-SLDNF resolution and present their equivalence under the restriction of rationality. Co-LP with co-SLDNF resolution provides a powerful, practical and efficient operational semantics for Fitting's Kripke-Kleene three-valued logic with restriction of rationality. Further, applications of co-SLDNF resolution are also discussed and illustrated where Co-SLDNF resolution allows one to develop elegant implementations of modal logics. Moreover it provides the capability of non-monotonic inference (e.g., predicate Answer Set Programming) that can be used to develop novel and effective first-order modal non-monotonic inference engines.
Logic, probability, and human reasoning.
Johnson-Laird, P N; Khemlani, Sangeet S; Goodwin, Geoffrey P
2015-04-01
This review addresses the long-standing puzzle of how logic and probability fit together in human reasoning. Many cognitive scientists argue that conventional logic cannot underlie deductions, because it never requires valid conclusions to be withdrawn - not even if they are false; it treats conditional assertions implausibly; and it yields many vapid, although valid, conclusions. A new paradigm of probability logic allows conclusions to be withdrawn and treats conditionals more plausibly, although it does not address the problem of vapidity. The theory of mental models solves all of these problems. It explains how people reason about probabilities and postulates that the machinery for reasoning is itself probabilistic. Recent investigations accordingly suggest a way to integrate probability and deduction. Copyright © 2015 Elsevier Ltd. All rights reserved.
Classical Syllogisms in Logic Teaching
DEFF Research Database (Denmark)
Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar
2013-01-01
This paper focuses on the challenges of introducing classical syllogisms in university courses in elementary logic and human reasoning. Using a program written in Prolog+CG, some empirical studies have been carried out involving three groups of students in Denmark; one group of philosophy students...... have a tendency correctly to assess valid syllogisms as such more often than correctly assessing invalid syllogisms as such. It is also investigated to what extent the students have improved their skills in practical reasoning by attending the logic courses. Finally, some open questions regarding...
The logical foundations of mathematics
Hatcher, William S
1981-01-01
The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory.Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, and
Symmetric normalisation for intuitionistic logic
DEFF Research Database (Denmark)
Guenot, Nicolas; Straßburger, Lutz
2014-01-01
We present two proof systems for implication-only intuitionistic logic in the calculus of structures. The first is a direct adaptation of the standard sequent calculus to the deep inference setting, and we describe a procedure for cut elimination, similar to the one from the sequent calculus......, but using a non-local rewriting. The second system is the symmetric completion of the first, as normally given in deep inference for logics with a DeMorgan duality: all inference rules have duals, as cut is dual to the identity axiom. We prove a generalisation of cut elimination, that we call symmetric...
Sequential logic analysis and synthesis
Cavanagh, Joseph
2007-01-01
Until now, there was no single resource for actual digital system design. Using both basic and advanced concepts, Sequential Logic: Analysis and Synthesis offers a thorough exposition of the analysis and synthesis of both synchronous and asynchronous sequential machines. With 25 years of experience in designing computing equipment, the author stresses the practical design of state machines. He clearly delineates each step of the structured and rigorous design principles that can be applied to practical applications. The book begins by reviewing the analysis of combinatorial logic and Boolean a
An exercise in 'anhomomorphic logic'
International Nuclear Information System (INIS)
Sorkin, Rafael D
2007-01-01
A classical logic exhibits a threefold inner structure comprising an algebra of propositions U, a space of 'truth values' V, and a distinguished family of mappings φ from propositions to truth values. Classically U is a Boolean algebra, V = Z 2 , and the admissible maps φ: U Z 2 are homomorphisms. If one admits a larger set of maps, one obtains an anhomomorphic logic that seems better suited to quantal reality (and the needs of quantum gravity). I explain these ideas and illustrate them with three simple examples
Logic programming and metadata specifications
Lopez, Antonio M., Jr.; Saacks, Marguerite E.
1992-01-01
Artificial intelligence (AI) ideas and techniques are critical to the development of intelligent information systems that will be used to collect, manipulate, and retrieve the vast amounts of space data produced by 'Missions to Planet Earth.' Natural language processing, inference, and expert systems are at the core of this space application of AI. This paper presents logic programming as an AI tool that can support inference (the ability to draw conclusions from a set of complicated and interrelated facts). It reports on the use of logic programming in the study of metadata specifications for a small problem domain of airborne sensors, and the dataset characteristics and pointers that are needed for data access.
Transforming student's discourse as a method of teaching science inquiry
Livingston, David
2005-07-01
A qualitative case study on the instructional practice of one secondary science teacher addresses the persistent reluctance of many science teachers to integrate the cultural resources and social practices of professional science communities into the science content they teach. The literature has shown that teachers' hesitation to implement a social and locally situated learning strategy curtails students' ability to draw upon the language of science necessary to co-construct and shape authentic science inquiry and in particular appropriate argument schemes. The study hypothesized that a teacher's dialogic facilitation of a particular social context and instructional practices enhances a students' ability to express verbally the claims and warrants that rise from evidence taken from their inquiries of natural phenomena. The study also tracks students' use of the Key Words and Ideas of this science curriculum for the purpose of assessing the degree of students' assimilation of these terms into their speech and written expressions of inquiry. The theoretical framework is Vygotskian (1978) and the analysis of the qualitative data is founded on Toulmin (1958), Walton (1996), Jimenez-Alexandre et al. (2000) and Shavelson (1996). The dialogic structure of this teacher's facilitation of student's science knowledge is shown to utilize students' presumptive statements to hone their construction of inductive or deductive arguments. This instructional practice may represent teacher-student activity within the zone of proximal development and supports Vygotsky's notion that a knowledgeable other is instrumental in transforming student's spontaneous talk into scientific speech. The tracking of the curriculum's Key Words and Ideas into students' speech and writing indicated that this teachers' ability to facilitate students' presumptuous reasoning into logic statements did not necessarily guarantee that they could post strong written expressions of this verbal know-how in
Design and experimentation of BSFQ logic devices
International Nuclear Information System (INIS)
Hosoki, T.; Kodaka, H.; Kitagawa, M.; Okabe, Y.
1999-01-01
Rapid single flux quantum (RSFQ) logic needs synchronous pulses for each gate, so the clock-wiring problem is more serious when designing larger scale circuits with this logic. So we have proposed a new SFQ logic which follows Boolean algebra perfectly by using set and reset pulses. With this logic, the level information of current input is transmitted with these pulses generated by level-to-pulse converters, and each gate calculates logic using its phase level made by these pulses. Therefore, our logic needs no clock in each gate. We called this logic 'Boolean SFQ (BSFQ) logic'. In this paper, we report design and experimentation for an AND gate with inverting input based on BSFQ logic. The experimental results for OR and XOR gates are also reported. (author)
Logical space and the origins of pluralism in logic
Czech Academy of Sciences Publication Activity Database
Arazim, Pavel
-, č. 2 (2017), s. 7-26 ISSN 0567-8293 R&D Projects: GA ČR(CZ) GA17-15645S Institutional support: RVO:67985955 Keywords : pluralism * expressivism * logical space * geometry * holism Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology
Narrative Inquiry With Activity Systems
Directory of Open Access Journals (Sweden)
Lisa C. Yamagata-Lynch
2017-04-01
Full Text Available The goal of this article is to introduce activity systems as a methodological tool in narrative inquiry to gain a holistic understanding of socially shared experiences from an examination of documents. The research question was how can qualitative researchers use activity systems as a tool for engaging in narrative inquiry of socially shared experiences to uncover new meanings by constructing a story? In this article, we share a sample analysis of our experience relying on documents and media as a form of narrative to begin to understand the socially shared human activity associated with net neutrality and its potential impact on U.S. residents. We end this article with reflections of lessons learned from our activity systems guided story construction process.