الصفحة 100
الصفحة 100
Amartya Sens Capability Approach: Theoretical Insights and Empirical Applications
Kuklys examines how Nobel Prize-winning economist Amartya Sen’s approach to welfare measurement can be put in practice for poverty and inequality measurement in affluent societies such as the UK. Sen argues that an individual’s welfare should not be measured in terms of her income, but in terms what she can actually do or be, her capabilities. In Chapters 1 and 2, Kuklys describes the capability approach from a standard welfare economic point of view and provides a comprehensive literature review of the empirical applications in this area of research. In the remaining chapters, novel econometric techniques are employed to operationalise the concepts of functionings and capability to investigate inequality and poverty in terms of capability in the UK. Kuklys finds that capability measurement is always a useful complement to traditional monetary analysis, and particularly so in the case of capability-deprived disabled individuals.
Altering nature ; Vol.2 : Religion, Biotechnology, and Public Policy
The two volumes of Altering Nature consider the complex ways that concepts of 'nature' and 'the natural' are understood and the relevance of those understandings to discussions of biotechnology.Volume Two, Religion, Biotechnology, and Public Policy, reviews recent religious and ethical analyses of four specific areas of biotechnology: assisted reproduction, genetic therapy and enhancement, human-machine incorporation, and biodiversity. It identifies and explores the richer normative themes that inform particular debates and suggests ways that policy choices in biotechnology may be illuminated by devoting greater attention to religious perspectives.
Alshaer Hotel
The project is a hotel located in Swaida city consist of 5 mass. The total area of typical floors is 1400 m2 and it continuous for 12 floor.
Alqadam Train Station
Aims to focuses on the redesign of the Southern Train Station of Damascus, located in the Al-Qadam area. The proposal aims to preserve the historical identity of the existing station while expanding it to meet the needs of modern urban mobility. The design balances heritage conservation with contemporary architectural expression, creating a space that respects the cultural fabric of Damascus while addressing future growth.Key elements include increasing station capacity, integrating sustainable design strategies, and enhancing passenger flow. Renewable energy use, passive ventilation, and green spaces are central to reducing environmental impact and improving user comfort. يركّز مشروع التخرج هذا على إعادة تصميم المحطة الجنوبية للقطارات في دمشق، الواقعة في منطقة القديهدف المشروع إلى الحفاظ على الهوية التاريخية للمحطة القديمة مع تطويرها وتوسيعها لتلبية احتياجات النقل الحضري المعاصر. يجمع التصميم بين صون التراث والتعبير المعماري الحديث، ليخلق فضاءً يحترم النسيج الثقافي لدمشق ويستجيب في الوقت نفسه لمتطلبات النمو المستقبلي. تشمل العناصر الأساسية زيادة القدرة الاستيعابية للمحطة، ودمج استراتيجيات التصميم المستدام، وتحسين حركة المسافرين. كما يعتمد المشروع على استخدام الطاقة المتجددة، والتهوية الطبيعية، وإضافة المساحات الخضراء لتقليل الأثر البيئي وتعزيز راحة المستخدمين.
Algorithms in Real Algebraic Geometry
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering. In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing.
Algorithms in Bioinformatics : Theory and Implementation
Explores a comprehensive and insightful treatment of the practical application of bioinformatic algorithms in a variety of fields. Delivers a fulsome treatment of some of the main algorithms used to explain biological functions and relationships. It introduces readers to the art of algorithms in a practical manner which is linked with biological theory and interpretation. The book covers many key areas of bioinformatics, including global and local sequence alignment, forced alignment, detection of motifs, Sequence logos, Markov chains or information entropy. Other novel approaches are also described, such as Self-Sequence alignment, Objective Digital Stains (ODSs) or Spectral Forecast and the Discrete Probability Detector (DPD) algorithm. Readers will also benefit from the inclusion of: A detailed presentation of new methods, such as Self-sequence alignment, Objective Digital Stains and Spectral Forecast ; A treatment of sequence alignment, including local sequence alignment, global sequence alignment and forced sequence alignment with full implementations ; Discussions of position-specific weight matrices, including the count, weight, relative frequencies, and log-likelihoods matrices ; A detailed presentation of the methods related to Markov Chains as well as a description of their implementation in Bioinformatics and adjacent fields ; An examination of information and entropy, including sequence logos and explanations related to their meaning ; A chapter on philosophical transactions that allows the reader a broader view of the prediction process ; Extensive worked examples with detailed case studies that point out the meaning of different results
Algorithms for Sensor and Ad Hoc Networks : Advanced Lectures
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain or other. After activation the sensors form a self-organized network and provide data, for example about a forthcoming earthquake. The trend towards wireless communication increasingly affects electronic devices in almost every sphere of life. Conventional wireless networks rely on infrastructure such as base stations; mobile devices interact with these base stations in a client/server fashion. In contrast, current research is focusing on networks that are completely unstructured, but are nevertheless able to communicate (via several hops) with each other, despite the low coverage of their antennas. Such systems are called sensor or ad hoc networks, depending on the point of view and the application. Wireless ad hoc and sensor networks have gained an incredible research momentum. Computer scientists and engineers of all flavors are embracing the area. Sensor networks have been adopted by researchers in many fields: from hardware technology to operating systems, from antenna design to databases, from information theory to networking, from graph theory to computational geometry.
Algorithms and data structures ; 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings
The book present research on the theory and application of algorithms and data structures in all areas, including combinatorics, computational geometry, databases, graphics, parallel and distributed computing.
Algorithms and architectures for parallel processing ; 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings
The improvements in computation and communication capabilities have enabled the creation of demanding applications in critical domains such as the environment, health, aerospace, and other areas of science and technology. Similarly, new classes of applications are enabled by the availability of heterogeneous large-scale distributed systems which are becoming available nowadays (based on technologies such as grid and peer-to-peer systems).Parallel computing systems exploit a large diversity of computer architectures, from supercomputers, shared-memory or distributed-memory multi processors, to local networks and clusters of p- sonal computers. With the recent emergence of multi core architectures, parallel computing is now set to achieve “mainstream” status. Approaches that have been advocated by parallel computing researchers in the past are now being utilized in a number of software libraries and hardware systems that are available for everyday use. Parallel computing ideas have also come to dominate areas such as multi user gaming (especially in the development of gaming engines based on “cell” arc- tectures).
Algorithms – ESA 2005 ; 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
This volume contains the 75 contributed papers and the abstracts of the threeinvited lectures presented at the 13th Annual European Symposium on Algo-rithms (ESA 2005), held in Spain, 2005. respectively.Papers were solicited in all areas of algorithmic research, including but notlimited to algorithmic aspects of networks, approximation and on-line algo-rithms, computational biology, computational geometry, computational financeand algorithmic game theory, data structures, database and information re-trieval, external memory algorithms, graph algorithms, graph drawing, machinelearning, mobile computing, pattern matching and data compression, quantumcomputing, and randomized algorithms. The algorithms could be sequential,distributed, or parallel. Submissions were especially encouraged in the area ofmathematical programming and operations research, including combinatorialoptimization, integer programming, polyhedral combinatorics, and semidefiniteprogramming.Each extended abstract was submitted to one of the two tracks.
Algorithmic learning theory ; 18th International conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings
This volume contains the papers presented at the 18th International Conf- ence on Algorithmic Learning Theory.The main objective of the conference was to provide an interdisciplinary forum for high-quality talks with a strong theore- cal background and scientiبهc interchange in areas such as query models, on-line learning, inductive inference, algorithmic forecasting, boosting, support vector machines, kernel methods, complexity and learning, reinforcement learning, - supervised learning and grammatical inference.
Algorithmic information theory : Mathematics of digital information processing
This book treats the Mathematics of many important areas in digital information processing.It covers, in a unified presentation, five topics: Data Compression, Cryptography, Sampling (Signal Theory), Error Control Codes, Data Reduction. The thematic choices are practice-oriented. So, the important final part of the book deals with the Discrete Cosine Transform and the Discrete Wavelet Transform, acting in image compression. The presentation is dense, the examples and numerous exercises are concrete. The pedagogic architecture follows increasing mathematical complexity.
Algorithmic Aspects in Information and Management ; Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information and Management, AAIM 2006, held in Hong Kong, June 2006. The book presents 34 revised full papers together with abstracts of 2 invited talks. The papers cover topics from areas such as online scheduling, game and finance, data structures and algorithms, computational geometry, optimization, graph, and string, and more.
Algorithmic applications in management ; 1st international conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings
The papers in this volume were presented at the 1st International Conference onAlgorithmic Applications in Management (AAIM 2005), in China. The topics cover algorithmic applications in most management-related areas.including Programming Techniques Business Strategy/Leadership Theory of Computation Algorithm Analysis and Problem Complexity Data Structures Discrete Mathematics in Computer Science
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
Algebraic Groups and Lie Groups with Few Factors
Algebraic groups are treated in this volume from a group theoretical point of view and the obtained results are compared with the analogous issues in the theory of Lie groups. The main body of the text is devoted to a classification of algebraic groups and Lie groups having only few subgroups or few factor groups of different type. In particular, the diversity of the nature of algebraic groups over fields of positive characteristic and over fields of characteristic zero is emphasized. This is revealed by the plethora of three-dimensional unipotent algebraic groups over a perfect field of positive characteristic, as well as, by many concrete examples which cover an area systematically. In the final section, algebraic groups and Lie groups having many closed normal subgroups are determined.
Algebraic Geometry and Geometric Modeling
Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects.
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
Algebra and Coalgebra in Computer Science; First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.
Algebra and Coalgebra in Computer Science ; 2nd International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
