Search results for 'effective procedure' (try it on Scholar)

1000+ found
Sort by:
  1. Carol E. Cleland (2002). On Effective Procedures. Minds and Machines 12 (2):159-179.score: 132.0
    Since the mid-twentieth century, the concept of the Turing machine has dominated thought about effective procedures. This paper presents an alternative to Turing's analysis; it unifies, refines, and extends my earlier work on this topic. I show that Turing machines cannot live up to their billing as paragons of effective procedure; at best, they may be said to provide us with mere procedure schemas. I argue that the concept of an effective procedure crucially depends (...)
    Direct download (17 more)  
     
    My bibliography  
     
    Export citation  
  2. Jeremy Seligman (2002). The Scope of Turing's Analysis of Effective Procedures. Minds and Machines 12 (2):203-220.score: 126.0
    Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. This paper addresses the question of whether Turing's analysis can be applied to a broader class of effective human procedures. We use Sieg's (1994) presentation of Turing's Thesis to argue against Cleland's (1995) objections to Turing machines and we evaluate (...)
    Direct download (16 more)  
     
    My bibliography  
     
    Export citation  
  3. Tim Button (2009). Hyperloops Do Not Threaten the Notion of an Effective Procedure. Lecture Notes in Computer Science 5635:68-78.score: 120.0
    This paper develops my (BJPS 2009) criticisms of the philosophical significance of a certain sort of infinitary computational process, a hyperloop. I start by considering whether hyperloops suggest that "effectively computable" is vague (in some sense). I then consider and criticise two arguments by Hogarth, who maintains that hyperloops undermine the very idea of effective computability. I conclude that hyperloops, on their own, cannot threaten the notion of an effective procedure.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Pavel Materna (2009). Concepts and Recipes. Acta Analytica 24 (1):69-90.score: 90.0
    If concepts are explicated as abstract procedures, then we can easily show that each empirical concept is a not an effective procedure. Some, but not all empirical concepts are shown to be of a special kind: they cannot in principle guarantee that the object they identify satisfies the intended conditions.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Henna Kosonen & Matti Tolvanen (2010). Balancing Between Effective Realisation of Criminal Liability and Effective Defence Rights: The Tasks and the Roles of Prosecutor and Defence Lawyer in Finnish Criminal Procedure. Jurisprudence 120 (2):233-256.score: 90.0
    Prior to the extensive reform of the Finnish criminal procedure in 1997, the roles of the prosecutor and the defence attorney were passive compared to the role of the judge. The main task of the prosecutor was to read the written indictment and to help the judge to find the truth. The judge could procure evidence ex officio, although it may have been detrimental to the suspect. The roles of the judge, the attorneys and the prosecutor changed dramatically when (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Abraham Robinson (1988). Abraham Robinson's Notes: On a Relatively Effective Procedure Getting All Quasi-Integer Solutions of Diophantine Equations with Positive Genus. Annals of the Japan Association for Philosophy of Science 7 (3):111-115.score: 90.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Silvia Cervo, Jane Rovina, Renato Talamini, Tiziana Perin, Vincenzo Canzonieri, Paolo De Paoli & Agostino Steffan (2013). An Effective Multisource Informed Consent Procedure for Research and Clinical Practice: An Observational Study of Patient Understanding and Awareness of Their Roles as Research Stakeholders in a Cancer Biobank. [REVIEW] BMC Medical Ethics 14 (1):30.score: 84.0
    Efforts to improve patients’ understanding of their own medical treatments or research in which they are involved are progressing, especially with regard to informed consent procedures. We aimed to design a multisource informed consent procedure that is easily adaptable to both clinical and research applications, and to evaluate its effectiveness in terms of understanding and awareness, even in less educated patients.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  8. B. Jack Copeland (2002). Accelerating Turing Machines. Minds and Machines 12 (2):281-300.score: 74.0
    Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. (...)
    Direct download (17 more)  
     
    My bibliography  
     
    Export citation  
  9. Carol E. Cleland (1995). Effective Procedures and Computable Functions. Minds and Machines 5 (1):9-23.score: 72.0
    Horsten and Roelants have raised a number of important questions about my analysis of effective procedures and my evaluation of the Church-Turing thesis. They suggest that, on my account, effective procedures cannot enter the mathematical world because they have a built-in component of causality, and, hence, that my arguments against the Church-Turing thesis miss the mark. Unfortunately, however, their reasoning is based upon a number of misunderstandings. Effective mundane procedures do not, on my view, provide an analysis (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. H. C. M. de Swart (1980). Gentzen-Type Systems for C, K and Several Extensions of C and K; Constructive Completeness Proofs and Effective Decision Procedure for These Systems. Logique Et Analyse 90 (91):263-284.score: 72.0
    No categories
     
    My bibliography  
     
    Export citation  
  11. James R. Misanin, Lyle D. Chubb, Sharon A. Quinn & G. Edward Schweikert (1974). An Apparatus and Procedure for Effective Instrumental Training of Neonatal and Infant Rats. Bulletin of the Psychonomic Society 4 (3):171-173.score: 72.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Gualtiero Piccinini (2003). Alan Turing and the Mathematical Objection. Minds and Machines 13 (1):23-48.score: 60.0
    This paper concerns Alan Turing’s ideas about machines, mathematical methods of proof, and intelligence. By the late 1930s, Kurt Gödel and other logicians, including Turing himself, had shown that no finite set of rules could be used to generate all true mathematical statements. Yet according to Turing, there was no upper bound to the number of mathematical truths provable by intelligent human beings, for they could invent new rules and methods of proof. So, the output of a human mathematician, for (...)
    Direct download (15 more)  
     
    My bibliography  
     
    Export citation  
  13. Benjamin Wells (2002). Is There a Nonrecursive Decidable Equational Theory? Minds and Machines 12 (2):301-324.score: 60.0
    The Church-Turing Thesis (CTT) is often paraphrased as ``every computable function is computable by means of a Turing machine.'' The author has constructed a family of equational theories that are not Turing-decidable, that is, given one of the theories, no Turing machine can recognize whether an arbitrary equation is in the theory or not. But the theory is called pseudorecursive because it has the additional property that when attention is limited to equations with a bounded number of variables, one obtains, (...)
    Direct download (14 more)  
     
    My bibliography  
     
    Export citation  
  14. Selmer Bringsjord & Michael Zenzen (2002). Toward a Formal Philosophy of Hypercomputation. Minds and Machines 12 (2):241-258.score: 58.0
    Does what guides a pastry chef stand on par, from the standpoint of contemporary computer science, with what guides a supercomputer? Did Betty Crocker, when telling us how to bake a cake, provide an effective procedure, in the sense of `effective' used in computer science? According to Cleland, the answer in both cases is ``Yes''. One consequence of Cleland's affirmative answer is supposed to be that hypercomputation is, to use her phrase, ``theoretically viable''. Unfortunately, though we applaud (...)
    Direct download (17 more)  
     
    My bibliography  
     
    Export citation  
  15. Andrew Ashworth & Lucia Zedner (2008). Defending the Criminal Law: Reflections on the Changing Character of Crime, Procedure, and Sanctions. Criminal Law and Philosophy 2 (1):21-51.score: 54.0
    Recent years have seen mounting challenge to the model of the criminal trial on the grounds it is not cost-effective, not preventive, not necessary, not appropriate, or not effective. These challenges have led to changes in the scope of the criminal law, in criminal procedure, and in the nature and use of criminal trials. These changes include greater use of diversion, of fixed penalties, of summary trials, of hybrid civil–criminal processes, of strict liability, of incentives to plead (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Vytautas Nekrošius (2012). Protection of Public Interest in Civil Procedure and the Doctrine of the Constitutional Court. Jurisprudence 19 (3):1101-1110.score: 54.0
    On 21 June 2011 the Parliament of the Republic of Lithuania adopted extensive and important amendments of the Code of Civil Procedure of the Republic of Lithuania. Most of them came into force on 1 October 2011.One of the important tasks that have been mentioned for the preparation of amendments was to ensure the implementation of the Constitutional Court’s doctrine of matters of civil procedure. This article analyses one of the changed aspect - the system of defence of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Virgilijus Valančius & Aurimas Brazdeikis (2011). Different Approach to Losses Caused by the Abuse of Civil Procedure. Jurisprudence 18 (4):1467-1484.score: 54.0
    Recent major amendments of the Code of Civil Procedure of the Republic of Lithuania have added new and improved older procedural instruments that may be used for reimbursement of losses inflicted by the abuse of process. The law now clearly states that the court may take into account improper conduct of the participants when deciding on distribution of litigation costs. A fine in favour of the party aggrieved by the abuse may also be imposed. Therefore, in this article the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Tom N. Tombaugh (1967). The Overtraining Extinction Effect with a Discrete-Trial Bar-Press Procedure. Journal of Experimental Psychology 73 (4p1):632.score: 50.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Richard Colker & Jerome L. Myers (1971). Effects of Sequential Structure Upon Binary Prediction Under an All-Correct Procedure. Journal of Experimental Psychology 89 (2):416.score: 50.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Carol E. Cleland (1993). Is the Church-Turing Thesis True? Minds and Machines 3 (3):283-312.score: 42.0
    The Church-Turing thesis makes a bold claim about the theoretical limits to computation. It is based upon independent analyses of the general notion of an effective procedure proposed by Alan Turing and Alonzo Church in the 1930''s. As originally construed, the thesis applied only to the number theoretic functions; it amounted to the claim that there were no number theoretic functions which couldn''t be computed by a Turing machine but could be computed by means of some other kind (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21. Leon Horsten (1995). The Church-Turing Thesis and Effective Mundane Procedures. Minds and Machines 5 (1):1-8.score: 42.0
    We critically discuss Cleland''s analysis of effective procedures as mundane effective procedures. She argues that Turing machines cannot carry out mundane procedures, since Turing machines are abstract entities and therefore cannot generate the causal processes that are generated by mundane procedures. We argue that if Turing machines cannot enter the physical world, then it is hard to see how Cleland''s mundane procedures can enter the world of numbers. Hence her arguments against versions of the Church-Turing thesis for number (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. Natàlia Cugueró-Escofet, Marion Fortin & Miguel-Angel Canela (2013). Righting the Wrong for Third Parties: How Monetary Compensation, Procedure Changes and Apologies Can Restore Justice for Observers of Injustice. Journal of Business Ethics:1-16.score: 42.0
    People react negatively not only to injustices they personally endure but also to injustices that they observe as bystanders at work—and typically, people observe more injustices than they personally experience. It is therefore important to understand how organizations can restore observers’ perceptions of justice after an injustice has occurred. In our paper, we employ a policy capturing design to test and compare the restorative power of monetary compensation, procedure changes and apologies, alone and in combination, from the perspective of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Dieter Spreen (2010). Effectivity and Effective Continuity of Multifunctions. Journal of Symbolic Logic 75 (2):602-640.score: 42.0
    If one wants to compute with infinite objects like real numbers or data streams, continuity is a necessary requirement: better and better (finite) approximations of the input are transformed into better and better (finite) approximations of the output. In case the objects are constructively generated, they can be represented by a finite description of the generating procedure. By effectively transforming such descriptions for the generation of the input (respectively, their codes) into (the code of) a description for the generation (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Laura Gumuliauskienė & Vigintas Višinskis (2012). Procedural Actions Taken by Bailiffs Electronically: Opportunities and Problems. Jurisprudence 19 (2):507-524.score: 42.0
    The Article presents a study of opportunities and problems related to the procedural actions taken by bailiffs electronically. In the opinion of the authors, the digitalisation of the enforcement procedure seeks to ensure the maximum use of electronic documents: enforcement and procedural documents should function only in the electronic format and thereby should create an effective, transparent and easily accessible information system of electronic enforcement files, which will not only increase the effectiveness of performance of bailiffs and save (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. John J. Porter & James J. Hug (1965). Effects of Number and Percentage of Rewarded Trials on the Acquisition and Extinction of Lever Pressing Using a Discrete-Trial Procedure. Journal of Experimental Psychology 70 (6):575.score: 38.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. Donald P. Scharlock (1954). The Effects of a Pre-Extinction Procedure on the Extinction of Place and Response Performance in a T-Maze. Journal of Experimental Psychology 48 (1):31.score: 38.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. John E. Taplin (1971). Effect of Initial Instance on Attribute Identification of Concepts Using a Selection Procedure. Journal of Experimental Psychology 88 (2):177.score: 38.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. René Lavendhomme & Thierry Lucas (2000). Sequent Calculi and Decision Procedures for Weak Modal Systems. Studia Logica 66 (1):121-145.score: 36.0
    We investigate sequent calculi for the weak modal (propositional) system reduced to the equivalence rule and extensions of it up to the full Kripke system containing monotonicity, conjunction and necessitation rules. The calculi have cut elimination and we concentrate on the inversion of rules to give in each case an effective procedure which for every sequent either furnishes a proof or a finite countermodel of it. Applications to the cardinality of countermodels, the inversion of rules and the derivability (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  29. Martha C. Andrews, K. Michele Kacmar & Charles Kacmar (2013). The Interactive Effects of Behavioral Integrity and Procedural Justice on Employee Job Tension. Journal of Business Ethics:1-9.score: 36.0
    Using data collected from 280 full-time employees from a variety of organizations, this study examined the effects of employee perceptions of the behavioral integrity (BI) of their supervisors on job tension. The moderating effect of procedural justice (PJ) on this relationship also was examined. Substitutes for leadership theory (Kerr and Jermier, 1978) and psychological contract theory (Rousseau, Empl Responsib Rights J 2:121–139, 1989) were used as the theoretical foundations for the hypothesized relationships. Results indicated a negative relationship between BI and (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Michael O. Rabin (1959). Review: A. Frohlich, J. C. Shepherdson, On the Factorisation of Polynomials in a Finite Number of Steps; A. Frohlich, J. C. Shepherdson, Effective Procedures in Field Theory. [REVIEW] Journal of Symbolic Logic 24 (2):169-170.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Carol Cleland (forthcoming). Effective Procedures and Causal Processes. Minds and Machines.score: 36.0
  32. John M. Hollerbach (1981). Effective Procedures Versus Elementary Units of Behavior. Behavioral and Brain Sciences 4 (4):625.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Carol Clarke, Mark Harcourt & Matthew Flynn (2013). Clinical Governance, Performance Appraisal and Interactional and Procedural Fairness at a New Zealand Public Hospital. Journal of Business Ethics 117 (3):667-678.score: 34.0
    This paper explores the conduct of performance appraisals of nurses in a New Zealand hospital, and how fairness is perceived in such appraisals. In the health sector, performance appraisals of medical staff play a key role in implementing clinical governance, which, in turn, is critical to containing health care costs and ensuring quality patient care. Effective appraisals depend on employees perceiving their own appraisals to be fair both in terms of procedure and interaction with their respective appraiser. We (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. Dario Gregori, Lara Lusa, Rosalba Rosato & Luciano Silvestri (2008). Evaluating Effectiveness of Preoperative Testing Procedure: Some Notes on Modelling Strategies in Multi‐Centre Surveys. Journal of Evaluation in Clinical Practice 14 (1):11-18.score: 34.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. M. Sandy Hershcovis, Sharon K. Parker & Tara C. Reich (2010). The Moderating Effect of Equal Opportunity Support and Confidence in Grievance Procedures on Sexual Harassment From Different Perpetrators. Journal of Business Ethics 92 (3):415 - 432.score: 32.0
    This study drew on three theoretical perspectives – attribution theory, power, and role identity theory – to compare the job-related outcomes of sexual harassment from organizational insiders (i.e., supervisors and co-workers) and organizational outsiders (i.e., offend- ers and members of the public) in a sample ( n = 482) of UK police officers and police support staff. Results showed that sexual harassment from insiders was related (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. Claudia Schmied, Xavier Boivin, Sebastian Scala & Susanne Waiblinger (2011). Effect of Previous Stroking on Reactions to a Veterinary Procedure Behaviour and Heart Rate of Dairy Cows. Interaction Studies 11 (3):467-481.score: 32.0
    This study investigated the effect of stroking vs. simple human presence on later reactions of dairy cows to routine veterinary handling. While in two groups of cows the experimenter stroked the ventral part of the neck (Neck, N = 14) or the withers (Withers, N = 15) for three consecutive weeks, the third group was exposed to close visual presence (Control, N = 14). After the treatment period the cows were subjected to rectal palpation. The three groups differed significantly in (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. C. J. Whelan (1988). Litigation and Complaints Procedures: Objectives, Effectiveness and Alternatives. Journal of Medical Ethics 14 (2):70-76.score: 32.0
    Recent debates about redress mechanisms for medical accident victims have been sidetracked by fears of an American-style medical malpractice crisis. What is required is a framework within which the debate can resume. This paper proposes such a framework by focusing on the compensation and deterrence objectives and placing them in the wider context of the social costs of providing medical services. The framework is then used to assess and compare the effectiveness of differing approaches. In particular, the American and British (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. Carol E. Cleland (2001). Recipes, Algorithms, and Programs. Minds and Machines 11 (2):219-237.score: 30.0
    In the technical literature of computer science, the concept of an effective procedure is closely associated with the notion of an instruction that precisely specifies an action. Turing machine instructions are held up as providing paragons of instructions that "precisely describe" or "well define" the actions they prescribe. Numerical algorithms and computer programs are judged effective just insofar as they are thought to be translatable into Turing machine programs. Nontechnical procedures (e.g., recipes, methods) are summarily dismissed as (...)
    Direct download (20 more)  
     
    My bibliography  
     
    Export citation  
  39. Kenneth Aizawa, It is Not All About Turing-Equivalent Computation.score: 30.0
    One account of the history of computation might begin in the 1930’s with some of the work of Alonzo Church, Alan Turing, and Emil Post. One might say that this is where something like the core concept of computation was first formally articulated. Here were the first attempts to formalize an informal notion of an algorithm or effective procedure by which a mathematician might decide one or another logico-mathematical question. As each of these formalisms was shown to compute (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. Kenneth Aizawa (2010). Computation in Cognitive Science: It is Not All About Turing-Equivalent Computation. Studies in History and Philosophy of Science Part A 41 (3):227-236.score: 30.0
    One account of the history of computation might begin in the 1930's with some of the work of Alonzo Church, Alan Turing, and Emil Post. One might say that this is where something like the core concept of computation was first formally articulated. Here were the first attempts to formalize an informal notion of an algorithm or effective procedure by which a mathematician might decide one or another logico-mathematical question. As each of these formalisms was shown to compute (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. Patrick Grim (1997). The Undecidability of the Spatialized Prisoner's Dilemma. Theory and Decision 42 (1):53-80.score: 30.0
    In the spatialized Prisoner's Dilemma, players compete against their immediate neighbors and adopt a neighbor's strategy should it prove locally superior. Fields of strategies evolve in the manner of cellular automata (Nowak and May, 1993; Mar and St. Denis, 1993a,b; Grim 1995, 1996). Often a question arises as to what the eventual outcome of an initial spatial configuration of strategies will be: Will a single strategy prove triumphant in the sense of progressively conquering more and more territory without opposition, or (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. Nancy Janovicek (2006). Oral History and Ethical Practice: Towards Effective Policies and Procedures. [REVIEW] Journal of Academic Ethics 4 (1-4):157-174.score: 30.0
    This article examines how Canadian ethics policies affects historians who use oral history, and focuses on privacy and confidentiality, free and informed consent, and research involving Aboriginal peoples. The article concludes with recommendations for developing ethics policies that accord with historical methodology.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. Walid S. Saba & Jean-Pierre Corriveau (2001). Plausible Reasoning and the Resolution of Quantifier Scope Ambiguities. Studia Logica 67 (2):271-289.score: 30.0
    Despite overwhelming evidence suggesting that quantifier scope is a phenomenon that must be treated at the pragmatic level, most computational treatments of scope ambiguities have thus far been a collection of syntactically motivated preference rules. This might be in part due to the prevailing wisdom that a commonsense inferencing strategy would require the storage of and reasoning with a vast amount of background knowledge. In this paper we hope to demonstrate that the challenge in developing a commonsense inferencing strategy is (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  44. Ian S. Hargreaves & Penny M. Pexman (2014). Get Rich Quick: The Signal to Respond Procedure Reveals the Time Course of Semantic Richness Effects During Visual Word Recognition. Cognition 131 (2):216-242.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Egidija Stauskienė (2012). Impact of Constitutional Justice on Lithuaniaʼs Civil Procedure. Jurisprudence 19 (3):1079-1099.score: 30.0
    The extent to which the legal doctrine addresses manifestations of constitutionalism has been constantly growing. However, the majority of research in constitutionalism focuses on the analysis of the power of the Constitution and the fundamental principles entrenched in it whereas ordinary branches of law, including civil procedure, affected by the constitutional law remains outside the scope of a deeper analysis. The author of the present paper is convinced that certain aspects of the impact of constitutional justice on such branches (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. William Buskist & H. L. Miller (1987). Effects of Lithium Chloride Illness on Food Preference in Pigeons: A Concurrent Operants Procedure for the Study of Food-Aversion Learning. Bulletin of the Psychonomic Society 25 (5):394-397.score: 30.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. J. C. E. Dekker (1981). Twilight Graphs. Journal of Symbolic Logic 46 (3):539-571.score: 30.0
    This paper deals primarily with countable, simple, connected graphs and the following two conditions which are trivially satisfied if the graphs are finite: (a) there is an edge-recognition algorithm, i.e., an effective procedure which enables us, given two distinct vertices, to decide whether they are adjacent, (b) there is a shortest path algorithm, i.e., an effective procedure which enables us, given two distinct vertices, to find a minimal path joining them. A graph $G = \langle\eta, \eta\rangle$ (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. Christopher L. Edwards, Perrine Marie Ruby, Josie E. Malinowski, Paul D. Bennett & Mark T. Blagrove (2013). Dreaming and Insight. Frontiers in Psychology 4:979.score: 30.0
    This paper addresses claims that dreams can be a source of personal insight. Whereas there has been anecdotal backing for such claims, there is now tangential support from findings of the facilitative effect of sleep on cognitive insight, and of REM sleep in particular on emotional memory consolidation. Furthermore, the presence in dreams of metaphorical representations of waking life indicates the possibility of novel insight as an emergent feature of such metaphorical mappings. In order to assess whether personal insight can (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Fernando A. Gonzalez (1973). Effects of Partial Reinforcement (25%) in an Autoshaping Procedure. Bulletin of the Psychonomic Society 2 (5):299-301.score: 30.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Raimundas Jurka (2010). New Insights Into the Procedure Within a Reasonable Time as a Legal Principle. Jurisprudence 119 (1):297-316.score: 30.0
    The article deals with a discussion of the concept and implementation of the procedure within a reasonable time as a legal principle. The main purpose of the article is to reveal the content and functioning of this principle. The author presents new insights into this principle. From time to time this legal ground evolves into new forms or the criteria, on which it depends, changes; therefore, such issues have to be taken as the basis for evaluating this principle. The (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000