81. DIMACS Working Group On Computer-Generated Conjectures From Graph Theoretic And Working Group on ComputerGenerated conjectures from Graph Theoretic and Chemical Databases I. Working Group Meeting November 12 -16, 2001. http://dimacs.rutgers.edu/SpecialYears/2001_Data/Conjectures/

Working Group on Computer-Generated Conjectures from Graph Theoretic and Chemical Databases I Working Group Meeting: November 12 -16, 2001 Public Workshop: Graph Theory Day, Saturday, November 10, 2001 Location: DIMACS Center, CoRE Building, Rutgers University Organizers: Patrick Fowler , University of Exeter, P.W.Fowler@exeter.ac.uk Pierre Hansen , GERAD - Ecole des Hautes Etudes Commerciales, pierreh@crt.umontreal.ca This material is based upon work supported by the National Science Foundation under Grant No. 0100921 Description of the goals of the working group. List of participants in the working group. Program References related to the working group. A Selection of Working Group Accomplishments Working Group Web Page (Literature References, Software, Scientific Results, etc.) Public Workshop: Graph Theory Day 42, Saturday, November 10, 2001 Working Group Meeting and Workshop Report ... Working Group Book (in preparation) Information on Accommodations A block of rooms has been reserved at the Holiday Inn, South Plainfield, New Jersey for this event. You must contact the hotel directly and make the reservation. Identify yourself as being with a DIMACS event and you will get the discounted rate of $92 per night. Please click on the link for 'Information on Accommodations' above for details on the phone number and address for the hotel. There are other accommodations in the area, but we recommend the Holiday Inn. Information on Travel Arrangements Parking Permit Parking permits will be available at the registration table on the day of the workshop.

82. DIMACS Working Group On Computer-Generated Conjectures From Graph Theoretic And Working Group on ComputerGenerated conjectures from Graph Theoretic and Chemical Databases I. Software for Automatic Generation of conjectures. http://dimacs.rutgers.edu/SpecialYears/2001_Data/Conjectures/conjecturesdescript

