Search

Your search keyword '"Mayr, Ernst"' showing total 2,286 results
Start Over Author "Mayr, Ernst"

Refine your results

more »

more »

more »

more »
2,286 results on '"Mayr, Ernst"'

5. Ernst Mayr and Carl Sagan debate about the probability of intelligent life in the universe

Author

Lemarchand, Guillermo A., Mayr, Ernst, and Sagan, Carl

Subjects
Physics - Popular Physics, Physics - History and Philosophy of Physics
Abstract

During the Second Iberoamerican Graduate School on Astrobiology interesting debates, between the experts from the biological and physical backgrounds, arose about the probability of the existence of extraterrestrial intelligent beings in the universe. For this reason, it is appropriate to reproduce -for the first time in Spanish- the debate on the subject conducted, in 1995, between Carl Sagan and Ernst Mayr. This debate was organized by Guillermo A. Lemarchand and published in the pages of two consecutive numbers of "Bioastronomy News". Here we reproduce the complete debate, including its original introduction., Comment: In Spanish, 22 pages, UNESCO, ICTP, TWAS, Second Iberoamerican School on Astrobiology, Montevideo, Uruguay, Translation into Spanish of an original debate held on 1995 and edited by G.A. Lemarchand

Published
2010

12. Persistence of Vector Replacement Systems is Decidable

Author

Mayr, Ernst and Mayr, Ernst

Abstract

In a persistent vector replacement system (VRS) or Petri net, an enabled transition can become disabled only by firing itself. Here, an algorithm is presented which allows to decide whether an arbitrary VRS is persistent of not, and if so, to construct a semilinera representation of the set of states reachable in the system.

Published
2023

13. The Complexity of the Word Problems for Commutative Semigroups and Polynomial Ideals

Author

Mayr, Ernst W., Meyer, Albert R., Mayr, Ernst W., and Meyer, Albert R.

Abstract

Any decision procedure for the word problems for commutative semigroups and polynomial ideals inherently requires computational storage space growing exponentially with the size of the problem instrance to which the procedure is applied. This bound is achieved by a simple procedure for the semigroup problem.

Published
2023

15. The Complexity of the Finite Containment Problem for Petri Nets

Author

Meyer, Albert R., Mayr, Ernst Wilhelm, Meyer, Albert R., and Mayr, Ernst Wilhelm

Abstract

If the reachability set of a Petri net (or, equivalently, vector addition system) is finite it can be effectively constructed. Furthermore, the finiteness is decidable. Thus, the containment and equality problem for finite reachability sets become solvable. We investigate the complexity of decision procedures for these problems and show by reducing a bounded version of Hilbert's Tenth Problem to the finite containment problem that these two problems are extremely hard, that, in fact, the complexity of each decision procedure exceeds any primitive recursive function infinitely often.

Published
2023

21. A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application

Author

Mayr, Ernst W., Weihmann, Jeremias, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ciardo, Gianfranco, editor, and Kindler, Ekkart, editor

Published
2014
Full Text
View/download PDF

22. Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations

Author

Chibisov, Dmytro, Ganzha, Victor, Mayr, Ernst W., Vorozhtsov, Evgenii V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ganzha, Victor G., editor, Mayr, Ernst W., editor, and Vorozhtsov, Evgenii V., editor

Published
2007
Full Text
View/download PDF

23. On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions

Author

Chibisov, Dmytro, Ganzha, Victor, Mayr, Ernst W., Vorozhtsov, Evgenii V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ganzha, Victor G., editor, Mayr, Ernst W., editor, and Vorozhtsov, Evgenii V., editor

Published
2006
Full Text
View/download PDF

24. Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time

Author

Chibisov, Dmytro, Ganzha, Victor, Mayr, Ernst W., Vorozhtsov, Evgenii V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ganzha, Victor G., editor, Mayr, Ernst W., editor, and Vorozhtsov, Evgenii V., editor

Published
2005
Full Text
View/download PDF

25. Completeness Results for Generalized Communication-Free Petri Nets with Arbitrary Edge Multiplicities

Author

Mayr, Ernst W., Weihmann, Jeremias, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Abdulla, Parosh Aziz, editor, and Potapov, Igor, editor

Published
2013
Full Text
View/download PDF

26. Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets

Author

Mayr, Ernst W., Weihmann, Jeremias, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Colom, José-Manuel, editor, and Desel, Jörg, editor

Published
2013
Full Text
View/download PDF

32. Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods

Author

Chibisov, Dmytro, Mayr, Ernst W., Pankratov, Sergey, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Hong, Hoon, editor, and Wang, Dongming, editor

Published
2006
Full Text
View/download PDF

39. Darwin's Influence on Modern Thought.

Author

Mayr, Ernst

Abstract

Modern thought is most dependent upon the influence of Charles Darwin. Discusses Darwin's contributions to the fields of evolutionary biology, philosophy of science, and modern zeitgeist. (WRM)

Published
2000

40. Birds of Paradise

Author

Mayr, Ernst, American Museum of Natural History Library, and Mayr, Ernst

Published
1945

Catalog

Books, media, physical & digital resources
See catalog results