50,793 Hits in 5.8 sec

History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! [chapter]

Claus-Peter Wirth
2005 Lecture Notes in Computer Science  
In order to clear the fog a little, there is a short introduction to inductive theorem proving and a discussion of connotations of implicit induction like "descente infinie", "inductionless induction",  ...  differ from the presentation in a recent handbook article on "inductionless induction".  ...  To succeed in proving an inductive theorem in finite time, implicit inductive theorem provers have to solve the same problems as explicit inductive theorem provers, namely to find a finite cyclic representation  ... 
doi:10.1007/978-3-540-32254-2_12 fatcat:gyrzf5vcw5atnp2gzqbwjhwdam

The influence of standardisation and task load on team coordination patterns during anaesthesia inductions

E Zala-Mezo, J Wacker, B Kunzle, M Bruesch, G Grote
2009 BMJ Quality & Safety  
The coding system distinguished between implicit and explicit coordination, coordination via leadership and heedful inter-relating as the individual effort to reach smooth coordination.  ...  RESULTS: Overall, 67.7% of all CAs were rated as explicit CA and 32.3% as implicit CAs.  ...  The coding system distinguished between implicit and explicit coordination, coordination via leadership and heedful interrelating as the individual effort to reach smooth coordination.  ... 
doi:10.1136/qshc.2007.025973 pmid:19342527 fatcat:vjr5pv4gpzck3bkfttgeinsghm

Mutual influences between the implicit and explicit self-concepts: The role of memory activation and motivated reasoning

Kurt R. Peters, Bertram Gawronski
2011 Journal of Experimental Social Psychology  
testing, to the activation of substantiating information in the implicit selfconcept.  ...  Experiment 2 provides evidence for a "top-down" process of self-construal in which the motivated assertion of a propositional belief in the explicit self-concept leads, via a process of confirmatory hypothesis  ...  Thus, measures of the "explicit" selfconcept, typically assessed via self-report, have been shown to diverge from measures of the "implicit" self-concept, typically assessed via performance-based measures  ... 
doi:10.1016/j.jesp.2010.11.015 fatcat:ta3aaybaurc2pangwkdsufbj3q

Automatic analysis of DMA races using model checking and k-induction

Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
2011 Formal methods in system design  
To our knowledge, this marks both the first application of k-induction to software verification, and the first example of software model checking in the context of heterogeneous multicore processors.  ...  To enable automatic verification of the correctness of instrumented programs, we present a new formulation of k-induction geared towards software, as a proof rule operating on loops.  ...  Acknowledgment We are grateful to Matko Botinčan, Leopold Haller and the anonymous reviewers for their comments on an earlier draft of this work.  ... 
doi:10.1007/s10703-011-0124-2 fatcat:piff47etw5gi5i3drlouwsvu3e

Mood and Trust in Intuition Interactively Orchestrate Correspondence Between Implicit and Explicit Attitudes

Jeffrey R. Huntsinger
2011 Personality and Social Psychology Bulletin  
The goal of the current research was to subject the prediction that affect and trust in intuition would interactively shape implicit and explicit attitude correspondence to empirical assessment.  ...  such tendencies, which in turn shaped correspondence between implicit and explicit attitudes.  ...  Acknowledgments I would like to extend many thanks to Robyn K. Mallett, Kate Ratliff (Ranganath), Colin Tucker Smith, and Gerald L. Clore for their comments on previous versions of this article.  ... 
doi:10.1177/0146167211410069 pmid:21610200 fatcat:u2sqwa32ungd5baurnoe7vldtu

The effects of mindfulness versus thought suppression on implicit and explicit measures of experiential avoidance

Nic Hooper, Matthieu Villatte, Evi Neofotistou, Louise McHugh
2010 International Journal of Behavioral Consultation and Therapy  
Fifty undergraduate participants were exposed to an implicit (Implicit Relational Assessment Procedure: IRAP) and an explicit (Acceptance and Action Questionnaire II: AAQ II) measure of EA.  ...  The results indicated that the mindfulness group experienced a reduction of EA from pre to postinduction in comparison to those in the thought suppression group on the implicit measure (IRAP) but not the  ...  Participants listened to a recorded induction (adapted from Arch & Craske, 2006) via the use of a dictaphone (Olympus, digital voice recorder).  ... 
doi:10.1037/h0100910 fatcat:ozxcwrb3urfvvemc6ma2tiykoa

Anger enhances correspondence between implicit and explicit attitudes

