CiteULike: Scis0000002's Fiadeiro:J [3 articles]

Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

Scis0000002's tags

All tags in Scis0000002's library

Filter:

Only showing top 500 tags from 5083 total.

Privacy Statement | Terms & Conditions

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

	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
	The situation and state calculus versus branching temporal logic [My Copy] In Recent Developments in Algebraic Development Techniques, Selected Papers, Vol. 1589 (1999), pp. 293-309. by J. Ramos, A. Sernadas edited by J. Fiadeiro posted to situation-calculus temporal-logic by Scis0000002 on 2007-08-20 13:55:37 as
	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

markets	79
control-models	77
dynamics	67
strategies	67
biophysics	60
topos-theory	59
nonlinearity	57
hyperefficiency	55
interoperability	55
time-series	54
biological-structures	54
ontologies	50
problem-solving	50
systems-biology	49
activities	49
philosophy-of-science	47
mathematical-structures	47
invariances	46
modularity	46
symmetries	45
signal-processing	45
memories	45
solitons	44
organisms	44
monitoring	44
hci	43
order-structures	42
logical-theories	42
gauge-theories	41
games	41
contextuality	41
3d	41
developing	41
synthetic-biology	40
pricing	40
cells	40
networks	40
social-dynamics	38
real-time	38
communities	38
metalogics	38
brain-models	38
events	37
complexities	37
therapies	37
behaviors	37
quantum-computing	37
risks	37
normative-systems	36
portfolios	34
formal-theories	34
survivability	34
neuroethics	34
metalogical-frameworks	33
representations	33
institutions	33
semantic-web	32
searching	32
neuromodulating	32
infrastructures	32
specification	32
category-of-theories	32
universes	32
kernel-methods	32
logical-frameworks	32
self-models	31
contracts	31
entropies	31
similarities	31
wave-equations	30
genomes	30
correlations	30
scale-spaces	29
collaborating	29
planning	29
category-theory	29
semantics	28
enterprises	28
streams	28
standing-waves	28
deciding	28
predicting	28
classifications	28
metascience	28
diseases	28
fields	27
matter-waves	27
gravitational-waves	27
oscillations	27
environments	27
reinforcement-learning	26
neurodynamics	26
higher-dimensional	26
metamathematics	26
information-extracting	26
computational-neuroscience	26
modeling	26
flows	25
transforming	25
qm	25
societies	25
modules	25
algebraicity	25
sensor-networks	25
group-theory	25
game-theory	24
resource-allocation	24
reconstructing	24
clustering	24
quantum-coherence	24
argumentation-theory	24
derivatives	24
inferencing	24
qft	23
trading-strategies	23
neurosemiotics	23
quantum-strategies	23
abilities	23
options	23
hierarchy-of-abstract-machines	23
bioelectromagnetics	23
situations	23
argumentation	23
unified-concept-theory	23
neuroscience	23
populations-of-strategies	23
temporal	22
distributed	22
visual	22
energies	22
logics	22
hierarchies	22
computational-trading	22
bioethics	22
membranes	22
performance	22
bcis	22
social-technologies	22
frameworks	22
formation	22
toposes	22
fractality	22
justice-theories	22
question-answering	21
computability-logic	21
globalization	21
behavior	21
nlp	21
brain-theories	21
abstract-machines	21
imaging	21
nervous-systems	21
evolving	20
space-time	20
ui	20
unifying	20
text-mining	20
trading	20
brain-interfaces	20
experiments	20
self-interacting	20
nonequilibrium	20
mathematical-biology	20
holography	20
social-systems	20
brain-states	20
robotics	20
formal-development	20
physical-structures	19
scientific-theories	19
constraints	19
genome-spaces	19
gravitational-theories	19
information-processing	19
innovating	19
sequences	19
computational-epistemology	19
research-frameworks	19
reflectivity	19
self-modeling	19
interfaces	19
transformability	19
populations	19
matching	19
segmenting	19
biological-systems	18
fol	18
personalized-medicine	18
optimality	18
news	18
user-modeling	18
specifications	18
neurotechnologies	18
particles	18
tasks	18
brain-activities	18
neural-networks	18
mining	18
neurophilosophy	18
proteins	18
higher-order	18
interactivity	18
simulating	18
economic-models	18
power	18
brains	18
coherence	17
thermodynamics	17
augmented-reality	17
distributedness	17
selecting	17
investing-strategies	17
quantum-entanglement	17
behavior-spaces	17
experts	17
technologies	17
functional-programming	17
heterogeneity	17
uncertainty	17
quantum-games	17
wireless	17
de-broglie-waves	17
time	17
space-times	17
iff	17
duality	17
interactions	17
qip	17
hypermedia	17
computational-biology	17
support	17
testing	17
cancers	17
atoms	17
mas	17
intelligences	16
histories	16
complete-lattices	16
semigroups	16
quantum-gravity	16
hierarchy-of-machines	16
allocating	16
approximations	16
hyperplanes	16
organizations	16
social-networks	16
string-theory	16
learning	16
measuring	16
democratic-technologies	16
stability	16
augmenting	16
wave-functions	16
gravity-theories	16
rewriting	16
beliefs	16
circuitry	16
complexity	16
filtering	16
formal-methods	16
supersymmetry	16
effects	16
behavior-models	15
hypercomputability	15
regulative-systems	15
behavioral-models	15
extremal-biology	15
logging	15
resilience	15
electrostatics	15
argumenting	15
toes	15
world-models	15
life-logging	15
quantum-biology	15
cortexes	15
antennas	15
opinions	15
entanglement	15
algorithmic-information-theory	15
volatility	15
distributions	15
network-analysis	15
model-theory	15
potentials	15
visualizing	15
information-theory	15
global	15
architectures	15
goog	14
finance	14
computational-learning	14
linearized-gravity	14
model-organisms	14
drug-development	14
interconnectivity	14
futures	14
information-flows	14
economics	14
policies	14
computational-intelligence	14
probability-theory	14
formalization	14
socio-economic-systems	14
bioengineering	14
justice-models	14
surfaces	14
scientific-frameworks	14
relativity	14
ilp	14
behavioral-equations	14
justice-technologies	14
bayesian	14
ontology	14
cosmological-models	13
metamathematical-frameworks	13
biotechnologies	13
logical-structures	13
superconductivity	13
electromagnetics	13
signal-complexity	13
combining	13
patents	13
rules	13
skills	13
multimodal	13
molecules	13
meta-level-architectures	13
gr	13
economic-theories	13
formal-biology	13
sensors	13
industries	13
symmetry-breaking	13
knowledge-processing	13
indexing	13
dbs	13
neural-codes	13
neurosociety	13
phase-spaces	13
becs	13
bundles	13
justice-infrastructures	13
robots	13
multiscale	13
extremality	13
water	13
molecular-machines	13
information-retrieval	13
interacting	13
discreteness	13
attention	13
growth	13
biology	13
all-possible-worlds	13
web-services	13
hyperstructures	12
screening	12
representation	12
assistive-technologies	12
spatio-temporal	12
brain-functions	12
cip	12
groupoids	12
physical-theories	12
nodal-domains	12
computability	12
computational-science	12
physics	12
predictability	12
adaptivity	12
nlg	12
type-theory	12
automating	12
defeasible-logic	12
algebraic-theories	12
order-books	12
similarity	12
top-down	12
products	12
category-of-specifications	12
diagnostics	12
goals	12
theories	12
cancer	12
coalgebras	12
coordinating	12
reverse-engineering-nature	12
annotating	12
resources	12
manifolds	11
implants	11
pharmaceutical	11
relevance	11
quantum-theory	11
category-of-strategies	11
dimensionality	11
biochemistry	11
reward-systems	11
theoretical-biology	11
computational-legal-sciences	11
detecting	11
stem-cells	11
gaming	11
economic-dynamics	11
field-computing	11
cosmology	11
business-cycles	11
nonlocality	11
standard-model	11
local	11
hypernetworks	11
periodicity	11
linguistic-frameworks	11
experiences	11
presentations	11
executable-theories	11
multi-context-systems	11
molecular-biology	11
plasmas	11
bottom-up	11
control-systems	11
software-development	11
molecular-structures	11
process-models	11
control-theories	11
bioinformatics	11
kbs	11
media	11
immunotherapy	11
biosignals	11
aharonov-bohm-effect	11
collaboration	11
querying	11
control	11
knowledge-society	11
electron-waves	11
decoding	11
elf	11
computational-complexity-theory	11
coding	10
genetic-programming	10
semantic-technologies	10
attractors	10
hedging	10
epigenetics	10
biocomputing	10
chemical-structures	10
contracting	10
modal-logic	10
topology	10
classifying	10
interaction	10
formal-physics	10
immunology	10
pathways	10
detectors	10
mathematization	10
electrodynamics	10
dark-matter	10
substrates	10
noncommutativity	10
health-states	10
cloud-computing	10
curvatures	10
concurrency	10
bound-states	10
languages	10
gravity	10
feedback	10
goedel-machine	10
argumentation-games	10
rewriting-logic	10
synthetic-science	10
cognitive-architectures	10
polytopes	10
higher-dimensional-category-theory	10
web-apps	10
emotions	10
nonstationarity	10
personality-models	10
m-theory	10
behaving	10
formal-science	10
schroedinger-equation	10
quantum-decoherence	10
scale-invariance	10
immune-systems	10
episodes	10
lattices	9
scaling	9
algorithms	9
genes	9
equivalence	9
cybernetics	9
organization-theory	9
discovery	9
exploring	9
network-dynamics	9
lattice-theory	9

Scis0000002's Fiadeiro:J [3 articles] Export Sort

Scis0000002's tags