Filters








240 Hits in 2.5 sec

Integrating Maude into Hets [chapter]

Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
2011 Lecture Notes in Computer Science  
We present in this paper an integration of Maude into Hets that allows to use the logics and tools already integrated in Hets with Maude specifications.  ...  To achieve such integration we have defined an institution for Maude based on preordered algebras and a comorphism between Maude and Casl, the central logic in Hets.  ...  Conclusions and Future Work We have presented in this paper how Maude has been integrated into Hets, a parsing, static analysis and proof management tool that combines various tools for different specification  ... 
doi:10.1007/978-3-642-17796-5_4 fatcat:gencdlzhavbsdefmpwj2qe5slq

Project Abstract: Logic Atlas and Integrator (LATIN) [chapter]

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
2011 Lecture Notes in Computer Science  
The representations of the model theory are parametric in the foundation of mathematics, which is represented as a theory itself; then individual models are represented as theory morphisms into the foundation  ...  Hets is a general institution-based framework for integration of formal methods and heterogeneous specification and proof management.  ...  Twelf converts the content into OM-Doc/MMT, which indexes and stores it in the SVN+XML database TNTBase [13] . In the application work flow, these OMDoc/MMT documents are imported into Hets.  ... 
doi:10.1007/978-3-642-22673-1_24 fatcat:skw4utqpw5bs7cq6wlm4nrj7jq

Page 133 of Notes and Queries Vol. 35, Issue 1 [page]

1988 Notes and Queries  
Kipling’s Freemasonry was a conservative and socially integrative organization supported by conviviality.  ...  Interaction between the more conscious and the less con- scious areas of the total psyche is projected not only into a dialectical imagery but also into narrative patterns [he calls] rituals of resuscitation  ... 

Reviews

L. M. FINDLAY
1988 Notes and Queries  
Kipling’s Freemasonry was a conservative and socially integrative organization supported by conviviality.  ...  Interaction between the more conscious and the less con- scious areas of the total psyche is projected not only into a dialectical imagery but also into narrative patterns [he calls] rituals of resuscitation  ... 
doi:10.1093/nq/35-1-133 fatcat:gwk6cyrbjvefvbspxp7q4czxxq

Ph.D. and Master's thesis in geography (2012-2017)

2018 Belgeo  
Among the French-speaking Universities, the part of Liège is declining and the one of the ULB growing, even not taking into account Four Cities, the UCL remaining inbetween.  ...  A case study in Dronning Maud Land, Antarctica 290 Van Meervelt Pieter, Sense of place en de invloed op herbestemmingsdenken.  ... 
doi:10.4000/belgeo.30274 fatcat:6d55e5k6gvbs3pnghmr57vk3ba

Towards Logical Frameworks in the Heterogeneous Tool Set Hets [chapter]

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
2012 Lecture Notes in Computer Science  
Hets is an integration tool for logics, logic translations and provers, with a model theoretic focus, based on the meta-framework of institutions, a formalisation of the notion of logical system.  ...  Moreover, since logics and logic translations are now represented declaratively, the effort of adding new logics or translations to Hets is greatly reduced.  ...  Implementing the LMF in Hets This section sketches how the concept of logical frameworks is integrated into Hets.  ... 
doi:10.1007/978-3-642-28412-0_10 fatcat:7cis63lp25bffervyb6qimiavu

Page 98 of Notes and Queries Vol. 159, Issue 6 [page]

1930 Notes and Queries  
. ¢.41, a statutory pro- first time laid down that the ownership of ships should be considered to | be divided into 64 shares.  ...  Maude and Pollock, in their ‘ Law of Merchant Shipping,’ 1881, p. 17, say that ‘it seems to have been selected on the sup- position that the binary system of halving the ship and each of the resulting  ... 

Page 424 of The Gentleman's Magazine Vol. 55, Issue 6 [page]

1785 The Gentleman's Magazine  
her fervice, and nobly tewarded him; andthe prefents fhe made Lord Tyrawley for the fervices he had rendered het on this occafion, though of immenfe value, were not, in his ellima- tion; of fo much worth  ...  That there is no reafon why Nicola thould be debarred from marrying her daughier to a mimic, as Maud, the daughter, was a great heirefs, and the mother neither likely to think of difpof- ing of her fo  ... 

