The Fergusonian Impact: In Honor of Charles A. Ferguson on the Occasion of his 65th Birthday. Volume 1: From Phonology to Society. Volume 2: Sociolinguistics and the Sociology of Language, Joshua A. Fishman
Logic.- A ∏01-Bounded Fragment of In nitary Action Logic with Exponential.- Transcendental syntax IV: logic without systems.- Logic and Computing.- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems.- Logic of fusion.- There's No Time, The Problem of Conceptualising Time.- Andre and the early days of Penn's Logic and Computation Group.- Formal Verification of Ethereum smart contracts using Isabelle/HOL.- Logic and Application - LAP meeting.- Logic and Security.- Formal Methods Analysis of the Secure Remote Password Protocol.- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols.- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA.- Modelchecking safety properties in randomized security protocols.- Logic and Language.- Andre Scedrov.- Gender Bias in Neural Natural Language Processing.
Описание: In Soteria: Salvation in Early Christianity and Antiquity , an international team of scholars assembles to honour the distinguished academic career of New Testament scholar Cilliers Breytenbach. Colleagues and friends consider in which manner concepts of salvation were constructed in early Christianity and its Jewish and Graeco-Roman contexts. Studies on aspects of soteriology in the New Testament writings, such as in the narratives on Jesus’ life and work, and theological interpretations of his life and death in the epistolary literature, are supplemented by studies on salvation in the Apostolic Fathers, Marcion, early Christian inscriptions and Antiochian theology. The volume starts with some exemplary studies on salvation in the Hebrew Bible, the Dead Sea scrolls, the Septuagint, and popular Graeco-Roman literature and philosophy. Furthermore, some contributions shed light on the ancient cultural background of early Christian soteriological concepts.
Описание: This book gives an excellent and up-to-date overview on the convergence and joint progress in the fields of Generalized Functions and Fourier Analysis, notably in the core disciplines of pseudodifferential operators, microlocal analysis and time-frequency analysis.
Описание: This book, published in honor of Professor Laurent Praly on the occasion of his 65th birthday, explores the responses of some leading international authorities to new challenges in nonlinear and adaptive control. The mitigation of the effects of uncertainty and nonlinearity – ubiquitous features of real-world engineering and natural systems – on closed-loop stability and robustness being of crucial importance, the contributions report the latest research into overcoming these difficulties in: * autonomous systems; * reset control systems; * multiple-input–multiple-output nonlinear systems; * input delays; * partial differential equations; * population games; and * data-driven control. Trends in Nonlinear and Adaptive Control presents research inspired by and related to Professor Praly’s lifetime of contributions to control theory and is a valuable addition to the literature of advanced control.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
