Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
    Datensatz exportieren als...
  • BibTeX
WCN23-0997 MACHINE LEARNING MODELS USING BIOMARKERS TO PREDICT MORTALITY IN HEMODIALYSIS
Kidney international reports, 2023-03, Vol.8 (3), p.S298-S299
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Model checking rational agents
IEEE intelligent systems, 2004-09, Vol.19 (5), p.46-52
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Verification of Multi-Agent Programs
2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008, p.69-78
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems: 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006 : Revised and Invited Papers
2007 edition., 2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
State-Space Reduction Techniques in Agent Verification
International Conference on Autonomous Agents: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2; 19-23 July 2004, 2004, p.896-903
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Directions for Agent Model Checking
Specification and Verification of Multi-agent Systems, 2010, p.103-123
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange
International Conference on Autonomous Agents: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2; 19-23 July 2004, 2004, p.696-705
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wayward agents in a commuting scenario (personalities in the minority game)
Proceedings Fourth International Conference on MultiAgent Systems, 2000, p.55-62
2000
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Assembly and test of SQ01b, a Nb3Sn quadrupole magnet for the LHC accelerator research program
IEEE transactions on applied superconductivity, 2006-06, Vol.16 (2), p.382-385
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Assembly and Test of SQ01b, a$hboxNb_3hboxSn$Quadrupole Magnet for the LHC Accelerator Research Program
IEEE transactions on applied superconductivity, 2006-06, Vol.16 (2), p.382-385
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Assembly and Test of SQ01b, a hboxNb3hboxSnQuadrupole Magnet for the LHC Accelerator Research Program
IEEE transactions on applied superconductivity, 2006-06, Vol.16 (2), p.382-385
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Assembly and Test of SQ01b, a Quadrupole Magnet for the LHC Accelerator Research Program
IEEE transactions on applied superconductivity, 2006-05, Vol.16 (2), p.382
2006
Volltextzugriff (PDF)
1 – 12 von 12
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen