Filters








14,185 Hits in 4.3 sec

Preface

Antonio Cerone, Alessandra Di Pierro
2005 Theoretical Computer Science  
Aspects of Programming Languages (QAPL'01).  ...  are invited to present talks on the main and hottest areas of quantitative aspects of programming languages.  ... 
doi:10.1016/j.tcs.2005.08.002 fatcat:7vevncjwvbhpziantnu55upzqa

Preface

Alessandro Aldini, Franck van Breugel
2007 Electronical Notes in Theoretical Computer Science  
The proceedings appeared as volume 59 (3) The QAPL 2007 programme committee members were This volume contains the proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (  ...  In particular, the workshop focuses on • the design of languages with quantitative aspects and the definition of semantic models for such languages, • the discussion of methodologies for the analysis of  ... 
doi:10.1016/j.entcs.2007.08.012 fatcat:ivhut7c3prgmxpfbocr4zv6j24

Preface

Alessandro Aldini, Christel Baier
2008 Electronical Notes in Theoretical Computer Science  
Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems.  ...  Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties  ...  The history of QAPL starts in 2001, when its first edition was held in Florence, Italy, as a satellite event to the ACM Principles, Logics, and Implementations of high-level programming languages, PLI  ... 
doi:10.1016/j.entcs.2008.11.015 fatcat:ql2lpwyuxzd7bhibjkairdis7m

Preface

Lawrence S. Moss, Richard T. Oehrle
2004 Electronical Notes in Theoretical Computer Science  
FGMOL'01 provided a forum for the presentation of new and original research on formal grammar and mathematical aspects of language, especially with regard to the application of formal methods to natural  ...  This volume contains the Proceedings of the joint meeting of two conferences: the sixth conference on Formal Grammar and the seventh on Mathematics of Language.  ...  linguistic frameworks; theories and models of natural language processing and generation; parsing theory; and statistical and quantitative models of language.  ... 
doi:10.1016/s1571-0661(05)82569-1 fatcat:rqseploowjhphbmalw3bo3qjia

Preface

Vladimiro Sassone
2003 Electronical Notes in Theoretical Computer Science  
Colloquium on Automata, Languages and Programming, ICALP 2003.  ...  The Invited Speakers provided a representative sample of leading research in the area, touching upon protocol analysis, web services, and language-based security for quantitative resource analysis and  ...  Beside thanking Programme Committee members and Invited Speakers for their formidable contribution, I thankfully acknowledge the help of the following Referees: Lennart Beringer, Roberto Bruni, Luís Caires  ... 
doi:10.1016/s1571-0661(05)80082-9 fatcat:ymr3ozmwgraz3nklizanuzkypa

Preface

Christoph Beierle, Carlo Meghini
2015 Annals of Mathematics and Artificial Intelligence  
FoIKS 2014 solicited original contributions on foundational aspects of information and knowledge systems.  ...  This special issue of the Annals of Mathematics and Artificial Intelligence contains thoroughly revised and significantly extended versions of selected papers presented at the Eighth International Symposium  ...  List of Referees  ... 
doi:10.1007/s10472-015-9485-3 fatcat:47pw3iqrjfdurlrn3ljgjnpc2e

Preface

P. Höfner
2012 Formal Aspects of Computing  
Furthermore, we thank the editors and the publishers of Formal Aspects of Computing for publishing this Festschrift-in particular John Cooke, Jim Woodcock and Sabine Taeger for their enormous help, as  ...  Other information about Carroll's life was taken from the webpage of the software design group of the MIT. We are grateful to Daniel Jackson for providing the photograph.  ...  Preface 419 -"Using refinement calculus techniques to prove linearizability" by B. Jonsson presents rules for refinement of multi-threaded shared-variable concurrent programs.  ... 
doi:10.1007/s00165-012-0257-0 fatcat:dbej2gxdqrhyxne7yynjkxo2vi

Preface [chapter]

2018 Rietveld Refinement  
about its microstructure; and the diffuse intensity between the Bragg peaks gives information on various aspects of local structure or disorder.  ...  The technique of choice for structure determination is usually single crystal diffraction.  ...  It has also opened up the possibility of routine quantitative analysis of multiphase mixtures (including amorphous content) by the Rietveld method.  ... 
doi:10.1515/9783110461381-201 fatcat:2kax235edzgxfmgju4jljnqnue

Preface [chapter]

2022 Contemporary Jewish Communities in Three European Cities  
The three cities are somewhat similar in their culture (the usage of French is common, particularly in two of them), but also unique, as they belong to different nation states.  ...  Brussels is also a world city and serves as the center of the European Union.  ...  Preface  ... 
doi:10.1515/9783110698817-202 fatcat:nbei37jwynhg7c7mhwjbb7tzsy

JETDE 2011 Preface

Barbara B Lockee
2011 Journal of Educational Technology Development and Exchange  
Their article, "A Multiple Aspects Quantitative Indicator for Ability of English Vocabulary: Vocabulary Quotient", describes their creative development of the measure of a learner's vocabulary quotient  ...  JETDE 2011 Preface Barbara B. Lockee It is with great honor that I introduce this annual issue of the Journal of Educational Technology and Development Exchange.  ... 
doi:10.18785/jetde.0401.11 fatcat:mss5bn3yrrdj7e5wh2m3s6nxgq

Preface

Helen MacGillivray, Jim Ridgway, Rob Gould
2021 Teaching Statistics  
The editorial continues some aspects of this discussion.  ...  There are current and updated considerations of the perennial and ongoing challenges of language and technology in teaching.  ... 
doi:10.1111/test.12282 fatcat:lfno7aa5nbbsvas7xk36k3nm7y

Preface

Wacana Journal of the humanities of Indonesia
2010 Wacana: Journal of the Humanities of Indonesia  
the trans-language aspect of the names.  ...  A quantitative analysis of the 84 texts reveals that whilst ia and dia can both occur in subject position, they pattern differently.  ...  REVIEW ESSAY The Chinese in Indonesia Guidelines for the preparation of book reviews Wacana, Jurnal Ilmu Pengetahuan Budaya (Journal of the Humanities of Indonesia) Language Reviews may be written  ... 
doi:10.17510/wjhi.v12i2.131 fatcat:x4fthohrqfhlva3cqixml54nbe

Preface [chapter]

1974 Ain't No Big Thing  
Bishop Museum about the possibility of starting a research program.  ...  X Preface banization on indigenous peoples, and in human responses to environmental stress.  ...  First was the question of how much information to include, and how many aspects of the Hawaiian-American lifestyle we should try to account for.  ... 
doi:10.1515/9780824887766-001 fatcat:satms67t65gonjldtmiysmbvqa

Preface

György Molnár
2021 Acta Polytechnica Hungarica  
Our first thematic volume published at the beginning of 2020 contained the best studies and presentations from the proceedings of the 2018 conference.  ...  The present CogInfoCom-themed issue matches the thematic outlay of the previous CogInfoCom conference held in 2019.  ...  possibility to analyse the effectiveness of different programming technologies.  ... 
doi:10.12700/aph.18.1.2021.1.1 fatcat:rgsnxll5wzaitpl2nw4yaxxaru

Preface

Jonathan E. Fielding
2009 Annual Review of Public Health  
Key components of EBPH include making decisions on the basis of the best available scientific evidence, using data and information systems systematically, applying program-planning frameworks, engaging  ...  Three types of evidence have been presented on the causes of diseases and the magnitude of risk factors, the relative impact of specific interventions, and how and under which contextual conditions interventions  ...  One can find many examples of the use of triangulation of qualitative and quantitative data to evaluate health programs and policies including AIDS-prevention programs (50), occupational health programs  ... 
doi:10.1146/annurev.pu.30.031709.100001 pmid:19705553 fatcat:sbvaze3jkfelrdpq3nmwszeo64
« Previous Showing results 1 — 15 out of 14,185 results