الصفحة 7
الصفحة 7
Electronic Governance and Open Society : Challenges in Eurasia; 6th International Conference, EGOSE 2019, St. Petersburg, Russia, November 13–14, 2019, Proceedings
This book constitutes the refereed proceedings of the 6th Conference on Electronic Governance and Open Society: Challenges in Eurasia, EGOSE 2019, held in St. Petersburg, Russia, in November 2019. The 32 revised full papers were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on smart city;digital government, society and economy; digital intelligence, data science and cybercrime; social networking and media.
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia.It addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
Distributed computing in sensor systems ; 3rd IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
The book covering the areas of algorithms, applications, and systems, thus bridging the gap between theory and practice and between the broader field of distributed computing and the specific issues arising in sensor networks and related systems.
Distributed computing and internet Technology ; Vol. 3816 ; 2nd International conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
The opening ceremony and pre-conference tutorials on various related topics were held on December 21. The technical program started on December 22 and continued for three days. The program was arranged in single track so as to enable participants to attend sessions of di?erent tracks. Papers from the DM, IT, SE, and SS tracks were divided into two sessions, whereas DC track sessions were held on the ?rst two days of the conference. The program also included two plenary talks. The ?rst talk was delivered by S. S. Iyengar from Louisiana State University, USA. The second talk was delivered by He Jifeng from the International Institute for Software Technology (IIST) Macau. Prof. Iyenger’s talk on “The Distributed Sensor Networks — An Emerging Technology” was focused on new ideas about the use of distributed systems for emerging technology, while Prof. Jifeng’s talk on “Linking Theories of Concurrency by Retraction” dealt with semantics of concurrency.
Distributed computing and Internet Technology ; 1st International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings
Taming the Dynamics of Disributed Data - DISTRIBUTED COMPUTING -- Data in Your Space -- Enabling Technologies for Harnessing Information Explosion -- Fair Leader Election by Randomized Voting -- An Efficient Leader Election Algorithm for Mobile Ad Hoc Networks -- Distributed Balanced Tables: A New Approach - Performance Evaluation of Gigabit Ethernet and SCI in a Linux Cluster -- Performance Evaluation of a Modified-Cyclic-Banyan Based ATM / IP Switching Fabric -- A Scalable and Robust QoS Architecture for WiFi P2P Networks -- NEC: Node Energy Based Clustering Protocol for Wireless Sensor Networks with Guaranteed Connectivity,and other
Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. The book range over much of Magma's coverage of algorithmic algebra: from number theory and algebraic geometry, via representation theory and group theory to some branches of discrete mathematics and graph theory. A basic introduction to the Magma language is given in an appendix. The book is simultaneously an invitation to learn a new programming language in the context of contemporary research problems, and an exposition of the types of problem that can be investigated using computational algebra.
Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute
Digital VLSI Design With Verilog is all an engineer needs for in-depth understanding of the verilog language: Syntax, synthesis semantics, simulation, and test. For a reader with access to appropriate electronic design tools, all solutions can be developed, simulated, and synthesized as described in the book.
Digital Libraries : Universal and Ubiquitous Access to Information ; 11th International Conference on Asian Digital Libraries, ICADL 2008, Bali, Indonesia, December 2-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Asian Digital Libraries, ICADL 2008, held in Bali, Indonesia, in December 2008.
Digital Libraries : The Era of Big Data and Data Science; 16th Italian Research Conference on Digital Libraries, IRCDL 2020, Bari, Italy, January 30–31, 2020, Proceedings
The chapter "Identifying, Classifying and Searching Graphic Symbols in the NOTAE System" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Digital libraries : Implementing strategies and sharing experiences ; 8th International Conference on Asian digital libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005, Proceedings
Constitutes the proceedings of the 8th International Conference on Asian Digital Libraries, ICADL 2005. This book is organized in topical sections on concepts and models for digital library systems, case studies in digital libraries, digital archives and museums, multimedia digital libraries, digital libraries for community building, and more
Diagrammatic Representation and Inference ; 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Theory and Application of Diagrams, Diagrams 2008, held in Herrsching, Germany, in September 2008.
Diagrammatic representation and inference ; 4th International conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, and psychological issues in comprehension, production and communication.
Diagrammatic Representation and Inference ; 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.* The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; diagram design, principles, and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; logic and diagrams; and posters.
Development of Emotions and Emotion Regulation
The first book to examine emotional development from birth to adulthood, Development of Emotions and Their Regulation fills in significant gaps in the literature by integrating major developmental theories of emotion with robust research on emotion regulation in adults. Noted German psychologists Holodynski and Friedlmeier have written a work that takes on dominant theories such as the desomatization of emotion as people attain maturity, as well as more recent contextual models of emotional growth.
Declarative agent languages and technologies II ; 2nd international workshop, DALT 2004, New York, NY, USA, July 19, 2004, revised selected papers
Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.
Databases, Information Systems, and Peer-to-Peer Computing ; International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2006, Revised Selected Papers
The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information systems, endowed with clearly specified and difierential capabilities to negotiate, bargain, coordinate and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, sci- tific or otherwise) and on the emergence and the formation of social communities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity and static and mobile architectures. Wireless connectivity combined with the increasingly small and powerful mobile devices and sensors poses new challenges as well as opp- tunities to the database community. Information becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, - stable networks with very severe constraints on the information management and processing capabilities.
Databases in Networked Information Systems ; 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007, Proceedings
This book Is focusing on data semantics and infrastructure for information management and interchange, the papers are organized in topical sections on geospatial decision-making, Web data management systems, infrastructure of networked information systems, and Web query and web mining systems.
Databases and information systems ; 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16–19, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Baltic Conference on Databases and Information Systems, DB&IS 2020, held in Tallinn, Estonia, in June 2020.* The 22 revised papers presented were carefully reviewed and selected from 52 submissions. The papers are centered around topics like architectures and quality of information systems, artificial intelligence in information systems, data and knowledge engineering, enterprise and information systems engineering, security of information systems.
Database Theory – ICDT 2007 ; 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive power of query languages, incompleteness, inconsistency, and uncertainty, XML schemas and typechecking, stream processing and sequential query processing, ranking, XML update and query, as well as query containment.
Database theory - ICDT 2005 ; 10th international conference, Edinburgh, UK, January 5-7, 2005, Proceedings
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5–7, 2005, in Edinburgh, UK. ICDT (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti?c forum for the communication of high-quality and innovative research results on theoretical - pects of all forms of database systems and database technology. The conference usually takes place in Europe, and has been held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), Prague (1995), Delphi (1997), Jerusalem (1999), London (2001), and Siena (2003) so far. ICDT has merged with the Sym- sium on Mathematical Fundamentals of Database Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. ICDT had a two-stage submission process. First, 103 abstracts were subm- ted, which were followed a week later by 84 paper submissions. From these 84 submissions, the ICDT Program Committee selected 24 papers for presentation at the conference. Most of these papers were “extended abstracts” and preli- nary reports on work in progress. It is anticipated that most of these papers will appear in a more polished form in scienti?c journals.
