%{search_type} search results

• Distributed and Parallel Computing
• High Performance Computing
• Big Data and Information Processing
• Internet of Things and Cloud Computing
• Security and Privacy in Computing.

The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018. The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel Computing; High Performance Computing; Big Data and Information Processing; Internet of Things and Cloud Computing; and Security and Privacy in Computing.

• Some Easy and Some Not So Easy Geometric Optimization Problems
• Deterministic Min-Cost Matching with Delays
• Sequential Metric Dimension
• A Primal-Dual Online Deterministic Algorithm for Matching with Delays
• Advice Complexity of Priority Algorithms
• Approximating Node-Weighted k-MST on Planar Graphs
• Exploring Sparse Graphs with Advice
• Call Admission Problems on Grids with Advice
• Improved Approximation Algorithms for Minimum Power Covering Problems
• DISPATCH: An Optimally-Competitive Algorithm for Maximum Online Perfect Bipartite Matching with i.i.d. Arrivals
• Strategic Contention Resolution in Multiple Channels
• Sublinear Graph Augmentation for Fast Query Implementation
• Bin Packing Games with Weight Decision: How To Get a Small Value for the Price of Anarchy
• Probabilistic Embeddings of the Fréchet Distance
• Algorithms for Dynamic NFV Workload
• Longest Increasing Subsequence under Persistent Comparison Errors
• Cut Sparsifiers for Balanced Digraphs
• Reconfiguration of Graphs with Connectivity Constraints
• The Itinerant List Update Problem
• The Price of Fixed Assignments in Stochastic Extensible Bin Packing.

This book constitutes the thoroughly refereed workshop post-proceedings of the 16th International Workshop on Approximation and Online Algorithms, WAOA 2018, held in Helsinki, Finland, in August 2018 as part of ALGO 2018. The 19 revised full papers presented together with one invited paper in this book were carefully reviewed and selected from 44 submissions. Topics of interest for WAOA 2016 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; algorithmic trading; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.

• Big Data Management and Service (BDMS)
• Big Data Quality Management (BDQM)
• Graph Data Management and Analysis (GDMA)
• Semantic Computing and Personalization (SeCoP).

This book constitutes the workshop proceedings of the 23rd International Conference on Database Systems for Advanced Applications, DASFAA 2018, held in Gold Coast, QLD, Australia, in May 2018. The 23 full papers presented were carefully selected and reviewed from 44 submissions to the four following workshops: the 5th International Workshop on Big Data Management and Service, BDMS 2018; the Third International Workshop on Big Data Quality Management, BDQM 2018; the Second International Workshop on Graph Data Management and Analysis, GDMA 2018; and the 5th International Workshop on Semantic Computing and Personalization, SeCoP 2018.

• Diagrams and programming languages for programmable controllers
• Graphical specification and reasoning: Case study generalised railroad crossing
• A graphic notation for formal specifications of dynamic systems
• A semantic integration of object-Z and CSP for the specification of concurrent systems
• Class refinement and interface refinement in object-oriented programs
• Formalizing requirements for distributed systems with trace diagrams
• Consistent graphical specification of distributed systems
• Design of reactive control systems for event-driven operations
• An M-Net semantics for a real-time extension of µSDL
• Reconciling real-time with asynchronous message passing
• Specifying the remote controlling of valves in an explosion test environment
• PICGAL: Practical use of formal specification to develop a complex critical system
• Mathematical modeling and analysis of an external memory manager
• Automatic translation of VDM-SL specifications into gofer
• Towards an Integrated CASE and theorem proving tool for VDM-SL
• Specification of required non-determinism
• A corrected failure-divergence model for CSP in Isabelle/HOL
• A proof obligation generator for VDM-SL
• Verification of cryptographic protocols: An experiment
• TLA + PROMELA: Conjecture, check, proof
• A TLA solution to the specification and verification of the RLP1 retransmission protocol
• An efficient technique for deadlock analysis of large scale process networks
• Implementing a model checker for LEGO
• Formal verification of transformations for peephole optimization
• A meta-method for formal method integration
• Reuse of verified design templates through extended pattern matching
• A compositional proof system for shared variable concurrency
• A framework for modular formal specification and verification
• A timed semantics for the StateMate implementation of statecharts
• Using PVS to prove a Z refinement: A case study
• Verification of reactive systems using DisCo and PVS
• Term rewrite systems to derive set boolean operations on 2D objects
• A normal form reduction strategy for hardware/software partitioning
• Viewpoint consistency in Z and LOTOS: A case study
• A UNITY mapping operator for distributed programs.

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods, held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