Working Group on Computer-Generated Conjectures from Graph Theoretic and Chemical Databases I Working Group Meeting: November 12 -16, 2001 Public Workshop: Graph Theory Day, Saturday, November 10, 2001 Location: DIMACS Center, CoRE Building, Rutgers University Organizers: Patrick Fowler , University of Exeter, P.W.Fowler@exeter.ac.uk Pierre Hansen , GERAD - Ecole des Hautes Etudes Commerciales, pierreh@crt.umontreal.ca This material is based upon work supported by the National Science Foundation under Grant No. 0100921 The Process of Discovery in the Mathematical Sciences The process of scientific discovery is a very complex one. Computers can aid human beings in the process and, as has been a goal of researchers in artificial intelligence, in an automatic way. In the mathematical sciences, discovery can be thought to have three components: development of conjectures, formation of new concepts, and proving of theorems or disproving of conjectures. There has been a large amount of research done on automatic theorem proving. Here, we concentrate on the use of the computer as a tool in generating conjectures, whether in an automated way or as a tool used interactively by a person. Software for Automatic Generation of Conjectures The use of computers in scientific discovery, and in particular in the development of mathematical conjectures, is not new. The paper by Larsen [

83. MA 432 Elementary Topology > Conjectures > Conjectures conjectures. conjectures. MATH 432 Elementary Topology. Spring 2004. conjectures. YL 1 If A and B are infinite sets and A~ B, then A ~ A È B. http://segue.middlebury.edu/index.php?site=math0432a-s04§ion=5246&action=sit

84. My Conjectures Some conjectures of Mine and Others. These conjectures are all original but I make no claims of priority. The conjectures concern http://www.mast.queensu.ca/~wehlau/Conjectures.html

85. LP: Sample Proofs: Sample Conjectures LP, the Larch Prover Sample proofs sample conjectures. We will illustrate LP s proof mechanisms by proving the following sample conjectures http://nms.lcs.mit.edu/Larch/LP/misc/sample_conjectures.html

LP, the Larch Prover Sample proofs: sample conjectures We will illustrate LP's proof mechanisms by proving the following sample conjectures: Except for the fourth, the sample conjectures are like the sample axioms: they are either formulas or induction rules. The fourth, , is an abbreviation for the conjunction of the associative and commutative laws for the operator. It provides LP with useful operational information. For example, it allows LP to conclude that is the same set as ; hence the third conjecture shows that both of these sets are the same as x The order in which we have stated these conjectures is not completely arbitrary. As we shall see, some of them are used to prove conjectures appearing later in the list.

86. LP: Hints On Formalizing Axioms And Conjectures LP, the Larch Prover Hints on formalizing axioms and conjectures. Be careful not to confuse variables and constants. If x is a http://nms.lcs.mit.edu/Larch/LP/misc/hints_formalizing.html

LP, the Larch Prover Hints on formalizing axioms and conjectures Be careful not to confuse variables and constants . If x is a variable and c is a constant, then e(x) is a stronger assertion than e(c) . The first means . In the absence of other assertions involving c , the second only implies . If you don't know whether an identifier is a variable or a constant, type display symbols to find out. Be careful about the use of free variables in formulas. The formula correctly (albeit awkwardly) expresses the fact that the empty set is a subset of any set. However, its converse, , does not express the fact that any set that is a subset of all sets must be the empty set. That fact is expressed by the equivalent formulas and An axiom or conjecture of the form when A yield B has the same logical content as one of the form A => B , but different operational content. Given the axiomization declare variable x: Bool declare operators a: -> Bool f, g, h: Bool -> Bool .. assert when f(x) yield g(x); g(x) => h(x); f(a) .. LP will automatically derive the fact g(a) from f(a) by applying the deduction rule , but it will not derive h(a) from g(a) unless it is instructed to compute critical-pairs A multiple-hypothesis deduction rule of the form when A, B yield C

87. Some Mathematical Conjectures These are original conjectures, but I have no idea whether I have priority. I welcome correspondence concerning them. They are serious http://www.zeta.org.au/~andrewa/aja6a2.htm

I hypothesise: That the Seive of Eratosthenes is itself the legendary "Nth Prime". That the Real Numbers are not the appropriate number system for making measurements in the real world. These are original conjectures, but I have no idea whether I have priority. I welcome correspondence concerning them. They are serious however, for some fun see my note on Ridiculous Numbers Return to my home page http://www.zeta.org.au/~andrewa/aja6a2.htm Andrew Alder andrewa@zeta.org.au

88. Peter Salamon, Paolo Sibani, And Richard Frost contact harris@siam.org. Facts, conjectures, and Improvements for Simulated Annealing. Peter Salamon, Paolo Sibani, and Richard Frost. http://www.ec-securehost.com/SIAM/MM07.html

new books author index subject index series index Purchase options are located at the bottom of the page. The catalog and shopping cart are hosted for SIAM by EasyCart. Your transaction is secure. If you have any questions about your order, contact harris@siam.org Facts, Conjectures, and Improvements for Simulated Annealing Peter Salamon, Paolo Sibani, and Richard Frost Monographs on Mathematical Modeling and Computation 7 Simulated annealing has proved to be an easy and reliable method for finding optimal values of a problem in cases where there is no road map to possible solutions. Facts, Conjectures, and Improvements for Simulated Annealing offers an introduction to this topic for novices and provides an informative review of the area for the more expert reader. This book brings together for the first time many of the theoretical foundations for improvements to algorithms for global optimization that until now existed only in scattered research articles. The method described in this book operates by simulating the cooling of a (usually fictitious) physical system whose possible energies correspond to the values of the objective function being minimized. The analogy works because physical systems occupy only states with the lowest energy as the temperature is lowered to absolute zero. Audience This book is suitable for advanced undergraduate and graduate students and for professionals in a wide variety of subject areas: bioinformatics, chemistry, computer science, engineering, finance, geology, mathematics, and physics.

89. Geometry_Class_Notes.html Geometry. Investigations and conjectures. After students know a little about the conjecturing process, how do I tell them what conjectures are typically about? http://www.math.byu.edu/~lfrancis/readings302/Geometry_Class_Notes.html

Geometry Investigations and Conjectures Table of Contents Why should we teach Geometry using an investigations and conjecturing approach? Quote Patterns of Instruction Some Commonly Accepted Myths About a Conjecturing Approach Questions Teachers Typically Ask Inquiry Skills and Understanding Students Should Develop Why should we teach Geometry using an investigations and conjecturing approach? Quote: "There is something odd about the way we teach mathematics in our schools. We teach it as if we expect that our students will never have occasion to make new mathematics. We do not each language that way. If we did, students would never be required to write an original piece of prose or poetry. We would simply require them to recognize and appreciate the great pieces of language of the past, the literary equivalents of the Pythagorean Theorem and the Law of Cosines." - J. Schwartz and M. Yerushalmy Table of Contents Patterns of Instruction: The use of technology in instruction should further alter both the teaching and the learning of mathematics. Computer software can be used effectively for class demonstrations and independently by students to explore additional examples, perform independent investigations, generate and summarize data as part of a project, or complete assignments. Calculators and computers with appropriate software transform the mathematics classroom into a laboratory much like the environment in many science classes, where students use technology to investigate, conjecture, and verify their findings. In this setting, the teacher encourage experimentation and provides opportunities for students to summarize ideas and establish connections with previously studied topics.

90. Conjectures Of Order: Intellectual Life And The American South, 1810-1860, By Mi conjectures of Order Intellectual Life and the American South, 18101860 by Michael O Brien Copyright (c) 2004 by the University of North Carolina Press. http://uncpress.unc.edu/chapters/obrien_conjectures.html

Vol. 1: 588 pp., Vol. 2: 752 pp., 6 1/8 x 9 1/4, 100 illus., 2 tables, notes, bibl., index $95.00 cloth ISBN 0-8078-2800-9 Published: Spring 2004 Add to cart View cart Checkout Conjectures of Order Intellectual Life and the American South, 1810-1860 by Michael O'Brien Introduction The Position and Course of the South Images Johann Gottlieb Fichte, quoted in Southern Presbyterian Review Thomas Dew of Virginia, writing in 1829 in the exordium of his Lectures on the Restrictive System Southern Literary Messenger Less familiar, at least to American readers, will be the proposition that Southerners were postcolonials, who had only recently repudiated a metropolitan authority and were anxious to possess and define their "place."[6] But "postcolonial" is an omnibus term, which can obscure as much as it can illuminate, for empires take many forms, as do the regimes that succeed them.[7] In India and Nigeria, for example, a small imperial class governed a large indigenous population with the aid of a collaborating or comprador au courant knowledge into old-fashioned provinciality. A visitor could arrive, only to sneer at earnest young ladies playing Mozart and to say that Bellini was now the rage in Paris; the returned traveler could announce that no one, anymore, read Wordsworth, that Tennyson was now the man, or that Lamarck was an exploded theorist and someone called Darwin had a much better idea. Southerners lived at the edge of the known world and, like figures in a Chekhov play, some in it wanted to touch the center. "If you go back to Paris," Yasha the servant says to Madame Ranevsky in

91. Sur Les Conjectures De Bloch Et De Hodge Pour Les Hypersurfaces Et Les Intersect Translate this page OTWINOWSKA, Anna - Sur les conjectures de Bloch et de Hodge pour les hypersurfaces et les intersections complètes de bas degré. http://www-mathdoc.ujf-grenoble.fr/archive-publis/theses/IMJ/th110.html

OTWINOWSKA, Anna - Sur les conjectures de Bloch et de Hodge pour les hypersurfaces et les intersections complètes de bas degré Sur les conjectures de Bloch et de Hodge pour les hypersurfaces et les intersections complètes de bas degré Thèse préparée à l'Institut de Mathématiques de Jussieu Sous la direction de Claire VOISIN Soutenue à l'Université Paris 6 le par Anna OTWINOWSKA Voir le serveur de l'Institut de Math de Jussieu pour d'autres renseignements.

92. Wild Cryptographic Conjectures Bram s page. These thoughts nagged at me for a long time. When I first wrote this page (circa 2000) I thought they were completely http://bitconjurer.org/wild_cryptographic_conjectures.html

Bram's page These thoughts nagged at me for a long time. When I first wrote this page (circa 2000) I thought they were completely beyond the scope of current mathematical techniques, but much to my surprise program obfuscation has since been shown to be impossible Conjecture - For any axiomatic system, there exists a function which runs in a practical amount of time which takes as inputs a statement in that axiomatic system and a fixed length string, such that given a proof of any statement in the axiomatic system it is possible in a practical amount of time to construct a string such that the function when given the statement and the string will return true, but it is computationally intractable to find a false statement and a string such that the function will return true. Conjecture - There is a method of encoding any program such that the encoded form of the program can be sent to an untrusted party and the untrusted party will be able to determine the outputs of the program when given any particular set of inputs but will be incapable of determining anything about the program's structure other than what can be deduced from the amount of time it took to compute the answer and the amount of memory it used. -Bram Cohen

93. Solutions For Two Conjectures On The Inverse Problem Of The Wiener Index Of Pept Solutions for Two conjectures on the Inverse Problem of the Wiener Index of Peptoids. Xueliang Li, Lusheng Wang. Abstract. In this http://epubs.siam.org/sam-bin/dbq/article/38726

SIAM Journal on Discrete Mathematics Volume 17, Number 2 pp. 210-218 Solutions for Two Conjectures on the Inverse Problem of the Wiener Index of Peptoids Xueliang Li, Lusheng Wang Abstract. In this paper, we give solutions for the two conjectures on the inverse problem of the Wiener index of peptoids proposed by Goldman et al. We give the first conjecture a positive proof and the second conjecture a negative answer. Key words. combinatorial chemistry, Wiener index, peptoid AMS Subject Classifications DOI Retrieve PostScript document ( 38726.ps : 345528 bytes) Retrieve GNU Compressed PostScript document ( ... Retrieve reference links For additional information contact service@siam.org

94. Dictionary.com/conjecture conjectures of a Guilty Bystanderconjectures of a Guilty Bystander. List price $14.95 Our price $10.47 (You save $4.48). Book conjectures of a Guilty Bystander Customer Reviews http://www.dictionary.com/cgi-bin/dict.pl?term=conjecture

95. Six Conjectures For A Computational Cosmography Introduction to computational cosmography Six conjectures for a computational cosmography. Computational Cosmography (CC) refers http://www.sci.tamucc.edu/~nystrom/ccp_rick/node12.html

Next: The isotropic vector matrix Up: Introduction to computational cosmography Previous: Introduction to computational cosmography Six conjectures for a computational cosmography Computational Cosmography (CC) refers in the broadest sense to a system of interacting deformable polyhedra whose aggregate emergent behavior would exhibit properties that resemble processes found in our natural environment. These conjectures form a basis and rationality for an approach to computation that works from the bottom up, while trying to limit the use of axiomatic arguments. Indeed, it might be that the only way to really compute naturally is to assume (almost) everything is an emergent behavior. First we must agree with Einstein and Fuller and say there is a geometry of nature. Next we must be concerned with the stuff of the computation; the entities (i.e., objects, the ``what'' that exists in space) have form. Furthermore, it is assumed that this form is at minimum a volume (3-volume) enclosing polyhedron, and that these (deformable) polyhedron dance within and are defined as part of an overall background structural system (the lattice of space/time/matter).

96. History Of The Conjectures Previous Next Contents 1.iv. History of the conjectures. This renewed Sottile s interest in these conjectures and inspired the recent work. http://www.expmath.org/extra/9.2/sottile/SectI.4.html

1.iv. History of the conjectures Soon after Sottile obtained the results of his thesis [ ], Boris Shapiro and Michael Shapiro formulated a very general, but precise conjecture, which dealt with this phenomenon of reality in enumerative geometry for Grassmannians. ( Here are excerpts from letters giving more information.) Their conjecture was also concerned with the flag manifold. As stated, it is false - we describe a counterexample later. ]. While studying the pole placement problem numerically [ RS ], Rosenthal and Sottile decided to test some instances of the conjecture of Shapiro and Shapiro. Much to their surprise, the computations were all in agreement with the conjecture. ( Here is a description of that project.) RS HSS ]. Also, Sottile distributed two challenges to the systems solving community. One concerned ` hypersurface ' Schubert conditions (see Section 2 ), and the second concerned ` Pieri-type ' Schubert conditions (see Section 3 FRZ ] was in response to these challenges. They verified one instance of the conjecture involving the 462 4-planes meeting 12 3-panes in 7-space. This renewed Sottile's interest in these conjectures and inspired the recent work. To the best of our knowledge, this document and the paper [ ] mark the debut in print of the most general version of the conjecture of Shapiro and Shapiro.

97. Citations Conjectures And Refutations - Popper (ResearchIndex) Karl R. Popper. conjectures and Refutations. Routledge Keagan, London, 1963. Karl R. Popper. conjectures and Refutations. Routledge Keagan, London, 1963. http://citeseer.ist.psu.edu/context/169602/0

98. Hunting The Muse: Conjectures On Truth And Quality February 20, 2003. conjectures on Truth and Quality. Conjecture on Truth For you to accept a happening as absolutely true, you must http://www.museworld.com/archives/000749.html

Hunting The Muse Writing helps me find my muse. Sometimes I have to sneak up on it. Main February 20, 2003 Conjectures on Truth and Quality Conjecture on Truth: For you to accept a happening as absolutely true, you must either: Witness the veracity of the happening firsthand Have the happening reported to you by a source you know and trust absolutely Conjecture on Quality: A quality judgement is the same as a Truth judgement, except with the added variable of your own subjective preferences mixed in. Therefore, for you to accept an item as being high quality, you must either: Judge the quality of the item firsthand Have the item referred to you by a source that you absolutely trust can interpret your quality requirements (tastes) accurately What technology can do for you is approximate the second requirement in both cases. However, there are tradeoffs. For truth, if the happening is not reported by a source you explicitly trust as truthful, an alternative is for the happening to be reported by several independent and non-conspiring sources. This is corroboration. There is a loophole here in that if you don't explicitly trust any of the sources yourself, it is possible for them all to be fooled. You are choosing to trust a safety in numbers, rather than trusting one independent personally-known source. For quality, it requires the recommending source to know your tastes. In the case of a source that knows only your tastes, it is difficult if not impossible for the source to judge your reaction to an item when that item's qualities do not have a relationship with the taste qualities you have shared.

99. C I I L PROGRAMMES Lipika. 2. The conjectures The Indus Valley Civilization was the first major urban culture of South Asia. The peak was http://www.ciil.org/programmes/lipika/conjucture.html

Focus Languages Society Culture ... Links PROGRAMMES - Lipika 2. The Conjectures The Indus Valley Civilization was the first major urban culture of South Asia. The peak was between 2600 and 1900 BC roughly. The samples are huge - about 1000 settlements spreading all of modern Pakistan, and parts of India and Afghanistan. The main corpus of writing include 2,000 inscribed brief seals and tablets of 6 to 26 symbols each which are still undeciphered. There are several competing theories about the language (unrelated/Aryan/Mundari/Dravidian) which the Indus script represents. But it appears that there was an equally strong multi-racial and multi-lingual existence then which has further contributed to the difficulties in decipherment. Writing Systems Conjectures Brahmi Script Kharosthi Script ... Top

100. SSRN-Conjectures Regarding Empirical Managerial Accounting Research By Jerold Zi SSRNconjectures Regarding Empirical Managerial Accounting Research by Jerold Zimmerman. Paper Stats Abstract Views 1810 Downloads http://papers.ssrn.com/sol3/papers.cfm?abstract_id=258772

Page 5     81-100 of 115    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20