Search Results - "architecture"

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools /

Table of Contents: “…A Reference Architecture for Management of Security Operations in Digital Service Chains -- Efficient flow monitoring in digital services -- Intelligent Transportation Systems -- models, challenges, security aspects -- NAD: Machine Learning based Component for Unknown Attack Detection in Network Traffic -- Detecting unknown attacks through system behavior analysis -- Signature-based detection of botnet DDoS attacks -- Automatic Attack Pattern Mining for Generating Actionable CTI Applying Alert Aggregation -- Blockchain-based task and information management in computational cloud systems.…”
Link to Metadata

Transdisciplinarity in Financial Communication Writing for Target Readers / by Whitehouse, Marlies

Table of Contents: “…Transdisciplinary framework -- 3. Research architecture -- Part II. Problem analysis -- 4. Approach one: context perspective -- 5. …”
Link to Metadata

The GEO Handbook on Biodiversity Observation Networks

Table of Contents: “…Biodiversity Modelling -- 12. Cyber-Architecture -- 13. Using Data for Decision-Making: From Observations To Indicators and Other Policy Tools -- 14. …”
Link to Metadata

Data Communications and Network Technologies by Huawei Technologies Co., Ltd

Table of Contents: “…Typical Networking Architectures for Campus Networks and Case Practice -- Chapter 16. …”
Link to Metadata

Introduction to Permaculture by Millison, Andrew

Access online version

x86-64 Assembly Language Programming with Ubuntu by Jorgensen, Ed

Table of Contents: “…1.0 Introduction -- 2.0 Architecture Overview -- 3.0 Data Representation -- 4.0 Program Format -- 5.0 Tool Chain -- 6.0 DDD Debugger -- 7.0 Instruction Set Overview -- 8.0 Addressing Modes -- 9.0 Process Stack -- 10.0 Program Development -- 11.0 Macros -- 12.0 Functions -- 13.0 System Services -- 14.0 Multiple Source Files -- 15.0 Stack Buffer Overflow -- 16.0 Command Line Arguments -- 17.0 Input/Output Buffering -- 18.0 Floating-Point instructions -- 19.0 Parallel Processing -- 20.0 Interrupts -- 21.0 Appendix A - ASCII Table -- 22.0 Appendix B - Instruction Set Summary -- 23.0 Appendix C - System Services -- 24.0 Appendix D - Quiz Question Answers…”
Access online version

Tutorials of Visual Graphic Communication Programs for Interior Design by Cho, Yongyeon

Access online version

Tutorials of Visual Graphic Communication Programs for Interior Design, Volume 2 by Cho, Yongyeon

Access online version

Elements of Creative Writing by Schraffenberger, J.D, Morgan, Rachel, Tracey, Grant

Table of Contents: “…Introduction -- Fiction -- Chapter One: One Great Way to Write a Short Story -- Chapter Two: Plotting -- Chapter Three: Counterpointed Plotting -- Chapter Four: Show and Tell -- Chapter Five: Characterization and Method Writing -- Chapter Six: Character and Dialouge -- Chapter Seven: Setting, Stillness, and Voice -- Chapter Eight: Point of View -- Chapter Nine: Learning the Unwritten Rules -- Poetry -- Chapter One: A Poetry State of Mind -- Chapter Two: The Architecture of a Poem -- Chapter Three: Sound -- Chapter Four: Inspiration and Risk -- Chapter Five: Endings and Beginnings -- Chapter Six: Figurative Language -- Chapter Seven: Forms, Forms, Forms -- Chapter Eight: Go to the Image -- Chapter Nine: The Difficult Simplicity of Short Poems and Killing Darlings -- Creative Nonfiction -- Chapter One: Creative Nonfiction and the Essay -- Chapter Two: Truth and Memory, Truth in Memory -- Chapter Three: Research and History -- Chapter Four: Writing Environments -- Chapter Five: Notes on Style -- Chapter Six: Figurative Language -- Chapter Seven: Imagery and the Senses -- Chapter Eight: Writing the Body -- Chapter Nine: Forms -- Back Matter -- Authors -- Contributors -- North American Review Staff…”
Access online version

Gradient Expectations Structure, Origins, and Synthesis of Predictive Neural Networks by Downing, Keith L.

DOAB: download the publication
DOAB: description of the publication

Dotawo: a Journal of Nubian Studies 3: Know-Hows and Techniques in Ancient Sudan

DOAB: download the publication
DOAB: description of the publication

European Strategic Autonomy and Small States' Security In the Shadow of Power

DOAB: download the publication
DOAB: description of the publication

Sustainable Development in Creative Industries: Embracing Digital Culture for Humanities PROCEEDINGS OF THE 9TH BANDUNG CREATIVE MOVEMENT INTERNATIONAL CONFERENCE ON CREATIVE INDUS...

DOAB: download the publication
DOAB: description of the publication

Broadband Communications Networks Recent Advances and Lessons from Practice

DOAB: download the publication
DOAB: description of the publication

Chapter 9 Best Practice Guidance for Political Staffing for Political Managers, Advisers, and Reformers by Lees-Marshment, Jennifer

DOAB: download the publication
DOAB: description of the publication

GIS and Housing Principles and Practices by Ramasubramanian, Laxmi

DOAB: download the publication
DOAB: description of the publication

Inquiry-Based Learning - Undergraduate Research The German Multidisciplinary Experience

DOAB: download the publication
DOAB: description of the publication

Wi-Fi Enabled Healthcare by Youssef, Ali

DOAB: download the publication
DOAB: description of the publication

La scienza e la rete by Francesca, Di Donato

DOAB: download the publication
DOAB: description of the publication