Search Results - TVP1~

Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings /

Table of Contents: “…Natural Computing -- Ethological response to periodic stimulation in Chara and Brepharisma -- Adaptive path-finding and transport network formation by the amoeba-like organism Physarum -- Aggregate "Calculation" in Economic Phenomena: Distributions and Fluctuations -- Towards Co-evolution of Information, Life and Artifcial Life -- Harness the Nature for Computation -- Things Theory of Art Should Learn From Natural Computing -- Study on the use of Evolutionary Techniques for inference in Gene Regulatory Networks -- Reconstruction of Gene Regulatory Networks from Gene Expression Data using Decoupled Recurrent Neural Network Model -- Design and control of synthetic biological systems -- Satellite Symposium on Computational Aesthetics -- Preface-Natural Computing and Computational Aesthetics -- The Significance of Natural Computing for Considering Computational Aesthetics of Nature -- Perceiving the Gap: asynchronous coordination of plural algorithms and disconnected logical types in ambient space -- Aesthetic Aspects of Technology-mediated Self-awareness Experiences.…”
Link to Metadata

Laboratory Exercises in Microbiology Discovering the Unseen World Through Hands-On Investigation by McLaughlin, Susan, Petersen, Joan

Table of Contents: “…Introduction to Microscopy and Diversity of Cell Types -- Lab 2. Introduction to Aseptic Techniques and Growth Media -- Lab 3. …”
Access online version

Embedded Controllers Using C and Arduino by Fiore, James M.

Table of Contents: “…Course Introduction -- C Memory Organization -- C Language Basics -- C Language Basics II -- C Storage Types and Scope -- C Arrays and Strings -- C Conditionals and Looping -- C Pointers -- C Look-Up Tables -- C Structures -- C Linked Lists -- C Memory -- C File I/O -- C Command Line Arguments -- Embedded Programming -- Hardware Architecture -- AVR ATmega 328P Overview -- Bits & Pieces: includes and defines -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: pinMode -- Bits & Pieces: digitalWrite -- Bits & Pieces: delay -- Bits & Pieces: digitalRead -- Bits & Pieces: Analog Input Circuitry -- Bits & Pieces: analogRead -- Bits & Pieces: analogWrite -- Bits & Pieces: Timer/Counters -- Bits & Pieces: Interrupts…”
Access online version

Digital Foundations Introduction to Media Design with the Adobe Creative Cloud by burrough, xtine, Mandiberg, Michael

Table of Contents: “…Chapter 3: Symmetry -- Part IV. Chapter 4: Type on a Grid -- Part V. Chapter 5: Color Theory & Basic Shapes -- Part VI. …”
Access online version

Existenz- und Regularitätstheorie der zweidimensionalen Variationsrechnung mit Anwendungen auf das Plateausche Problem für Flächen vorgeschriebener mittlerer Krümmung by Künnemann, Andreas

Table of Contents: “…Einleitung -- Grundlagen -- Direkte Methoden der Variationsrechnung -- Regularitätstheorie zur Stetigkeit von Minimierern -- Höhere Regularität von Minimierern im Inneren -- Minimierer vom Poissonschen Typ -- Literaturverzeichnis.…”
Link to Metadata

Solidarity in Europe Citizens' Responses in Times of Crisis /

Table of Contents: “…Reconsidering solidarity in the Danish welfare state; Hans-Jörg Trenz and Maria Grasso -- Solidarity activism in Germany: What explains different types and levels of engagement?; Johannes Kiess, Christian Lahusen, Ulrike Zschache -- Pulling together or pulling apart? …”
Link to Metadata

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik...

Table of Contents: “…Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.…”
Link to Metadata

Steps to Success Crossing the Bridge Between Literacy Research and Practice

Table of Contents: “…Language Comprehension Ability: One of Two Essential Components of Reading Comprehension -- 5. Types of Literacy Assessment: Principles, Procedures, and Applications -- 6. …”
Access online version

Introduction to Programming using Fortran 95/2003/2008 by Jorgensen, Ed

Table of Contents: “…1 Introduction -- 2 Computer Organization -- 3 Getting Started -- 4 Fortran 95/2003/2008 - Basic Elements -- 5 Expressions -- 6 Simple Input and Output -- 7 Program Development -- 8 Selection Statements -- 9 Looping -- 10 Formatted Input/Output -- 11 Characters and Strings -- 12 File Operations -- 13 Single Dimension Arrays -- 14 Multidimensional Arrays -- 15 Subprograms -- 16 Derived Data Types -- 17 Modules -- 18 Recursion -- 19 Character String / Numeric Conversions -- 20 System Services -- 21 Appendix A - ASCII Table -- 22 Appendix B - Start-Up Instructions -- 23 Appendix C - Random Number Generation -- 24 Appendix D - Instrinsic Functions -- 25 Appendix E - Visualization with GNUplot -- 26 Appendix F - Quiz Question Answers -- 27 Appendix G - Fortran 95/2003/2008 Keywords…”
Access online version

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