Maude's module algebra

Francisco Durán, José Meseguer
2007 Science of Computer Programming  
The reflective capabilities of rewriting logic and their efficient implementation in the Maude language can be exploited to endow a reflective language like Maude with a module algebra in which structured  ...  , with whom we have designed and built the Maude language and system.  ...  We are also very thankful for the many fruitful discussions on Maude with the other members of the Maude team, namely, Manuel Clavel, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, and Carolyn Talcott  ... 
doi:10.1016/j.scico.2006.07.002 fatcat:t7m2i5zg6nabdfu7krttcyrtdu

Page 755 of The Gentleman's Magazine Vol. 78, Issue [page]

1808 The Gentleman's Magazine  
William third Earl of Ulster (by Maud Plantagenet, great-granddaughter of King Henry III.) with Lionél of Antwerp, Duke of Clarence, third son of King Edward III. who in her right was created Earl of  ...  me = Division of County for upwards of forty years. great abilities he united a liberality mind, anda strict integrity of which deservedly placed bim first of his i In Keppel-street, Eliza,-second of  ... 

Presentation

Denise Merkle, Gillian Lane-Mercier
2018 TTR traduction terminologie rédaction  
After examining literary translation that can serve to advocate for both cultural assimilation and cultural integration, Lane-Mercier calls into question the popular interpretation of the history of these  ...  Maud Gonne's "La boîte noire de l'historiographie intercultu relle belge.  ... 
doi:10.7202/1065566ar fatcat:qyiuppavx5eghcfrdc3pcqpmni

Mutation in lamin A/C sensitizes the myocardium to exercise-induced mechanical stress but has no effect on skeletal muscles in mouse

Marie-Elodie Cattin, Arnaud Ferry, Alban Vignaud, Nathalie Mougenot, Adeline Jacquet, Karim Wahbi, Anne T. Bertrand, Gisèle Bonne
2016 Neuromuscular Disorders  
Before exercise, the cardiac function of Het mice was similar to Wt-littermates.  ...  After the exercise-period, Het mice showed cardiac dysfunction and dilation without visible changes in cardiac morphology, molecular remodelling or nuclear structure compared to Wt exercised and Het sedentary  ...  Acknowledgements We thank Maud Beuvin for technical assistance with the histology and Anaïs Lagrange for her assistance in conducting the exercise protocol.  ... 
doi:10.1016/j.nmd.2016.05.010 pmid:27287550 fatcat:w4vvnmjo2rfmpmci5kdbcy32cu

Page 13 of Library & Information Science Abstracts Vol. , Issue 10 [page]

1990 Library & Information Science Abstracts  
Differences in expectations between the 2 groups emerging from analysis of findings are discussed and a number of recommendations put forward some of which have already been integrated into patterns of  ...  Netherlands 90/6397 Meer dan idealisme alleen: de plaats van het bibliotheekwerk voor immigranten in het reguliere bibliotheekwerk.  ... 

Princess Elisabeth Antarctica: an International Polar Year outreach and media success story

Joseph Cheek, Ben Huyge, Jean de Pomereu
2011 Polar Research  
The shape and design of PEA is the result of these demands, and of their integration into the same physical structure.  ...  Ingenieursblad Snik 2007 I will serve something besides pasta for a change Het Laatste Nieuws Vereenooghe 2007 Belgians return to Antarctica De Tijd Vets 2007 I was really frightened Het  ... 
doi:10.3402/polar.v30i0.11153 fatcat:fjjhcz3cgzazdhvzjtwva6mty4

Reviews

PETER PARTNER
1988 Notes and Queries  
Kipling’s Freemasonry was a conservative and socially integrative organization supported by conviviality.  ...  Interaction between the more conscious and the less con- scious areas of the total psyche is projected not only into a dialectical imagery but also into narrative patterns [he calls] rituals of resuscitation  ... 
doi:10.1093/nq/35-1-132 fatcat:xdnwmd5h5rgpbfscrngu22p56i
« Previous Showing results 1 — 15 out of 240 results