this book encapsulates the state-of-the-art advancements and methodological innovations in structural and geotechnical engineeringusing OpenSees, as detailed by esteemed international scholars and practitioners at the...
详细信息
ISBN:
(数字)9783031906909
ISBN:
(纸本)9783031906893;9783031906923
this book encapsulates the state-of-the-art advancements and methodological innovations in structural and geotechnical engineering
using OpenSees
, as detailed by esteemed international scholars and practitioners at the 6th Eurasian conference on OpenSees (EOSD), held in Beijing, China, on June 24-25, 2024. the event, following a two-day course with more than 100 attendees, was dedicated to examining recent progress and applications within the OpenSees framework. the book delves into a spectrum of topics, such as the deployment of OpenSees in structural and geotechnical projects, the development of novel computational elements and materials models, and enhancements in the software’s pre and post-processing capabilities that improve simulation accuracy and user interaction. Each paper is rigorously vetted through a comprehensive international peer-review process, ensuring the inclusion of high-quality, impactful research. the technical content presented extends beyond mere applications, offering detailed discussions on the integration of new numerical modeling techniques, the validation of complex material models under seismic loading, and the optimization of simulation workflows for enhanced scalability and efficiency. Moreover, this book serves as a critical resource for identifying emerging research trajectories and facilitating
partnerships among experts in OpenSees.
this book constitutes the thoroughly refereed papers presented at five international workshops held in conjunction withthe 6thinternationalconference on Service-Oriented Computing, ICSOC 2008, in Sydney, Australia,...
详细信息
ISBN:
(数字)9783642012471
ISBN:
(纸本)9783642012464
this book constitutes the thoroughly refereed papers presented at five international workshops held in conjunction withthe 6thinternationalconference on Service-Oriented Computing, ICSOC 2008, in Sydney, Australia, in December 2008. the volume contains 41 reviewed and improved papers presented at the 4thinternational Workshop on engineering Service-Oriented Applications (WESOA 2008), the Second international Workshop on Web APIs and Services Mashups (Mashups 2008), the First international Workshop on Quality-of-Service Concerns in Service Oriented Architectures (QoSCSOA 2008), the First Workshop on Enabling Service Business Ecosystems (ESBE 2008), and the third international Workshop on Trends in Enterprise Architecture Research (TEAR 2008). the papers offer a wide range of hot topics in service-oriented computing: management and analysis of SOA processes; development of mashups; QoS and trust models in service-oriented multi-agent systems; service ecosystems, service standardization, and evolutionary changes of Web services; governance aspects of SOA, enterprise models and architectures.
We are pleased to present the proceedings of Performance TOOLS 2003, the 13thinternationalconference on Modelling Techniques and Tools for Computer Performance Evaluation. the series of TOOLS conferences has provide...
详细信息
ISBN:
(数字)9783540452324
ISBN:
(纸本)9783540408147
We are pleased to present the proceedings of Performance TOOLS 2003, the 13thinternationalconference on Modelling Techniques and Tools for Computer Performance Evaluation. the series of TOOLS conferences has provided a forum for our community of performance engineers with all their diverse interests. TOOLS 2003, held in Urbana, Illinois during September 2–5, 2003, was the most recent meeting of the series, which in the past has been held in the following cities: 1984 Paris 1992 Edinburgh 2000 Chicago 1985 Sophia-Antipolis 1994 Vienna 2002 London 1987 Paris 1995 Heidelberg 2003 Urbana 1988 Palma 1997 Saint Malo 1991 Turin 1998 Palma theproceedingsoftheTOOLSconferenceshavebeenpublishedbySpringer- Verlag in its LNCS series since 1994. TOOLS2003wasthesecondconferenceintheseriestobeheldinthestateof Illinois, USA. It was one of four component conferences that met together under the umbrella of the 2003 Illinois Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems. Other conferences held inconjunctionwithTOOLS2003werethe10thinternationalWorkshoponPetri Nets and Performance models (PNPM 2003), the internationalconference on the Numerical Solution of Markov Chains (NSMC 2003), and the 6th Inter- tional Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-6). the format allowed for a number of joint components in the programs: the three keynote speakers, the tool demonstrations, the tutorials, and the social events were all shared by the participants of the multiconference. Moreover, the PNPM, TOOLS, and NSMC tracks of the multiconference ran concurrently, so that attendees could choose to attend whichever sessions of those component conferences they wished.
the safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devic...
详细信息
ISBN:
(数字)9781447109976
ISBN:
(纸本)9783540761914
the safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. this book represents the proceedings of the 16thinternationalconference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. the conference reviews the state ofthe art, experience and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP 97 provides an opportunity for technical developers, users and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. the papers were carefully selected by the conferenceinternational Programme Committee. the authors of the papers come from twelve different countries. the subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).
this book constitutes the thoroughly refereed post-workshop proceedings of 5 workshops, held at the 10thinternationalconference on Autonomous Agents and Multiagent Systems, AAMAS 2011, in Taipei, Taiwan, May 2-6, 20...
详细信息
ISBN:
(数字)9783642272165
ISBN:
(纸本)9783642272158
this book constitutes the thoroughly refereed post-workshop proceedings of 5 workshops, held at the 10thinternationalconference on Autonomous Agents and Multiagent Systems, AAMAS 2011, in Taipei, Taiwan, May 2-6, 2011. the 37 revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. the papers are organized in sections on the workshops Agent-Based Modeling for Policy engineering (AMPLE), Agent-Oriented softwareengineering (AOSE), Autonomous Robots and Multirobot Systems (ARMS), Data Oriented Constructive Mining and Multi-Agent Simulation, Massively Multi-Agent Systems: models, Methods and Tools (DOCM³AS), and Infrastructures and Tools for Multiagent Systems (ITMAS).
this book constitutes the refereed proceedings of the 25thinternationalconference on Concurrency theory, CONCUR 2014, held in Rome, Italy in September 2014. the 35 revised full papers presented together with 5 invit...
详细信息
ISBN:
(数字)9783662445846
ISBN:
(纸本)9783662445839
this book constitutes the refereed proceedings of the 25thinternationalconference on Concurrency theory, CONCUR 2014, held in Rome, Italy in September 2014. the 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. the focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.
this book constitutes the refereed proceedings of the 15thinternational Working conference on Requirements engineering: Foundation for software Quality, REFSQ 2009, held in Amsterdam, the Netherlands, in June 2009. T...
详细信息
ISBN:
(数字)9783642020506
ISBN:
(纸本)9783642020490
this book constitutes the refereed proceedings of the 15thinternational Working conference on Requirements engineering: Foundation for software Quality, REFSQ 2009, held in Amsterdam, the Netherlands, in June 2009. the 14 revised full papers were carefully reviewed and selected from 49 submissions. the papers are organized in thematic sections on value and risk, change and evolution, interactions and inconsistencies, organization and structuring, experience, elicitation, research methods, behavior modeling, empirical studies, and open-source RE.
this book constitutes the refereed proceedings of the 14thinternationalconference on software Process Improvement and Capability Determination, SPICE 2014, held in Vilnius, Lithuania, in November 2014. the 21 revise...
详细信息
ISBN:
(数字)9783319130361
ISBN:
(纸本)9783319130354
this book constitutes the refereed proceedings of the 14thinternationalconference on software Process Improvement and Capability Determination, SPICE 2014, held in Vilnius, Lithuania, in November 2014. the 21 revised full papers presented together with 6 short papers were carefully reviewed and selected from 49 submissions. the papers are organized in topical sections on developing process models for assessment; software process and models; softwaremodels and product lines; assessment; agile processes; processes improvement and VSE.
this book constitutes the refereed proceedings of the 8thinternational IFIP WG 2.13 conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in September 2012. the 15 revised full papers presented toge...
详细信息
ISBN:
(数字)9783642334429
ISBN:
(纸本)9783642334412;9783642428791
this book constitutes the refereed proceedings of the 8thinternational IFIP WG 2.13 conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in September 2012. the 15 revised full papers presented together with 17 lightning talks, 2 tool demonstration papers, 6 short industry papers, 5 posters and 2 workshop papers were carefully reviewed and selected from 63 submissions. the papers are organized in topical sections on collaboration and forks in OSS projects, community issues, open education and peer-production models, integration and architecture, business ecosystems, adoption and evolution of OSS, OSS quality, OSS in different domains, product development, and industrial experiences.
this book presents cutting-edge research on innovative human systems integration and human–machine interaction, with an emphasis on artificial intelligence and automation, as well as computational modeling and simula...
详细信息
ISBN:
(数字)9783030680176
ISBN:
(纸本)9783030680169
this book presents cutting-edge research on innovative human systems integration and human–machine interaction, with an emphasis on artificial intelligence and automation, as well as computational modeling and simulation. It covers a wide range of applications in the area of design, construction and operation of products, systems and services. the book describes advanced methodologies and tools for evaluating and improving interface usability, new models, and case studies and best practices in virtual, augmented and mixed reality systems, with a special focus on dynamic environments. It also discusses various factors concerning the human user, hardware, and artificial intelligence software. Based on the proceedings of the 4thinternationalconference on Intelligent Human Systems Integration (IHSI 2021), held on February 22–24, 2021, the book also examines the forces that are currently shaping the nature of computing and cognitive systems, such as the need to reduce hardware costs; theimportance of infusing intelligence and automation; the trend toward hardware miniaturization and optimization; the need for a better assimilation of computation in the environment; and social concerns regarding access to computers and systems for people with special needs. It offers a timely survey and a practice-oriented reference guide for policy- and decision-makers, human factors engineers, systems developers and users alike.
暂无评论