Stochastics of Environmental and Financial Economics Centre of Advanced Study, Oslo, Norway, 2014-2015 /

Table of Contents: “…Path-dependent Kolmogorov equations associated with the frame of a Brownian motion -- Nonlinear Young integrals via fractional calculus -- A weak limit theorem for numerical approximation of Brownian semi-stationary processes -- Non-elliptic SPDEs and ambit fields: existence of densities -- Dynamic risk measures and path-dependent second order PDEs -- Pricing CoCos with a market trigger -- Quantification of model risk in quadratic hedging in finance -- Risk-sensitive mean-field type control under partial observation -- Risk aversion in modeling of cap-and-trade mechanism and optimal design of emission markets -- Exponential ergodicity of the jump-diffusion CIR process -- Optimal control of predictive mean-field equations and applications to finance -- Modelling the impact of wind power production on electricity prices by regime-switching Levy semistationary processes -- Pricing options on EU ETS certificates with a time-varying market price of risk model.…”
Link to Metadata

Advanced Mathematical Science for Mobility Society

Table of Contents: “…Graph optimization problems and algorithms for DAG-type blockchains -- Part 4. Algorithm for mobility society -- Chapter 8. …”
Link to Metadata

Field Trials of Health Interventions A Toolbox

Table of Contents: “…Chapter 1 Introduction to field trials of health interventions -- Chapter 2 Types of intervention and their development -- Chapter 3 Reviewing the literature -- Chapter 4 Trial design -- Chapter 5 Trial size -- Chapter 6 Ethical considerations -- Chapter 7 Trial governance -- Chapter 8 Preparing grant applications -- Chapter 9 Community engagement -- Chapter 10 Censuses and mapping -- Chapter 11 Randomization, blinding, and coding -- Chapter 12 Outcome measures and case definition -- Chapter 13 Preliminary studies and pilot testing -- Chapter 14 Questionnaires -- Chapter 15 Social and behavioural research -- Chapter 16 Field organization and ensuring data of high quality -- Chapter 17 Field laboratory methods -- Chapter 18 Budgeting and accounting -- Chapter 19 Intervention costing and economic analysis -- Chapter 20 Data management -- Chapter 21 Methods of analysis -- Chapter 22 Phase IV studies -- Chapter 23 Reporting and using trial results…”
Access online version

Nb3Sn Accelerator Magnets Designs, Technologies and Performance /

Table of Contents: “…Savary) -- Part 3. Block-type dipoles -- Chapter 9. TAMU (P. McIntyre) -- Chapter 10. …”
Link to Metadata

Introducing Foreign Models for Development Japanese Experience and Cooperation in the Age of New Technology /

Table of Contents: “…Industry Engagement in TVET and the Japanese Cooperation in Vietnam: The Case of Hanoi University of Industry -- 7. …”
Link to Metadata

How to Think Like a Computer Scientist C Version by Downey, Allen B.

