Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,101,586 papers from all fields of science
Search
Sign In
Create Free Account
RAMiCS
RAMiCS, the International Conference on Relational and Algebraic Methods in Computer Science, is an academic conference organized every one and a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Gunther Schmidt
Journal of Logical and Algebraic Methods in Programming
Lecture Notes in Computer Science
List of computer science conferences
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Pengaruh Tingkat Kemurnian Bahan Baku Alumina Terhadap Temperatur Sintering dan Karakteristik Keramik Alumina
Jarot Raharjo
2015
Corpus ID: 135635238
The influences of the purity of alumina to the sintered properties of alumina have been successfully investigated. Two types of…
Expand
2015
2015
Ramics 2015 15th Int. Conf. on Relational and Algebraic Methods in Computer Science Ramics 2015 – Student Track Decision Methods for Concurrent Kleene Algebra with Tests : Based on Derivative
J. Oliveira
2015
Corpus ID: 11093147
Concurrent Kleene Algebra with Tests (CKAT) were introduced by Peter Jipsen[Jip14]. We give derivatives for CKAT to decide word…
Expand
2014
2014
Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings
Relational
,
P. Höfner
,
P. Jipsen
,
Wolfram Kahl
,
M. E. Müller
2014
Corpus ID: 64560850
Developments in Concurrent Kleene Algebra (Invited Talk).- Endowing Concurrent Kleene Algebra with Communication Actions…
Expand
2013
2013
Generating Relation Algebras for Qualitative Spatial Reasoning
Prathap Siddavaatam
2013
Corpus ID: 55505723
Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a…
Expand
2011
2011
Proceedings RAMiCS 2011: Relational Methods in Computer Science : LNCS, vol. 6663, Springer
H. Swart
2011
Corpus ID: 70181112
2006
2006
STRUCTURE REFINEMENT OF SYNTHETIC DEUTERATED KAOLINITE B Y RIETVELD ANALYSIS USING TIME-OF-FLIGHT
E. Akiba
,
H. Hayakawa
,
+6 authors
T. Kamiyama
2006
Corpus ID: 59395498
Key Words---Crystal Structure, Kaolinite, Neutron Powder Diffraction, Rietveld Refinement, Synthetic Kaolinite. I N T R O D U C T…
Expand
2003
2003
Formation of Mesoporous Nickel Particles with Highly Ordered Porous-nanostructure by Electroless Deposition
T. Yokoshima
,
Y. Yamauchi
,
+4 authors
T. Osaka
2003
Corpus ID: 54062386
Mesoporous materials, which have high specific surface areas and well-ordered porous-nanostructure s with a diameter of few…
Expand
2001
2001
Production of porous ramics from sepiolite based minerals
E. Gunay
,
T. Ozkan
2001
Corpus ID: 138842324
Two sepiolite based clay minerals from Eskisehir region of Turkiye were studied to investigate their sintering behaviour and to…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE