Refine Results
Sort By
From
To
Page 4
Page 4
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in pervasive computing and networking
"Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive environments in which computing components and humans can interact regardless of the location. The combination of an abundance of computational power of the processors and the communication bandwidth provided by the wireless and mobile networking everywhere and all the time makes such environments within the reach of current technology. Yet, to realize the full potential of such environments, many technical and economical challenges needs to be overcome. These challenges and the perspective on the seminal directions of the research in this area were the subject of the Workshop for Pervasive Computing and Networking at Rensselaer Polytechnic Institute, Troy, NY, USA.
Action Research in Software Engineering: Theory and Applications
This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. It elaborates on how to find the right research activities and how to distinguish them from non-significant ones. Further, it details how to glean lessons from the research results, no matter whether they are positive or negative. Lastly, it shows how companies can evolve and build talents while expanding their product portfolio.
Analysis, design and construction of foundations
Outlines methods for analysis and design the construction of shallow and deep foundations with particular reference to case studies in Hong Kong and China, as well as a discussion of methods used in other countries. It introduces the main approaches used by geotechnical and structural engineers, and the precautions required for planning and designing foundation structures. Some computational methods and computer programs are reviewed to provide tools for performing more realistic analysis of foundation systems.
Marketing metrics : Leverage analytics and data to optimize marketing strategies
Featuring examples from a range of organizations including Coca-Cola and Mercedes-Benz, it shows how to create a strategy which leverages consumer data for customer-centric marketing, establishes the ROI of channels and campaigns, strengthens brands and creates data-driven product strategies. Covering the range of new global laws that impact consumer privacy and data collection and usage, Marketing Metrics shows how to use data in a non-invasive, secure and ethical way.
Marginality : Addressing the Nexus of poverty, exclusion and ecology
In this volume economists, ecology experts, geographers, agronomists, sociologist, and business experts come together to address marginality. The inter-disciplinary research offers conceptual innovations and presents the dimensions of marginality in developing countries. Economic, political, and environmental drivers are assessed and mapped globally and in detail for countries in Africa and Asia, especially Ethiopia, India, Bangladesh, China, Indonesia. Economic growth especially in rural areas remains and farming communities is central to poverty reduction but needs to be complemented with specific actions to reach those at the margins.
Making European Merger Policy More Predictable
Making European Merger Policy More Predictable analyses European Merger Control with regard to its capacity to generate predictability among the concerned parties. Starting from the premise that predictability is of overwhelming importance for the functioning of market economies, Voigt and Schmidt ask to what degree European Merger Control has been predictable over the last couple of years. The authors show both theoretically and empirically that there have been serious shortcomings with regard to the predictability of competition policy. They identify the insufficient recognition of the consequences of globalization on the competitive processes as well as an often inconsistent application of economic theory as the root causes for the lack of predictability. The inconsistent application of economic theory is particularly relevant with regard to potential competition and the evaluation of collective dominance. The authors generate a substantial number of proposals that could help to improve predictability. On this basis, Voigt and Schmidt critically assess the recent reforms of European Merger Control.
Biased technical change and economic conservation laws
Makes use of Lie groups to shed new light on the analysis of economic conservation laws. Economic conservation laws are not simply abstract concepts; this book shows that they are tools of empirical analysis that can be applied to such topics as analyses of macro performance and corporate efficiency.
Asias debt capital markets : Prospects and strategies for development
The book has three parts. Part I describes the characteristics and historical origins of these markets. Part II examines the contemporary bond markets and shows how they contribute to general welfare, describes the relationship between the banking sector and capital markets, and assesses prospects for reform in Asia's governmental and corporate debt markets. Part III explains the micro-level impediments and obstacles that must be the first targets of any reform efforts, provides an appraisal of attempts at regional cooperation to stimulate structural reform, and lastly contributes proposals to accelerate the growth and reach of bond markets throughout Asia.
Accounting, Cash Flow and Value Relevance
Investigates the value relevance of the operating cash flow as reported under the International Financial Reporting Standards (IAS/IFRS) for the largest European listed companies and US listed companies in the past recent years. Using the model based on the valuation theory developed by Ohlson, which measures the market value of equity as a function of accounting variables, the author concludes that operating cash flow represents a significant variable in determining the value relevance of the largest European and US listed companies. These findings provide siginificant implications for standard setters and support the continued requirements for disclosure of cash flow information under IAS 7.
A Fair Share of Tax : A Fiscal Anthropology of Contemporary Sweden
Takes a taxpayer's perspective to the relations taxation creates between people and their state. Larsen proposes that in order to understand tax compliance and cheating, we have to look beyond law, psychological experiments and surveys to include tax collectors and taxpayers' practices. The text explores the view of taxes seen as citizen’s explicit economic relation to the state and implicit economic relation to all other compatriots. Larsen suggests how to build and increase tax compliance if we take the idea of taxation creating reciprocal relations seriously.
101 Ways to Save Money on Your Tax - Legally! 2022-2023
Tax laws are constantly changing, but you don’t have to pore over piles of legislation to file your tax accurately and completely — that’s what Mr. Taxman is here for. Don’t let yourself become one of the people who overpay. Find out what you actually owe, and prepare for even better savings next year. This guide removes the stress and confusion from tax season and helps you file on time with no mistakes. Whether you're an individual, married couple,
Building codes illustrated : The basics
Delivers a concise visual introduction to the 2021 International Building Code (IBC) distilled from the industry bestseller Building Codes Illustrated. With clear language and Frank Ching's distinctive illustrations, the book offers readers a sound understanding of the foundations of the IBC. A solid understanding of the fundamentals of the 2021 International Building Code for students without a background in architecture or engineering Intuitive and memorable study material for people seeking licensure via the Architect Registration Exam Visually striking and memorable material designed to catch the reader's eye, hold attention, and improve retention
MARE-WINT : New Materials and Reliability in Offshore Wind Turbine Technology
This book provides a holistic, interdisciplinary overview of offshore wind energy, and is a must-read for advanced researchers. Topics, from the design and analysis of future turbines, to the decommissioning of wind farms, are covered. The scope of the work ranges from analytical, numerical and experimental advancements in structural and fluid mechanics, to novel developments in risk, safety & reliability engineering for offshore wind. The core objective of the current work is to make offshore wind energy more competitive, by improving the reliability, and operations and maintenance (O&M) strategies of wind turbines.
Mathematical Aspects of Classical and Celestial Mechanics
In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted to the mathematical side of the subject. Although the physical background of the models considered here and the applied aspects of the phenomena studied in this book are explored to a considerably lesser extent, we have tried to set forth first and foremost the “working” apparatus of classical mechanics. This apparatus is contained mainly in Chapters 1, 3, 5, 6, and 8. Chapter 1 is devoted to the basic mathematical models of classical - chanics that are usually used for describing the motion of real mechanical systems. Special attention is given to the study of motion with constraints and to the problems of realization of constraints in dynamics. In Chapter 3 we discuss symmetry groups of mechanical systems and the corresponding conservation laws. We also expound various aspects of ord- reduction theory for systems with symmetries, which is often used in appli- tions. Chapter 4 is devoted to variational principles and methods of classical mechanics. They allow one, in particular, to obtain non-trivial results on the existence of periodic trajectories. Special attention is given to the case where the region of possible motion has a non-empty boundary. Applications of the variational methods to the theory of stability of motion are indicated.
Mathematical and Computational Models for Congestion Charging
This book presents rigorous treatments of issues related to congestion pricing. The chapters describe recent advances in areas such as mathematical and computational models for predicting traffic congestion, determining when, where, and how much to levy tolls, and analyzing the impact of tolls on transporation systems. The analyses and methodologies developed in this book provide Mechanisms that aid in determining and comparing congestion pricing schemes; Methodologies for evaluating the efficiency of existing and proposed congestion pricing schemes; A means to predict the impact of pricing on urban transporation systems; and Information essential to the financial and political success of congestion pricing programs.
Material Agency : Towards a Non-Anthropocentric Approach
This book is a groundbreaking attempt to address questions of non-human and material agency from a wide range of perspectives and disciplines: archaeology, anthropology, sociology, cognitive science, philosophy, and economics. The editors and authors demostrate that a distributed, relational approach to agency, incorporating both humans and artifacts, has important ramifications for how we understand material culture.
Matematica e cultura 2008 = mathematics and culture 2008
In this new book, the tenth of the series that began in Venice with the meetings "Mathematics and culture" that many have tried to imitate, we talk about all this and among others Simon Singh (author of the best seller "The last theorem di Fermat "), in her third presence in Venice, and Siobhan Roberts (author of" The king of infinite space. History of the man who saved geometry "). Venice bridge between mathematics and culture.
Matematica e cultura 2005 = Mathematics and culture 2005
E si parla di arte; oltre che di Pizzinato, di Pollock, grazie alla collaborazione della Guggenheim Collection di Venezia.E si parla di architettura, dalla topologia ai progetti di Ghery e di Renzo Piano.E di modelli matematici per la lotta contro il cancro, contro l’AIDS.Di come la matematica può aiutare a prevenire e intervenire. E si parla di matematica della guerra e di come la matematica possa aiutare a proteggere l’ambiente. Nel gennaio 2005, scrivendo queste parole, diventa di grande e drammatica attualità l’utilizzo dei modelli matematici per la meteorologia. Prevedere per salvare.
Mass Terms : Some Philosophical Problems
MASS TERMS, COUNT TERMS, AND SORTAL TERMS Central examples of mass terms are easy to come by. 'Water', 'smoke', 'gold', etc. , differ in their syntactic, semantic, and pragmatic properties from count terms such as 'man', 'star', 'wastebasket', etc. Syntactically, it seems, mass terms do, but singular count terms do not, admit the quantifier phrases 'much', 'an amount of', 'a little', etc. The typical indefinite article for them is 'some' (unstressed)!, and this article cannot be used with singular count terms. Count terms, but not mass terms, use the quantifiers 'each', 'every', 'some', 'few', 'many'; and they use 'a(n)' as the indefinite article. They can, unlike the mass terms, take numerals as prefixes.