Table of Contents: “…-- 1.4 Formal and natural language -- 1.5 The first program -- 1.6 Glossary -- 1.7 Exercises -- Chapter 2: Variables and types -- 2.1 More output -- 2.2 Values -- 2.3 Variables -- 2.4 Assignment -- 2.5 Outputting variables -- 2.6 Keywords -- 2.7 Operators -- 2.8 Order of operations -- 2.9 Operators for characters -- 2.10 Composition -- 2.11 Glossary -- 2.12 Exercises -- Chapter 3: Function -- 3.1 Floating-point -- 3.2 Constants -- 3.3 Converting from double to int -- 3.4 Math functions -- 3.5 Composition -- 3.6 Adding new functions -- 3.7 Definitions and uses -- 3.8 Programs with multiple functions -- 3.9 Parameters and arguments -- 3.10 Parameters and variables are local -- 3.11 Functions with multiple parameters -- 3.12 Functions with results -- 3.13 Glossary -- 3.14 Exercises -- Chapter 4: Conditionals and recursion -- 4.1 Conditional execution -- 4.2 The modulus operator -- 4.3 Alternative execution -- 4.4 Chained conditionals -- 4.5 Nested conditionals -- 4.6 The return statement -- 4.7 Recursion -- 4.8 Infinite recursion -- 4.9 Stack diagrams for recursive functions -- 4.10 Glossary -- 4.11 Exercises -- Chapter 5: Fruitful functions -- 5.1 Return values -- 5.2 Program development -- 5.3 Composition -- 5.4 Boolean values -- 5.5 Boolean varaiables -- 5.6 Logical operators -- 5.7 Bool functions -- 5.8 Returning from main() -- 5.9 Glossary -- 5.10 Exercises -- Chapter 6: Iteration -- 6.1 Multiple assignment -- 6.2 Iteration -- 6.3 The while statement -- 6.4 Tables -- 6.5 Two-dimensional tables -- 6.6 Encapsulation and generalization -- 6.7 Functions -- 6.8 More encapsulation -- 6.9 Local varaiables -- 6.10 More generalization -- 6.11 Glossary -- 6.12 Exercises -- Chapter 7: Arrays -- 7.1 Increment and decrement operators -- 7.2 Accessing elements -- 7.3 Copying arrays -- 7.4 for loops -- 7.5 Array length -- 7.6 Random numbers -- 7.7 Statistics -- 7.8 Array of random numbers -- 7.9 Passing an array to a function -- 7.10 Counting -- 7.11 Checking the other values -- 7.12 A histogram -- 7.13 A single-pass solution -- 7.14 Random seeds -- 7.15 Glossary -- 7.16 Exercises -- Chapter 8: Strings and things -- 8.1 Containers for strings -- 8.2 String variables -- 8.3 Extracting characters from a string -- 8.4 Length -- 8.5 Traversal -- 8.6 Finding a character in a string -- 8.7 Pointers and Addresses -- 8.8 String concatenation -- 8.9 Assigning new values to string variables -- 8.10 strings are not comparable -- 8.11 Character classification -- 8.12 Getting user input -- 8.13 Glossary -- 8.14 Exercises -- Chapter 9: Structures -- 9.1 Compound values -- 9.2 Point objects -- 9.3 Accessing member variables -- 9.4 Operations on structures -- 9.5 Structures as parameters -- 9.6 Call by value -- 9.7 Call by reference -- 9.8 Rectangles -- 9.9 Structures as return types -- 9.10 Passing other types by reference -- 9.11 Glossary -- 9.12 Exercises…”
Access online version

The Governing-Evaluation-Knowledge Nexus Swedish Higher Education as a Case /

Table of Contents: “…Navigating higher education institutions in times of quality assurance, The assumptive worlds of vice chancellors; Agneta Hult -- 5. Hayek and the red tape: The politics of evaluation and quality assurance reform, from shortcut governing to policy rerouting; Joakim Lindgren and Linda Rönnberg -- 6. …”
Link to Metadata

Paul Lorenzen -- Mathematician and Logician

Table of Contents: “…A Constructive Examination of a Russell-style Ramified Type Theory(Erik Palmgren) -- Chapter 12. A circularity puzzle within the operative justification of logic and mathematics and a way out (Shahid Rahman).…”
Link to Metadata

Model and Mathematics: From the 19th to the 21st Century

Table of Contents: “…Introduction -- Knowing by Drawing: Geometric Material Models in 19th Century France -- Wilhelm Fiedler and his Models-the Polytechnic Side -- Models from the Nineteenth Century Used for Visualizing Optical Phenomena and Line Geometry -- Modeling Parallel Transport -- The great yogurt project: models and symmetry principles in early particle physics -- Interview with Myfanwy Evans: Entanglements on and Models of Periodic Minimal Surfaces -- The dialectics archetypes / types (universal categorical constructions / concrete models) in the work of Alexander Grothendieck -- 'Analogies,' 'Interpretations,' 'Images,' 'Systems' and 'Models': Some Remarks on the History of Abstract Representation in the Sciences since the Nineteenth Century -- Mappings, Models, Abstraction, and Imaging: Mathematical Contributions to Modern Thinking circa 1900 -- Thinking with Notations: Epistemic Actions and Epistemic Activities in Mathematical Practice -- Matrices - Compensating the Loss of Anschauung -- Interview with Anja Sattelmacher: Between Viewing and Touching - Models and Their Materiality -- Interview with Ulf Hashagen: Exhibitions and Mathematical Models in the 19th and 20th Centuries -- Interview with Andreas Daniel Matt: Real-Time Mathematics.…”
Link to Metadata

New Mechanism Explanation, Emergence and Reduction /

Table of Contents: “…A framework for mapping mechanistic perspectives (João Cordovil, Gil Santos, Davide Vecchi ) -- Chapter 2. Different Types of Mechanistic Explanation and Their Ontological Implications (Beate Krickel ) -- Chapter 3. …”
Link to Metadata