CiteULike: Scis0000002's logical-theories [42 articles]

Scis0000002's tags

All tags in Scis0000002's library

Filter:

markets	78
control-models	75
dynamics	67
strategies	65
biophysics	60
topos-theory	59
nonlinearity	57
interoperability	55
biological-structures	54
hyperefficiency	54
time-series	54
activities	49
ontologies	49
systems-biology	49
mathematical-structures	47
philosophy-of-science	47
problem-solving	47
invariances	46
modularity	46
memories	45
organisms	44
solitons	44
symmetries	44
hci	43
logical-theories	42
monitoring	42
order-structures	42
signal-processing	42
3d	41
contextuality	41
developing	41
games	41
gauge-theories	41
cells	40
pricing	40
synthetic-biology	40
networks	39
brain-models	38
metalogics	38
real-time	38
quantum-computing	37
risks	37
therapies	37
behaviors	36
complexities	36
normative-systems	36
events	35
social-dynamics	35
formal-theories	34
neuroethics	34
survivability	34
institutions	33
metalogical-frameworks	33
portfolios	33
category-of-theories	32
communities	32
kernel-methods	32
logical-frameworks	32
neuromodulating	32
representations	32
specification	32
universes	32
contracts	31
entropies	31
searching	31
self-models	31
semantic-web	31
similarities	31
correlations	30
infrastructures	30
wave-equations	30
category-theory	29
genomes	29
planning	29
scale-spaces	29
classifications	28
collaborating	28
diseases	28
metascience	28
predicting	28
semantics	28
standing-waves	28
environments	27
fields	27
gravitational-waves	27
matter-waves	27
oscillations	27
computational-neuroscience	26
deciding	26
enterprises	26
higher-dimensional	26
information-extracting	26
metamathematics	26
modeling	26
neurodynamics	26
algebraicity	25
flows	25
group-theory	25
modules	25
qm	25
reinforcement-learning	25
streams	25
argumentation-theory	24
derivatives	24
game-theory	24
quantum-coherence	24
reconstructing	24
resource-allocation	24
sensor-networks	24
transforming	24
argumentation	23
bioelectromagnetics	23
clustering	23
hierarchy-of-abstract-machines	23
inferencing	23
neuroscience	23
neurosemiotics	23
options	23
qft	23
quantum-strategies	23
trading-strategies	23
unified-concept-theory	23
abilities	22
bcis	22
behavior	22
bioethics	22
computational-trading	22
distributed	22
energies	22
formation	22
fractality	22
frameworks	22
justice-theories	22
logics	22
membranes	22
social-technologies	22
societies	22
temporal	22
toposes	22
visual	22
abstract-machines	21
brain-theories	21
computability-logic	21
globalization	21
hierarchies	21
imaging	21
nervous-systems	21
nlp	21
populations-of-strategies	21
question-answering	21
situations	21
brain-interfaces	20
brain-states	20
evolving	20
experiments	20
formal-development	20
holography	20
mathematical-biology	20
nonequilibrium	20
performance	20
self-interacting	20
social-systems	20
space-time	20
trading	20
ui	20
unifying	20
constraints	19
genome-spaces	19
gravitational-theories	19
interfaces	19
matching	19
physical-structures	19
populations	19
reflectivity	19
research-frameworks	19
robotics	19
scientific-theories	19
segmenting	19
sequences	19
text-mining	19
biological-systems	18
brain-activities	18
brains	18
computational-epistemology	18
fol	18
higher-order	18
information-processing	18
innovating	18
interactivity	18
mining	18
neural-networks	18
neurophilosophy	18
neurotechnologies	18
optimality	18
particles	18
personalized-medicine	18
power	18
proteins	18
self-modeling	18
specifications	18
user-modeling	18
atoms	17
augmented-reality	17
behavior-spaces	17
coherence	17
computational-biology	17
de-broglie-waves	17
duality	17
economic-models	17
experts	17
functional-programming	17
heterogeneity	17
hypermedia	17
iff	17
interactions	17
mas	17
qip	17
quantum-entanglement	17
quantum-games	17
selecting	17
simulating	17
space-times	17
support	17
tasks	17
technologies	17
thermodynamics	17
time	17
transformability	17
uncertainty	17
wireless	17
allocating	16
approximations	16
augmenting	16
beliefs	16
cancers	16
circuitry	16
complete-lattices	16
complexity	16
democratic-technologies	16
distributedness	16
effects	16
filtering	16
formal-methods	16
gravity-theories	16
hierarchy-of-machines	16
histories	16
hyperplanes	16
intelligences	16
learning	16
measuring	16
news	16
organizations	16
quantum-gravity	16
rewriting	16
semigroups	16
social-networks	16
stability	16
string-theory	16
supersymmetry	16
testing	16
wave-functions	16
algorithmic-information-theory	15
antennas	15
architectures	15
behavioral-models	15
behavior-models	15
cortexes	15
distributions	15
electrostatics	15
entanglement	15
extremal-biology	15
hypercomputability	15
information-theory	15
investing-strategies	15
life-logging	15
logging	15
model-theory	15
network-analysis	15
opinions	15
potentials	15
quantum-biology	15
regulative-systems	15
resilience	15
toes	15
visualizing	15
volatility	15
bayesian	14
behavioral-equations	14
bioengineering	14
computational-intelligence	14
computational-learning	14
drug-development	14
economics	14
finance	14
formalization	14
global	14
goog	14
ilp	14
information-flows	14
interconnectivity	14
linearized-gravity	14
model-organisms	14
ontology	14
policies	14
probability-theory	14
relativity	14
scientific-frameworks	14
socio-economic-systems	14
surfaces	14
world-models	14
all-possible-worlds	13
argumenting	13
attention	13
becs	13
biology	13
biotechnologies	13
bundles	13
combining	13
cosmological-models	13
dbs	13
discreteness	13
economic-theories	13
electromagnetics	13
extremality	13
formal-biology	13
futures	13
gr	13
growth	13
indexing	13
industries	13
information-retrieval	13
interacting	13
justice-models	13
justice-technologies	13
logical-structures	13
meta-level-architectures	13
metamathematical-frameworks	13
molecular-machines	13
molecules	13
multimodal	13
multiscale	13
neural-codes	13
neurosociety	13
patents	13
phase-spaces	13
robots	13
rules	13
sensors	13
signal-complexity	13
superconductivity	13
symmetry-breaking	13
water	13
web-services	13
adaptivity	12
algebraic-theories	12
annotating	12
assistive-technologies	12
automating	12
brain-functions	12
category-of-specifications	12
coalgebras	12
computability	12
coordinating	12
defeasible-logic	12
diagnostics	12
goals	12
groupoids	12
hyperstructures	12
justice-infrastructures	12
nlg	12
nodal-domains	12
order-books	12
physical-theories	12
physics	12
products	12
representation	12
resources	12
reverse-engineering-nature	12
screening	12
similarity	12
skills	12
spatio-temporal	12
theories	12
type-theory	12
aharonov-bohm-effect	11
biochemistry	11
bioinformatics	11
biosignals	11
business-cycles	11
cancer	11
category-of-strategies	11
cip	11
collaboration	11
computational-complexity-theory	11
computational-legal-sciences	11
computational-science	11
control	11
control-systems	11
control-theories	11
cosmology	11
decoding	11
detecting	11
economic-dynamics	11
electron-waves	11
elf	11
executable-theories	11
experiences	11
field-computing	11
gaming	11
hypernetworks	11
immunotherapy	11
implants	11
knowledge-society	11
linguistic-frameworks	11
manifolds	11
media	11
molecular-biology	11
molecular-structures	11
multi-context-systems	11
nonlocality	11
periodicity	11
pharmaceutical	11
plasmas	11
predictability	11
presentations	11
quantum-theory	11
querying	11
relevance	11
reward-systems	11
software-development	11
standard-model	11
stem-cells	11
theoretical-biology	11
argumentation-games	10
attractors	10
behaving	10
biocomputing	10
bottom-up	10
bound-states	10
chemical-structures	10
classifying	10
cloud-computing	10
coding	10
cognitive-architectures	10
concurrency	10
contracting	10
curvatures	10
dark-matter	10
detectors	10
electrodynamics	10
emotions	10
epigenetics	10
episodes	10
feedback	10
formal-physics	10
genetic-programming	10
goedel-machine	10
gravity	10
health-states	10
hedging	10
higher-dimensional-category-theory	10
immune-systems	10
immunology	10
interaction	10
kbs	10
languages	10
local	10
mathematization	10
modal-logic	10
m-theory	10
noncommutativity	10
nonstationarity	10
pathways	10
personality-models	10
polytopes	10
process-models	10
quantum-decoherence	10
rewriting-logic	10
scale-invariance	10
schroedinger-equation	10
semantic-technologies	10
substrates	10
synthetic-science	10
top-down	10
topology	10
web-apps	10
algebraic-structures	9
algorithms	9
animals	9
artificial-memories	9
biological-effects	9
cantor-space	9
cohomology	9
collective-dynamics	9
combination	9
components	9
computational-creativity	9
computational-sociology	9
connections	9
cybernetics	9
definability	9
diagrams	9
dimensionality	9
discovery	9
discursive-technologies	9
distributed-computing	9
domain-theory	9
econophysics	9
eeg	9
entropy	9
epistemology	9
equivalence	9
evolvability	9
exploring	9
formal-digital-libraries	9
formal-interoperability	9
formal-science	9
free-will	9
functionalities	9
genes	9
hierarchy	9
homology	9
human-factors	9
induction	9
interferometry	9
justices	9
lattices	9
lattice-theory	9
laws	9
legal-frameworks	9
linearity	9
lp	9
mashups	9
mathematics	9
measurement	9
mechanics	9
mobile	9
modulating	9
monads	9
negative	9
network-dynamics	9
nongaussianity	9
normative-structures	9
norms	9
online-social-networks	9
organization-theory	9
partial-order	9
phased-arrays	9
planets	9
polynomial-equations	9
preferences	9
projects	9
qed	9
quantum-economics	9
quantum-vacuum	9
reconstruction	9
regulative-models	9
relational-structures	9
rewarding	9
risk-models	9
scalar-fields	9
scaling	9
scientific-discourse	9
self-reflectivity	9
signatures	9
storytelling	9
superposition	9
swarms	9
synthetic-memories	9
taxonomies	9
tissues	9
trading-agents	9
trading-rules	9
transactions	9
universality	9
wormholes	9
abduction	8
abstract-model-theory	8
affective-neuroscience	8
algebraic-methods	8
algebroids	8
association-rules	8
augmented-cognition	8
automatons	8
biodynamics	8
biomedical-engineering	8
biotelemetry	8
body-states	8
brain-processes	8
cell-types	8
cellular-structures	8
classification	8
closure-structures	8
companies	8
complexity-classes	8
computability-theory	8
computational-humor	8
constructive	8
controlling	8
cosmological-theories	8
decidability	8
decoherence	8
dielectric	8
dna-computing	8
electromagnetism	8
entertainment	8
equations	8
evolution-theory	8
extremal-mathematics	8
fca	8
feature-selection	8
fibring	8
field-sensing	8
field-theories	8
fractionality	8
general-logics	8
genomic-spaces	8
geometricity	8
granularities	8
health-technologies	8
hierarchy-of-toposes	8
information-extraction	8
intelligent-problem-solving	8
intentionality	8
intuitionistic-logic	8
knowledge-processing	8
lattice-of-situations	8
memory	8
molecular-electronics	8
neurosemantics	8
neurosupervision	8
online	8
ordering	8
organs	8
personalization	8
physical-models	8
platforms	8
posets	8
power-structures	8
product-development	8
protocols	8
proving	8
quantum-computational-intelligence	8
quantum-information-theory	8
quantum-logic	8
quantum-phase-spaces	8
quantum-probability-theory	8
regulating	8
regulative-structures	8
regulative-theories	8
regulators	8
requirements	8
reusability	8
revision	8
scalability	8
scientific-community	8
self-measurement	8
self-monitoring	8
semantic-spaces	8
set-theory	8
shapes	8
simulation	8
skolem-loewenheim-theorem	8
social-interactions	8
stationary-waves	8
telemedicine	8
temporal-logic	8
theory-development	8
time-series-analysis	8
transducers	8
transformations	8
transporting	8
trees	8
vorticity	8
workflows	8
action-selection	7
algebras	7
all-possible-diseases	7
all-possible-organisms	7
apis	7
asymmetries	7
autobiographies	7
biological-dynamics	7
body-models	7
brain-reading	7
cancer-therapies	7
categorical-logic	7
coalition-logic	7
coalitions	7
collective-modes	7
communicating	7
compositionality	7
computational-economics	7
computational-systems-biology	7
concept-lattice	7
consciousness	7
constructive-mathematics	7
controllability	7
cyberinfrastructure	7
discourse-representation-structures	7
distributed-representations	7
drug-discovery	7
earth	7
edutainment	7
electrophysiology	7
embryos	7
ensemble-theories	7
enterprise	7
episodic-memory	7
epistemic-logic	7
equational-theories	7
evolution	7
extendability	7
extremal-physics	7
formalizing	7
formal-language-theory	7
gauge-invariance	7
generalization	7
graphs	7
gravitomagnetism	7
homotopy	7
humor-theory	7
hybrid-systems	7
hyperalgebras	7
hypergraphs	7
information-asymmetries	7
information-geometry	7
intelligent-homes	7
intentions	7
interactomes	7
invariance	7
ionosphere	7
lattice-of-strategies	7
legal-reasoning	7
legal-theories	7
locality	7
local-mathematics	7
maude	7
metalanguages	7
metaprogramming	7
mixed-reality	7
molecular	7
monopoles	7
multi-language-systems	7
nanotechnology	7
natural-computing	7
negotiation	7
neural-interfaces	7
neuroeducation	7
neuronal-structures	7
neurostimulating	7
new-institutional-economics	7
nonequilibrity	7
omega-categories	7
omega-innovating	7
oscillators	7
percepting	7
philosophical-frameworks	7
politics	7
presentation	7
prime-numbers	7
proof	7
proof-transformation	7
proteomes	7
quantales	7
quantization	7
quantum-finance	7
quantum-game-theory	7
quantum-holography	7
quantum-machines	7
quantum-markets	7
quantum-thermodynamics	7
refinement	7
reflection	7
relations	7
resiliency	7
sampling	7
scale-relativity	7
scattering	7
scenarios	7
self-referentiality	7
sentences	7
sequencing	7
sketches	7
socioeconophysics	7
sociophysics	7
speed-games	7
stacks	7
standards	7
state-space	7
stationarity	7
superfluidity	7
synchronization	7
teleparallel	7
temporal-concept-analysis	7
tensors	7
timing	7
topological-space	7
user-models	7
video	7
virtualization	7
viruses	7
vocabularies	7
vortexes	7
wave-mechanics	7
world-orders	7
world-theories	7
algebraic	6
algebraic-geometry	6
all-possible-inventions	6
artificial-society	6
assistance	6
behaviours	6
bias	6
biographies	6
biomolecules	6
black-holes	6
boundedness	6
branes	6
business-models	6
channels	6
chu-spaces	6
classicality	6
coalgebraicity	6
computational-justice-sciences	6
computational-physics	6
conflicts	6
connectivity	6
constructive-economics	6
dark-energy	6
databases	6
data-mining	6
democracy	6
descriptive-complexity	6
dialogical-logic	6
dielectricity	6
differential-forms	6
discourse	6
diversity	6
double-slit-experiment	6
dualities	6
dynamical-similarity	6
eigenmodes	6
eigenvectors	6
end-user-programming	6
epistemic	6
equation-discovery	6
exchange-theory	6
extremal	6
field-complexity	6
filters	6
first-principles	6
formal-problem-solving	6
genetics	6
genomics	6
geometry	6
geophysics	6
global-economy	6
grid	6
hd	6
health	6
health-records	6
hierarchy-of-theories	6
human-development	6
hypercomputing	6
hypersurfaces	6
incomplete-markets	6
influenza	6
innovativeness	6
intelligence-order-relations	6
intelligent-infrastructures	6
intelligent-societies	6
interferometers	6
lab-on-a-chip	6
lagrangians	6
lattice-of-problems	6
lattice-of-subspaces	6
lattice-of-thoughts	6
legal-models	6
life-sciences	6
life-technologies	6
linear-logic	6
longitudinal	6
mathematical-social-science	6
merging	6
methodologies	6
modes	6
nanotechnologies	6
nanotubes	6
network-equations	6
network-of-diseases	6
neuromodulation	6
nonextensivity	6
n-toposes	6
number-theory	6
order-theory	6
parkinson	6
partitioning	6
partitions	6
phase-invariance	6
phase-shifting	6
phase-space	6
photonics	6
plans	6
portfolio-selection	6
project-management	6
proteomics	6
proteomic-spaces	6
quantum-control	6
quantum-cosmology	6
quantum-foams	6
quantum-geometry	6
randomness	6
regenerating	6
resonances	6
returns	6
scenes	6
scientification	6
self-assembly	6
self-similarity	6
semantic-space	6
separation-of-concerns	6
shape-theory	6
social-computing	6
social-models	6
social-structures	6
social-theories	6
species	6
spectral-methods	6
state-spaces	6
statistical-methods	6
strategic-spaces	6
sufficiency	6
superconductors	6
synthetic-physics	6
systems-theory	6
theoretical-physics	6
thinking	6
thought-control	6
time-delay	6
total-order	6
tracking	6
trading-systems	6
ulf	6
unified-theories	6
universality-classes	6
variational	6
accounting	5
adls	5
aesthetics	5
all-possible-behaviors	5
all-possible-exchanges	5
all-possible-transactions	5
all-possible-universes	5
alp	5
anomalies	5
approximating	5
argumentative-technologies	5
arrival-time	5
attractivity	5
auctions	5
authoring	5
autonomic-computing	5
behavior-equations	5
bialgebras	5
bioelectronics	5
biological-networks	5
biomarkers	5
biomimetics	5
brain-control	5
calculus-of-constructions	5
calibrating	5
capacity	5
categorification	5
category-of-contexts	5
category-of-processes	5
causality	5
clinical-trials	5
combinations-of-interactions	5
combinatorics	5
competing	5
complexes	5
complexity-theory	5
composability	5
computable-economics	5
computational-cosmology	5
computational-electrodynamics	5
computational-finance	5
computational-justice	5
computational-politics	5
constructive-logic	5
constructivity	5
constructivization	5
context	5
control-structures	5
cooperating	5
cooperation	5
creativity	5
decentralized	5
design-theory	5
developmental-robotics	5
differential-geometry	5
directed-energy	5
discovering	5
discrete-symbol-manipulation	5
dna	5
e8	5
eigenbehaviors	5
embedding	5
embryogenesis	5
emergence	5
energy-efficiency	5
ethical-theories	5
exploiting	5
external-models	5
field-equations	5
finite-precision	5
fluid-dynamics	5
formal-epistemology	5
formalizability	5
formal-justice-sciences	5
fractional-derivatives	5
fx	5
gene-expression	5
goedel-machines	5
graphene	5
graph-theory	5
gravitoelectromagnetism	5
grid-computing	5
hamiltonians	5
happiness	5
health-informatics	5
hedge-funds	5
hierarchical	5
hierarchy-of-complexity-classes	5
hierarchy-of-languages	5
holographic	5
humor	5
hypersensory	5
hyperspectral	5
identity	5
immunity	5
incompleteness	5
inconsistency	5
incremental	5
indexes	5
interfacing	5
internal-models	5
invariants	5
inventing	5
justice-frameworks	5
klein-gordon-equation	5
knowledge-sharing	5
lattice	5
lattice-of-invariants	5
lattice-of-theories	5
lattice-of-types	5
liquidity	5
martingales	5
mathematical-constants	5
mathematical-economics	5
mathematical-frameworks	5
mathematical-neuroscience	5
mathematical-structure-of-sciences	5
medicine	5
memory-processes	5
mental-states	5
metabolomics	5
metaphilosophy	5
metaphysics	5
metareasoning	5
metascientific-frameworks	5
model-checking	5
multistability	5
neuroendocrinology	5
neuroenhancement	5
neuroenhancing	5
neuroergonomics	5
neurolinguistics	5
neurostimulators	5
omega-hierarchies	5
omega-sciences	5
organic	5
owl	5
paraconsistency	5
parallelization	5
personalized-healthcare	5
philosophy-of-physics	5
photonic-technologies	5
phyllotaxis	5
physical-constants	5
physiology	5
populations-of-theories	5
power-models	5
prediction	5
processes	5
process-oriented	5
profiling	5
proof-transformations	5
psychiatry	5
q-analysis	5
qfts	5
quantum-computability	5
quantum-gaming	5
quantum-networks	5
quantum-numbers	5
rdf	5
recognizing	5
regularities	5
regulative-infrastructures	5
relational-biology	5
replicators	5
resistances	5
resonators	5
rhythmicity	5
scattering-theory	5
science	5
scientific-infrastructures	5
scientific-models	5
segmentation	5
self-measuring	5
self-organizing	5
semantic	5
semantic-desktops	5
semantic-publishing	5
semiotics	5
semweb	5
sensory-systems	5
signal-intelligence	5
simplification	5
skolem-paradox	5
social-media	5
sociodynamics	5
spatial	5
statistics	5
strategy-selection	5
structuring	5
superstatistics	5
synchronizing	5
synchrony	5
synthetic-brains	5
synthetic-immune-systems	5
systems-medicine	5
systems-neuroscience	5
technological-supremacy	5
technology	5
territories	5
theorems	5
topological-defects	5
topological-insulators	5
topological-spaces	5
topos-morphisms	5
trading-models	5
turbulence	5
ubiquitous-computing	5
universal-algebra	5
universal-portfolios	5
vaccines	5
varieties	5
vlf	5
waves	5
web-development	5
0-toposes	4
2d	4
accessability	4
accessibility	4
acoustics	4
adjoint-functors	4
agency-theory	4
agents	4
algebraic-semiotics	4
algebraic-topology	4
all-possible-environments	4
all-possible-physical-theories	4
all-possible-sciences	4
all-possible-scientific-theories	4
antibodies	4
anti-discrimination	4
antimatter	4
arbitrage	4
artificial-immune-systems	4
assessment	4
autonomy	4
avatars	4
beams	4
behavioral-finance	4
behavioral-spaces	4
biobanks	4
biological-constants	4
biological-states	4
biological-theories	4
biomembranes	4
bionics	4
bisimulation	4
body-functions	4
brain-mapping	4
brain-oscillations	4
brain-structures	4
brain-technologies	4
cancer-types	4
cardiovascular	4
casimir-effect	4
categorical	4
categorical-theories	4
category-of-interactions	4
category-of-products	4
category-of-programs	4
cavities	4
charges	4
chemoinformatics	4
climate-change	4
clocks	4
coevolution	4
cognitive-agents	4
cognitive-hierarchies	4
cognitive-processes	4
cognitive-task-analysis	4
collective	4
collective-intelligence	4
compressing	4
compression	4
computational-electromagnetics	4
computational-fluid-dynamics	4
computational-logic	4
computational-narratology	4
computational-social-science	4
computer-music	4
computing	4
concept-lattices	4
conceptualizations	4
conceptual-structures	4
constructive-physics	4
contexts	4
coordination	4
corpuses	4
countries	4
creative-methods	4
creativity-methods	4
crowdsourcing	4
cryptography	4
cyborgs	4
data-fusion	4
decision-procedure	4
defending	4
deontic-logic	4
differential-equations	4
digital-libraries	4
diophantine-equations	4
discourses	4
discourse-technologies	4
disease-models	4
diseasomes	4
distributed-logics	4
docking	4
drug-delivery	4
dynamical-systems	4
dynamic-hedging	4
econometrics	4
economies	4
e-democracy	4
educating	4
eigenfrequencies	4
electric	4
electronics	4
ensembles	4
equilibriums	4
equivalence-classes	4
evolution-theories	4
executable-justice-theories	4
extracting	4
extraction	4
fixed-points	4
forces	4
forms	4
fractal-space-time	4
framework	4
free-space	4
fundamental-principles	4
gabaergic	4
gas	4
general-relativity	4
global-justice	4
global-justice-models	4
global-scaling	4
gp	4
habitats	4
hierarchy-of-decision-problems	4
higher-dimensional-algebra	4
hydrodynamics	4
incentives	4
incomplete	4
incrementality	4
incremental-learning	4
inertia	4
inference	4
information-visualization	4
inquiry	4
insects	4
inside	4
integrability	4
interaction-graphs	4
interestingness	4
interference	4
internet-of-things	4
investing	4
kochen-specker-theorem	4
latency	4
lattice-of-laws	4
lattice-of-scales	4
lattice-of-sentences	4
legal-argumentation	4
legal-systems	4
lifelong-logging	4
liquids	4
locales	4
loops	4
macromolecules	4
magnetic-fields	4
magnetostatics	4
mass-customization	4
mathematical-aesthetics	4
mathematical-justice-sciences	4
mathematical-physics	4
mathematical-social-sciences	4
mdd	4
measurability	4
measure-theory	4
medical-informatics	4
meg	4
mental-imagery	4
mental-models	4
metaevolution	4
metastability	4
metrology	4
minimal-models	4
mirror-neurons	4
mkm	4
modelling	4
modularization	4
molecular-biophysics	4
motifs	4
multivariate	4
music	4
nanomachines	4
nanomedicine	4
natural-numbers	4
network-theory	4
neural-symbolic	4
neurocomputing	4
neuroeconomics	4
neuroemulation	4
neuroengineering	4
neuroimaging	4
neuromarketing	4
noncommutative	4
nondifferentiability	4
nonintegrability	4
online-algorithms	4
oo	4
open-source	4
oppontents	4
outside	4
parallel	4
parchments	4
peptides	4
personality-theories	4
personalized-education	4
pharmacogenomics	4
physical-systems	4
pipes	4
plasmons	4
plasticity	4
populations-of-products	4
potentiality	4
power-theories	4
preparatory-sets	4
primes	4
problem-solving-environments	4
process-theory	4
productivity	4
program-transformation	4
proof-search	4
proof-tree	4
provability	4
qualitative	4
quantum-chemistry	4
quantum-cryptography	4
quantum-hall-effect	4
quantum-learning	4
quantum-potentials	4
quantum-states	4
quantum-statistics	4
reactivity	4
receptive-fields	4
receptors	4
reference-frames	4
relational	4
relativistic	4
replication	4
rewriting-systems	4
risk-reduction	4
risk-theories	4
robot-scientists	4
scale-space	4
scheduling	4
semantic-memory	4
sentiments	4
sequence-spaces	4
sheaves	4
signaling	4
sociology	4
specialization	4
stationary-states	4
stochastic-resonance	4
structuralism	4
structures	4
subjectivity	4
superfluids	4
supermanifolds	4
supporting	4
svm	4
symbolic-dynamics	4
symplectic	4
synthetic-dna	4
synthetic-telepathy	4
taxonomy	4
technoethics	4
telemetry	4
theory-revision	4
theory-selection	4
tornados	4
transactional	4
transaction-costs	4
tumors	4
uavs	4
ultrametricity	4
uml	4
uniqueness	4
units	4
use-cases	4
utility	4
verbalizing	4
virtual-robots	4
wave-structures	4
web3	4
web-analytics	4
wireless-networks	4
11d	3
1-toposes	3
4d	3
abductive	3
ability-space	3
abstraction	3
abstract-rewriting	3
adaptability	3
adaptive-mixtures-of-experts	3
addressability	3
aerodynamics	3
affective-computing	3
algorithm-selection	3
alignment	3
all-possible-biological-structures	3
all-possible-brain-states	3
all-possible-products	3
all-possible-societies	3
all-possible-thoughts	3
alternating-temporal-logic	3
antimatter-waves	3
antiparticles	3
argumentation-systems	3
argumentation-technologies	3
art	3
assembling	3
asymmetry	3
asynchronous	3
atom-waves	3
auditory-systems	3
autoimmunity	3
autonomous-systems	3
awareness	3
axiomatic	3
axiomatization	3
bandits	3
bci	3
bdi-agents	3
behavioral-technologies	3
behavior-space	3
belief-systems	3
biases	3
biochips	3
bioelectricity	3
bioelectrochemistry	3
bioelectrodynamics	3
bioelectromagnetism	3
biofeedback	3
biointerfaces	3
biological-models	3
biological-processes	3
biological-substrates	3
biomathematics	3
biomedical	3
biosensors	3
bit-strings	3
body-images	3
browsing	3
business-processes	3
calculuses	3
calibration	3
cancer-classes	3
capturing	3
cardinality	3
category-of-languages	3
category-of-spacetimes	3
category-of-state-spaces	3
cell-membranes	3
centralizers	3
change-dedection	3
clique	3
cloning	3
coalgebroids	3
coding-theory	3
cognition	3
cognitive-dynamics	3
combinatorial-biology	3
competition-models	3
competitiveness	3
composition	3
computational-models	3
computational-music	3
computing-models	3
condensates	3
consequentialism	3
constructibility	3
constructive-justice	3
constructivism	3
contextualizing	3
continents	3
continued-fractions	3
controling	3
cooperation-logic	3
crystallography	3
crystals	3
cultural-evolution	3
deception	3
defeasible	3
dementia	3
determinism	3
diagrammatic-reasoning	3
dictionaries	3
differentiation	3
dimensional-analysis	3
diophantine	3
dipolarity	3
dirac-equation	3
discourse-representation-theory	3
discursive-infrastructures	3
disease-states	3
distributed-information-storage	3
distributed-operating-system	3
domain-models	3
domain-theories	3
dynamical-system	3
economic-structures	3
economic-systems	3
efficiencies	3
eigenoscillations	3
electrical-engineering	3
electricity	3
electrochemistry	3
electromagnetic	3
electrons	3
embodiment	3
emergent-semantics	3
emerging	3
energy	3
engineering	3
enumerability	3
epigenetic	3
epigenomes	3
equality	3
equilibrium-models	3
ethical-models	3
event-related-potentials	3
evidence-based	3
expectations	3
experiment-selection	3
expertise	3
explanation	3
expressibility	3
extendibility	3
extremal-spaces	3
extremophiles	3
fdls	3
feature-extraction	3
field-quanta	3
financial-models	3
first-order	3
focusing	3
forecasting	3
formal-group-theory	3
formalization-hypothesis	3
fractional-calculus	3
gabor-filters	3
galois-connections	3
geometric-logic	3
geometric-phase	3
globalization-models	3
globalization-theories	3
global-justice-theories	3
global-warming	3
goal-oriented	3
granularity	3
graph	3
gravitational-models	3
gravitational-solitons	3
gravito-inertial	3
grids	3
growing	3
gui	3
harmonics	3
healthcare	3
hierarchical-logic	3
hierarchy-of-frameworks	3
hierarchy-of-sciences	3
hierarchy-of-truths	3
higher-dimensional-topos-theory	3
hilbert-lattice	3
homes	3
homogeneity	3
hybridity	3
hyper-economy	3
idealization	3
identifying	3
immunomodulation	3
implantable-medical-devices	3
incidence-algebras	3
inconsistencies	3
infinite-dimensional-lie-algebras	3
information-flow	3
initial-algebras	3
inner-models	3
institutional-frameworks	3
insulators	3
integrals	3
intelligent-communities	3
intelligent-environments	3
intelligent-technologies	3
interference-patterns	3
intersubjectivity	3
intraday	3
introspection	3
investing-models	3
in-vivo	3
ions	3
justice-equations	3
justice-machines	3
justice-structures	3
just-in-time	3
kb	3
kolmogorov-complexity	3
kripke-structures	3
labelled-deduction-systems	3
language-games	3
lattice-of-concepts	3
lattice-of-equations	3
lattice-of-equivalence-classes	3
lattice-of-features	3
lattice-of-genomes	3
lattice-of-sciences	3
lattice-of-specifications	3
lattice-of-subgroups	3
lie-algebras	3
local-models-semantics	3
local-semantics	3
logic-programming	3
log-periodicity	3
longevity	3
lukasiewicz-moisil-algebras	3
macroscopic	3
magnetism	3
magnetosphere	3
managed-logic	3
mapping	3
marketing	3
mass	3
mathematical-biophysics	3
mathematical-justice	3
mathematical-political-science	3
matroids	3
maximum-entropy	3
mdt	3
metaanalysis	3
metabolism	3
metabolomes	3
metaethics	3
metaphilosophical-frameworks	3
metatheories	3
microbial	3
microscopy	3
micro-theories	3
microtubules	3
mind-reading	3
modalities	3
modulation	3
modulators	3
module-morphism	3
moduli-spaces	3
morphisms	3
multidimensional	3
multilevel	3
mutual-entropy	3
mutual-information	3
narratives	3
natural-science-plausibility	3
n-categories	3
nervous-structures	3
neural-substrates	3
neuroacoustics	3
neurojustice	3
neuromodulators	3
neurophysics	3
neurotechnology	3
neutrality	3
noninvasive	3
nonlinear	3
nonlinear-standing-waves	3
nonparametricity	3
normal-modes	3
normative-frameworks	3
normative-system	3
novelty	3
n-theories	3
omega-languages	3
omega-models	3
operads	3
organogenesis	3
organ-systems	3
oscillating	3
oxidative-stress	3
pagerank	3
pandemics	3
parametricity	3
particle-exchanges	3
paths	3
personalized-justice	3
personalizing	3
philosophy-of-cosmology	3
philosophy-of-law	3
phonons	3
photosynthesis	3
piezoelectricity	3
plan-recognition	3
plasmonics	3
pluralism	3
political-models	3
political-science	3
polynomials	3
portfolio-of-algorithms	3
portfolios-of-algorithms	3
portfolio-theory	3
powers	3
power-spectrums	3
preprocessing	3
prevention	3
pricing-models	3
pricing-theories	3
priors	3
problem-oriented	3
process-space	3
product-models	3
program-extraction	3
proofs	3
proof-theory	3
prototypes	3
provenance	3
qualitative-methods	3
qualitative-models	3
qualitative-theories	3
quantitative-methods	3
quantum-algorithms	3
quantum-field-theory	3
quantum-measurement	3
quantum-reinforcement-learning	3
quantum-scale-spaces	3
quantum-theories	3
quantum-zeno-effect	3
question-asking	3
ranking	3
rationality	3
real-time-justice-systems	3
reasoning	3
recognition	3
regeneration	3
regulation-models	3
regulation-theories	3
regulative-frameworks	3
regulatory-frameworks	3
rehabilitation	3
relevance-feedback	3
remote-viewing	3
renormalization	3
replicator-equations	3
resistance	3
risk-management	3
risk-neutral	3
risk-profiles	3
schedules	3
scientific-communities	3
scientific-method	3
scientific-publications	3
scientific-reasoning	3
sectors	3
security	3
segments	3
selection	3
self-duality	3
self-modifying	3
self-organization	3
self-reference	3
semantic-authoring	3
semigroupoids	3
semigroup-theory	3
semiotic-spaces	3
sensitivity	3
sensory-dimensions	3
sequence	3
simplicity	3
simulators	3
situatedness	3
skolemization	3
small-world-network	3
social-choice-theory	3
social-simulation	3
sociobiology	3
sociolinguistics	3
solitary-waves	3
soliton-theory	3
sorting	3
sparql	3
specificity	3
spherical-harmonics	3
standard-cosmological-model	3
standing-gravitational-waves	3
statistical-mechanics	3
statistical-physics	3
stock-mechanics	3
stone-duality	3
strategy-recognition	3
strategy-spaces	3
summarizing	3
supergeometry	3
supergravity	3
superhuman	3
supportive-technologies	3
supramolecules	3
swarming	3
synthetic-creativity	3
synthetic-emotions	3
synthetic-worlds	3
systems-physiology	3
teams	3
technical-analysis	3
telomeres	3
time-invariance	3
tissue-engineering	3
total-control	3
trading-theories	3
transformers	3
transhuman	3
transport	3
tubes	3
tumor-models	3
tv	3
types	3
ubiquity	3
universal-coalgebra	3
universal-rewriting	3
universal-search	3
universal-strategies	3
variability	3
verbs	3
virtual-assistants	3
virtual-organizations	3
viscosity	3
visual-languages	3
visual-programming	3
volatilities	3
vulnerabilities	3
waveform-complexity	3
wealth-asymmetries	3
weapons	3
workflow	3
working-memory	3
x-waves	3
yhoo	3
zero-intelligence	3
10d	2
2009	2
21st-century	2
2-theories	2
4-manifolds	2
abductive-reasoning	2
ability	2
abstract-algebraic-logic	2
acceptability	2
action-spaces	2
activity-recognition	2
adaption	2
adaptive-logic	2
ad-hoc	2
adiabatic	2
adversaries	2
aerial-robotics	2
agent-based	2
agent-theory	2
aggregating	2
aging	2
aixi	2
algebraic-simulation	2
algebraic-specifications	2
aligning	2
allegories	2
all-mathematical-structures	2
all-possible-brain-processes	2
all-possible-cancers	2
all-possible-cells	2
all-possible-interactions	2
all-possible-particle-exchanges	2
all-possible-situations	2
all-possible-states	2
all-possible-wave-equations	2
all-scientific-theories	2
amorphous-computing	2
amps	2
amygdala	2
analog-computers	2
animal-agents	2
animal-soldiers	2
animal-spies	2
animating	2
annotation	2
antiviral	2
argumentation-system	2
argumentative-games	2
aspects	2
atom-chips	2
atomic	2
atp	2
attitudes	2
augmentation	2
authorities	2
autobiography	2
autoimmune	2
automata	2
automata-theory	2
automated-proof-checking	2
automorphisms	2
axiomatics	2
axiomatizability	2
baire-space	2
behavioral-dynamics	2
behavioral-specifications	2
behavioral-theories	2
behavior-modeling	2
behavior-modification	2
behavior-monitoring	2
behavior-theories	2
behaviour-models	2
best-practices	2
biocompatible	2
biography	2
bioholography	2
biological-fields	2
biological-functions	2
biological-pathways	2
biomaterials	2
biomechanics	2
biosemiotics	2
biotechnology	2
blastema	2
blogging	2
boosting	2
brain-functionalities	2
brands	2
breathers	2
broadcasting	2
business-development	2
calculus	2
calculus-of-structures	2
calendars	2
cameras	2
cancer-models	2
cantor-paradise	2
capm	2
carcinogenesis	2
categories	2
categorifications	2
categorizing	2
category-of-abilities	2
category-of-bialgebras	2
category-of-cobordisms	2
category-of-configuration-spaces	2
category-of-modules	2
category-of-organizations	2
category-of-phase-spaces	2
category-of-policies	2
category-of-skills	2
category-of-systems	2
category-of-technologies	2
cavity-qed	2
cbr	2
cellular-automatons	2
cellular-models	2
centralizer-groups	2
chains	2
change-detection	2
chatterbots	2
chemistry	2
chemotherapy	2
chirality	2
chladni-patterns	2
chu-space	2
circulatory-systems	2
classical-theories	2
classifiers	2
cliques	2
cmb	2
coalgebraic	2
coalgebraic-methods	2
coalitioning	2
coarse-graining	2
cochlear	2
cognitive-load	2
cognitive-radio	2
collaborative	2
collaborative-filtering	2
comonads	2
comovements	2
comparison	2
competition	2
competition-theories	2
complete-heyting-algebras	2
composing	2
compressability	2
compressibility	2
computational-dynamics	2
computational-group-theory	2
computational-inventing	2
computational-linguistics	2
computational-mechanics	2
computational-political-science	2
computational-social-sciences	2
conceptua	2
condensation	2
configurations	2
conflict-resolution	2
constants	2
constructive-complexity	2
constructive-dimension	2
constructive-justice-sciences	2
constructive-justice-theories	2
content-management	2
contextual-reasoning	2
contextualtiy	2
continuity	2
continuous-computing	2
contract-networks	2
contract-theories	2
contractual-theories	2
controlability	2
controller	2
convexity	2
cosmological-constant	2
cosmologica-models	2
coupled	2
coupling	2
creative-technologies	2
crises	2
crisises	2
criticality	2
culture	2
cyborg-soldiers	2
cymatics	2
damping	2
darwinism	2
dataflows	2
data-structures	2
decentralization	2
decision-making	2
decision-problems	2
decision-procedures	2
decisions	2
decision-theory	2
decomposition	2
default-reasoning	2
defibrillators	2
deformation	2
deformation-theory	2
degrees-of-freedom	2
deliberative	2
delocality	2
democratic-infrastructures	2
dependent-type-theory	2
describability	2
designs	2
desynchronizing	2
detectability	2
diagnosing	2
dialogue-games	2
diamagnetism	2
digital	2
dipoles	2
discontinuity	2
discrete-systems	2
disease-theories	2
disordered	2
disordered-media	2
disordered-systems	2
dissipative	2
distributive-justice	2
domains	2
dsm-v	2
dvb	2
dynamic-logic	2
earthquakes	2
ecology	2
e-commerce	2
econcomics	2
econodynamics	2
economic-fields	2
economic-frameworks	2
economic-networks	2
economic-processes	2
education	2
effective-topos	2
effectivity	2
efficiency	2
electrostatic	2
emf	2
endocrinology	2
equational-logic	2
equations-of-motion	2
equation-solvers	2
equilibrium	2
equivalence-principle	2
error-correcting-codes	2
e-science	2
ethical-frameworks	2
evolutionary-computing	2
evolution-models	2
executable-specifications	2
expecting	2
exploration	2
extremal-chemistry	2
extremum	2
features	2
fermions	2
feynman-diagrams	2
field-geometries	2
field-geometry	2
field-imaging	2
final-coalgebras	2
financial-architectures	2
financial-infrastructures	2
financial-theories	2
finite-groups	2
finite-model-theory	2
finite-simple-groups	2
flexibility	2
flowing	2
fluid-mechanics	2
fluids	2
folksonomies	2
formal-category-theory	2
formal-computational-intelligence	2
formal-contracts	2
formal-cosmology	2
formal-digital-library	2
formal-mathematics	2
formal-sociology	2
formal-string-theory	2
formal-systems	2
fractal-phase-spaces	2
fractal-potentials	2
fractional-integrals	2
freedom	2
froude-number	2
frw	2
fun-machines	2
funny-technologies	2
fuzzy	2
game-development	2
gauge-field-theory	2
gauge-groups	2
generation	2
generic-tasks	2
genetic	2
genetic-algorithms	2
genetic-awareness	2
geodesics	2
geometric-theories	2
geometries	2
gerbes	2
gis	2
global-ecology	2
global-governance	2
global-justice-infrastructures	2
global-justice-strategies	2
goal-recognition	2
governability	2
gravitions	2
grothendieck-institution	2
grothendieck-toposes	2
group-of-centralizers	2
groups	2
gtm	2
h1n1	2
h5n1	2
halting-probability	2
health-sciences	2
heavy-ions	2
helical	2
helicity	2
heritability	2
heterogeneous	2
heterogeneous-theories	2
heyting-categories	2
hierarchical-mixtures-of-experts	2
hierarchy-of-complexities	2
hierarchy-of-forces	2
hierarchy-of-logical-frameworks	2
hierarchy-of-metalanguages	2
hierarchy-of-norms	2
hierarchy-of-strategies	2
hierarchy-of-systems	2
hierarchy-of-types	2
higgs-mechanism	2
higher-dimensional-economics	2
higher-dimensional-graphs	2
higher-order-categorical-logic	2
higher-order-graphs	2
hilbert-space	2
history	2
history-of-science	2
hol	2
holographic-computing	2
holons	2
hormones	2
human-emulation	2
humor-models	2
humor-theories	2
hypercomplex-algebras	2
hypercomplex-numbers	2
hypergroupoids	2
hypergroups	2
hypermedialization	2
hypersets	2
icd	2
icd-10	2
ideals	2
idempotence	2
idempotent	2
identifiers	2
images	2
immune-functions	2
immunological-structures	2
immunostimulators	2
incomplete-contracts	2
infinite-dimensional	2
infinite-rewriting	2
inflation	2
information-aggregation	2
information-distance	2
information-distances	2
information-dynamics	2
information-overload	2
information-propagation	2
information-sharing	2
information-systems	2
innovation	2
innovation-theories	2
inquiry-calculus	2
instability	2
instantons	2
institutional-economics	2
institutional-model-theory	2
insurance	2
insuring	2
intelligent-buildings	2
intelligent-systems	2
interaction-networks	2
interactive	2
interneurons	2
intracellular	2
introspecting	2
intuitionistic	2
investing-theories	2
involutions	2
irreducabilities	2
irreducibility	2
justce-theories	2
justice-architectures	2
justice-evaluation-function	2
justice-functions	2
justice-systems	2
kernels	2
km	2
knowledge-acquisition	2
knowledge-asymmetries	2
knowledge-hierarchies	2
knowledge-technologies	2
kripke-semantics	2
lamda-calculus	2
landscapes	2
lattice-gauge-theory	2
lattice-of-abilities	2
lattice-of-arguments	2
lattice-of-assets	2
lattice-of-contexts	2
lattice-of-diseases	2
lattice-of-effects	2
lattice-of-frameworks	2
lattice-of-functionalities	2
lattice-of-gravity-theories	2
lattice-of-methods	2
lattice-of-norms	2
lattice-of-partitions	2
lattice-of-policies	2
lattice-of-portfolios	2
lattice-of-processes	2
lattice-of-products	2
lattice-of-projects	2
lattice-of-propositions	2
lattice-of-questions	2
lattice-of-relations	2
lattice-of-risks	2
lattice-of-scenes	2
lattice-of-skills	2
lattice-of-tasks	2
lattice-of-transformations	2
learnability	2
learning-costs	2
legal-architectures	2
legal-infrastructures	2
lexicons	2
lie-groups	2
limit-theories	2
linked-data	2
little-theories	2
localization	2
localized	2
localized-gravity	2
local-justice	2
local-models	2
local-theories	2
logical-information-system	2
logical-information-systems	2
logical-machines	2
logical-systems	2
logification	2
long-range-correlations	2
ludics	2
machines	2
macroeconomics	2
mammals	2
manufacturing	2
many-body	2
markovity	2
materials	2
mathematical-humor	2
mathematical-logic	2
mathematical-medicine	2
mathematical-physiology	2
matrixes	2
matrix-theory	2
matter	2
matter-currents	2
mda	2
measures	2
medical-theories	2
memory-theories	2
memristive-systems	2
memristors	2
mesh	2
metabolic-networks	2
metabolites	2
metacognition	2
metaeconomics	2
metaexperiments	2
metalanguage	2
metalearning	2
metalogic	2
metamodeling	2
metamodels	2
metatheory	2
methodology	2
microwave-circuits	2
minimally-invasive	2
minimal-sufficient-statistic	2
minimum-suffcient-models	2
mixtures	2
mobility	2
modality	2
model-selection	2
models-of-computation	2
model-transformation	2
modulation-spaces	2
molecular-antennas	2
molecular-medicine	2
molecular-neuroscience	2
monadicity	2
monopolies	2
morphology	2
morse-theory	2
motion	2
mri	2
multiclass	2
multifractality	2
multi-level-systems	2
multilingual	2
multilingualism	2
multimodality	2
multi-representations	2
muves	2
mycoplasma-genitalium	2
nanochips	2
nanoelectronics	2
negotiating	2
network-centric	2
network-of-cancers	2
network-of-interactions	2
network-of-theories	2
neural-matrix	2
neural-matrixes	2
neural-network	2
neural-structures	2
neuroaesthetics	2
neurobiology	2
neurochemistry	2
neurochips	2
neurodegeneration	2
neurodemocracy	2
neurodictatorship	2
neuroefficiency	2
neuroinformatics	2
neurology	2
neuronal	2
neurons	2
neuropsychology	2
neurosimulators	2
neurostimulation	2
n-frameworks	2
n-groupoids	2
nodes	2
nonassociative	2
nonclassicality	2
nondistributive	2
non-equilibrium	2
nonequilibrium-models	2
nonextensive	2
non-gaussian	2
nonmonotonicity	2
nonparametric	2
nonseparability	2
normalization	2
normative-agents	2
normative-architectures	2
numerical	2
numerical-methods	2
object-oriented	2
observability	2
ocl	2
omegainnovating	2
omega-toposes	2
omnipresence	2
open-biomedical-ontologies	2
opinion-formation	2
oracles	2
order-structure-of-sciences	2
organismal-structures	2
oscillating-systems	2
oseltamivir	2
pain	2
parallelism	2
parameters	2
particle-structures	2
patent-spaces	2
patterns	2
peace-technologies	2
perception	2
perception-theories	2
percolation	2
performing	2
periodic-table	2
permittivity	2
personal-agents	2
personal-histories	2
personality	2
personalized	2
personal-problem-solving	2
personal-task-management	2
pervasive-computing	2
pharmacogenetics	2
phase-locking	2
phase-shifters	2
phasing	2
philosophy-of-medicine	2
phrases	2
pipelines	2
plants	2
political-theories	2
polyhedral-dynamics	2
population-of-products	2
populations-of-intelligences	2
portfolio	2
portfolio-of-strategies	2
portfolios-of-strategies	2
positioning	2
power-asymmetries	2
power-laws	2
power-order-relations	2
precision	2
preons	2
pressure	2
price-discovery	2
price-impact-functions	2
probability-theories	2
problem-solving-methods	2
processing	2
product-theories	2
programming	2
proofability	2
proof-checking	2
prostheses	2
protein-protein-interactions	2
protein-spaces	2
proton-waves	2
publishing	2
pulses	2
pulse-shaping	2
quantitative	2
quantum-agents	2
quantum-algorithmic-information-theory	2
quantum-artificial-intelligence	2
quantum-computability-logic	2
quantum-computational-learning	2
quantum-correlations	2
quantum-field-computing	2
quantum-fluids	2
quantum-graphs	2
quantum-levitation	2
quantum-mechanics	2
quantum-memories	2
quantum-optics	2
quantum-phase-shifters	2
quantum-scalar-fields	2
quantum-searching	2
quantum-state-spaces	2
quantum-statistical-physics	2
quantum-technologies	2
quantum-trading-strategies	2
quasiparticles	2
quasisymmetry	2
query	2
query-answering	2
qutrits	2
random-fields	2
random-matrix-theory	2
rankings	2
rational-numbers	2
reaction-diffusion-systems	2
reactive	2
reactive-systems	2
realizability	2
recurrence	2
recursively-enumerable-sets	2
reengineering	2
reengineering-nature	2
reflective-logic	2
regenerative-medicine	2
regions	2
regression	2
regular-categories	2
regularization	2
regular-logic	2
regular-theories	2
regulatory-networks	2
remote-control	2
replicating	2
repositories	2
representing	2
researching	2
resonance	2
resonant-modes	2
responsibility	2
reviews	2
rewriting-calculus	2
rheology	2
riemann-zeros	2
risk-aversion	2
rnai	2
roles	2
sagnac-effect	2
sams	2
sar	2
scale-symmetry	2
sciences	2
scientific-methodologies	2
scientific-platforms	2
scientific-publishing	2
search-and-rescue	2
search-space	2
self-assembling	2
self-calibrating	2
self-control	2
self-control-technologies	2
self-interfering	2
self-preventing	2
self-replication	2
semantic-processing	2
semantic-trading	2
semiotic-space	2
service-oriented	2
sheaf-theory	2
shellability	2
shielding	2
signal-analysis	2
signals	2
simple-groups	2
simplexes	2
simplicial-complexes	2
situation-calculus	2
small-world-networks	2
soa	2
social-fields	2
social-infrastructures	2
social-science	2
software-engineering	2
software-radios	2
solvability	2
sonification	2
sonoelasticity	2
spectrums	2
spherics	2
spiral	2
spirality	2
spirals	2
spreads	2
statistical-justice	2
stimoceiver	2
stimulating	2
strategic-programming	2
strategy-development	2
strategy-learning	2
stream-calculus	2
streaming	2
string-theories	2
structural	2
subspaces	2
superalgebras	2
supercategories	2
superconnections	2
superlattice	2
superluminality	2
superstrings	2
supremacy	2
surgery	2
synchronicity	2
synthetic-differential-geometry	2
synthetic-sociology	2
synthetic-vision-systems	2
systems-sociology	2
task-allocation	2
task-decomposition	2
tasking	2
telehealth	2
tensor-product	2
terminal-coalgebras	2
term-structures	2
textuality	2
theoretical-economics	2
theoretical-justice-sciences	2
theoretical-social-science	2
theorizing	2
theoroidal	2
theory-of-institutions	2
therapeutics	2
thesauruses	2
thoughts	2
topological-analysis	2
trading-algorithms	2
training	2
transcriptomes	2
transducing	2
transformation	2
transforms	2
transitions	2
translating	2
transplants	2
transports	2
tree	2
tremors	2
tsp	2
tutoring	2
twitter	2
ultrametric	2
uncertainties	2
undecidability	2
universal	2
universal-logic	2
universal-vaccines	2
updating	2
urbanizing	2
vaccine-development	2
variational-physics	2
variational-principles	2
vasculature	2
verification	2
views	2
virtual-agents	2
virtual-personal-assistants	2
visual-cortexes	2
visual-information-processing	2
visualization	2
visual-systems	2
vpas	2
vulnerability	2
water-waves	2
waveforms	2
wave-particle-duality	2
weak-measurement	2
wealth	2
wearable	2
wikis	2
wireless-sensor-networks	2
words	2
work-flows	2
zooming	2
0198570740	1
1d	1
1d-strings	1
2000	1
2025	1
2060	1
24-7	1
2-bundles	1
2-categories	1
2-groupoids	1
2-toposes	1
3-manifold	1
3-manifolds	1
6d	1
9780198570745	1
abductive-inference	1
abductive-logic-programming	1
abstracting	1
abstract-syntax-tree	1
abundance	1
academic-publishing	1
accelerators	1
accessible-categories	1
accuracy	1
acoustic	1
acoustic-streaming	1
action_selection	1
active-learning	1
activity-plans	1
activity-selection	1
adaptation	1
adaptive	1
adaptive-search	1
adaptive-systems	1
addiction	1
adjoints	1
adjunctions	1
adversary	1
adverse-effects	1
adverse-events	1
afm	1
aggregation	1
aggregators	1
aggression	1
agoras	1
aif	1
algebraic-combinatorics	1
algebraic-dynamics	1
algebraic-groups	1
algebraic-justice	1
algebraic-justice-theories	1
algebraic-legal-theories	1
algebraic-problems	1
algebraic-stacks	1
algebraization	1
algorithm	1
algorithmic-economics	1
algorithmic-quantum-information-theory	1
algorithm-portfolios	1
all-categorical-structures	1
all-cells	1
all-computable-universes	1
allocation	1
all-physical-theories	1
all-possible-art-pieces	1
all-possible-brands	1
all-possible-cognitive-states	1
all-possible-cosmological-theories	1
all-possible-genomes	1
all-possible-ideas	1
all-possible-jokes	1
all-possible-justice-machines	1
all-possible-legal-machines	1
all-possible-markets	1
all-possible-model-organisms	1
all-possible-patents	1
all-possible-symptoms	1
all-possible-technologies	1
all-possible-therapies	1
all-possible-trades	1
all-possible-tumors	1
alphabets	1
alphas	1
alternating-temporal-epistemic-logic	1
alzheimer	1
ambient-intelligence	1
amino-acids	1
aml	1
amplifiers	1
analog-computing	1
analogy	1
analyzing	1
angiogenesis	1
anharmonic	1
animal-assisted	1
animations	1
annihilation	1
anonymity	1
answer-set-programming	1
antagonistic	1
antibaryons	1
antibody	1
anticipating	1
anticipation	1
anticipatory-systems	1
antigenic	1
antigravity	1
antimatroids	1
antinomies	1
antioxidants	1
antivirals	1
aptitudes	1
argdf	1
arguing	1
argumentation-networks	1
argumentative-frameworks	1
argumentative-structures	1
argumentative-systems	1
arguments	1
argument-tree	1
arithmetical-logic	1
arrangements	1
arrival-times	1
art-and-science	1
arthropods	1
asia	1
aspect-graphs	1
aspect-oriented-programming	1
assessing	1
asset-space	1
assisting	1
astrobiology	1
astronomy	1
asymptotic	1
atmospherics	1
atomic-force-microscopy	1
attentional-control	1
attractiveness	1
attractor-selection	1
attractor-switching	1
attribute-exploration	1
auditory-cortex	1
auditory-cortexes	1
auditory-system	1
authority	1
autocatalyticity	1
automatic	1
automatic-justice	1
automatic-justice-models	1
automatic-justice-theories	1
automation	1
automatization	1
autonomous-computing	1
auxin	1
availability	1
award-systems	1
axiomatizations	1
baire-spaces	1
banach-spaces	1
band-gap	1
bandwidth	1
bankruptcies	1
baryogenesis	1
baryonic	1
baryons	1
batteries	1
battery	1
bayesianism	1
bayesianity	1
bdi	1
beamformer	1
beamforming	1
bearish	1
bec	1
behavioral	1
behavioral-control	1
behavioral-economics	1
behavioral-equivalence	1
behavioral-similarity	1
behavior-analysis	1
behaviour	1
behaviour-spaces	1
benchmarks	1
berry-phase	1
betas	1
betting	1
biefeld-brown-effect	1
bifurcations	1
big-bounce	1
billiards	1
binomial-lattices	1
biobrick	1
biodiversity	1
bioenhancement	1
biofields	1
biogeophysics	1
biological-concepts	1
biological-interactions	1
biological-justice	1
biologically-plausible	1
biological-machines	1
biological-phase-spaces	1
biological-physics	1
biological-signals	1
biological-structure	1
biomagnetism	1
biomechanical	1
biomedical-telemetry	1
biomems	1
bio-mems	1
biorobotics	1
bioscaffolds	1
biosynthesis	1
biosystems	1
biothermodynamics	1
bisimilarity	1
bisolitons	1
bit-string-physics	1
blasars	1
block-orders	1
bloging	1
bmis	1
body-systems	1
bones	1
boolean-categories	1
boundary-streaming	1
bounds	1
brain-cams	1
brain-development	1
brain-doping	1
brain-implants	1
brain-machine-interfaces	1
brain-science	1
brain-services	1
brain-stimulating	1
brain-waves	1
brst	1
bsx	1
buildings	1
business-cycle-theory	1
business-intelligence	1
business-modeling	1
business-process	1
business-theories	1
cad	1
calculational	1
calculi	1
callaboration	1
caloric-restriction	1
cancer-statistics	1
cantor-set	1
cantor-sets	1
cantor-spaces	1
captions	1
cardiogenesis	1
carriers	1
cartesian-closed-categories	1
cartesian-closed-posets	1
cash-flow	1
categorical-algebra	1
categorical-metamathematical-frameworks	1
categorical-semantics	1
categorical-structures	1
categories-of-strategies	1
categorization	1
category-of-algebras	1
category-of-arguments	1
category-of-artificial-perceptions	1
category-of-business-models	1
category-of-categories	1
category-of-cells	1
category-of-contracts	1
category-of-dialgebras	1
category-of-dynamical-systems	1
category-of-effects	1
category-of-episodes	1
category-of-equations	1
category-of-events	1
category-of-experiments	1
category-of-formal-contexts	1
category-of-functionalities	1
category-of-fusors	1
category-of-gravity-theories	1
category-of-investments	1
category-of-logical-frameworks	1
category-of-metaframeworks	1
category-of-models	1
category-of-normative-systems	1
category-of-ontologies	1
category-of-patents	1
category-of-plans	1
category-of-potentials	1
category-of-projects	1
category-of-quantum-automata	1
category-of-relations	1
category-of-resources	1
category-of-scenes	1
category-of-sciences	1
category-of-statistics	1
category-of-universes	1
category-of-values	1
causal	1
causality-structures	1
causal-reasoning	1
causal-structures	1
cavity-resonators	1
cdos	1
cell-development	1
cellml	1
cell-models	1
cellnetanalyzer	1
cell-states	1
cell-theories	1
cellular	1
cellular-machines	1
cellular-networks	1
cellular-processes	1
cellular-programming	1
cellular-states	1
cellular-theories	1
centrality	1
centralization	1
ceramic-electrodes	1
ceramics	1
cerebral-degenerations	1
chaos	1
chaos-control	1
chaos-theory	1
chemical-constants	1
chemical-models	1
chemical-spaces	1
chemical-systems	1
chemical-theories	1
cheminformatics	1
chemotaxis	1
child-development	1
children	1
chladni-figures	1
choice	1
choice-functions	1
chromatin	1
citation-analysis	1
classical-logic	1
classicization	1
classifying-toposes	1
clickstreams	1
climatology	1
clinical	1
clinical-information-systems	1
clones	1
closed-captions	1
closure	1
closure-systems	1
cloudcomputing	1
clusters	1
coaching	1
coalgebra	1
coalgebraic-structures	1
coalition-forming	1
coargebras	1
code-carrying	1
coevolutionary	1
coevolving	1
cognitive-ability-requirements	1
cognitive-algorithms	1
cognitive-neurosicience	1
cognitive-space	1
cognitive-states	1
cognitve-agents	1
cognotechnology	1
coherent-categories	1
coherent-logic	1
cohesion	1
cohomologies	1
coinduction	1
colimits	1
collaborative-tagging	1
collective-flows	1
combinatorial-geometry	1
combinatorial-group-theory	1
combinaturics	1
comedy-robot	1
commitments	1
commodities	1
common-priors	1
communication	1
community	1
community-formation	1
compactness-theorem	1
comparing	1
compatibility	1
competence-management	1
competitive	1
compilation	1
completions	1
complexergy	1
complex-numbers	1
compositional-biology	1
compostionality	1
computable-dynamics	1
computable-justice	1
computable-preference	1
computable-utility	1
computational-aesthetics	1
computational-algebraic-geometry	1
computational-chemistry	1
computational-complexity	1
computational-dialectics	1
computational-frameworks	1
computational-games	1
computational-geometry	1
computational-health-sciences	1
computational-investing	1
computational-justice-models	1
computational-justice-theories	1
computational-learning-theory	1
computational-life-sciences	1
computational-numbers	1
computational-physiology	1
computational-psychiatry	1
computational-psychology	1
computational-quantum-field-theory	1
computational-storytelling	1
computational-structural-engineering	1
computational-substrates	1
computational-theories	1
computer-science	1
computing-theories	1
conceptual-graphs	1
conceptualizing	1
concerns	1
conditioning	1
conductance	1
conductivity	1
confinement	1
conjectures	1
connectionism	1
connection-theory	1
connexive-logic	1
conservation	1
constitutions	1
constructible-justice	1
constructible-sets	1
constructible-universe	1
constructive-justice-models	1
constructive-logics	1
constructive-mathematical-structures	1
constructive-matrix-theory	1
constructive-metamathematical-frameworks	1
constructive-metamathematics	1
constructive-modal-logic	1
constructive-model-theory	1
constructive-type-theory	1
constructive-utility	1
content-selection	1
contextual-categories	1
contextualization	1
continued-fraction	1
continuous-topological-evolution	1
contract-development	1
contracting-theories	1
contract-models	1
contract-types	1
contractual-frameworks	1
contractual-models	1
control-flow	1
control-frameworks	1
controlled-languages	1
control-methods	1
control-parameters	1
control-theory	1
coordinate-systems	1
copulas	1
corecursion	1
corings	1
correctness	1
correlation-dimension	1
correlation-entropy	1
correspondence	1
corrsepondence	1
corruption	1
cortical-substrates	1
cortices	1
cosemigroups	1
coskewness	1
cosmologcal-theories	1
cosmological-frameworks	1
cosmological-theory	1
cougar	1
countability	1
counter-flows	1
coupling-constants	1
cpof	1
craig-interpolation	1
crawling	1
creativity-techniques	1
credit-crisis	1
credit-markets	1
crisis	1
cryostasis	1
csim	1
curiosity	1
currencies	1
curriculum	1
curvature	1
cyberspace	1
cycles	1
cylinders	1
cylindrical	1
dataflow	1
datalog	1
data-management	1
data-processing	1
data-stream	1
day-plans	1
db	1
d-branes	1
debates	1
decision-support	1
decoders	1
decohering	1
decremental	1
dedecting	1
defeasible-deontic-logic	1
definitions	1
deinococcus-radiodurans	1
deliberation	1
deliberativity	1
delusions	1
democratising	1
dendrites	1
denormalization	1
dentistry	1
deontology	1
dependent-types	1
dephasing	1
description-logic	1
descriptors	1
designing	1
desire-machines	1
desires	1
desynchronization	1
detection	1
deterministic	1
detrended-fluctuation-analysis	1
dev	1
development	1
developmental	1
dgx	1
diabetes	1
diagram	1
dialectical-tree	1
dialgebras	1
dialogue	1
dialogue-tree	1
diamagnetic	1
diamagneticity	1
dielectric-structures	1
difference-equations	1
differential-calculus	1
differential-topology	1
diffraction	1
diffusion-coefficients	1
diffusion-damping	1
diffusive	1
dilemmas	1
directionality	1
discontinuities	1
discourse-theory	1
discrete-structures	1
diseasome	1
disordered-mediums	1
disordered-system	1
dispute-tree	1
dissimilarity	1
distance	1
distributed-reasoning	1
dls	1
doppler-effect	1
drafting	1
driven	1
driving	1
drs	1
drugbank	1
drug-design	1
dsm-iv	1
dunn-semantics	1
dyadic	1
dynamic-optimization	1
dynamic-programming	1
dynamic-semantics	1
dynamic-similarity	1
earnshaw-theorem	1
earth-sciences	1
eavesdropping	1
ecas	1
economic-geography	1
economic-interactions	1
economic-spaces	1
ecosystem	1
ectrodynamics	1
edemocracy	1
editors	1
effective-fractal-dimension	1
effective-string-theory	1
e-learning	1
electrical	1
electrochemical	1
electrodes	1
electrokinetics	1
electromagnetic-fields	1
electronic-warfare	1
electrophonics	1
electrophotography	1
electrophysiological	1
elementary-particles	1
em	1
emanations	1
embodied-conversational-agents	1
embryology	1
emerging-markets	1
emfs	1
emgs	1
emotional-structures	1
empathy	1
empirical-aesthetics	1
empowerment	1
encoding	1
endocrine-system	1
endocrine-systems	1
endocytosis	1
energy-functions	1
enforcement	1
enforcing	1
enrgies	1
ensemble-coding	1
ensemble-of-justice-machines	1
entanglement-dynamics	1
epigenesis	1
epigenomics	1
epigraph	1
episode-extraction	1
episodic	1
episodic--memory	1
epistemic-models	1
epistemic-theories	1
equation	1
equational	1
equational-justice	1
equational-justice-theories	1
equational-paritality	1
equation-solving	1
equilibria	1
equities	1
equivalence-class	1
ergodicity	1
ergonomics	1
evaluating	1
evaluation	1
evanescent-waves	1
event-calculus	1
event-space	1
evidence	1
evidence-based-medicine	1
evoked-potentials	1
evolutionary-biology	1
evolutionary-computation	1
evolutionary-robotics	1
evolutionary-stability	1
evolutionary-theories	1
evolving-networks	1
exchanges	1
exchange-theories	1
excitons	1
executable	1
exocytosis	1
experimental-design	1
experimental-political-science	1
experimenting	1
exploitation	1
exploration-exploitation	1
expressing	1
extension	1
extracellular	1
extremal-behaviors	1
extremal-combinatorics	1
extremal-economics	1
extremal-graph-theory	1
extremalization	1
extremal-politics	1
extremals	1
extremal-science	1
extremal-sociology	1
extremums	1
eye-tracking	1
facebook	1
facets	1
families	1
fast-spiking	1
fcc	1
feature-logic	1
feature-space	1
feature-spaces	1
fibonacci-numbers	1
fibrations	1
field-computation	1
field-quantums	1
field-strength	1
field-topologies	1
field-transformations	1
financeability	1
financial-systems	1
fine-structure-constant	1
fingerprints	1
finitary-stochastic-hierarchy	1
finite-limit-categories	1
finite-limit-theories	1
finite-product-theories	1
fixed-point	1
flexible	1
floral	1
fluctuations	1
fluidity	1
foams	1
focus	1
focused	1
folksonomy	1
formal	1
formal-business-development	1
formal-concept-analysis	1
formal-economics	1
formal-evelopment	1
formal-humor	1
formal-interoparability	1
formality	1
formalizations	1
formal-justice	1
formal-justice-theories	1
formal-knowledge	1
formal-languages	1
formal-legal-sciences	1
formal-logical-theories	1
formal-philosophy	1
formal-politics	1
formal-social-science	1
formal-social-sciences	1
formal-system	1
formats	1
forming	1
foundational	1
foundations	1
fractal	1
fractal-derivatives	1
fractal-evolution	1
fractal-information-theory	1
fractal-phase-space	1
fractal-potential	1
fractional	1
fractional-information-theory	1
fractional-phase-space	1
fractional-phase-spaces	1
framenet	1
frames	1
framework-of-behaviors	1
free-energy	1
free-probability-theory	1
frequencies	1
frequency-domain	1
fun	1
functional	1
functional-genomics	1
functionality	1
functionality-space	1
function-fields	1
functorial	1
functors	1
fundamental-groups	1
fusor	1
fusors	1
ga	1
gabor-spaces	1
gabriel-ulmer-duality	1
gambling	1
game-complexity	1
game-semantics	1
game-tree	1
gases	1
gastritis	1
gauge-potentials	1
gauges	1
gauge-theory	1
gauge-transformations	1
gauging	1
gaussian	1
gaussianity	1
gbrowse	1
gene-expression-programming	1
gene-networks	1
generalised-sketches	1
generalizations	1
generalized-sketches	1
general-systems-theory	1
generic-drugs	1
gene-therapies	1
gene-therapy	1
genetic-association-studies	1
genetic-counselling	1
genetic-testing	1
gene-vectors	1
genome-space	1
genotypes	1
geographical	1
geomagnetism	1
geometric	1
geometrization	1
geometry-of-interaction	1
geo-spatial	1
gep	1
geriatric	1
geropromotors	1
geroprotectors	1
glasses	1
globalisation	1
global-scaling-theory	1
global-theories	1
gmodweb	1
goal-lattice	1
goldstone-bosons	1
good-flow	1
google	1
governmentality	1
gps	1
grammar	1
grammars	1
grav	1
gravitation	1
gravitational-fields	1
gravitoelectric-fields	1
gravitomagnetic-fields	1
gravitons	1
gravity-models	1
gravity-waves	1
greedoids	1
grothendieck-flattening	1
grothendieck-institutions	1
group-of-gauge-transformations	1
groupoid	1
group-velocity	1
growth-models	1
growth-processes	1
growth-theories	1
gruppoids	1
halting-problem	1
hamilton-jacobi-equation	1
hamiltons	1
haplotypes	1
hashing	1
haskell	1
heads	1
health-care	1
health-problems	1
hearing	1
helping	1
herding	1
hereditary	1
hets	1
heyting-algebra	1
heyting-algebras	1
hfacs	1
hierarchical-metalanguages	1
hierarchical-mixture-of-experts	1
hierarchical-reasoning	1
hierarchy-of-cells	1
hierarchy-of-cell-types	1
hierarchy-of-computabilities	1
hierarchy-of-elementary-particles	1
hierarchy-of-formal-languages	1
hierarchy-of-formal-systems	1
hierarchy-of-lattices	1
hierarchy-of-laws	1
hierarchy-of-legal-frameworks	1
hierarchy-of-metalevels	1
hierarchy-of-normative-systems	1
hierarchy-of-proofs	1
hierarchy-of-selfs	1
hierarchy-of-spacetimes	1
hierarchy-of-tissues	1
higer-gauge-theory	1
higgs-bosons	1
higher-dimensional-dynamics	1
higher-dimensional-gauge-theory	1
higher-dimensional-group-theory	1
higher-dimensional-manifolds	1
higher-dimensional-sketches	1
higher-topos-theory	1
high-throughput	1
hipikat	1
hippocampus	1
histogenesis	1
hmm	1
holodecks	1
holographic-healing	1
holon	1
holonic	1
holonomies	1
holonomy	1
homeomorphisms	1
homologies	1
homology-classes	1
homology-groups	1
homotopies	1
hopf-algebras	1
hr	1
htn	1
hubs	1

	Test case prioritization based on requirements and risk factors [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 33, No. 4. (2008), pp. 1-5. by Praveen R. Srivastva, Krishan Kumar, G. Raghurama posted to logical-theories scientific-method software-development testing by Scis0000002 on 2009-07-06 21:49:02 as along with 1 person stabletree
	Symbolic Model Checking of Biochemical Networks [My Copy] Computational Methods in Systems Biology (2003), pp. 149-162. by Nathalie Chabrier, François Fages posted to biological-machines biological-networks biological-structures biological-systems formal-biology formal-development formal-methods formal-theories logical-frameworks logical-structures logical-systems logical-theories model-checkers model-checking systems-biology by Scis0000002 on 2009-06-30 15:25:56 as
	Introduction: Considerations on the Logical Structure of Evolutionary Theories [My Copy] Computational & Mathematical Organization Theory, Vol. 9, No. 3. (1 October 2003), pp. 183-194. by Jürgen Klüver posted to evolution-theories evolution-theory evolutionary-theories logical-structures logical-theories by Scis0000002 on 2009-06-12 11:21:26 as
	Systems Biology-an interdisciplinary approach. [My Copy] Biosens Bioelectron, Vol. 20, No. 12. (15 June 2005), pp. 2404-2407. by A. Friboulet, D. Thomas posted to formal-theories interdisciplinarity interoperability linguistic-frameworks logical-frameworks logical-theories mathematization metalogics metascience order-structures research-frameworks scientific-frameworks scientific-theories systems-biology by Scis0000002 on 2009-06-07 19:45:32 as along with 2 people erika mangtronix
	Using a logical model to predict the growth of yeast [My Copy] BMC Bioinformatics, Vol. 9 (12 February 2008), 97. by K. E. Whelan, R. D. King posted to formal-biology growth logical-theories by Scis0000002 on 2009-05-15 19:32:27 as along with 5 people and 1 group schwartzjmc JeremyZucker dullhunk heliopais tmmurali MetabolicModeling
	A Systematic Approach to Domain-Specific Language Design Using UML [My Copy] Object and Component-Oriented Real-Time Distributed Computing, 2007. ISORC '07. 10th IEEE International Symposium on In ISORC '07: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (21 May 2007), pp. 2-9. by B. Selic posted to category-of-languages category-of-theories developing domain-models domain-theories formal-theories logical-theories uml by Scis0000002 on 2009-04-21 20:36:45 as along with 4 people and 1 group thoni78 JavaJoe leonardo francoisl modeling
	Unifying theories in different institutions [My Copy] (1996) by M. Arrais, J. Fiadeiro posted to abstract-model-theory algebraicity economic-frameworks economic-models economic-theories institutional-economics institutional-frameworks institutional-model-theory institutions justice-infrastructures justice-theories legal-frameworks logical-frameworks logical-institutions logical-theories new-institutional-economics regulatory-frameworks unifying by Scis0000002 on 2009-04-04 11:20:56 as along with 1 person scis0000001
	General Philosophy of Science: Focal Issues (Handbook of the Philosophy of Science) [My Copy] (20 August 2007) posted to bottom-up formal-interoperability formal-theories frameworks generalization global global-theories inside little-theories local local-theories logical-frameworks logical-systems logical-theories logics macro-theories metalearning metalogical-frameworks micro-theories multiscale neurophilosophy order-structures outside philosophical-frameworks philosophy-of-science specialization top-down by Scis0000002 on 2009-03-13 09:20:41 as
	Risk Agoras: Dialectical Argumentation for Scientific Reasoning [My Copy] In UAI '00: Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence (2000), pp. 371-379. by Peter Mcburney, Simon Parsons posted to agoras approximations arguing argumentation-technologies argumentation-theory argumentative-technologies discursive-technologies formal-science formal-theories goedel-machines logical-frameworks logical-structures logical-theories metalogic metalogical metalogical-frameworks metalogics metascience order-structures philosophy-of-science proof-transformation scientific-discourse scientific-reasoning scientific-theories semantic-technologies synthetic-science by Scis0000002 on 2008-08-05 22:47:29 as
	Semantics and Conceptual Change [My Copy] The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365. by Jerrold J. Katz posted to all-scientific-theories category-of-theories ensemble-theories formal-theories logical-theories metalogical-frameworks metalogics metamathematical-frameworks metascience metascientific-frameworks philosophy-of-science scientific-models scientific-theories theories by Scis0000002 on 2008-07-14 09:49:08 as
	Ontological Knowledge Modelling in Support of e-Democracy [My Copy] by Jan P. And posted to democratic-technologies e-democracy logical-theories ontologies semantic-technologies by Scis0000002 on 2008-07-12 13:31:37 as
	Towards a Coherent Theory of Physics and Mathematics: The Theory-Experiment Connection [My Copy] ArXiv Quantum Physics e-prints (March 2004) by P. Benioff posted to abstract-machines bit-string-physics bit-strings cantor-space cardinality complex-numbers complexity-classes computability computational-numbers continued-fractions experiments finite-precision fol formal-physics hierarchy-of-theories hypercomplex-numbers hyperreal-numbers logical-structures logical-theories mathematical-structures measurement number-theory philospohy-of-science physical-structures physical-theories rational-numbers real-numbers sequences theories toes by Scis0000002 on 2008-01-17 21:34:18 as
	Strings from Logic [My Copy] (9 Nov 2000) by Christof Schmidhuber posted to abstract-machines abstract-model-theory formal-physics formal-string-theory formal-theories logical-theories metalogics string-theories string-theory theoretical-physics topos-theory world-models world-theories by Scis0000002 on 2008-01-17 14:17:15 as
	Mathematical Logic (Oxford Texts in Logic) [My Copy] (22 June 2007) by Ian Chiswell, Wilfrid Hodges posted to classification classifications logical-theories mathematical-structures taxonomy by Scis0000002 on 2007-09-11 08:56:21 as
	Open-Ended Artificial Evolution [My Copy] ArXiv Nonlinear Sciences e-prints (October 2002) by R. K. Standish posted to algorithmic-information-theory all-possible-environments all-possible-organisms all-possible-universes all-possible-worlds category-of-programs category-of-strategies category-of-theories complexities constructivism distributedness emergence evolution evolution-theory executable-specifications executable-theories extendability extremal-biology genome-spaces goedel-machine hierarchy-of-abstract-machines hierarchy-of-machines hierarchy-of-systems interoperability logical-theories metaevolution modeling network-of-programs network-of-theories omega-innovating open-ended order-structures organisms philosophy-of-science populations-of-strategies portfolio-theory randomness species strategies synthetic-biology synthetic-worlds taxonomies taxonomy-of-theories by Scis0000002 on 2007-08-24 15:46:50 as along with 1 person tomhebbron
	A MDA-based Approach to the Ontology Definition Metamodel [My Copy] by Dragan Djuric, Dragan Gasevic, Vladan Devedzic posted to interoperability logical-theories metamodels ocl odm ontologies ontology owl owl-institution uml by Scis0000002 on 2007-08-15 23:55:34 as along with 1 person web03
	The Mathematics and Mechanics of Relating Formal Theories [My Copy] by Robert L. Constable posted to formal-development formal-methods formal-theories logical-theories theories by Scis0000002 on 2007-08-07 22:33:12 as
	Classifying Toposes for First-Order Theories [My Copy] Annals of Pure and Applied Logic, Vol. 91, No. 1. (1998), pp. 33-58. by Carsten Butz, Peter Johnstone posted to categorical-theories classifying-toposes fol logical-theories toposes topos-theory by Scis0000002 on 2007-08-04 10:17:09 as
	Logical quantizations of first-order structures [My Copy] International Journal of Theoretical Physics, Vol. 35, No. 3. (1 March 1996), pp. 495-517. by Hirokazu Nishimura posted to categorical-theories equational-theories fol formal-theories limit-theories logical-theories mathematical-structures quantization toposes topos-theory by Scis0000002 on 2007-08-02 14:17:27 as
	First-Order Logic Foundation of Relativity Theories [My Copy] (10 Apr 2006) by Judit X. Madarasz, Istvan Nemeti, Gergely Szekely posted to all-possible-physical-theories axiomatization computational-physics cosmological-theories fol formal-cosmology formal-mathematics formal-physics formal-string-theory formalizability formalization intuitionistic-logic logical-theories metalogics physical-models physical-theories proofability provability proving relativity space-time space-times theoretical-physics topos-theory by Scis0000002 on 2007-07-14 13:37:44 as along with 1 person jrw
	A Topos Foundation for Theories of Physics: I. Formal Languages for Physics [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted to cartesian-closed-categories categorical-logic computational-complexity-theory computational-logic conceptua conceptual-structures formal-digital-libraries formal-interoperability formal-physics formal-theories formality functional-programming general-logics goedel-machine hierarchy-of-complexity-classes higher-order-categorical-logic higher-topos-theory hyperdoctrines inquiry interoperability intuitionistic-logic lamda-calculus language-selection local-mathematics logic-selection logical-structures logical-theories metalogical-frameworks metalogics philosophy-of-science physical-models physical-theories proof-transformation relativity research-frameworks resource-allocation sketches topos-morphisms topos-theory toposes type-theory by Scis0000002 on 2007-07-07 14:51:07 as along with 8 people GorgeousNicko svbcrypto prydzews jrw proportional madhadron scis0000001 gpi
	Knowledge representation with multiple logical theories and time [My Copy] pp. 47-76. by P. Mancarella posted to logical-theories by Scis0000002 on 2007-07-07 14:36:28 as
	On the Semantics of Theory Change: Arbitration Between Old and New Information [My Copy] (1993), pp. 71-82. by Peter Z. Revesz posted to logical-theories revision by Scis0000002 on 2007-07-07 14:30:34 as
	Generating all abductive explanations for queries on propositional Horn theories [My Copy] (2003) by T. Eiter, K. Makino posted to logical-theories by Scis0000002 on 2007-07-06 10:19:12 as
	the transformation of objectoriented conceptual models to logical theories [My Copy] by P. Bekaert, B. Nuffelen, M. Bruynooghe, D. Gilis, M. Denecker posted to formalization logical-theories by Scis0000002 on 2007-07-06 09:57:09 as
	Stochastic inductive logic programming [My Copy] (1994) by M. Kovacic posted to ilp induction logical-theories by Scis0000002 on 2007-07-05 14:22:45 as along with 1 person blanca
	The justification of logical theories based on data compression [My Copy] (1995), pp. 87-121. by A. Srinivasan, S. Muggleton, M. Bain posted to algorithmic-information-theory cip cognitive-architectures compression formal-theories ilp induction logical-theories maude meta-level-architectures theory-selection by Scis0000002 on 2007-07-05 14:20:13 as
	An Infrastructure for Intertheory Reasoning [My Copy] In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (2000), pp. 115-131. by William M. Farmer posted to category-of-theories institutions logical-theories metalogics parchments theoroidal by Scis0000002 on 2007-07-05 14:12:08 as along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
	A Formal Framework for Managing Mathematics [My Copy] (2003) by W. Farmer posted to logical-theories mkm by Scis0000002 on 2007-07-05 14:09:00 as along with 1 person scis0000001
	Little Theories [My Copy] In Conference on Automated Deduction (1992), pp. 567-581. by William M. Farmer, Joshua D. Guttman, Javier F. Thayer posted to little-theories logical-theories micro-theories philosophy-of-science small-theories theory-development by Scis0000002 on 2007-07-05 14:08:07 as along with 2 people and 2 groups A_Olympia scis0000001 Philosophy_of_Information Blog_and_Wiki_Research
	Formal interoperability [My Copy] (1998) by J. Meseguer posted to interoperability logical-theories mkm by Scis0000002 on 2007-07-05 13:47:44 as along with 1 person network02
	A Reflective Framework for Formal Interoperability [My Copy] by Sri posted to category-of-theories cognitive-architectures interoperability logical-theories meta-level-architectures metalogics theory theory-development by Scis0000002 on 2007-07-05 13:46:39 as
	May I Borrow Your Logic? (Transporting Logical Structures along Maps [My Copy] (1997) by M. Cerioli, J. Meseguer posted to logical-theories by Scis0000002 on 2007-07-05 13:44:10 as
	Rewriting logic as a logical and semantic framework [My Copy] (1993) by Mart'i N. Oliet, J. Meseguer posted to logical-theories metalogics by Scis0000002 on 2007-07-05 13:43:18 as along with 1 person and 1 group xiemaisi AS-IIS_ReadingGroup
	Revising Nonmonotonic Theories: The Case of Defeasible Logic [My Copy] In KI - Kunstliche Intelligenz (1999), pp. 101-112. by David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher posted to defeasible-logic logical-theories revising revision by Scis0000002 on 2007-07-05 13:36:11 as
	Agent based cooperative theory formation in pure mathematics [My Copy] (2000) by S. Colton, A. Bundy, T. Walsh posted to agent-theory aixi argumentation argumentation-games argumentation-theory category-of-theories collaboration computability-logic computational-science developing dialogical-logic distributed distributed-operating-system experts extendability formal-digital-library formal-interoparability formal-language-theory formal-problem-solving formal-science formation game-theory goedel-machine heterogeneous hierarchy-of-abstract-machines hyperefficiency hypernetworks iff interoperability logical-theories markets mathematics mechanized-mathematics metascience mkm oops optimality order-structures philosophy-of-science problem-solving proof-search resource-allocation scientific-community semweb socio-economic-systems theory-development unified-concept-theory by Scis0000002 on 2007-07-01 16:37:59 as
	Formal molecular biology [My Copy] Theoretical Computer Science In Computational Systems Biology, Vol. 325, No. 1. (28 September 2004), pp. 69-110. by Vincent Danos, Cosimo Laneve posted to biological-systems biomolecules computational-biology concurrency executable-theories extremal-biology extremal-chemistry formal-biology formal-development formal-theories formalizing hierarchy-of-abstract-machines hierarchy-of-languages hierarchy-of-machines interactomes lattice-of-types logical-structures logical-theories mathematical-biology molecular-structures proteins reverse-engineering-nature systems-biology by Scis0000002 on 2007-07-01 16:30:07 as
	Logically Possible Machines [My Copy] pp. 259-280. by E. Steinhart posted to all-possible-inventions all-possible-universes all-possible-worlds category-of-contexts category-of-specifications category-of-theories computability-logic computability-theory computational-mechanics effective-topos executable-theories finitary-stochastic-hierarchy formal-development formal-logical-theories formal-science formal-theories hierarchy-of-abstract-machines hierarchy-of-complexity-classes hierarchy-of-decision-problems hierarchy-of-formal-languages hierarchy-of-machines hierarchy-of-toposes hyperefficiency innovating lattice-of-machines lattice-of-situations logical-machines logical-theories metalogics modeling omega-hierarchies omega-innovating philosophy-of-science quantum-computability superstatistics theory-development toes by Scis0000002 on 2007-06-30 15:32:17 as
	Induction of Defeasible Logic Theories in the Legal Domain [My Copy] by Benjamin Johnston, Guido Governatori posted to computational-legal-sciences defeasible-logic formal-theories ilp legal-theories logical-theories by Scis0000002 on 2007-06-29 14:29:49 as
	An algorithm for the induction of defeasible logic theories from databases [My Copy] In ADC '03: Proceedings of the 14th Australasian database conference (2003), pp. 75-83. by Benjamin Johnston, Guido Governatori posted to defeasible-logic induction logical-theories by Scis0000002 on 2007-06-24 14:23:30 as
	Algorithmic Theories of Everything [My Copy] (20 Dec 2000) by Juergen Schmidhuber posted to category-of-theories category-theory logical-theories topos-theory by Scis0000002 on 2007-06-23 20:44:18 as along with 3 people BrendaChng scis0000001 JayDugger
	On the Emergence of Properties in Component-Based Systems [My Copy] In Algebraic Methodology and Software Technology. Proceedings - 1996, Vol. 1101 (1996), pp. 421-443. by J. L. Fiadeiro edited by M. Wirsing, M. Nivat posted to category-of-programs category-of-specifications category-of-theories components emergence evolution formal-theories interconnectivity logical-theories modularity modules by Scis0000002 on 2007-06-23 19:49:55 as

Scis0000002's logical-theories [42 articles] Export

Scis0000002's tags