Search Results - Urash~

Principles of Finance by Dahlquist, Julie, Knight, Rainford, Adams, Alan S.

Table of Contents: “…Financial Statements -- Why It Matters -- 5.1 The Income Statement -- 5.2 The Balance Sheet -- 5.3 The Relationship between the Balance Sheet and the Income Statement -- 5.4 The Statement of Owner’s Equity -- 5.5 The Statement of Cash Flows -- 5.6 Operating Cash Flow and Free Cash Flow to the Firm (FCFF) -- 5.7 Common-Size Statements -- 5.8 Reporting Financial Activity -- Summary -- Key Terms -- CFA Institute -- Multiple Choice -- Review Questions -- Problems -- Video Activity -- Chapter 6. …”
Access online version

Algorithms and Data Structures With Applications to Graphics and Geometry by Nievergelt, Jurg, Hinrichs, Klaus

Table of Contents: “…Strings -- 11. Matrices and graphs: transitive closure -- 12. Integers -- 13. …”
Access online version

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Big Data and Artificial Intelligence in Digital Finance Increasing Personalization and Trust in Digital Finance using Big Data and AI /

Table of Contents: “…Introduction -- Part I: Novel Big Data and AI Technologies for Digital Finance -- A Reference Architecture for Big Data Systems and AI Applications in the Finance Sector -- Hybrid Transactional and Analytical Processing for Integrated Data Management in Digital Finance and FinTech Applications -- Semantic Interoperability Modelling for Digital Finance Applications -- Semantic Streaming for Digital Finance Applications -- Part II: Blockchain Technologies and Digital Currencies for Digital Finance Applications -- Central Bank Digital Currencies and a Euro for the Future -- Efficient and Accelerated KYC Using Blockchain Technologies -- Part III: Applications of Big Data and AI in Digital Finance -- AI-based platform for Intelligent and Automated Accounting -- Addressing Intra-Day Volatility in Risk Assessments for Forex Trading -- Next-Generation Personalized Investment Recommendations -- Personalized Finance Management for Small Medium Businesses -- AML/CF supervision empowered by AI -- AnalyzingLarge Scale Blockchain Transaction Graphs for Fraudulent Activities -- Cybersecurity and Fraud Detection in Financial Transactions -- Part IV: Applications of Big Data and AI in Insurance -- Risk assessment for personalized health insurance products -- Alternative Data for Personalized Insurance products -- Part V: Technologies for Regulatory Compliance in the Finance Sector -- AI Governance -Trustworthy and Responsible use of AI -- Large Scale Data Anonymization for GDPR Compliance -- Conclusion.…”
Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata

Managerial Accounting by Heisinger, Kurt, Hoyle, Joe

Table of Contents: “…-- Chapter 12: How Is the Statement of Cash Flows Prepared and Used? -- Chapter 13: How Do Managers Use Financial and Nonfinancial Performance Measures?…”
Access online version

Introduction to Financial Analysis by Bigel, Kenneth S.

Table of Contents: “…About the Author -- Author's Acknowledgements -- Open Touro Acknowledgements -- Preface -- Part I: Financial Statements and Ratio Analysis, and Forecasting -- Chapter 1: Introduction -- Chapter 2: Financial Statement Analysis: The Balance Sheet -- Chapter 3: Financial Statements Analysis: The Income Statement -- Chapter 4: Financial Statements and Finance -- Part II: Ratio Analysis and Forecasting Modeling -- Chapter 5: Financial Ratios and Forecasting; Liquidity and Solvency Ratios -- Chapter 6: Profitability and Return Ratios, and Turnover -- Chapter 7: Market Ratios -- Chapter 8: Cash Flow, Depreciation, and Financial Projections -- Chapter 9: Corporate Forecasting Models -- Part III: The Time Value of Money -- Chapter 10: The Time Value of Money: Simple Present- and Future-Values -- Chapter 11: The Time Value of Money: Annuities, Perpetuities, and Mortgages -- Part IV: Interest Rates, Valuation, and Return -- Chapter 12: Fixed Income Valuation -- Chapter 13: Interest Rates -- Chapter 14: Equity Valuation and Return Measurement…”
Access online version

Evolutionary Genomics Statistical and Computational Methods /

Table of Contents: “…Introduction to Genome Biology and Diversity -- Probability, Statistics, and Computational Science -- A Not-So-Long Introduction to Computational Molecular Evolution -- Whole-Genome Alignment -- Inferring Orthology and Paralogy -- Transposable Elements and Their Identification -- Modern Phylogenomics: Building Phylogenetic Trees Using the Multispecies Coalescent Model -- Genome-Wide Comparative Analysis of Phylogenetic Trees: The Prokaryotic Forest of Life -- The Methodology Behind Network-Thinking: Graphs to Analyze Microbial Complexity and Evolution -- Bayesian Molecular Clock Dating Using Genome-Scale Datasets -- Genome Evolution in Outcrossing vs. …”
Link to Metadata

Advances in Discrete Differential Geometry

