تحسين النتائح
ترتيب حسب
من
الى
الصفحة 10
الصفحة 10
Cambridge and Vienna : Frank P. Ramsey and the Vienna Circle
The Institute Vienna Circle held a conference in 2003, Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle, to commemorate the philosophical and scientific work of Frank Plumpton Ramsey (1903-1930). This Ramsey conference provided historical and biographical perspectives on one of the most gifted thinkers of the Twentieth Century.
Calibrating the Cosmos : How Cosmology Explains Our Big Bang Universe
Calibrating the Cosmos describes hard science, but is gently written. It explains in clear, non-mathematical language the measurements and the interpretation of the resulting data that have led to the current understanding of the origin, evolution and properties of our expanding Big Bang universe. Many people have a sketchy idea of the work of cosmologists, but Professor Levin’s experience in teaching both scientific and liberal arts students has enabled him to impart much of our current thinking without resorting to difficult mathematics. Theoretical concepts are emphasized, in particular the symmetries of homogeneity and isotropy enjoyed by our universe on the largest scales, how these symmetries lead to only one quantity being needed to describe the growth of the universe from its infancy to the present time, and how the so-called parameters of the universe are the ingredients used to construct the model universes to which ours – the real thing – is compared.
Cálculo científico com MATLAB e Octave = Scientific calculus with MATLAB and Octave
Its objective is to present various numerical methods for solving certain mathematical problems on the computer that cannot be treated in a simpler way. Classical issues such as the computation of zeros or integrals of continuous functions, the solving of linear systems, the approximation of functions by polynomials and the construction of precise approximations for solutions of differential equations are addressed. All algorithms are presented in the programming languages MATLAB and Octave, whose main commands and instructions are introduced gradually, aiming in particular at their compatibility in both languages.
Business Writing For Dummies
This friendly guide equips you with a step-by-step method for planning what to say and how to say it in writing. This sytem empowers you to handle every writing challenge with confidence, from emails to proposals, reports to resumes, presentations to video scripts, blogs to social posts, websites to books. Discover down-to-earth techniques for sharpening your language and correcting your own writing problems. Learn how to adapt content, tone and style for each medium and audience. And learn to use every message you write to build better relationships and solve problems, while getting to the “yes” you want.
Brain research in language
processing with precise temporal and spatial resolutions, respectively. This book presents data obtained from various studies employing behavioral, electrophysiological and imaging methodologies in different languages focusing on the regular reading process and the dyslexic population.Educators and researchers within neuroscience, literacy, and special education will benefit from Brain Research in Language.
Beliefs about SLA : New Research Approaches
This edited collection of articles illustrates more recent work on beliefs about SLA, drawing on the thinking of (educational) philosophers and (discursive) psychologists, including Dewey, Bakhtin, Vygotsky, and Potter.
Bayesian core : A practical approach to computational Bayesian statistics
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on its theoretical justifications. Special attention is paid to the derivation of prior distributions in each case and specific reference solutions are given for each of the models.
Bayesian computation with R : Introduces Bayesian modeling by use of computation using the R language
R's open source nature, free availability, and large number of contributor packages have made R the software of choice for many statisticians in education and industry. Bayesian Computation with R introduces Bayesian modeling by the use of computation using the R language.
Basic principles and applications of probability theory
This introductory chapter discusses such notions as determinism, chaos and randomness, p- dictibility and unpredictibility, some initial approaches to formalizing r- domness and it surveys certain problems that can be solved by probability theory. This will perhaps give one an idea to what extent the theory can - swer questions arising in speci?c random occurrences and the character of the answers provided by the theory. 1. 1 The Nature of Randomness The phrase “by chance” has no single meaning in ordinary language. For instance, it may mean unpremeditated, nonobligatory, unexpected, and so on. Its opposite sense is simpler: “not by chance” signi?es obliged to or bound to (happen). In philosophy, necessity counteracts randomness. Necessity signi?es conforming to law – it can be expressed by an exact law. The basic laws of mechanics, physics and astronomy can be formulated in terms of precise quantitativerelationswhichmustholdwithironcladnecessity.
Balkan Sprachbund Morpho-Syntactic Features
This book discusses the morpho-syntactic Balkan Sprachbund features in nine languages in which they are most numerous. It contains a wealth of Balkan linguistic material, collected from both the existing literature sources and from the author’s own field work.
Aspectual Inquiries
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in 2002 whose purpose was to foment active cross-disciplinary communication. A number of the papers examine the syntactic representation of lexical or situation aspect, while others focus on the syntactic interaction of lexical aspect with grammatical aspect, and of grammatical aspect and tense. Other papers examine the role of aspect in discourse representations, while a third group of papers reports on results of empirical studies on the acquisition of aspect in both first and second language acquisition, and patterns of loss of morphosyntactic reflexes of aspect in language attrition.
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Arabic Computational Morphology : Knowledge-based and Empirical Methods
The morphology of Arabic poses special challenges to computational natural language processing systems. The exceptional degree of ambiguity in the writing system, the rich morphology, and the highly complex word formation process of roots and patterns all contribute to making computational approaches to Arabic very challenging. Indeed many computational linguists across the world have taken up this challenge over time, and many of the researchers with a track record in this research area have contributed to this book.
Applied Linguistics and Language Teacher Education
Applied Linguistics and Language Teacher Education is aimed at applied linguists who are interested in understanding more about the learning of novice teachers in their classes. The 21 studies in this volume provide information on the complexity of novice teachers’ learning and use of knowledge in a variety of applied linguistics classes such as SLA, Syntax, Pragmatics, Sociolinguistics, Phonetics and Phonology, L2 Reading and Writing, Testing, and Content Based Instruction. These studies were conducted in a variety of contexts, from North and South America to Europe, Asia and Australia, and look at the preparation of teachers of English, Spanish and Chinese.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
Analysis of phylogenetics and evolution with R
This book integrates a wide variety of data analysis methods into a single and flexible interface: the R language. This open source language is available for a wide range of computer systems and has been adopted as a computational environment by many authors of statistical software. Adopting R as a main tool for phylogenetic analyses will ease the workflow in biologists' data analyses, ensure greater scientific repeatability, and enhance the exchange of ideas and methodological developments.
African Languages and Literatures in the 21st Century
Examines the crucial role still played by African languages in pedagogy and literatures in the 21st century, generating insights into how they effectively serve cultural needs across the African continent and beyond. Boldly positioning African languages as key resources in the 21st century, chapters focus on themes such as language revolt by marginalized groups at grassroots level, the experience of American students learning African languages, female empowerment through the use of African languages in music, film and literary works, and immigration issues. The contributions are written by scholars of language, literature, education and linguistics, and will be of interest to students and scholars in these and related areas.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04
Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computati
Advances in Automatic Differentiation
Covers advances in automatic differentiation theory and practice. Computer scientists and mathematicians will learn about recent developments in automatic differentiation theory as well as mechanisms for the construction of robust and powerful automatic differentiation tools. Computational scientists and engineers will benefit from the discussion of various applications, which provide insight into effective strategies for using automatic differentiation for inverse problems and design optimization.