Jeffrey R. Huntsinger
2013 Emotion  
The goal of the current research was to subject to empirical examination the idea that the experience of anger would narrow the separation between implicit and explicit attitudes.  ...  by anger should increase implicit-explicit attitude correspondence.  ...  Rather than attempting to adjudicate between these alternative models, in the present research the definitions of implicit and explicit attitudes contained in the associative-propositional evaluation (  ... 
doi:10.1037/a0029974 pmid:23046458 fatcat:uffjdslmcredbbx52crfx7c44y

Rethinking Epistemic Logic with Belief Bases [article]

Emiliano Lorini
2018 arXiv   pre-print
We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of multi-agent belief base.  ...  are defined from the concept of belief base.  ...  In the future, we plan to study a variant of this logic in which explicit and implicit beliefs are replaced by truthful explicit and implicit knowledge.  ... 
arXiv:1812.07079v1 fatcat:pq57aqhfd5f2dbhrm3e2pua3pi

Compressing Polarized Boxes

Beniamino Accattoli
2013 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science  
Moreover, implicit boxes are more parallel than explicit boxes, as they realize a larger quotient.  ...  We show that logical polarity can be exploited to obtain an implicit, compact, and natural representation of boxes: in an expressive polarized dialect of linear logic, boxes may be represented by simply  ...  By induction on this definition it can be shown that T (l) is a correct explicit net (in a correct net E). Cut-elimination.  ... 
doi:10.1109/lics.2013.49 dblp:conf/lics/Accattoli13 fatcat:vg26sbwapne7fchwqpkd56rh4y

Increasing Implicit Life Satisfaction

Daisung Jang, Do-Yeong Kim
2011 Social Behavior and Personality: An international journal  
In Study 2, the participants were exposed to supraliminal priming of the concept My Life with positive valences, but the effects of this exposure on explicit and implicit life satisfaction proved not to  ...  In Study 1, participants were instructed to recall their day from a positive perspective, each day for a total of 17 days.  ...  inductions.  ... 
doi:10.2224/sbp.2011.39.2.229 fatcat:ive2xwmv25fthlva3fn7iviowa

The Understanding of Implicit Linguistic Knowledge in Second Language Research

Sami Sulaiman Alsalmi
2019 Journal of Literature and Art Studies  
Thus, this review aims to elucidatethe theoretical nature of implicit and explicit linguistics knowledge and how these types of knowledge are distinguished in terms of their representation and processing  ...  Ellis (2006; argues that it is implicit rather than explicit knowledge which underlines linguistic competence reflected in actual speech production and comprehension.  ...  The relationships between implicit/explicit learning and implicit/explicit knowledge (Adopted from .  ... 
doi:10.17265/2159-5836/2019.09.005 fatcat:5g4pcgehxjeo3kcpocuisqufte

Abstract notions and inference systems for proofs by mathematical induction [chapter]

Claus-Peter Wirth, Klaus Becker
1995 Lecture Notes in Computer Science  
Soundness of inference systems for inductive proofs is sometimes shown ad hoc and a posteriori, lacking modularization and interface notions.  ...  As a consequence, these soundness proofs tend to be clumsy, difficult to understand and maintain, and error prone with difficult to localize errors.  ...  Acknowledgements: We would like to thank Jürgen Avenhaus, Alfons Geser, Bernhard Gramlich, Ulrich Kühler, and Martin Protzen for useful hints.  ... 
doi:10.1007/3-540-60381-6_21 fatcat:wov5m7zlnrhrbpkovky2ezr6sm

To Be More Accurate: A Study to Investigate the Importance of Explicit Teaching in Monolingual Language Classroom Settings

Buse Aral, Seval DoĿan, B. Warren Oliver
2016 Procedia - Social and Behavioral Sciences  
While found to be statistically insignificant because of a small sample size, the results of this study found that both implicit and explicit teaching methods were effective in teaching students.  ...  At the same time, the results implied that implicit education is more advantageous to the student.  ...  Thus, while there was an observed difference in the changes between the implicit and explicit group, any differences noted cannot be used to definitively correlate implicit or explicit teaching with improved  ... 
doi:10.1016/j.sbspro.2016.10.080 fatcat:uqktkabtyvhhldvyl65zo4c2mi

Circumscription and implicit definability

Jon Doyle
1985 Journal of automated reasoning  
Implicit definition can be taken as the informal intent, but not necessarily the formal result, of circumscription.  ...  We explore some connections between the technique of circumscription in artificial intelligence and the notion of implicit definition in mathematical logic.  ...  For example, in the abstract, circumscription can be applied in all sorts of representational systems by formulating data-structures via inductive definitions and looking for least fixed points or least  ... 
doi:10.1007/bf00244277 fatcat:22vgxbyesnfzfptuiovvqs42qu

Another Look at Reflection

Martin Fischer
2021 Erkenntnis: An International Journal of Scientific Philosophy  
Additionally, we analyse the role of informal arithmetic and the conception of natural numbers as an inductive structure, also with regard to extra conceptual resources such as a primitive truth predicate  ...  We provide a motivation for the adoption of uniform reflection principles by their analogy to a form of the constructive $$\omega $$ ω -rule.  ...  However, we can define the set of codes of proofs in Z * via an inductive definition, along the notations in Kleene's O.  ... 
doi:10.1007/s10670-020-00363-9 fatcat:c2qngptngjbuzeauetqcsdnfm4
« Previous Showing results 1 — 15 out of 50,793 results