Table of Contents: “…Bobenko, Stefan Sechelmann, Boris Springborn -- Discrete complex analysis on planar quad-graphs: Alexander I. Bobenko and Felix Günther -- Approximation of conformal mappings using conformally equivalent triangular lattices: Ulrike Bücking -- Numerical Methods for the Discrete Map Za: Folkmar Bornemann, Alexander Its, Sheehan Olver, and Georg Wechslberger -- A variational principle for cyclic polygons with prescribed edge lengths: Hana Kourimská, Lara Skuppin, Boris Springborn -- Complex Line Bundles over Simplicial Complexes and their Applications: Felix Knöppel and Ulrich Pinkall -- Holomorphic vector fields and quadratic differentials on planar triangular meshes: Wai Yeung Lam, Ulrich Pinkall -- Vertex normals and face curvatures of triangle meshes: Xiang Sun, Caigui Jiang, Johannes Wallner, and Helmut Pottmann -- S-conical cmc surfaces. …”
Link to Metadata

DENGUE OUTBREAK -IS THE PANIC JUSTIFIED ? by Sofia Shehzad

Connect to this object online.

River Basin Development and Human Rights in Eastern Africa - A Policy Crossroads by Carr, Claudia J.

Table of Contents: “…Components Of Catastrophe: Social And Environmental Consequences of Omo River Basin Development -- Chapter 6. The Rush to Rationalize: Public Policies and Impact Assessments -- Chapter 7. …”
Link to Metadata

Kemik Yaşı ve Maturasyon Tespiti by Mehmet Said İzgi, Hatice Kök

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Visions for Intercultural Music Teacher Education

Table of Contents: “…Kallio & Heidi Westerlund -- Intercultural Game in Music Teacher Education: Exploring El Sistema in Sweden; Eva Sæther -- Expanding Learning Frames in Music Teacher Education: Student Placement in a Palestinian Refugee Camp in Lebanon; Brit Ågot Brøske -- The Reinvented Music Teacher-Researcher in the Making: Conducting Educational Development Through Intercultural Collaboration; Vilma Timonen, Anna Houmann, and Eva Sæther -- Bridging Musical Worlds: Musical Collaboration Between Student Musician-Educators and South Sudanese Australian Youth; Kathryn Marsh, CatherineIngram and Samantha Dieckmann -- To Honor and Inform: Addressing Cultural Humility in Intercultural Music Teacher Education in Canada; Lori-Anne Dolloff -- Structure and Fragmentation: The Current Tensions and Possible Transformation of Intercultural Music Teacher Education in South Africa; Albi Odendaal -- Assessing Intercultural Competence in Teacher Education: A Missing Link; Sapna Thapa -- Narrating Change, Voicing Values, and Co-Constructing Visions for Intercultural Music Teacher Education; Laura Miettinen, Heidi Westerlund, and Claudia Gluschankof -- Engaging Practitioners as Inquirers: Co-Constructing Visions for Music Teacher Education in Nepal; Danielle Shannon Treacy -- Epilogue: Music Teacher Education Engaging with the Politics of Diversity; Heidi Westerlund and Sidsel Karlsen.…”
Link to Metadata

Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems / by Curry, Edward

Table of Contents: “…1 Real-time Linked Dataspaces: A Data Platform for Intelligent Systems within Internet of Things-based Smart Environments -- 2 Enabling Knowledge Flows in an Intelligent Systems Data Ecosystem -- 3 Dataspaces: Fundamentals, Principles, and Techniques -- 4 Fundamentals of Real-time Linked Dataspaces -- 5 Data Support Services for Real-time Linked Dataspaces -- 6 Catalog and Entity Management Service for Internet of Things-based Smart Environments -- 7 Querying and Searching Heterogeneous Knowledge Graphs in Real-time Linked Dataspaces -- 8 Enhancing the Discovery of Internet of Things-based Data Services in Real-time Linked Dataspaces -- 9 Human-in-the-Loop Tasks for Data Management, Citizen Sensing, and Actuation in Smart Environments -- 10 Stream and Event Processing Services for Real-time Linked Dataspaces -- 11 Quality of Service-Aware Complex Event Service Composition in Real-time Linked Dataspaces -- 12 Dissemination of Internet of Things Streams in a Real-time Linked Dataspace -- 13 Approximate Semantic Event Processing in Real-time Linked Dataspaces -- 14 Enabling Intelligent Systems, Applications, and Analytics for Smart Environments using Real-time Linked Dataspaces -- 15 Autonomic Source Selection for Real-time Predictive Analytics using the Internet of Things and Open Data -- 16 Building Internet of Things-enabled Digital Twins and Intelligent Applications using a Real-time Linked Dataspace -- 17 A Model for Internet of Things Enhanced User Experience in Smart Environments -- 18 Future Research Directions for Dataspaces, Data Ecosystems, and Intelligent Systems.…”
Link to Metadata

Root, Tuber and Banana Food System Innovations Value Creation for Inclusive Outcomes /

