02598nam 2200589Ia 450 991078479730332120230721030429.01-281-93839-49786611938390981-279-077-2(CKB)1000000000398960(StDuBDS)AH24684916(SSID)ssj0000117169(PQKBManifestationID)11135893(PQKBTitleCode)TC0000117169(PQKBWorkID)10036563(PQKB)11389606(MiAaPQ)EBC1681455(WSP)00006423(Au-PeEL)EBL1681455(CaPaEBR)ebr10255729(CaONFJC)MIL193839(OCoLC)261346505(EXLCZ)99100000000039896020070608d2007 uy 0engur|||||||||||txtccrCan star systems be explored?[electronic resource] the physics of star probes /Lawrence B. CrowellSingapore ;Hackensack, NJ World Scientificc20071 online resource (240p.) Bibliographic Level Mode of Issuance: Monograph981-270-618-6 981-270-617-8 Includes bibliographical references (p. 185-187) and index.1. Exploration of star systems -- 2. Newtonian mechanics -- 3. The physics of rocketry and spaceflight -- 4. Power systems for spaceflight -- 5. Elements of astrodynamics -- 6. Special relativity -- 7. The relativistic rocket -- 8. The Photon sail -- 9. Scientific and technical requirements -- 10. Electromagnetically accelerated nano-bots -- 11. Exotic propulsion methods -- 12. The interstellar neighborhood -- 13. Will humans go to the Stars? -- 14. Solar system stability and the likelihood of earth-like planets -- 15. Life on earth and in the Universe -- 16. Appendix.Gives an exposition of classical mechanics and relativity that addresses the question of whether it is possible to send probes to extrasolar systems. This book examines physics to consider the possibility of exploring the nearby interstellar environment in a similar fashion to how the solar system has been explored.Space probesSpace flightSpace probes.Space flight.629.435Crowell Lawrence B1499291MiAaPQMiAaPQMiAaPQBOOK9910784797303321Can star systems be explored3725199UNINA01627nam0 22003853i 450 VAN026898020240411115728.641N978146124806420231218d1987 |0itac50 baengUS|||| |||||ReduceSoftware for Algebraic ComputationGerhard RaynaWith a preface by Anthony C. HearnNew YorkSpringer-Verlag1987ix, 329 p.ill.24 cm001VAN02689822001 Symbolic Computation. Artificial Intelligence subseries210 Berlin [etc.]Springer68-XXComputer science [MSC 2020]VANC019670MF68W30Symbolic computation and algebraic computation [MSC 2020]VANC019771MFAlgebraKW:KComplexityKW:KComputationKW:KComputerKW:Kalgebraic computationKW:KUSNew YorkVANL000011RaynaGerhardVANV22074858538HearnAnthony C.VANV220749Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-1-4612-4806-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0268980BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7848 08eMF7848 20231222 Reduce334043UNICAMPANIA05839nam 22008175 450 991014360070332120251116234123.03-540-44723-710.1007/3-540-44723-7(CKB)1000000000211464(SSID)ssj0000321055(PQKBManifestationID)11220349(PQKBTitleCode)TC0000321055(PQKBWorkID)10259796(PQKB)10113656(DE-He213)978-3-540-44723-8(MiAaPQ)EBC3071801(PPN)155172042(EXLCZ)99100000000021146420121227d2001 u| 0engurnn#008mamaatxtccrAgent-Mediated Electronic Commerce III Current Issues in Agent-Based Electronic Commerce Systems /edited by Frank Dignum, Ulises Cortes1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (XII, 196 p.)Lecture Notes in Artificial Intelligence ;2003Bibliographic Level Mode of Issuance: Monograph3-540-41749-4 Includes bibliographical references and index.Electronic Negotiation Models for Agents -- Bilateral Negotiation Model for Agent-Mediated Electronic Commerce -- Multi-attribute Utility Theoretic Negotiation for Electronic Commerce -- On Constraint-Based Reasoning in e-Negotiation Agents -- Formal Issues for Agents that Operate on Electronic Market Places -- Integrating Interaction Protocols and Internet Protocols for Agent-Mediated E-Commerce -- Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages -- A Formal Description of a Practical Agent for E-Commerce -- Virtual Trading Institutions and Platforms -- A Platform for Electronic Commerce with Adaptive Agents -- Trading without Explicit Ontologies -- Customer Coalitions in Electronic Markets -- Trading Strategies for Interrelated Transactions -- Algorithm Design for Agents which Participate in Multiple Simultaneous Auctions -- Agent Strategies on DPB Auction Tournaments -- To Bid or Not To Bid Agent Strategies in Electronic Auction Games.In this book we present a collection of papers around the topic of Agent-Mediated Electronic Commerce. Most of the papers originate from the third workshop on Agent{Mediated Electronic Commerce held in conjunction with the Autonomous Agents conference in June 2000. After two previous workshops, one during the Autonomous Agents conference in 1998 in Minneapolis and the second one in conjunction with the International Joint Conference On Arti cial Intelligence in 1999, this workshop continued the tradition of the previous ones by setting the scene for the assessment of the challenges that Agent-Mediated Electronic Commerce faces as well as the opportunities it creates. By focusing on age- mediated interactions, specialists from di erent disciplines were brought together who contribute theoretical and application perspectives in the narrowly focused topic that nevertheless involves wide ranging concerns such as: agent architec- res, institutionalization, economic theory, modeling, legal frameworks and policy guidelines. The main topics for the workshop were: { Electronic negotiation models for agents { Formal issues for agents that operate in electronic market places { Virtual trading institutions and platforms { Trading strategies for interrelated transactions (respectively auctions) The workshop received 12 submissions of which 7 were selected for publication in this volume. Although the number of submissions was less then expected for an important area like agent-mediated electronic commerce there is no reason to worry that this area does not get enough attention from the agent community.Lecture Notes in Artificial Intelligence ;2003Artificial intelligenceTradeBusinessCommerceComputer scienceComputer networksManagement information systemsApplication softwareArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Tradehttps://scigraph.springernature.com/ontologies/product-market-codes/527010Popular Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/Q23000Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Artificial intelligence.Trade.Business.Commerce.Computer science.Computer networks.Management information systems.Application software.Artificial Intelligence.Trade.Popular Computer Science.Computer Communication Networks.Management of Computing and Information Systems.Information Systems Applications (incl. Internet).658.8/4Dignum Frankedthttp://id.loc.gov/vocabulary/relators/edtCortés U(Ulises),edthttp://id.loc.gov/vocabulary/relators/edtBOOK9910143600703321Agent-Mediated electronic commerce III877500UNINA