الصفحة 8
الصفحة 8
Topological Data Analysis for Genomics and Evolution : Topology in Biology
Biology has entered the age of Big Data. A technical revolution has transformed the field, and extracting meaningful information from large biological data sets is now a central methodological challenge. Algebraic topology is a well-established branch of pure mathematics that studies qualitative descriptors of the shape of geometric objects. It aims to reduce comparisons of shape to a comparison of algebraic invariants, such as numbers, which are typically easier to work with. Topological data analysis is a rapidly developing subfield that leverages the tools of algebraic topology to provide robust multiscale analysis of data sets. This book introduces the central ideas and techniques of topological data analysis and its specific applications to biology, including the evolution of viruses, bacteria and humans, genomics of cancer, and single cell characterization of developmental processes.
Topics on Concentration Phenomena and Problems with Multiple Scales
This volume includes lecture notes devoted to the asymptotic analysis of such problems when the multi-scale behaviour derives from scale separation in the passage from atomistic systems to continuous functionals, from competition between bulk and surface energies, from various types of homogenization processes (random, in perforated domains, on fractals), and to concentration effects in Ginzburg-Landau energies and in subcritical growth problems.
Topics in Elementary Geometry
This small book has for a long time been a unique place to find classical results from geometry, such as Pythagoras' theorem, the nine-point circle, Morley's triangle, Poncelet's polygons, and many other subjects. In addition, this book contains recent, geometric theorems which have been obtained in this classical field over the past years. There are 27 independent chapters on a wide range of topics in elementary plane Euclidean geometry, at a level just beyond what is usually taught in a good high school or college geometry course. The selection of topics is intelligent, varied, and stimulating. In a small space the author provides many thought-provoking ideas.
Topics in cryptology – CT-RSA 2007 ; The cryptographers' track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings
This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held in San Francisco, CA, USA in February 2007. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 73 submissions which cover all the topics of cryptography. The papers are organized in topical sections.
Topics in cryptology -- CT-RSA 2006 ; The cryptographers' track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings
This book constitutes the refereed proceedings of the Cryptographers’ Track at the RSA Conference 2006,held in San Jose, CA, USA, February 13-17, 2005. The RSA R Conference, with over 15,000attendees, as well as over 225 sponsors and exhibitors, is the largest computer security event of the year. The Cr- tographers’ Track is one of the many parallel tracks. These proceedings contain the papers presented during the sixth edition. The tradition indeed started in 2001, and is by now well established: the Cryptographers’ Track at the RSA Conference is among the major events in cryptography. There were 72 submitted contributions, of which 22 were selected for p- sentation. They cover all aspects of cryptography (symmetric and asymmetric cryptography, constructions and attacks, new trends).
Topics in cryptology -- CT-RSA 2005 ; The cryptographers' track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings
This book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held in San Francisco, CA, USA in February 2005. The 23 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 74 submissions. The papers are organized in topical sections on cryptanalysis, public key encryption, signature schemes, design principles, password-based protocols, pairings, and efficient and secure implementations.
Topics in Analysis and its Applications
Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come from elasticity theory. Areas covered include the theory of p-adic analysis, mappings of bounded mean oscillations, quasiconformal mappings of Klein surfaces, complex dynamics of inverse functions of rational or transcendental entire functions, the nonlinear Riemann-Hilbert problem for analytic functions with nonsmooth target manifolds, the Carleman-Bers-Vekua system, the logarithmic derivative of meromorphic functions, G-lines, computing the number of points in an arbitrary finite semi-algebraic subset, linear differential operators, explicit solution of first and second order systems in bounded domains degenerating at the boundary, the Cauchy-Pompeiu representation in L2 space, strongly singular operators of Calderon-Zygmund type, quadrature solutions to initial and boundary-value problems, the Dirichlet problem, operator theory, tomography, elastic displacements and stresses, quantum chaos, and periodic wavelets.
Tools and algorithms for the construction and analysis of systems ; Vol. 3440 ; 11th International conference, TACAS 2005, Held as Part of the Joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking
Tools and Algorithms for the Construction and Analysis of Systems ; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.
Tools and algorithms for the construction and analysis of systems ; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.
Tool and Object : A History and Philosophy of Category Theory
The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory was an important conceptual tool in 20th century mathematics whose influence on some mathematical subdisciplines (above all algebraic topology and algebraic geometry) is analyzed. Category theory also has an important philosophical aspect: on the one hand its set-theoretical foundation is less obvious than for other mathematical theories, and on the other hand it unifies conceptually a large part of modern mathematics and may therefore be considered as somewhat fundamental itself. The role of this philosophical aspect in the historical development is the second focus of the book.
Time-Dependent Scheduling
Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. This book is a comprehensive study of complexity results and optimal and suboptimal algorithms concerning time-dependent scheduling in single-, parallel- and dedicated-machine environments. In addition to complexity issues and exact or heuristic algorithms which are typically presented in scheduling books, the author also includes more advanced topics such as matrix methods in time-dependent scheduling, and time-dependent scheduling with two criteria.
Time Continuity in Discrete Time Models : New Approaches for Production Planning in Process Industries
Production planning problems containing special characteristics from process industries are addressed in this book. The main subject is the development of mathematical programming models that allow to model production plans which are not disrupted by discretization of time. However, discrete time models are used as a basis and are subsequently enhanced to include aspects of time continuity. Their integration is achieved by different building blocks which may be combined freely according to the specific planning situation at hand. The primary area of application of these kinds of models are process industries.
Time and Modality
Time and Modality is a unique work of reference; not only does it unite studies which explore the syntax and semantics of tense or modality but it is the first book of its kind to embrace the interaction of tense and modality within a coherent generative model. Various topics are covered in this volume: among them are the counterfactual uses of conditionals, modals, and past tense; the irrealis use of perfective aspect; a special English subjunctive; the interaction of tense assignment and the definition of an event; the modal verb as a causative verb; the interaction of modality, tense, and aktionsart; the contrast between deontic and epistemic modal with respect to tense interpretation; the syntax of epistemic modals; the long-awaited definition of generic and habitual sentence; and the introduction of intensionality in copular clauses.
Tight Junctions
ight junctions (TJs) are cell-ceil adhesion belts that encircle epithelial and endothelial cells at the limit between the apical and the lateral Tmembrane. These junctions are crucial for the establishment of separate compartments in multicellular organisms and for the exchange of substances between the internal milieu and the external environment. The perception of TJs has changed over the years. From being regarded as static paracellular seals, they have come to be perceived as dynamic structures that adjust their morphol ogy and function in response to physiological, pharmacological and pathologi cal challenges.
Thyroid Ultrasound and Ultrasound-Guided FNA
Thyroid Ultrasound and Ultrasound-Guided FNA, Second Edition is a "user friendly" book for the clinician, using ultrasound in the evaluation and management of thyroid disease. It reviews new information regarding ultrasound and the subtleties one needs to know in the application of this technique. With abundant ultrasound images, it demonstrates how ultrasound is integrated with the patient history, physical exam, and other thyroid tests (especially FNA biopsy) providing information on improving care. The book presents numerous, new innovative uses of ultrasound that are being implemented worldwide.
Thyroid Gland Disorders
Thyroid Gland and its Role In Human body. PHYSIOLOGIC ANATOMY OF THE THYROID GLAND: The thyroid gland, located immediately below the larynx on each side of and anterior to the trachea, is one of the largest endocrine glands. The thyroid secretes two major metabolic hormones thyroxine and triiodothyronine, commonly called T4 and T3, respectively. the thyroid gland is composed of large numbers of closed follicles that are filled with a secretory substance called colloid and lined with cuboidal epithelial cells that secrete into the interior of the follicles. The major constituent of colloid is the large glycoprotein thyroglobulin, which contains the thyroid hormones. The thyroid gland also contains C cells that secrete calcitonin, a hormone that contributes to regulation of plasma calcium ion concentration.
Thrown Rope
Hutchinson's works are ephemeral and evanescent, produced out in the open, where they are subject to the whims of nature. Much of it is the product of his "thrown rope" methodliterally throwing ropes over an expanse of land, then placing lime or planting flowers along the lines deter-mined by the ropes. The result is a snakelike garden or swerving lines of bleached land. Hutchinson has even thrown ropes underwater, planting flowers at the bottom of a lake or stringing oranges or onions beneath the water's surface.Such projects are just a slice of Hutchinson's many conceptual pieces.
Third-Party Liability of Classification Societies : A Comparative Perspective
Classification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and property at sea by securing high te- nical standards of design, manufacture, construction and maintenance of seagoing vessels. Each and every shipping catastrophe caused by a technical defect reminds the maritime world of the central importance of the vessel’s proper technical supervision. Correspondingly, the liability of classification societies has become a particularly discussed issue over the past years. Their contractual liability is usually limited by general terms and conditions incorporated in the classification rules and cases brought by typical contracting partners of classification societies, such as ship owners and ship yards, are not an issue in the current debate. H- ever, one can note a substantial worldwide increase of actions brought by parties who are not in privity with classification societies. This study focuses on third-party liability of classification societies. It ori- nates in an expert opinion on selected issues relating to third-party liability which the authors compiled for the German classification society Germanischer Lloyd AG. Driven by the highly interesting legal issues and unexplored shores in this area of law
Thinking about Life : The History and Philosophy of Biology and Other Sciences
Our previous book, About Life, concerned modern biology. We used our present-day understanding of cells to ‘define’ the living state, providing a basis for exploring several general-interest topics: the origin of life, extraterrestrial life, intelligence, and the possibility that humans are unique. The ideas we proposed in About Life were intended as starting-points for debate – we did not claim them as ‘truth’ – but the information on which they were based is currently accepted as ‘scientific fact’. What does that mean? What is ‘scientific fact’ and why is it accepted? What is science – and is biology like other sciences such as physics (except in subject m- ter)? The book you are now reading investigates these questions – and some related ones. Like About Life, it may particularly interest a reader who wishes to change career to biology and its related subdisciplines. In line with a recommendation by the British Association for the Advancement of Science – that the public should be given fuller information about the nature of science – we present the concepts underpinning biology and a survey of its historical and philosophical basis.