• Text Mining and Document Analysis
• Image and Video Data Analysis
• Data Processing and Data Mining
• Recommendation Algorithms and Systems
• Probabilistic Models and Applications
• Knowledge Engineering Applications
• Knowledge Graph and Knowledge Management.

This two volume set of LNAI 11061 and LNAI 11062 constitutes the refereed proceedings of the 11th International Conference on Knowledge Science, Engineering and Management, KSEM 2018, held in Changchun, China, in August 2018. The 62 revised full papers and 26 short papers presented were carefully reviewed and selected from 262 submissions. The papers of the first volume are organized in the following topical sections: text mining and document analysis; image and video data analysis; data processing and data mining; recommendation algorithms and systems; probabilistic models and applications; knowledge engineering applications; and knowledge graph and knowledge management. The papers of the second volume are organized in the following topical sections: constraints and satisfiability; formal reasoning and ontologies; deep learning; network knowledge representation and learning; and social knowledge analysis and management.

• Constraints and Satisfiability
• Formal Reasoning and Ontologies
• Deep Learning
• Network Knowledge Representation and Learning
• Social Knowledge Analysis and Management.

This two volume set of LNAI 11061 and LNAI 11062 constitutes the refereed proceedings of the 11th International Conference on Knowledge Science, Engineering and Management, KSEM 2018, held in Changchun, China, in August 2018. The 62 revised full papers and 26 short papers presented were carefully reviewed and selected from 262 submissions. The papers of the first volume are organized in the following topical sections: text mining and document analysis; image and video data analysis; data processing and data mining; recommendation algorithms and systems; probabilistic models and applications; knowledge engineering applications; and knowledge graph and knowledge management. The papers of the second volume are organized in the following topical sections: constraints and satisfiability; formal reasoning and ontologies; deep learning; network knowledge representation and learning; and social knowledge analysis and management.

• NLP for Social Network
• NLP Fundamentals
• Text Mining
• Short Papers.

This two volume set of LNAI 11108 and LNAI 11109 constitutes the refereed proceedings of the 7th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2018, held in Hohhot, China, in August 2018. The 55 full papers and 31 short papers presented were carefully reviewed and selected from 308 submissions. The papers of the first volume are organized in the following topics: conversational Bot/QA/IR; knowledge graph/IE; machine learning for NLP; machine translation; and NLP applications. The papers of the second volume are organized as follows: NLP for social network; NLP fundamentals; text mining; and short papers.

• Temporalités et spatialités des crises revisitées
• Introduction. Repenser la transition humanitaire à partir du cas du Liban / Marie-Noëlle Abiyaghi et Virginie Troit
• La Croix-Rouge libanaise et les principes humanitaires, à la croisée de l'aide internationale et de l'action sociale. Entretien avec Georges Ketianeh
• Évolution de l'écosystème humanitaire au Liban. Témoignage de George Ghali
• Société civile et action humanitaire, l'enjeu des jeux d'acteurs
• Les ONG libanaises entre autonomie et responsabilité / Alain Daou et Jennifer Ghazal
• Localisation de l'aide au Liban : plaidoyer pour une feuille de route nationale / Maddie Maxwell Hart, Kamel Mohanna et Virginie Lefebvre
• Les municipalités à l'aune de la transition humanitaire. Conjuguer aides d'urgence et besoins long-terme. Entretien avec Hussein Lakkis
• Sociétés et migrations : repenser les pratiques et les effets du vivre ensemble
• Être réfugié et travailleur humanitaire au Liban : exil, militantisme, profession / Léo Fourn
• Brouiller les statuts, brouiller les espaces. Entre ruralité et captivité, les exilés syriens à Zgharta-Ehden / Assaf Dahdah
• Enjeux et leçons apprises des transferts monétaires pour les réfugiés syriens au Liban / Dalia Sbeih.

"Consacré à la Transition humanitaire ou Liban, ce quatrième volume de la collection Devenir Humanitaire est le fruit de la rencontre d'universitaires, d'acteurs non gouvernementaux et d'institutionnels, réunis à Beyrouth les 15 et 16 novembre 2017 par le Fonds Croix-Rouge française pour débattre sur leurs pratiques, les principes et les enjeux de l'humanitaire. Cet ouvrage analyse successivement le contexte historique et régional de l'humanitaire au Liban, à travers des articles, témoignages ou entretiens. Il aborde ensuite les interactions et jeux d'acteurs de la société civile au Liban, avant de s'intéresser dans une troisième partie aux transformations et bouleversements provoqués par les mouvements migratoires des années 2010. Soulignant la nécessité de prendre en compte les "visions du monde" des populations destinataires de l'aide, les contributions rassemblées dans ce volume soutiennent une réflexion sur le sens de l'humanitaire."--Page 4 of cover.

