Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Access
  • 1
  • 2
    Book
    Book
    Berlin [u.a.] : de Gruyter
    UID:
    gbv_729766691
    Format: VII, 188 S. , graph. Darst.
    ISBN: 9783110302141 , 3110302144
    Series Statement: Linguistische Arbeiten 549
    Note: Literaturverz. S. [177] - 182 , Teilw. zugl.: Philadelphia, Univ. of Pennsylvania, Diss., 2008 u.d.T.: Scheffler, Tatjana: Semantic operators in different dimensions , Two-dimensional semantics.Conventional implicature ;Conventional implicatures vs. presuppositions;A discourse logicSentence adverbs.Types of sentence adverbs ;Semantic unembeddability;Antecedent of conditionals;Questions;Negation;Denial;Attitude verbs;Semantic (un)embeddability of sentence adverbs ;Properties of german sentence adverbs;The probably type;The unfortunately type;The frankly type;Frankly speaking;Properties of three types of sentence adverbs ;Sentence adverbs on two semantic dimensions ;Syntax/semantics mismatch;An anaphoric approach to utterance modification ;SummaryDenn and weil : causal connectives in two dimensions.Data;Two german words for 'Because';Epistemic and speech act uses;Three exceptions to the use of denn ;Previous work;The performative analysis;Denn and antibackgrounding ;Semantics of denn;Denn as a conventional implicature item;Unembeddability of denn;Formalizing denn's semantics ;Syntax of denn ;The distribution of denn vs. weil explained;Denn in epistemic and speech act causal sentences;Three exceptions to the use of denn ;Further issues;Epistemic and speech act uses of weil;English because;Embedding under non-restrictive relative clauses ;SummaryRelevance conditionals : if on another dimension.Crucial properties of relevance conditionals;Semantic unembeddability;Illocutionary status of the consequent;Syntactic unintegration ;The analysis : 'If' on two dimensions;Proposal;Net effect of the if-clause in RCs;Discussion ;Previous accounts;Conditional assertion accounts;Existential quantification over potential literal acts;Relevance conditionals as topics ;SummaryA paradigm of adjuncts on two dimensions.Taking stock;Syntactic unintegration;Argument types of CI modifiers ;Although ;Modifiers on different dimensionsComplement clauses.Attitude verbs and their complements;V2 embedding;Slifting;Properties of slifting vs. V2 embedding ;Verbs that allow slifting and V2 complements;Which verbs allow V2 complements?;Which verbs do not allow V2 complements?;Slifting verbs;Generalization : epistemicity ;Slifting as evidentials;Analysis;Slifting and verb classes;Slifting and semantic embedding;Summary : slifting ;V2 complement clauses;Analysis;V2 complement clause
    Additional Edition: ISBN 9783110302332
    Additional Edition: Online-Ausg. Scheffler, Tatjana, 1980 - Two-dimensional Semantics Berlin [u.a.] : De Gruyter, 2013 ISBN 9783110302332
    Additional Edition: Erscheint auch als Online-Ausgabe Scheffler, Tatjana, 1980 - Two-dimensional semantics Berlin : De Gruyter, 2013 ISBN 9783110302332
    Language: English
    Subjects: German Studies
    RVK:
    Keywords: Deutsch ; Kausalsatz ; Objektsatz ; Nebensatz ; Adjunkt ; Semantik ; Deutsch ; Semantik ; Kausalsatz ; Objektsatz ; Nebensatz ; Hochschulschrift ; Hochschulschrift
    Author information: Scheffler, Tatjana 1980-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Amsterdam, The Netherlands :Elsevier,
    UID:
    almahu_9948026316602882
    Format: 1 online resource (801 p.)
    Edition: 1st ed.
    ISBN: 1-283-13403-9 , 9786613134035 , 0-08-093169-3
    Series Statement: Handbook of the history of logic, v. 10
    Content: This volume is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic - as this handbook attests - is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision theory. Written by lead
    Note: Description based upon print version of record. , Front Cover; Inductive Logic; Copyright Page; Contents; Introduction; Contributors; Induction Before Hume; 1 The Ancient World; 2 The Middle Ages; 3 The Renaissance; 4 The Seventeenth Century and Early Eighteenth Century; 5 Conclusion; Bibliography; Hume and the Problem of Induction; 1 Introduction; 2 Two Problems of Induction; 3 Hume's Fork: The First Option; 4 Hume's Fork: The Second Option; 5 Three Ways of Rejecting Hume's Problem; 6 Hume's Conclusion; 7 Bonjour's a Priori Justification of Induction; 8 Reichenbach's Pragmatic Justification of Induction; 9 Bayesian Approaches , 10 Williams' Combinatorial Justification of Induction11 The Inductive Leap as Mythical; 12 Conclusion; Bibliography; The Debate between Whewell and Mill on the Nature of Scientific Induction; 1 Why the Debate is not Merely Terminological; 2 The Kepler Example and the Colligation of Facts; 3 Whewell's Tests of Hypotheses; 4 Disputes about Induction that have Ignored these Lessons; 5 Implications for Probabilistic Theories of Evidence and Confirmation; Acknowledgements; Bibliography; An Explorer Upon Untrodden Ground: Peirce on Abduction; 1 Introduction; 2 Ideas from Kant and Aristotle , 3 Peirce's Two-Dimensional Framework4 Hypothesis vs Induction; 5 The Road to Abduction; 6 From the Instinctive to the Reasoned Marks of Truth; 7 The Three Stages of Inquiry; 8 Looking Ahead; Further Reading; Bibliography; The Modern Epistemic Interpretations of Probability: Logicism and Subjectivism; 1 The Logical Interpretation of Probability; 2 The Subjective Interpretation of Probability; Concluding Remarks; Bibliography; Popper and Hypothetico-Deductivism; Enthymemes and their Deductivist Reconstructions; 'Automobile Logic'; Formal and Semantic Validity , Historical Interlude: Mill Versus AristotleWittgensteinian Instrumentalism; 'Logic of Discovery' - Deductive or Inductive?; 'Logic of Justification' - Deductive or Inductive?; Getting Started - 'Foundational Beliefs'; Bibliography; Hempel and the Paradoxes of Confirmation; 1 Towards a Logic of Confirmation; 2 Adequacy Criteria; 3 The Satisfaction Criterion; 4 The Raven Paradox; 5 The Bayesian's Raven Paradox; 6 Summary; Acknowledgements; Bibliography; Carnap and the Logic of Inductive Inference; 1 Introduction; 2 Probability; 3 Confirmation; 4 Exchangeability , 5 The Continuum of Inductive Methods6 Confirmation of Universal Generalizations; 7 Instantial Relevance; 8 Finite Exchangeability; 9 The First Induction Theorem; 10 Analogy; 11 The Sampling of Species Problem; 12 A Budget of Paradoxes; 13 Carnap Redux; 14 Conclusion; Bibliography; The Development of the Hintikka Program; 1 Inductive Logic as a Methodological Research Program; 2 From Carnap to Hintikka's Two-Dimensional Continuum; 3 Axiomatic Inductive Logic; 4 Extensions of Hintikka's System; 5 Semantic Information; 6 Confirmation and Acceptance; 7 Cognitive Decision Theory , 8 Inductive Logic and Theories , English
    Additional Edition: ISBN 0-444-52936-5
    Language: English
    Subjects: Philosophy
    RVK:
    Keywords: Aufsatzsammlung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9949724042502882
    Format: XXVIII, 489 p. 177 illus., 124 illus. in color. , online resource.
    Edition: 1st ed. 2024.
    ISBN: 9783031578533
    Series Statement: Lecture Notes on Data Engineering and Communications Technologies, 200
    Content: Networks of today are going through a rapid evolution and there are many emerging areas of information networking and their applications. Heterogeneous networking supported by recent technological advances in low power wireless communications along with silicon integration of various functionalities such as sensing, communications, intelligence, and actuations are emerging as a critically important disruptive computer class based on a new platform, networking structure and interface that enable novel, low-cost and high-volume applications. Several of such applications have been difficult to realize because of many interconnection problems. To fulfill their large range of applications different kinds of networks need to collaborate and wired and next generation wireless systems should be integrated in order to develop high performance computing solutions to problems arising from the complexities of these networks. This book covers the theory, design and applications of computer networks, distributed computing, and information systems. The aim of the book "Advanced Information Networking and Applications" is to provide latest research findings, innovative research results, methods and development techniques from both theoretical and practical perspectives related to the emerging areas of information networking and applications.
    Note: A Method for Estimating the Number of Diseases in Computed Tomography Reports of the Japanese Medical Image Database (J-MID): Variations among Facilities -- Enabling Dynamic Vulnerability Assessment for Multi-web Application Using Executable Directed Acyclic Graph -- Discovery of RESTful Web Services Based on the Openapi 3.0 Standard with Semantic Annotations -- Perfresolv: A Geo-distributed Approach for Performance Analysis of Public Dns Resolvers Based on Domain Popularity -- Dars: Empowering Trust in Blockchain-based Real-world Applications with a Decentralized Anonymous Reputation System -- An Empirical Comparison of Outlier Detection Methods for Identifying Grey-sheep Users in Recommender Systems -- Adaptive Consensus: Enhancing Robustness in Dynamic Environments -- Cottontrust: Reliability and Traceability in Cotton Supply Chain Using Self-sovereign Identity -- Interoperability Between Evm-based Blockchains -- Stand-up Indulgent Gathering on Lines for Myopic Luminous Robots -- Iot Identity Management Systems: The State-of-the-art, Challenges and a Novel Architecture -- Starm: Streaming Association Rules Mining in High-dimensional Data -- Regulation Compliance System for Iot Environments: Gdpr Compliance as a Use-case -- Two-dimensional Models of Markov Processes for System Availability -- Enabling Ai in Agriculture 4.: A Blockchain-based Mobile Crowdsensing Architecture.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783031578526
    Additional Edition: Printed edition: ISBN 9783031578540
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almafu_9961250527502883
    Format: 1 online resource (463 pages)
    Edition: 1st ed.
    ISBN: 2-38476-094-7
    Series Statement: Advances in Social Science, Education and Humanities Research Series ; v.766
    Note: Intro -- Preface -- Organization -- Contents -- Peer-Review Statements -- 1 Review Procedure -- 2 Quality Criteria -- 3 Key Metrics -- Application of Surface Modeling in Appearance Design of Creative Products -- 1 Introduction -- 2 Surface Modeling -- 3 Application of Surface Modeling in Product Appearance Design -- 4 Conclusion -- References -- Urban Experience and Self-awareness of Female Characters in Eileen Chang's Novels: A Case Study of Love in a Falling City -- 1 Introduction -- 2 Literature Review -- 3 Shackle: The Situation of Two Cities Under the Background of the Times -- 4 Breakthrough: The "Real Chinese Woman" -- 5 Desolation: Women Struggle in Difficult Situations -- 6 Conclusion -- References -- Literature Review of Community of Inquiry Model in China and Abroad -- 1 Introduction -- 2 Methodology -- 2.1 Research Question -- 2.2 Searching Strategy -- 3 Results and Discussion -- 3.1 What Are the Current Researches on the COI Model in China? -- 3.2 Which Aspects Are the Current Researches on the COI Model in Abroad? -- 4 Conclusion -- References -- Research on the Functional Orientation of County Libraries in the Public Cultural Service System -- 1 Introduction -- 2 Overview of Public Cultural Service System -- 3 Overview of County-Level Libraries -- 4 Research Methods -- 4.1 Discourse Analysis -- 4.2 Case Study -- 5 Functions -- 5.1 The Inheritors of History and Culture -- 5.2 Breeders of Popular Culture -- 5.3 Disseminator of Advanced Culture -- 5.4 Multicultural Collaborators -- 6 Conclusion -- References -- Narrative Ability of Mandarin-Speaking Patients with Cerebral Palsy -- 1 Introduction -- 1.1 Cerebral Palsy -- 1.2 Narrative Ability -- 1.3 Structure of Narrative -- 2 Purpose and Predictions -- 3 Method -- 3.1 Subjects -- 3.2 Materials -- 4 Results and Discussion -- 5 Conclusion -- References. , Body Politics and the Writing of Desire -- 1 Introduction -- 2 The Writing of Desire in "Lust, Caution" and "Boule de Suif" -- 3 Dual Identities in "Lust, Caution" and "Boule de Suif" -- 4 The Body of Ethics for the Female -- 5 Conclusion -- References -- Research on Design of Cultural and Creative Products Based on Artificial Intelligence-Assisted Design -- 1 Research Status and Analysis -- 1.1 Homogenization of Cultural and Creative Products -- 1.2 Current Development of Artificial Intelligence Design -- 2 Artificial Intelligence and Cultural and Creative Product Design -- 3 Artificial Intelligence Aided Design Element Analysis -- 4 Design Practice of Cultural and Creative Products Based on Artificial Intelligence Aided Design -- 4.1 Design Process -- 4.2 Establishment of Basic Data Model -- 4.3 Stylize the Data Set -- 4.4 Design Programmatic Iterative Generation -- 5 Thesis Conclusion -- References -- Research on Empathetic Dialogue Generation Based on Emotional Cognition and Empathetic Response -- 1 Introduction -- 2 Emotional Recognition and Cognition -- 2.1 Discourse Level and Speaker Level -- 2.2 Utterance Level and Conversation Level and Emotion Affects Emotion -- 2.3 Communication Mechanism and Dialogue Behavior and Emotion -- 3 Empathetic Response Generation -- 3.1 Improve Empathy Response by Enhancing Semantic Understanding -- 3.2 Improve Empathetic Response by Enhancing Semantic Understanding and Adopting Dialogue Management -- 3.3 Improve Empathetic Response by Retrieving and Generating Responses -- 3.4 A Multi-party Empathetic Dialogue Generation Based on Static Sensibility and Dynamic Emotion -- 4 Experiments -- 4.1 Common Compared Models -- 4.2 Common Datasets and Knowledge Base -- 4.3 Common Evaluation Metrics -- 4.4 Results and Analysis of Empathy Response Experiment -- 5 Conclusion -- References. , Research on Visualization Design Based on Jiangxi Red Culture -- 1 Introduction -- 2 Overview of Jiangxi Red Culture Connotation -- 3 The Function of Visualization Design Based on Jiangxi Red Culture -- 3.1 Transform the Existing Form of Red Culture Information -- 3.2 It is Possible to Establish a More Systematic Basis for the Identification of Elements of Red Culture Information -- 3.3 Visualization Design Can Enrich the Expressive Means of Red Culture Information -- 3.4 Realizing Multi-dimensional Analysis of Red Culture Information -- 4 Visualization Design Method Based on Jiangxi Red Culture -- 4.1 Theme Research and Resource Arrangement and Optimization -- 4.2 Five Seconds Rule of Visual Attractiveness -- 4.3 Using the Visual Psychology of Words to Enhance Recognition -- 4.4 Show the Relevance Among Things with Graphics, Colors, Symbols and Other Elements -- 5 Techniques of Visualization Presentation and Technological Choice -- 6 Conclusions -- References -- Research on Visual Design in the Context of Immersive New Media -- 1 Introduction -- 2 Concept and Characteristics of Visual Design -- 2.1 The Concept of Visual Design -- 2.2 The Characteristics of Visual Design -- 3 Classification of Immersive Visual Design -- 3.1 Immersive Visual Design for Performing Arts -- 3.2 Immersive Visual Design for Entertainment -- 3.3 Immersive Visual Design for Restaurants -- 3.4 Immersive Visual Design for Art Exhibition -- 4 Conclusion -- References -- A Study on the Current Situation of Negative Transfer of Mother Tongue in College Students' English Learning of Guangxi Zhuang Nationality Under the Background of Third Language Acquisition -- 1 Introduction -- 2 Literature Review -- 2.1 Theoretical Basis -- 3 Research Process -- 3.1 Research Subjects and Instruments -- 3.2 Research Data Analysis and Discussion -- 4 Implication and Conclusion -- References. , Women's Rights and the Art Market in the Perspective of Chinese Traditional Culture -- 1 Introduction -- 1.1 The Development of Women's Rights in China -- 1.2 The Development of China's Art Market -- 1.3 Women's Rights and Artwork in the Perspective of Traditional Chinese Culture -- 2 Methodology -- 2.1 Selection of Indicators -- 2.2 ADF Test -- 2.3 Granger Causality -- 3 Conclusion -- References -- The Research on the Application of Landscape Art in Urban Industrial Landscape Reconstruction -- 1 Introduction -- 2 Landscape Art Design Methods in Urban Industrial Landscape Reconstruction -- 3 The Value Embodiment of Landscape Art in the Regeneration of Industrial Waste Land -- 4 Conclusion -- References -- A Study on the Change of Cover Characters of Women's Fashion Magazines -- 1 Origin of the Study and Research Method -- 1.1 Origin of the Study -- 1.2 Literature Review -- 1.3 Research Methodology -- 2 A Quantitative Study of the Cover of VOGUE -- 2.1 Sampling Instructions -- 2.2 Category Construction and Data Analysis -- 3 The Social Factors and Cultural Connotations Behind the Change of Cover Characters -- 3.1 Shift in Fashion Discourse from a Western Image as the Core to a Chinese Image as the Core -- 3.2 Diverse Aesthetic Transformation from International Supermodel to Vegetarian Model -- 3.3 Shift from Ornamental to Appreciation of Human Gender Body Symbols -- 4 Summary -- References -- The Comparative Research of Exhibitions Between China and Australia and Future Development Strategy -- 1 Introduction -- 2 Introduction to the Exhibition at the Art Gallery of New South Wales -- 2.1 Introduction to Exhibition Types -- 2.2 Exhibition Space and Collections -- 3 Introduction to the Exhibition at the Shaanxi History Museum -- 3.1 Types of Exhibitions at the Shaanxi History Museum -- 3.2 Exhibition Space and Collections. , 4 Comparative Analysis of the Art Gallery of New South Wales and Shaanxi History Museum and Suggestions for Future Museum Strategies -- 4.1 Comparative Analysis of the Art Gallery of New South Wales and Shaanxi History Museum -- 4.2 Suggestions for Future Museum Development -- 5 Conclusion -- References -- The Exploration of New Ideas on the Peak of Communication in Chinese and Foreign Art History -- 1 Introduction -- 2 The Three Peaks of Communication Between Chinese and Foreign Art History -- 2.1 The First Exchange Peak: The Introduction of Buddhism -- 2.2 The Second Exchange Peak: The Rise of Merchant Shipping -- 2.3 The Third Exchange Peak: Missionaries Come to China -- 3 Analysis of the Characteristics of the Peak of Chinese and Foreign Art Exchanges -- 4 The Characteristics and Limitations of China's Treatment of Foreign Cultural and Artistic Exchanges and Dissemination -- 4.1 Limited Openness -- 4.2 Passive Dissemination -- 4.3 Discriminatory Cultural Mindset -- 4.4 Integration and Evolution -- 5 Conclusions -- References -- The Research on the Characteristics of AI Application in Art Field and Its Value -- 1 Introduction -- 2 The Operation Principles of AI Art -- 3 The Impact of AI on Traditional Art and Its Limitations -- 3.1 The Impact of AI on Traditional Art -- 3.2 Limitations of AI Application in the Art Field -- 4 The Transcendence of AI to Traditional Art and Its Value -- 4.1 The Transcendence of AI to Traditional Art -- 4.2 The Significance of AI for Future Human Art Creation -- 5 Conclusion -- References -- Symbolism in Costume Design Elements and Expression Modes in Handel's Opera Giulio Cesare -- 1 Introduction -- 2 Analysis on the Presentation as a Whole -- 3 Hairstyle -- 4 Comparison -- 5 Conclusion -- References -- Dramatic Sounds: Composing Perspective of Comparison Between Händel and Lachenmann -- 1 Introduction. , 2 Technical Analysis of the Composition.
    Additional Edition: Print version: Majoul, Bootheina Proceedings of the 4th International Conference on Language, Art and Cultural Exchange (ICLACE 2023) Paris : Atlantis Press (Zeger Karssen),c2023 ISBN 9782384760930
    Language: English
    Keywords: Electronic books.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    almahu_9949420161902882
    Format: XV, 731 p. 343 illus., 259 illus. in color. , online resource.
    Edition: 1st ed. 2023.
    ISBN: 9789811926006
    Series Statement: Lecture Notes on Data Engineering and Communications Technologies, 137
    Content: This book presents the latest findings in the areas of data management and smart computing, big data management, artificial intelligence, and data analytics, along with advances in network technologies. The book is a collection of peer-reviewed research papers presented at Sixth International Conference on Data Management, Analytics and Innovation (ICDMAI 2022), held virtually during January 14-16, 2022. It addresses state-of-the-art topics and discusses challenges and solutions for future development. Gathering original, unpublished contributions by scientists from around the globe, the book is mainly intended for a professional audience of researchers and practitioners in academia and industry.
    Note: Part I: Machine Learning -- Recognizing similar relationships within ontology to fine tune Ontology -- Object Detection using Peak, Balanced Division Point and Shape based Features -- End to End Agile and Automated Machine Learning Framework for Trustworthy, Reliable and Sustainable Artificial Intelligence -- Automated Structured Data Extraction from Scanned Document Images -- Effective Sentiment Analysis of Bengali Corpus by using the Machine Learning approach -- Review on Android Malware Detection System -- Hypothesis Testing of Tweet Text using NLP -- Forecasting Severe Thunderstorm by applying SVM Technique on Cloud imageries -- Breast Cancer Prediction using MachineLearning Techniques -- Ontology-Driven Scientific Literature Classification using Clustering and Self-Supervised Learning -- Modeling and forecasting Tuberculosis cases using machine learning and deep learning approaches: A Comparative Study -- Drone Integrated Detection and Rebarbative System with Variable Frequency for Agricultural Farm Invading Animals -- Support Vector Machines and Random Forest Classification models for identification of Stability in Extrusion Film Casting Process -- Predicting CO2 emissions by Vehicles using Machine Learning -- Augmented Feature Generation using Maximum Mutual Information Minimum Correlation -- Impact of Energy Sector on Climate Change in India using Forecasting Models -- Towards Efficient Edge Computing Through Adoption of Reinforcement Learning Strategies: A Review -- Thematic Classification Based On Topological Traits -- Machine Learning based Earthquake Early Warning (EEW) System: A case study of Himalayan Region -- Topic Modelling Based Semantic Search -- Machine Learning based Automated Process for Predicting the Anomaly in AIS Data -- A Hybrid Machine Learning Model for Estimation of Obesity Levels -- Part II: AI & Deep Learning -- Regulations 4.0: Digitally Transforming the Regulatory Space -- Speech To Text for Data Entry - Opportunities and Challenges -- A Gamification Architecture For Online Learning Platform using Neural Network -- Literature Review on Sign Language Generation -- Indoor Navigation Using Augmented Reality -- Foreign object detection on an assembly line -- Inverse Contexture Abstractive Term Frequency Model using Surf Scale Diffusive Neural Network for analysis of fake social content in public forum -- Literature Review on Machine Translation Systems for Sign Language Generation -- Depression Detection from Twitter Data using Two Level Multi-modal Feature Extraction -- COVID-19 Regulations Check: Social Distancing, People Counting and Mask Wear Check -- Urdu & Hindi Poetry Generation using Neural Networks -- Implementation of Open Domain Question Answering System -- Design and Implementation of Surround View Monitoring System in View of Autonomous Vehicle -- Generation of Indian Sign Language Animation from Audio and Video Content using Natural Language Processing -- Histogram Based Initial Centroids Selection for K-Means Clustering -- Siamese Network-based system for criminal identification -- Track-III: Data Storage Management & Innovation -- Organization Network Analysis for study of employee techno-social connects and effect of human behavior and organizational culture on the underlying network -- Track IV: Enabling Technologies & Applications -- Sky Computing Smart Locality Aware approach for Health Analytics -- Citation Biases: Detecting Communities from Patterns of Temporal Variation in Journal Citation Networks -- Enhancing the Performance of Multiple Wi-Fi Network -- ARCaddy: Augmented Reality App Suite for Aircraft Maintenance -- Meditation Therapy for Stress Management Using Brainwave Computing and Real Time Virtual Reality Feedback -- Real Time Carbon Emissions Calculator for Personal Computers -- Track-V: Data Science Techniques for handling Pandemic -- Navigation System for Visually Impaired People -- Design aspects of a Multi-dimensional Hybrid analytical processing system -- A data science approach to evaluate drug effectiveness: Case Study of Remdesivir for Covid-19 patients in India -- A Softcomputing Approach For Predicting And Categorising Learner's Performance Using Fuzzy Model.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9789811925993
    Additional Edition: Printed edition: ISBN 9789811926013
    Additional Edition: Printed edition: ISBN 9789811926020
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Berlin/Boston :De Gruyter Mouton,
    UID:
    almafu_9958354180602883
    Format: 1 online resource(viii,188p.) : , illustrations.
    Edition: Electronic reproduction. Berlin/Boston : De Gruyter Mouton, 2013. Mode of access: World Wide Web.
    Edition: System requirements: Web browser.
    Edition: Access may be restricted to users at subscribing institutions.
    ISBN: 9783110302332
    Series Statement: Linguistische Arbeiten; 549
    Content: This book argues that while some adjuncts and complements contribute regular assertions, others operate in the conventional implicature dimension, which expresses additional side comments. This distinction of semantic dimension is shown as necessary to account for regular vs. speech act uses of ‘weil’ vs. ‘denn’ (because) in German, for regular vs. relevance conditionals, as well as certain sentence adverbs. Further, a new two-dimensional analysis is crucial to account for the differences between parenthetical-like sliftings and true verb-second embedded clauses in German.
    Note: Frontmatter -- , Contents -- , 1 Introduction -- , 2 Two-Dimensional Semantics -- , 3 Sentence Adverbs -- , 4 Denn and Weil – Causal Connectives in Two Dimensions -- , 5 Relevance Conditionals – If on Another Dimension -- , 6 A Paradigm of Adjuncts on Two Dimensions -- , 7 Complement Clauses on Different Dimensions -- , 8 Conclusion -- , Bibliography -- , Term Index -- , Author Index. , Also available in print edition. , In English.
    Additional Edition: ISBN 9783110302141
    Additional Edition: ISBN 9783110302349
    Language: English
    Subjects: German Studies
    RVK:
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Cover
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Amsterdam ; : Elsevier North Holland,
    UID:
    almahu_9947367719002882
    Format: 1 online resource (767 p.)
    Edition: 1st ed.
    ISBN: 1-281-04851-8 , 9786611048518 , 0-08-053578-X
    Series Statement: Studies in logic and the foundations of mathematics, v. 148
    Content: Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.
    Note: Description based upon print version of record. , Front Cover; Many-Dimensional Modal Logics: Theory and Applications; Copyright Page; Contents; Part I: Introduction; Chapter 1. Modal logic basics; 1.1 Modal axiomatic systems; 1.2 Possible world semantics; 1.3 Classical first-order logic and the standard translation; 1.4 Multimodal logics; 1.5 Algebraic semantics; 1.6 Decision, complexity and axiomatizability problems; Chapter 2. Applied modal logic; 2.1 Temporal logic; 2.2 Interval temporal logic; 2.3 Epistemic logic; 2.4 Dynamic logic; 2.5 Description logic; 2.6 Spatial logic; 2.7 Intuitionistic logic , 2.8 'Model level' reductions between logicsChapter 3. Many-dimensional modal logics; 3.1 Fusions; 3.2 Spatio-temporal logics; 3.3 Products; 3.4 Temporal epistemic logics; 3.5 Classical first-order logic as a propositional multimodal logic; 3.6 First-order modal logics; 3.7 First-order temporal logics; 3.8 Description logics with modal operators; 3.9 HS as a two-dimensional logic; 3.10 Modal transition logics; 3.11 Intuitionistic modal logics; Part II: Fusions and products; Chapter 4. Fusions of modal logics; 4.1 Preserving Kripke completeness and the finite model property , 4.2 Algebraic preliminaries4.3 Preserving decidability of global consequence; 4.4 Preserving decidability; 4.5 Preserving interpolation; 4.6 On the computational complexity of fusions; Chapter 5. Products of modal logics: introduction; 5.1 Axiomatizing products; 5.2 Proving decidability with quasimodels; 5.3 The finite model property; 5.4 Proving undecidability; 5.5 Proving complexity with tilings; Chapter 6. Decidable products; 6.1 Warming up: Kn x Km; 6.2 CPDL x Km; 6.3 Products of epistemic logics with Km; 6.4 Products of temporal logics with Km; 6.5 Products with S5 , 6.6 Products with multimodal S5Chapter 7. Undecidable products; 7.1 Products of linear orders with infinite ascending chains; 7.2 Products of linear orders with infinite descending chains; 7.3 Products of Dedekind complete linear orders; 7.4 Products of finite linear orders; 7.5 More undecidable products; Chapter 8. Higher-dimensional products; 8.1 S5 x S5 x ... x S5; 8.2 Products between K4n and S5n; 8.3 Products with the fmp; 8.4 Between Kn and SSn; 8.5 Finitely axiomatizable and decidable products; Chapter 9. Variations on products; 9.1 Relativized products; 9.2 Valuation restrictions , Chapter 10. Intuitionistic modal logics10.1 Intuitionistic modal logics with D; 10.2 Intuitionistic modal logics with D and dimond; 10.3 The finite model property; Part III: First-order modal logics; Chapter 11. Fragments of first-order temporal logics; 11.1 Undecidable fragments; 11.2 Monodic formulas, decidable fragments; 11.3 Embedding into monadic second-order theories; 11.4 Complexity of decidable fragments of QLogsu(N) and their complexity; 11.5 Satisfiability in models over (N, 〈) with finite domains; 11.6 Satisfiability in models over {R〈} with finite domains , 11.7 Axiomatizing monodic fragments , English
    Additional Edition: ISBN 0-444-50826-0
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    almafu_9959328722802883
    Format: 1 online resource (xviii, 198 pages) : , illustrations
    Edition: Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010.
    ISBN: 352760491X , 9783527604913 , 3527604405 , 9783527604401 , 1280520078 , 9781280520075
    Content: The book is intended for advanced students in physics, mathematics, computer science, electrical engineering, robotics, engine engineering and for specialists in computer vision and robotics on the techniques for the development of vision-based robot projects. It focusses on autonomous and mobile service robots for indoor work, and teaches the techniques for the development of vision-based robot projects. A basic knowledge of informatics is assumed, but the basic introduction helps to adjust the knowledge of the reader accordingly. A practical treatment of the material enables a comprehensive.
    Note: Cover -- Contents -- List of Figures -- Symbols and Abbreviations -- 1 Introduction -- 2 Image Processing -- 2.1 Color Models -- 2.2 Filtering -- 2.2.1 Kalman Filter -- 2.2.2 Gabor Filter -- 2.2.3 Application of the Gabor Filter -- 2.3 Morphological Image Processing -- 2.3.1 The Structuring Element -- 2.3.2 Erosion -- 2.3.3 Dilation -- 2.4 Edge Detection -- 2.5 Skeleton Procedure -- 2.6 The Segmentation of Image Regions -- 2.7 Threshold -- 3 Navigation -- 3.1 Coordinate Systems -- 3.2 Representation Forms -- 3.2.1 Grid-based Maps -- 3.2.2 Graph-based Maps -- 3.3 Path Planning -- 3.3.1 Topological Path Planning -- 3.3.2 Behavior-based Path Execution -- 3.3.3 Global Path Planning -- 3.3.4 Local Path Planning -- 3.3.5 The Combination of Global and Local Path Planning -- 3.4 The Architecture of a Multilevel Map Representation -- 3.5 Self-localization -- 4 Vision Systems -- 4.1 The Human Visual Apparatus -- 4.1.1 The Functionality -- 4.1.2 The Visual Cortex -- 4.2 The Human Visual Apparatus as Model for Technical Vision Systems -- 4.2.1 Attention Control -- 4.2.2 Passive Vision -- 4.2.3 Active Vision -- 4.2.4 Space-variant Active Vision -- 4.3 Camera Types -- 4.3.1 Video Cameras -- 4.3.2 CCD Sensors -- 4.3.3 Analog Metric Cameras -- 5 CAD -- 5.1 Constructive Solid Geometry -- 5.2 Boundary-representation Schema (B-rep) -- 5.3 Approximate Models -- 5.3.1 Octrees -- 5.3.2 Extended Octrees -- 5.3.3 Voxel Model -- 5.4 Hybrid Models -- 5.5 Procedures to Convert the Models -- 5.6 The Use of CAD in Computer Vision -- 5.6.1 The Approximation of the Object Contour -- 5.6.2 Cluster Search in Transformation Space with Adaptive Subdivision -- 5.6.3 The Generation of a Pseudo-B-rep Representation from Sensor Data -- 5.7 Three-dimensional Reconstruction with Alternative Approaches -- 5.7.1 Partial Depth Reconstruction -- 5.7.2 Three-dimensional Reconstruction with Edge Gradients -- 5.7.3 Semantic Reconstruction -- 5.7.4 Mark-based Procedure -- 6 Stereo Vision -- 6.1 Stereo Geometry -- 6.2 The Projection of the Scene Point -- 6.3 The Relative Motion of the Camera -- 6.4 The Estimation of the Fundamental Matrix B -- 6.5 Image Rectification -- 6.6 Ego-motion Estimation -- 6.7 Three-dimensional Reconstruction by Known Internal Parameters -- 6.8 Three-dimensional Reconstruction by Unknown Internal and External Parameters -- 6.8.1 Three-dimensional Reconstruction with Two Uncalibrated Cameras -- 6.8.2 Three-dimensional Reconstruction with Three or More Cameras -- 6.9 Stereo Correspondence -- 6.9.1 Correlation-based Stereo Correspondence -- 6.9.2 Feature-based Stereo Correspondence -- 6.10 Image-sequence Analysis. , Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
    Additional Edition: Print version: Florczyk, Stefan. Robot vision. Weinheim : Wiley-VCH, ©2005 ISBN 3527405445
    Language: English
    Subjects: Engineering
    RVK:
    Keywords: Electronic books. ; Lehrbuch ; Electronic books. ; Electronic books.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Amsterdam ; : Morgan Kaufmann,
    UID:
    almahu_9947420900102882
    Format: 1 online resource (210 p.)
    Edition: 1st edition
    ISBN: 1-281-76377-2 , 9786611763770 , 0-08-055841-0
    Series Statement: The Morgan Kaufmann series in interactive technologies
    Content: Increasingly, designers need to present information in ways that aid their audience's thinking process. Fortunately, results from the relatively new science of human visual perception provide valuable guidance. In Visual Thinking for Design, Colin Ware takes what we now know about perception, cognition, and attention and transforms it into concrete advice that designers can directly apply. He demonstrates how designs can be considered as tools for cognition - extensions of the viewer's brain in much the same way that a hammer is an extension of the user's hand. Experienced prof
    Note: Includes index. , FRONT COVER; VISUAL THINKING FOR DESIGN; COPYRIGHT PAGE; CONTENTS; PREFACE; CHAPTER 1 VISUAL QUERIES; The Apparatus and Process of Seeing; The Act of Perception; Bottom-Up; Top-Down; Implications for Design; Nested Loops; Distributed Cognition; Conclusion; CHAPTER 2 WHAT WE CAN EASILY SEE; The Machinery of Low-Level Feature Analysis; What and Where Pathways; Eye Movement Planning; What Stands Out = What We Can Bias for; Lessons for Design; Motion; Visual Search Strategies and Skills; The Detection Field; The Visual Search Process; Using Multiscale Structure to Design for Search; Conclusion , CHAPTER 3 STRUCTURING TWO-DIMENSIONAL SPACE2.5D Space; The Pattern-Processing Machinery; The Binding Problem: Features to Contours; The Generalized Contour; Texture Regions; Interference and Selective Tuning; Patterns, Channels, and Attention; Intermediate Patterns; Pattern Learning; Serial Processing; Visual Pattern Queries and the Apprehendable Chunk; Multi-chunk Queries; Spatial Layout; Horizontal and Vertical; Pattern for Design; Examples of Pattern Queries with Common Graphical Artifacts; Semantic Pattern Mappings; CHAPTER 4 COLOR; The Color-Processing Machinery; Opponent Process Theory , Channel PropertiesPrinciples for Design; Showing Detail; Color-Coding Information; Large and Small Areas; Emphasis and Highlighting; Color Sequences; Color on Shaded Surfaces; Semantics of Color; Conclusion; CHAPTER 5 GETTING THE INFORMATION: VISUAL SPACE AND TIME; Depth Perception and Cue Theory; Stereoscopic Depth; Structure from Motion; 2.5D DESIGN; How Much of the Third Dimension?; Affordances; The Where Pathway; Artificial Interactive Spaces; Space Traversal and Cognitive Costs; Conclusion; CHAPTER 6 VISUAL OBJECTS, WORDS, AND MEANING; The Inferotemporal Cortex and the What Channel , Generalized Views from PatternsStructured Objects; Gist and Scene Perception; Visual and Verbal Working Memory; Verbal Working Memory; Control of the Attention and the Cognitive Process; Long-term Memory; Priming; Getting into Visual Working Memory; Thinking in Action: Receiving a Cup of Coffee; Elaborations and Implications for Design; Make Objects Easy to Identify; Novelty; Images as Symbols; Meaning and Emotion; Imagery and Desire; Conclusion; CHAPTER 7 VISUAL AND VERBAL NARRATIVE; Visual Thinking Versus Language-Based Thinking; Learned Symbols; Grammar and Logic , Comparing and Contrasting the Verbal and Written ModesLinking Words and Images Through Diexis; PowerPoint Presentations and Pointing; Mirror Neurons: Copycat Cells; Visual Narrative: Capturing the Cognitive Thread; Q&A Patterns; Framing; FINSTs and Divided Attention; Shot transitions; Cartoons and Narrative Diagrams; Single-frame Narratives; Conclusion; CHAPTER 8 CREATIVE META-SEEING; Mental Imagery; The Magic of the Scribble; Diagrams are Ideas Made Concrete; Requirements and Early Design; Visual Task Analysis; The Creative Design Loop; Cognitive Economics of Design Sketching , The Perceptual Critique , English
    Additional Edition: ISBN 0-12-370896-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages