22128 search results - page 152 / 4426 » Research in Structural Computing |
AML
2010
14 years 10 months ago
2010
Defining the degree of categoricity of a computable structure M to be the least degree d for which M is d-computably categorical, we investigate which Turing degrees can be realiz...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Determining the X-ray crystallographic structures of proteins using the technique of molecular replacement (MR) can be a time and labor-intensive trial-and-error process, involvin...
89
Voted
KRMED
2004
14 years 11 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
METAINFORMATICS
2004
Springer
15 years 3 months ago
2004
Springer
Spatial structure supporting applications offer an abstract level of what can be found in the real world. However, in many systems, objects are aligned straight, rotation is not p...
CIE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. If L is a finite relational language then all computable Lstructures can be effectively enumerated in a sequence {An}n∈ω in such a way that for every computable L-st...