Filters








71 Hits in 7.9 sec

A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper) [chapter]

Anne Baanen
2020 Lecture Notes in Computer Science  
This paper describes the design of the normalising tactic ring exp for the Lean prover. This tactic improves on existing tactics by extending commutative rings with a binary exponent operator.  ...  The design can also be extended with more operators.  ...  Lewis, Sander Dahmen and the anonymous reviewers read this paper and gave useful suggestions. Many thanks for the help!  ... 
doi:10.1007/978-3-030-51054-1_2 fatcat:xx42pfvq3vhazojqowowiudwea

Hilbert's Tenth Problem in Coq (Extended Version) [article]

Dominique Larchey-Wendling, Yannick Forster
2022 arXiv   pre-print
We obtain an elegant and comprehensible proof by using a synthetic approach to computability and by introducing Conway's FRACTRAN language as intermediate layer.  ...  To do so, we give the first full mechanisation of the Davis-Putnam-Robinson-Matiyasevich theorem, stating that every recursively enumerable problem – in our case by a Minsky machine – is Diophantine.  ...  Acknowledgements We would like to thank Gert Smolka, Dominik Kirst, and Simon Spies for helpful discussion regarding the presentation.  ... 
arXiv:2003.04604v5 fatcat:xstpu6zkovh7zpoki3rlkkeedu

Body, Mind and Spirit: Being No. XV. of Papers for the Present, for Which the Cities Committee of the Sociological Society is Responsible

1922 Sociological Review  
Now we all desire the comforting assurance that our bodies are cared for in a way conformable to the fullest knowledge about the nature and working of bodies.  ...  So also comes nowadays a similar claim from the art of teaching in relation to Psychology.  ...  Professor Thomson's book rings out the old, rings in the new.  ... 
doi:10.1111/j.1467-954x.1922.tb02852.x fatcat:ogj6on7y5vesne7tnyzhs6ikki

City bug report

Henrik Korsgaard, Martin Brynskov
2014 Proceedings of the 2nd Media Architecture Biennale Conference on World Cities - MAB '14  
The paper begs many questions indicating ample room for further research into DIY Media Architecture.  ...  We review technical, spatial, and social aspects of DIY phenomena with a view to better understand maker cultures, communities, and practices.  ...  He ACKNOWLEDGEMENTS We thank the peer reviewers for their constructive feedback. REFERENCES ACKNOWLEDGMENTS  ... 
doi:10.1145/2682884.2682896 dblp:conf/mab/KorsgaardB14 fatcat:mdpnfowtuzgs3fcjdxrzc5lepm

Czech Writers and Politics 1945-1969

P. Kussi, Alfred French
1983 World literature today  
I saw a group of eight or ten naked bodies, with bowed heads leaning against the wall or against each other for the warmth...  ...  After this, the time was ripe for the 'normalisation' of the Czech cultural scene.  ...  In LL, 4.7.68, p. 2, a short notice Na obranu svobody (In defence of freedom) reported a meeting of Workers Councils to deal with the question of press free dom.  ... 
doi:10.2307/40138051 fatcat:xulqp5uktnhwfh4tjb772msbvm

Global, 'Glocal' and Local Dynamics in Calvary Temple: India's Fastest Growing Megachurch [chapter]

Jonathan D. James
2019 Handbook of Megachurches  
As we have shown, megachurches are sociologically remarkable because they complete a complex ring of desire for many human beings.  ...  Over a relatively short period however, the movement was to forge institutional structures of its own and to the extent that many of its sectarian expressions gave way to denominational forms in much the  ...  I also contemplate whether CT is navigating a new path, perhaps as a 'trailblazer' for the future of the Christian community in India.  ... 
doi:10.1163/9789004412927_016 fatcat:hchljezkrzekfdxwh4cnboefri

a-k (complete) Living 2016: Cultural Codes and Arrays in Arab Everyday Worlds Five Years After the "Arab Spring"

