6,416 research outputs found
Katalog der Musikbibliothek Peters ...
No full textClassified, with author indexes.Preface signed: C.F. Peters. Dr. Emil Vogel, bibliothekar.Abth. 1. Theoretische Werke.--Abth. 2. Praktische Werke.Mode of access: Internet
Dr. Benjamin Hooks with Lenell Peters
No full textDr. Benjamin Hooks with Lenell Peters standing in office.https://digitalcommons.memphis.edu/speccoll-0445-hooks-gallery1/1655/thumbnail.jp
mot-model-vs-human
No full textData for the paper:
Peters, Butkus, & Kriegeskorte (2022). How do humans and machine learning models track multiple objects through occlusion? SVRHM 2022 Workshop @ NeurIPS.
Data description and analysis code @ https://github.com/Benjamin-Peters/mot-model-vs-huma
mot-model-vs-human
No full textData for the paper:
Peters, Butkus, & Kriegeskorte (2022). How do humans and machine learning models track multiple objects through occlusion? SVRHM 2022 Workshop @ NeurIPS.
Data description and analysis code @ https://github.com/Benjamin-Peters/mot-model-vs-huma
Receipt for proportional dividend of the Ohio Company's residuary funds - Andrew Peters
No full textAndrew Peters received from Rufus Putnam, superintendent of the Ohio Company, 5 for fifty acres of land warrant credited to himself and transferred to Daniel Dunham
Democratic antimilitarism in postwar Japan: institutions and the culture of peace
No full textSince 1947, Japan has maintained its “Peace Constitution” un-amended, a constitution that guarantees “the right to live in peace” (Preamble), outlaws “war as a sovereign right of the nation,” and prohibits the maintenance of “land, sea, and air forces, as well as other war potential” (Article 9). Since its adoption sixty-three years ago, no Japanese citizens have killed or been killed in war. In this work I examine the functioning, maintenance, and interpretation of the Constitution of Japan and establish the critical juncture during which the Japanese public came to embrace the values of democratic antimilitarism and incorporate them into their political collective identity and historical memory. In addition, I identify the analytic structure of contestation over the fate of the constitution in the postwar years, demonstrating the role that Japanese citizens have played in defending the constitution against government officials who advocate its revision.Ph.D.Includes bibliographical referencesIncludes vitaby Benjamin A. Peter
A history of the Rev. Hugh Peters.
No full textContains a genealogical account of William Peters of Boston, and of his descendants: p. [109]-155.Mode of access: Internet
Dialogue, dissémination et matérialisation : une entrevue avec John Durham Peters
No full textJohn Durham Peters, professor of English and of Film and Media Studies at Yale University, is known for his work on the history of media and communication. His first book, Speaking into the air: A history of the idea of communication, gained worldwide fame thanks to its transdisciplinary outlook on humanity’s thirst for communion, which it finds not in cables and signals, but in its very human condition. In The Marvelous Clouds: Toward a Philosophy of Elemental Media, he invites readers to expand their understanding of media beyond mass media. François Cooren, professor at Université de Montréal’s Department of communication, invited John Durham Peters to give a presentation for the department’s 40th anniversary and took the occasion to discuss with him about his conception of communication. The two men exchange their views, among others, on the need to get past the separation between an apparently immaterial realm of communication and the material world it would merely represent. Benjamin Peters, assistant professor at the University of Tulsa, Oklahoma, joins them and shares his interest in how digital media intersects with regimes of space, time, and power.John Durham Peter, profesor de inglés y de estudios cinematográficos y mediáticos a la universidad Yale, es conocido por su trabajo en la historia de los medios y de la comunicación. Su primer libro, Speaking into the air: A history of the idea of communication, ganó fama mundial gracias a su visión transdisciplinaria de la sed de comunión de la humanidad, que no se encuentra en los cables y las señales, sino en su misma condición humana. François Cooren, profesor del Departamento de Comunicación de la Universidad de Montreal, invitó a John Durham Peters a hacer una presentación para el 40 aniversario del departamento y aprovechó la ocasión para discutir con él sobre su concepción de la comunicación. Los dos hombres intercambiaron sus puntos de vista, entre otros, sobre la necesidad de superar la separación entre una comunicación aparentemente inmaterial y el mundo material que sólo representaría. Benjamin Peters, profesor adjunto de la Universidad de Tulsa, Oklahoma, se une a ellos y comparte su interés por la forma en que los medios digitales se cruzan con los regímenes del espacio, el tiempo y el poder.John Durham Peters, professeur d’anglais et d’études cinématographiques et médiatiques à l’université Yale, est connu pour ses travaux sur l’histoire des médias et de la communication. Son premier livre, Speaking into the air: A history of the idea of communication, a connu un succès mondial grâce à son regard transdisciplinaire sur la soif de l’humanité pour une communion qu’elle ne retrouve pas dans les câbles et les signaux, mais dans sa condition humaine même. Dans The Marvelous Clouds: Toward a Philosophy of Elemental Media, il invite les lecteurs à étendre leur conception des médias au-delà des seuls médias de masse. François Cooren, professeur de communication à l’Université de Montréal, a profité d’une conférence de John Durham Peters donnée à l’occasion du 40e anniversaire de son département pour s’entretenir avec lui au sujet de sa conception de la communication. Les deux hommes discutent notamment de la nécessité de dépasser l’opposition entre le monde apparemment immatériel de la communication et le monde matériel qu’elle représenterait. Benjamin Peters, professeur adjoint à l’université de Tulsa, en Oklahoma, les accompagne en partageant son intérêt pour les régimes spatiaux, temporels et de pouvoir qui se tissent autour des médias numériques
Gödel’s Theorem Without Tears - Essential Incompleteness in Synthetic Computability
No full textGödel published his groundbreaking first incompleteness theorem in 1931, stating that a large class of formal logics admits independent sentences which are neither provable nor refutable. This result, in conjunction with his second incompleteness theorem, established the impossibility of concluding Hilbert’s program, which pursued a possible path towards a single formal system unifying all of mathematics. Using a technical trick to refine Gödel’s original proof, the incompleteness result was strengthened further by Rosser in 1936 regarding the conditions imposed on the formal systems.
Computability theory, which also originated in the 1930s, was quickly applied to formal logics by Turing, Kleene, and others to yield incompleteness results similar in strength to Gödel’s original theorem, but weaker than Rosser’s refinement. Only much later, Kleene found an improved but far less well-known proof based on computational notions, yielding a result as strong as Rosser’s.
In this expository paper, we work in constructive type theory to reformulate Kleene’s incompleteness results abstractly in the setting of synthetic computability theory and assuming a form of Church’s thesis, an axiom internalising the fact that all functions definable in such a setting are computable. Our novel, greatly condensed reformulation showcases the simplicity of the computational argument while staying formally entirely precise, a combination hard to achieve in typical textbook presentations. As an application, we instantiate the abstract result to first-order logic in order to derive essential incompleteness and, along the way, essential undecidability of Robinson arithmetic.
This paper is accompanied by a Coq mechanisation covering all our results and based on existing libraries of undecidability proofs and first-order logic, complementing the extensive work on mechanised incompleteness using the Gödel-Rosser approach. In contrast to the related mechanisations, our development follows Kleene’s ideas and utilises Church’s thesis for additional simplicity
Alien Registration- Peters, Joseph Benjamin (Rumford, Oxford County)
No full texthttps://digitalmaine.com/alien_docs/12154/thumbnail.jp
- …