Table of Contents: “…Section A: Overview, Institutional Change and Scaling -- Chapter 1 - Overview -- Chapter 2 - Innovation models to deliver value at scale: the RTB Program -- Chapter 3 - Scaling Readiness: learnings from applying a novel approach to support scaling of food system innovations -- Section B: Processing, Marketing and Distribution -- Chapter 4 - Cost-effective cassava processing: Case study of small-scale flash dryer reengineering -- Chapter 5 - Orange-Fleshed Sweetpotato Puree, a Breakthrough Product for the Bakery Sector in Africa -- Chapter 6 - Turning waste to wealth: Harnessing the potential of cassava peels for nutritious animal feed -- Chapter 7 - Transferring cassava processing technology from Brazil to Africa -- Chapter 8 - Improving Safety of Cassava Products -- Section C: Enhancing productivity -- Chapter 9 - Innovative digital technologies to monitor and control pest and disease threats in root, tuber, and banana (RTB) cropping systems: Progress and prospects -- Chapter 10 - Scaling banana bacterial wilt management through single diseased stem removal in the Great Lakes Region -- Chapter 11 - Toolbox for Working with Root, Tuber and Banana Seed Systems -- Chapter 12. …”
Link to Metadata

Mobilities in Life and Death Negotiating Room for Migrants and Minorities in European Cemeteries /

Table of Contents: “…Contemporary 'Outsiders' in Narratives of Belonging in Cork's Cemeteries: Reflections on experiences of Irish Travellers and Recent Polish Migrants (Katie McClymont & Danielle House) -- 8. …”
Link to Metadata

Agricultural Implications of the Fukushima Nuclear Accident (III) After 7 Years /

Table of Contents: “…An Overview of Our Research -- Transfer of Radiocesium to Rice in Contaminated Paddy Fields -- Cesium Translocation in Rice -- Absorption of radioceasium in soybean -- An observational study of pigs exposed to radiation -- A Composting System to Decompose Radiocesium Contaminated Baled Grass Silage -- Weathered Biotite: A Key Material of Radioactive Contamination in Fukushima -- Radiocesium accumulation in koshiabura (Eleutherococcus sciadophylloides) and other wild vegetables and in Fukushima Prefecture -- The Transition of Radiocesium in Peach Trees After the Fukushima Nuclear Accident -- Application of the Artificial Annual Environmental Cycle and Dormancy-induced Suppression of Cesium Uptake in Poplar -- Radiocesium Contamination in Forests and the Current Situation of Growing Oak Trees for Mushroom Logs -- Radiocesium Dynamics in Wild Mushrooms During the First Five Years After the Fukushima Accident -- The Spatial Distribution of Radiocesium Over a Four-year Period in a Forest Ecosystem in North Fukushima After the Nuclear Power Station Accident -- Parallel Measurement of Ambient and Individual External Radiation in Iitate Village, Fukushima -- Mobility of Fallout Radiocesium Depending on the Land Use　in Kasumigaura Basin -- Challenges of Agricultural Land Remediation and Renewal of Agriculture in Iitate Village by a Collaboration Between Researchers and a Non-profit Organization -- Radiocesium Contamination on a University Campus and in Forests in Kashiwa City, Chiba Prefecture, a Suburb of Metropolitan Tokyo -- The State of Fisheries and Marine Species in Fukushima: Six Years After the 2011 Disaster -- Visualization of Ion Transport in Plants -- 90Sr analysis using inductively coupled plasma mass spectrometry with split-flow injection and online solid-phase extraction for multiple concentration and separation steps.…”
Link to Metadata

Processes Writing Across Academic Careers by Iverson, Christopher, Ehrenfeld, Dan

Table of Contents: “…A Descriptive Report of Performance-Related Characteristics of Boston Marathon Qualifiers -- Writing in Science: Creating a Lab Write-Up -- It’s a Marsh Mallow World in the Summer -- Discourse Analysis: The Impact of the Unspoken Word -- Messages from Writers on Writing and Education -- Former Beat Writer Reflects -- The Process of Writing as a Spontaneous Act of Storytelling: From the Classroom to a Published Essay -- “The Generation and Uses of Chaos”: Rhetorical Invention as the Taming of a Wild Garden -- Collaborative Composing: Demystifying the Literature Review and the Writing Process, Together -- On Writing Philosophy -- Learning Outcomes -- Staying Engaged while Staying Home -- The Art of Editorial Conversation -- A Pedagogical Template for Preparing Undergraduate Student Scientific Laboratory Reports and First Submissions to Academic Journals -- Messages from Scholars about History and Culture -- The Messengers of War -- The Beauty of Spirited Writing -- The Art of Being Green: Mimesis and the Environment in Book II of The Faerie Queene -- Una Vida Aislada: The Theme of Isolation in The House on Mango Street -- The Advantages of Quick Writing Bursts -- Another Possible Source of Hawthorne’s Hester Prynne -- A Brief Survey of US Accounting -- Writing in Criminal Justice: The Process…”
Access online version

Selected Abstracts of the 2nd Congress of joint European Neonatal Societies (jENS 2017); Venice (Italy); October 31-November 4, 2017; Session "Quality Improvement, Parents Centered... by -

Connect to this object online.