Stephan Guth (ed.), Elena Chiti (ed.)
2017 Journal of Arabic and Islamic studies  
political culture, with its characteristic mix of deference and derision towards patriarchal authoritarianism, a mix that seems to have permeated for centuries the social fabric, from the nuclear family  ...  Fī 'l-badʾ kānat al-nukta, "In the beginning was the Joke", writes Yūsuf Idrīs at the incipit of his famous short story A-kāna lā budda yā Lī-Lī an tuḍīʾī 'l-nūr (Did You Have to Turn on the Light, Lili  ...  (That he deserves so is expressed with the help of a happy ending: Although Sygrid is very angry with Marwān because he had left for Tunis without telling her, she is soon ready to forgive him and take  ... 
doi:10.5617/jais.4761 fatcat:i7lturfgofdenhww7hvmkyyiiq

A design methodology for 2D sparse NDE arrays using an efficient implementation of refracted-ray TFM

Jerzy Dziewierz, Timothy Lardner, Anthony Gachagan
2013 2013 IEEE International Ultrasonics Symposium (IUS)  
One of these technologies takes advantage of the acoustic radiation forces associated with ultrasound standing wave fields to spatially pattern cells within collagen-based hydrogels.  ...  A second technology uses ultrasound to noninvasively control the microstructure of collagen within engineered tissues.  ...  The authors acknowledge the ANR and DGA for their support under the project Metactif, grant ANR-11-ASTR-015.  ... 
doi:10.1109/ultsym.2013.0035 fatcat:th5znfh7y5bklfdbmhb4u6iq2i

Vol. 38

John Shaw
2018 Scottish Studies  
As a student of South African literature it was natural for me to be interested in the life and work of Thomas Pringle.  ...  Marguerita Burnet, who kindly gave me a copy of her then unpublished biographical essay on Dawson.  ...  die for his Catholic leanings.  ... 
doi:10.2218/ss.v38.2885 fatcat:cdpq2hlxz5dtlgm7xg36d4jm4i

The Postcolonial Turn: Re-imagining anthropology and Africa

D. Turkon
2012 African Affairs  
in Social Science for South-Saharan Africa).  ...  Scientific Research, the Fund for Scientific Research Flanders, and the Harry Frank Guggenheim Foundation.  ...  Mr Rector and you, Ladies and Gentlemen, please allow me to close this short address with a double wish.  ... 
doi:10.1093/afraf/ads050 fatcat:6r4bpe2egbfbjcvnpzkoxipgry

"The Right to Privacy" by S. Warren and L. Brandeis – The Story of a Scientific Article in the United States

Agnieszka Czubik
2016 Ad Americam  
They are dispossessed of their lands, which mestizos steal with just a paper.  ...  The intervention was also aided by a helicopter that flew over San Juanico with a clearly visible sniper leaning out. In the end, 29 people were detained.  ...  Key words: origin of the right to privacy, jurisprudence in the United States, influential legal papers A Short History of the Article Samuel Warren and Louis Brandeis were two young counsellors and  ... 
doi:10.12797/adamericam.17.2016.17.16 fatcat:gqfbozjo3rbhrn3m5txip6cvfq

Warfare in independent Africa

2012 ChoiceReviews  
In the second part of the paper I utilize narratives with current peace actors to illuminate what their concerns are and how peace is understood in Japan.  ...  Issues are published on a semi-annual basis, in Fall and Spring, and generally include a selection of scholarly articles, conference papers, and reviews of academic work published elsewhere.  ...  The authors gratefully acknowledge the United States International University in Nairobi Kenya for funding this empirical research project as part of its 2010 annual faculty research grant competition.  ... 
doi:10.5860/choice.49-3407 fatcat:5ek24h72prfzro7zsee75wknci

Abstracts [chapter]

2013 International Fascism, 1919-45  
strong arm tactics to prevent the March on Rome.  ...  This, to many ardent conservatives, had the unfortunate ring of 'southern European' movements, with which they would not gladly be associated.  ... 
doi:10.4324/9781315039268-7 fatcat:mqpp3qps6nhahkomtx2b6ttvdu

Empowerment of children through circle time: myth or reality?

Bernie Collins
2013 Irish Educational Studies  
They were generous with their time and showed a genuine interest in the research. The children they work with are very lucky! Being allowed into classrooms was a real privilege.  ...  Interviews were conducted with teachers, principals, and a leading author on circle time.  ...  to lean on.  ... 
doi:10.1080/03323315.2013.854459 fatcat:qptux72nzjbn3hgkpwwbvjv76i

Hilbert's Tenth Problem in Coq (Extended Version) [article]

Dominique Larchey-Wendling, Yannick Forster
2020
We obtain an elegant and comprehensible proof by using a synthetic approach to computability and by introducing Conway's FRACTRAN language as intermediate layer.  ...  To do so, we give the first full mechanisation of the Davis-Putnam-Robinson-Matiyasevich theorem, stating that every recursively enumerable problem -- in our case by a Minsky machine -- is Diophantine.  ...  Acknowledgements We would like to thank Gert Smolka, Dominik Kirst, and Simon Spies for helpful discussion regarding the presentation.  ... 
doi:10.48550/arxiv.2003.04604 fatcat:pzgqtujjybeebeighmoqp4xlmi
« Previous Showing results 1 — 15 out of 71 results