Pascal and Francis Bibliographic Databases

Help

Search results

Your search

cc.\*:("001D02C07")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1966

  • Page / 79
Export

Selection :

  • and

Dynamics in high-dimensional model gene networksKAPPLER, K; EDWARDS, R; GLASS, L et al.Signal processing. 2003, Vol 83, Num 4, pp 789-798, issn 0165-1684, 10 p.Article

Agent-based social simulation with coalitions in social reasoningDAVID, Nuno; SICHMAN, Jaime Simao; COELHO, Helder et al.Lecture notes in computer science. 2001, pp 244-265, issn 0302-9743, isbn 3-540-41522-XConference Paper

Monotonic preorders for free variable tableauxMARTIN, P. J; GAVILANES, A.Lecture notes in computer science. 2000, pp 309-323, issn 0302-9743, isbn 3-540-67697-XConference Paper

A tableau system for Gödel-Dummett Logic based on a hypersequent calculusAVRON, A.Lecture notes in computer science. 2000, pp 98-111, issn 0302-9743, isbn 3-540-67697-XConference Paper

Complexity of simple dependent bimodal logicsDEMRI, S.Lecture notes in computer science. 2000, pp 190-204, issn 0302-9743, isbn 3-540-67697-XConference Paper

Local symmetries in propositional logicARAI, N. H; URQUHART, A.Lecture notes in computer science. 2000, pp 40-51, issn 0302-9743, isbn 3-540-67697-XConference Paper

A framework to dynamically manage distributed virtual environmentsFABRE, Y; PITEL, G; SOUBREVILLA, L et al.Lecture notes in computer science. 2000, pp 54-64, issn 0302-9743, isbn 3-540-67707-0Conference Paper

TABLEAUX 2000 : automated reasoning with analytic tableaux and related methods (St Andrews, 3-7 July 2000)Dyckhoff, Roy.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67697-X, X, 440 p, isbn 3-540-67697-XConference Proceedings

Heuristics and experiments on BDD representation of Boolean functions for expert systems in software verification domainsKURIHARA, M; KONDO, H.Lecture notes in computer science. 1999, pp 353-364, issn 0302-9743, isbn 3-540-66822-5Conference Paper

A constraint optimization framework for multiagent anytime scheduling: Extended summaryHAVENS, B; GOEBEL, R; BERGER, J et al.Lecture notes in computer science. 1999, pp 480-481, issn 0302-9743, isbn 3-540-66822-5Conference Paper

ADIPS framework for flexible distributed systemsKINOSHITA, T; SUGAWARA, K.Lecture notes in computer science. 1999, pp 18-32, issn 0302-9743, isbn 3-540-65967-6Conference Paper

A secure communication scheme for multiagent systemsHONGXUE WANG; VARADHARAJAN, V; YAN ZHANG et al.Lecture notes in computer science. 1999, pp 174-185, issn 0302-9743, isbn 3-540-65967-6Conference Paper

Bidding strategies for trading agents in auction-based tournamentsGARCIA, P; GIMENEZ, E; GODO, L et al.Lecture notes in computer science. 1999, pp 151-165, issn 0302-9743, isbn 3-540-65955-2Conference Paper

A π-calculus model of a Spanish fish market : Preliminary reportPADGET, J; BRADFORD, R.Lecture notes in computer science. 1999, pp 166-188, issn 0302-9743, isbn 3-540-65955-2Conference Paper

Information integration for electronic commerceGHIDINI, C; SERAFINI, L.Lecture notes in computer science. 1999, pp 189-206, issn 0302-9743, isbn 3-540-65955-2Conference Paper

Agent-mediated integrative negotiation for retail electronic commerceGUTTMAN, R. H; MAES, P.Lecture notes in computer science. 1999, pp 70-90, issn 0302-9743, isbn 3-540-65955-2Conference Paper

Finding relevant process characteristics with a method for data-based complexity reductionPRACZYK, J; KIENDL, H; SLAWINSKI, T et al.Lecture notes in computer science. 1999, pp 548-555, issn 0302-9743, isbn 3-540-66050-XConference Paper

Function approximation using tensor product Bernstein polynomials- neuro & evolutionary approachesBUZOIANU, M; OLTEAN, F; AGAPIE, A et al.Lecture notes in computer science. 1999, pp 625-631, issn 0302-9743, isbn 3-540-66050-XConference Paper

Problem-solving frameworks for Sensible Agents in an electronic marketBARBER, K. S; GOEL, A; HAN, D et al.Lecture notes in computer science. 1999, pp 470-479, issn 0302-9743, isbn 3-540-66076-3Conference Paper

Multi-paradigm languages supporting multi-agent developmentAMANDI, A; ZUNINO, A; ITURREGUI, R et al.Lecture notes in computer science. 1999, pp 128-139, issn 0302-9743, isbn 3-540-66281-2Conference Paper

A Developer's perspective on multi-agent system designCHARLTON, P; MAMDANI, E.Lecture notes in computer science. 1999, pp 41-51, issn 0302-9743, isbn 3-540-66281-2Conference Paper

Multi-agent systems on the internet : Extending the scope of coordination towards security and topologyCREMONINI, M; OMICINI, A; ZAMBONELLI, F et al.Lecture notes in computer science. 1999, pp 77-88, issn 0302-9743, isbn 3-540-66281-2Conference Paper

Agent-based project managementPETRIE, C; GOLDMANN, S; RAQUET, A et al.Artificial intelligence today (recent trends and developments). Lecture notes in computer science. 1999, pp 339-363, issn 0302-9743, isbn 3-540-66428-9Book Chapter

Maintaining context and control in a digital worldSTENTON, S. P.Lecture notes in computer science. 1999, pp 20-21, issn 0302-9743, isbn 3-540-66550-1Conference Paper

Augmented workspace : The world as your desktopDEMPSKI, K. L.Lecture notes in computer science. 1999, pp 356-358, issn 0302-9743, isbn 3-540-66550-1Conference Paper

  • Page / 79