Page 35
Page 35
Computer algebra in scientific computing ; 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
Computer Algebra in Scientific Computing ; 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gröbner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.
Computer algebra and geometric algebra with applications ; 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
Computational Science and High Performance Computing III ; The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007
This volume contains 18 contributions to the Third Russian-German Advanced Research Workshop on Computational Science and High Performance Computing presented in July 2007 at Novosibirsk, Russia.
Computational Science and High Performance Computing II ; The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005
This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and High Performance Computing presented in March 2005 at Stuttgart, Germany. The workshop was organized jointly by the High Performance Computing Center Stuttgart (HLRS) and the Russian Institute for Computational Technologies (ICT SB RAS) The contributions range from computer science, mathematics and high performance computing to applications in mechanical and aerospace engineering. They show a wealth of theoretical work and simulation experience with a potential of bringing together theoretical mathematical modelling and usage of high performance computing systems presenting the state of the art of computational technologies.
Computational Science and High Performance Computing ; Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003
This volume contains contributions to the Russian-German Advanced Research Workshop on Computational Science and High Performance Computing as presented in September 2003 at Novosibirsk (Academgorodok), Russia. The workshop was organized jointly by the German High Performance Computing Center Stuttgart (HLRS) and the Russian Institute for Computational Technologies (ICT SB RAS). The contributions range from computer science, mathematics and high performance computing to applications in mechanical and aerospace engineering. They bring together a wealth of theoretical work and simulation experie.
Computational Processing of the Portuguese Language ; 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of the Portuguese Language, PROPOR 2008, held in Aveiro, Portugal, in September 2008.
Computational Processing of the Portuguese Language ; 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
Since 1993, PROPOR Workshops have become an important forum for - searchers involved in the Computational Processing of Portuguese,both written and spoken. The workshop and this book were structured around the following main t- ics, seven for full papers: (i) automatic summarization; (ii) resources; (iii) au- matic translation; (iv) named entity recognition; (v) tools and frameworks; (vi) systems and models; and another ?ve topics for short papers; (vii) information extraction; (viii) speech processing; (ix) lexicon; (x) morpho-syntactic studies; (xi) web, corpus and evaluation.
Computational Methods in Transport ; Granlibakken 2004
Based on a series of lectures given in the Granlibakken workshop was devoted to providing a forum, where computational transport researchers could communicate their methods with their results. This book presents computational transport in mathematics, astrophysics, high energy density physics, atmospheric physics, oceanography, and plant canopies.
Computational Methods for Algebraic Spline Surfaces : ESF Exploratory Workshop
The papers included in this volume provide an overview about the state-of-the-art in approximative implicitization and various related topics, including both the theoretical basis and the existing computational techniques. The novel idea of approximate implicitization has strengthened the existing link between Computer Aided Geometric Design and classical algebraic geometry. There is a growing interest from researchers and professionals both in CAGD and Algebraic Geometry, to meet and combine knowledge and ideas, in order to better solve industrial--type challenges, as well as to initiate new directions for basic research. This volume will support this exchange of ideas between the various communities.
Computational logic in multi-agent systems ; Vol. 3900 ; 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.
Computational logic in multi-agent systems ; Vol. 3487 ; 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
Computational logic in multi-agent systems ; 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming.
Computational Logic in Multi-Agent Systems ; 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.
Computational logic in multi-agent systems ; 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing methods suffer from two flaws. First, a centralized survivability algorithm (CSA) ensures survivability of the MAS – unfortunately, if the node on which the CSA exists goes down, the survivability of the MAS is questionable. Second, no mechanism exists to change how the MAS is deployed when external factors trigger a re-evaluation of the survivability of the MAS. In this paper, we present three algorithms to address these two important problems. Our algorithms can be built on top of any CSA. Our algorithms are completely distributed and can handle external triggers to compute a new deployment. We report on experiments assessing the efficiency of these algorithms.
Computational intelligence based on lattice theory
The emergence of lattice theory within the field of computational intelligence (CI) is partially due to its proven effectiveness in neural computation. Moreover, lattice theory has the potential to unify a number of diverse concepts and aid in the cross-fertilization of both tools and ideas within the numerous subfields of CI. The compilation of this eighteen-chapter book is an initiative towards proliferating established knowledge in the hope to further expand it. This edited book is a balanced synthesis of four parts emphasizing, in turn, neural computation, mathematical morphology, machine learning, and (fuzzy) inference/logic. The articles here demonstrate how lattice theory may suggest viable alternatives in practical clustering, classification, pattern analysis, and regression applications.
Computational Forensic ; 2nd International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Workshop, IWCF 2008, held in Washington, DC, USA, August 2008. The papers are organized in topical sections on trends and challenges; scanner, printer, and prints; human identification; shoeprints; linguistics;decision making and search; speech analysis; signatures and handwriting.
Computational earthquake physics ; Part II
Exciting developments in earthquake science have benefited from new observations, improved computational technologies, and improved modeling capabilities. Designing realistic supercomputer simulation models for the complete earthquake generation process is a grand scientific challenge due to the complexity of phenomena and range of scales involved from microscopic to global. The present volume - Part II - incorporates computational environment and algorithms, data assimilation and understanding, model applications and iSERVO. Topics covered range from iSERVO and QuakeSim: implementing the international solid earth research virtual observatory by integrating computational grid and geographical information web services; LURR (Load-Unload Response Ratio) described in six papers involving this promising earthquake forecasting model; pattern informatics and phase dynamics and their applications, which was also a highlight in the Workshop; computational algorithms, including continuum damage models and visualization and analysis of geophysical datasets; evolution of mantle material; the state vector approach; and assimilation of data such as geodetic data, GPS data, and seismicity and laboratory experimental data.
Commercial investment complex
الهدف من المشروع إنشاء مجمع تجاري استثماري يخدم ثلاث مناطق حيوية في دمشق، هي كراجات العباسيين، وجوبر، والقابون، بهدف إنعاش هذه المناطق التي تضررت أو أصبحت خاملة في السنوات الأخيرة. كما يوفر فرصًا اقتصادية وتنموية هامة. ويتألف هذا المجمع من مول تجاري ، برج تجاري استثماري ، أكشاك متنوعة ، معارض دائمة ومؤقتة و الساحة الرئيسية التي تُعد جوهر المشروع لما تتمتع به من إرث تاريخي وثقافي، حيث تشرح للزوار المراحل التي مرت بها المنطقة. كما يناقش البحث منهجية جمع البيانات وتحليلها ودراستها بما ينعكس إيجاباً على المشروع المقدم.