• Roads east : Jewish immigration to Turkey in the nineteenth and twentieth centures / by Stanford J. Shas
• Türkiye'deki museviler 500 yıllık ortak tariḥ
• Jewish education in the Ottoman Empire / Rachel Simon
• The industrial working class of Salonica, 1850-1912 / Donale Quataert
• Changing relations between Jews, Muslims and Christians during the 19th century with special reference to Ottoman Syria and Palestine / Moshe Ma'oz
• Rabbinic scholarship: the deveopment of halakhah in Turkey, Greece and the Balkans, 1750-1900 / Leah Bornstein-Makovetsky
• Muslim prayer rugs in Ottoman synagogues
• Les recettes de medecine magico-religieuse a travers leur expression linguistique
• Rabbinic literature in 15th century Byzantium / Prof. I Ta-Shma
• The evolution of the Chief Rabbinate, 1835-1865 / Avigdor Levy
• The socio-economic position of the Jews as reflected in statistical and survey information / Walter F. Weiker
• Swedish and Dutch sources regarding Mosheh ben Yehuda Bebri, an Ottoman ambassador to Sweden (17th century) / by Dr. Manfred R. Lehman
• Changing patterns of community stuctures with special reference to Ottoman Egypt / Jacob M. Landau (Jerusalem)
• Relations between Jews, Armenians and Greeks in Anatolia, the Balkans and the Greek Islands, during the Ottoman Period / Eliezer Bashan
• Jews in early-modern Ottoman commerce / Daniel Goffman
• Conference abstracts

• Intro
• CONTENTS
• I. The International Solvay Institutes
• II. Solvay Scientific Committee for Chemistry
• III. Acknowledgements
• IV. Participants
• V. Auditors
• VI. Opening Address by Professor M. Henneaux
• VII. Preface by Professor K. Wüthrich
• Session
• 1: Artificial Intelligence/Machine Learning in Chemistry
• ARTIFICIAL INTELLIGENCE AND CHEMISTRY
• What is Artificial Intelligence?
• Molecular Representations
• Generative Models and Inverse Design for Chemistry
• Self-driving Chemical Laboratories
• Outlook
• Acknowledgments
• References

• USING MACHINE LEARNING TO LEARN CHEMISTRY
• My View of the Present State of Research on Artificial Intelligence and Machine Learning in Chemistry
• My Recent Research Contributions to Artificial Intelligence and Machine Learning in Chemistry
• Outlook on Future Developments of Research on Artificial Intelligence and Machine Learning in Chemistry
• Acknowledgments
• References
• SYNTHESIS PLANNING, REACTION DISCOVERY, AND DESIGN OF CHEMICAL SYSTEMS USING COMPUTERS
• My View of the Present State of Research on Artificial Intelligence/Machine Learning in Chemistry

• My Recent Research Contributions to Chemical AI
• The Computerized Synthetic Chemistry of the Future
• References
• EMERGING BIOPHYSICAL MECHANISM AND EVOLUTION: SYNERGISTIC APPROACHES TO PREDICT EVOLUTIONARY DYNAMICS TO FIGHT DRUG RESISTANCE
• Predicting Evolution: Status and Challenges
• Recent Progress in Development of Predictive Biophysical Models of Evolution: Kinetic Flux Theory Closes the Genotype-Phenotype Gap for Essential Enzymes in E. coli
• Variation of DHFR Activity Causes Broad Proteomic and Metabolomics Effects

• Predicting Evolutionary Dynamics on Biophysical Fitness Landscapes and using AI to Develop Optimal Anti-resistance Regimens
• Using AI Algorithms to Design "Evolution Drugs"
• Outlook
• References
• SESSION
• 1: ARTIFICIAL INTELLIGENCE/MACHINE LEARNING IN CHEMISTRY
• Discussion among the panel members
• General discussion
• Session
• 2: Modeling of Functional Materials
• THEORETICAL MODELLING OF FUNCTIONAL MATERIALS
• Introduction
• Towards Computational Design of Functional Materials
• Towards Computational Understanding of Materials Functionalities in Action
• Acknowledgments

• Tomo
• 1. Botones de muestra / Hilario Topete Lara, Vladimir Mompeller Prado, Carolina Buenrostro Pérez, coordinadores
• Tomo
• 2. Patrimonializaciones en un mundo globalizado / Cristina Amescua-Chávez, Edith Pérez Flores, Montserrat Patricia Rebollo Cruz, coordinadoras