Search Results - COMDEX~

Refine Results
  1. 15941

    Language Technologies for the Challenges of the Digital Age 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /

    Published 2018
    Table of Contents: “…Examining the Impact of Implicitness on the Perception of Hate Speech -- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication -- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource -- How Social Media Text Analysis Can Inform Disaster Management -- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks -- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena -- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors -- Twitter Geolocation Prediction Using Neural Networks -- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy -- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems -- Supporting Sustainable Process Documentation -- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information -- Using Argumentative Structure to Grade Persuasive Essays.…”
    Link to Metadata
    Electronic eBook
  2. 15942

    Micro-, Meso- and Macro-Connectomics of the Brain

    Published 2016
    Table of Contents: “…Parcellations and connectivity patterns in human and macaque cerebral cortex -- Nanoconnectomics -- Inhibitory cell cypes, circuits and receptive fields in mouse visual cortex -- Form meets function in the brain: observing the activity and structure of specific neural connections -- The network for intracortical communication in mouse visual cortex -- The brain in space -- In-vivo connectivity in monkeys -- Connectome networks: from cells to systems -- Intra- and Inter-hemispheric connectivity supporting hemispheric specialization -- Genetics of the connectome and the ENIGMA project.…”
    Link to Metadata
    Electronic eBook
  3. 15943
  4. 15944
  5. 15945
  6. 15946

    An Animated Introduction to Digital Logic Design by Carpinelli, John D.

    Published 2023
    Table of Contents: “…Part I: Background -- Chapter 1: Digital Systems and Numbers -- Chapter 2: Boolean Algebra -- Part II: Combinatorial Logic -- Chapter 3: Digital Logic Fundamentals -- Chapter 4: More Complex Components -- Chapter 5: More Complex Functions -- Part III: Sequential Logic -- Chapter 6: Sequential Components -- Chapter 7: More Complex Sequential Components -- Chapter 8: Sequential Circuits -- Part IV: Advanced Topics -- Chapter 9: Asynchronous Sequential Circuits -- Chapter 10: Programmable Devices…”
    Access online version
    Electronic eBook
  7. 15947

    Soft Crystals Flexible Response Systems with High Structural Order /

    Published 2023
    Table of Contents: “…Background and Overview -- Classification and Definition of "Soft Crystals" -- Theoretical Background of Photophysical Properties -- Vapochromic Soft Crystals Constructed with Metal Complexes -- Luminescent Mechanochromism and the Photosalient Effect of Aryl Gold(I) Isocyanide Complexes -- Elastic and Plastic Soft Crystals with Superelasticity, Ferroelasticity, and Superplasticity -- Triboluminescence of Lanthanide Complexes. …”
    Link to Metadata
    Electronic eBook
  8. 15948

    Handbook of Technical and Vocational Teacher Professional Development in the Digital Age

    Published 2024
    Table of Contents: “…Introduction -- Chapter 2 Definitions and a review of relevant theories, frameworks and approaches -- Chapter 3 Professional competencies in TVET: Framework, indicators and assessment instrument -- Chapter 4 Strategies for developing TVET teachers' professional competencies -- Chapter 5 Exemplars of good practice.…”
    Link to Metadata
    Electronic eBook
  9. 15949

    Research Methods in Psychology by Jhangiani, Rajiv S., Chiang, I-Chant A.

    Published 2015
    Table of Contents: “…Chapter 1: The Science of Psychology -- Understanding Science -- Scientific Research in Psychology -- Science and Common Sense -- Science and Clinical Practice -- Chapter 2: Getting Started in Research -- Basic Concepts -- Generating Good Research Questions -- Reviewing the Research Literature -- Chapter 3: Research Ethics -- Moral Foundations of Ethical Research -- From Moral Principles to Ethics Codes -- Putting Ethics Into Practice -- Chapter 4: Theory in Psychology -- Phenomena and Theories -- The Variety of Theories in Psychology -- Using Theories in Psychological Research -- Chapter 5: Psychological Measurement -- Understanding Psychological Measurement -- Reliability and Validity of Measurement -- Practical Strategies for Psychological Measurement -- Chapter 6: Experimental Research -- Experiment Basics -- Experimental Design -- Conducting Experiments -- Chapter 7: Nonexperimental Research -- Overview of Nonexperimental Research -- Correlational Research -- Quasi-Experimental Research -- Qualitative Research -- Chapter 8: Complex Research Designs -- Multiple Dependent Variables -- Multiple Independent Variables -- Complex Correlational Designs -- Chapter 9: Survey Research -- Overview of Survey Research -- Constructing Survey Questionnaires -- Conducting Surveys -- Chapter 10: Single-Subject Research -- Overview of Single-Subject Research -- Single-Subject Research Designs -- The Single-Subject Versus Group “Debate” -- Chapter 11: Presenting Your Research -- American Psychological Association (APA) Style -- Writing a Research Report in American Psychological Association (APA) Style -- Other Presentation Formats -- Chapter 12: Descriptive Statistics -- Describing Single Variables -- Describing Statistical Relationships -- Expressing Your Results -- Conducting Your Analyses -- Chapter 13: Inferential Statistics -- Understanding Null Hypothesis Testing -- Some Basic Null Hypothesis Tests -- Additional Considerations -- From the “Replicability Crisis” to Open Science Practices…”
    Access online version
    Electronic eBook
  10. 15950

    Combinatorics by Morris, Joy

    Published 2022
    Table of Contents: “…More designs -- Chapter 19. Designs and Codes -- Appendix A. Complex Numbers -- Appendix B. …”
    Access online version
    Electronic eBook
  11. 15951

    Autonomous Trajectory Planning and Guidance Control for Launch Vehicles

    Published 2023
    Table of Contents: “…Birkhoff pseudospectral method and convex programming for trajectory optimization -- 5. …”
    Link to Metadata
    Electronic eBook
  12. 15952
  13. 15953
  14. 15954

    Lines of Inquiry in Mathematical Modelling Research in Education

    Published 2019
    Table of Contents: “…Approaches to Investigating Complex Dynamical Systems -- Chapter 6. Precision, Priorities, and Proxies in Mathematical Modelling -- Chapter 7. …”
    Link to Metadata
    Electronic eBook
  15. 15955

    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

    Published 2019
    Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
    Link to Metadata
    Electronic eBook
  16. 15956

    Uncertainty in Engineering Introduction to Methods and Applications /

    Published 2022
    Table of Contents: “…Introduction to Bayesian statistical inference -- Sampling from complex probability distributions: a Monte Carlo primer for engineers -- Introduction to the theory of imprecise probability -- Imprecise discrete-time Markov chains -- Statistics with imprecise probabilities - a short survey -- Reliability -- Simulation methods for the analysis of complex systems -- Overview of stochastic model updating in aerospace application under uncertainty treatment -- Aerospace flight modeling and experimental testing.…”
    Link to Metadata
    Electronic eBook
  17. 15957
  18. 15958
  19. 15959
  20. 15960