X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Topics in Survey Sampling (2001)
    New York, NY :Springer New York,
    Details
    UID:
    almahu_9947362992102882
    Format: XI, 292 p. , online resource.
    ISBN: 9781461220886
    Series Statement: Lecture Notes in Statistics, 153
    Content: The aim of this book is to make a comprehensive review on some of the research topics in the area of survey sampling which has not been covered in any book yet. The proposed book aims at making a comprehensive review of applications of Bayes procedures, Empirical Bayes procedures and their ramifications (like linear Bayes estimation, restricted Bayes least square prediction, constrained Bayes estimation, Bayesian robustness) in making inference from a finite population sampling. Parimal Mukhopadhyay is Professor at the Indian Statistical Institute (ISI), Calcutta. He received his Ph.D. degree in Statistics from the University of Calcutta in 1977. He also served as a faculty member in the University of Ife, Nigeria, Moi University, Kenya, University of South Pacific, Fiji Islands and held visiting positions at University of Montreal, University of Windsor, Stockholm University, University of Western Australia, etc. He has to his credit more than fifty research papers in Survey Sampling, some co-authored, three text books on Statistics and three research monographs in Survey Sampling. He is a member of the Institute of Mathematical Statistics and an elected member of the International Statistical Institute.
    Note: 1 The Basic Concepts -- 1.1 Introduction -- 1.2 The Fixed Population model -- 1.3 Different Types of Sampling Designs -- 1.4 The Estimators -- 1.5 Some Inferential Problems under Fixed Population Set-Up -- 1.6 Plan of the Book -- 2 Inference under Frequentist Theory Approach -- 2.1 Introduction -- 2.2 Principles of Inference Based on Theory of Prediction -- 2.3 Robustness of Model-Dependent Optimal Strategies -- 2.4 A Class of Predictors under Model ?(X, v) -- 2.5 Asymptotic Unbiased Estimation of Design-Variance of $${{\hat{T}}_{{GR}}}$$ -- 3 Bayes and Empirical Bayes Prediction of a Finite Population Total -- 3.1 Introduction -- 3.2 Bayes and Minimax Prediction of Finite Population Parameters -- 3.3 Bayes Prediction of a Finite Population Total under Normal Regression Model -- 3.4 Bayes Prediction under an Asymmetric Loss Function -- 3.5 James-Stein Estimator and Associated Estimators -- 3.6 Empirical Bayes Prediction of Population Total under Simple Location Model -- 3.7 EB-Prediction under Normal Model using Covariates -- 3.8 Applications in Small Area Estimation -- 3.9 Bayes Prediction under Random Error Variance Model -- 3.10 Exercises -- 4 Modifications of Bayes Procedure -- 4.1 Introduction -- 4.2 Linear Bayes Prediction -- 4.3 Restricted Linear Bayes Prediction -- 4.4 Constrained Bayes Prediction -- 4.5 Bayesian Robustness under a Class of Alternative Models -- 4.6 Robust Bayes Estimation under Contaminated Priors -- 4.7 Exercises -- 5 Estimation of Finite Population Variance, Regression Coefficient -- 5.1 Introduction -- 5.2 Design-Based Estimation of a Finite Population Variance -- 5.3 Model-Based Prediction of V -- 5.4 Bayes Prediction of V(y) -- 5.5 Asymptotic Properties of Sample Regression Coefficient -- 5.6 PM-Unbiased Estimation of Slope Parameters in the Linear Regression Model -- 5.7 Optimal Prediction of Finite Population Regression Coefficient under Multiple Regression Model -- 5.8 Exercises -- 6 Estimation of a Finite Population Distribution Function -- 6.1 Introduction -- 6.2 Design-Based Estimators -- 6.3 Model-Based Predictors -- 6.4 Conditional Approach -- 6.5 Asymptotic Properties of the Estimators -- 6.6 Non-Parametric Kernel Estimators -- 6.7 Desirable Properties of an Estimator -- 6.8 Empirical Studies -- 6.9 Best Unbiased Prediction (BUP) under Gaussian Superpopulation Model -- 6.10 Estimation of Median -- 7 Prediction in Finite Population under Measurement Error Models -- 7.1 Introduction -- 7.2 Additive Measurement Error Models -- 7.3 Prediction under Multiplicative Error-in-Variables Model -- 7.4 Exercises -- 8 Miscellaneous Topics -- 8.1 Introduction -- 8.2 Calibration Estimators -- 8.3 Post-Stratification -- 8.4 Design-Based Conditional Unbiasedness -- 8.5 Exercises -- References -- Author Index.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9780387951089
    Language: English
    DOI: 10.1007/978-1-4612-2088-6
    URL: http://dx.doi.org/10.1007/978-1-4612-2088-6
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    HU Berlin
    UB Potsdam
    BTU Cottbus
  • 2
    Online Resource
    Online Resource
    Tracking gender equity under economic reforms : continuity and change in South Asia (2003)
    Ottawa :International Development Research Centre ;
    Details
    UID:
    almahu_9947930963102882
    Format: vi, 388 p. : , ill.
    Edition: Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
    Content: Contributed articles on women employees in economic development process in South Asia.
    Note: Non-conventional indicators of gender disparities under structural reforms / Shobna Sonpar and Ravi Kapur -- Household response to gender issues : a survey on households of female EPZ workers in Bangladesh / Salma Chaudhuri Zohir -- Status of women under economic reforms : the Indian case / Swapna Mukhopadhyay -- Economic reform and the status of women in Nepal / APROSC -- Gender and adjustment policies : evidence from Pakistan / Rehana Siddiqui, Shahnaz Hamid, Rizwana Siddiqui, and Naeem Akhtar -- Continuity and change : women workers in garment and textile industries in Sri Lanka / Swarna Jayaweera -- Family structure, women's education and work : re-examining the high status of women in Kerala / Mridul Eapen and Praveena Kodoth -- Trade, gender, and employment issues / Manju Senapaty -- Gender in a macroeconomic framework : a CGE model analysis / Anushree Sinha and Sangeeta N. -- Towards integration? gender and economic policy / Ratna M. Sudarshan.
    Language: English
    Keywords: Electronic books. ; Electronic books.
    URL: Click to View
    URL: Click to View
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
  • 3
    Online Resource
    Online Resource
    Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621701002882
    Format: XII, 328 p. , online resource.
    Edition: 1st ed. 2003.
    ISBN: 9783540363842
    Series Statement: Lecture Notes in Computer Science, 2575
    Content: This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities-Veri?cation, Model Checking, and Abstract Interpretation-that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je?erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference.
    Note: Invited Talks -- Software Model Checking with Abstraction Refinement -- Model-Checking and Abstraction to the Aid of Parameterized Systems -- Invited Tutorials -- Behavior-Based Model Construction -- Automatic Verification by Abstract Interpretation -- Symmetry Reductions in Model-Checking -- Static Analysis -- CHASE:A Static Checker for JML's Assignable Clause -- Abstract Interpretation-Based Certification of Assembly Code -- Property Checking Driven Abstract Interpretation-Based Static Analysis -- Optimized Live Heap Bound Analysis -- Dynamic Systems -- Complexity of Nesting Analysis in Mobile Ambients -- Types for Evolving Communication in Safe Ambients -- A Logical Encoding of the ?-Calculus: Model Checking Mobile Processes Using Tabled Resolution -- Abstract Interpretation -- Properties of a Type Abstract Interpreter -- Domain Compression for Complete Abstractions -- Abstraction of Expectation Functions Using Gaussian Distributions -- Model Checking I -- Lifting Temporal Proofs through Abstractions -- Efficient Verification of Timed Automata with BDD-Like Data-Structures -- On the Expressiveness of 3-Valued Models -- Security Protocols -- Bisimulation and Unwinding for Verifying Possibilistic Security Properties -- Formal Verification of the Horn-Preneel Micropayment Protocol -- Formal Methods -- Action Refinement from a Logical Point of View -- Reasoning about Layered Message Passing Systems -- Using Simulated Execution in Verifying Distributed Algorithms -- Model Checking II -- Efficient Computation of Recurrence Diameters -- Shape Analysis through Predicate Abstraction and Model Checking.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783540003489
    Additional Edition: Printed edition: ISBN 9783662169674
    Language: English
    DOI: 10.1007/3-540-36384-X
    URL: https://doi.org/10.1007/3-540-36384-X
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 4
    Online Resource
    Online Resource
    Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920447202882
    Format: XII, 328 p. , online resource.
    ISBN: 9783540363842
    Series Statement: Lecture Notes in Computer Science, 2575
    Content: This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities—Veri?cation, Model Checking, and Abstract Interpretation—that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je?erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference.
    Note: Invited Talks -- Software Model Checking with Abstraction Refinement -- Model-Checking and Abstraction to the Aid of Parameterized Systems -- Invited Tutorials -- Behavior-Based Model Construction -- Automatic Verification by Abstract Interpretation -- Symmetry Reductions in Model-Checking -- Static Analysis -- CHASE:A Static Checker for JML’s Assignable Clause -- Abstract Interpretation-Based Certification of Assembly Code -- Property Checking Driven Abstract Interpretation-Based Static Analysis -- Optimized Live Heap Bound Analysis -- Dynamic Systems -- Complexity of Nesting Analysis in Mobile Ambients -- Types for Evolving Communication in Safe Ambients -- A Logical Encoding of the ?-Calculus: Model Checking Mobile Processes Using Tabled Resolution -- Abstract Interpretation -- Properties of a Type Abstract Interpreter -- Domain Compression for Complete Abstractions -- Abstraction of Expectation Functions Using Gaussian Distributions -- Model Checking I -- Lifting Temporal Proofs through Abstractions -- Efficient Verification of Timed Automata with BDD-Like Data-Structures -- On the Expressiveness of 3-Valued Models -- Security Protocols -- Bisimulation and Unwinding for Verifying Possibilistic Security Properties -- Formal Verification of the Horn-Preneel Micropayment Protocol -- Formal Methods -- Action Refinement from a Logical Point of View -- Reasoning about Layered Message Passing Systems -- Using Simulated Execution in Verifying Distributed Algorithms -- Model Checking II -- Efficient Computation of Recurrence Diameters -- Shape Analysis through Predicate Abstraction and Model Checking.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540003489
    Language: English
    DOI: 10.1007/3-540-36384-X
    URL: http://dx.doi.org/10.1007/3-540-36384-X
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    Tracking gender equity under economic reforms : continuity and change in South Asia (2003)
    Ottawa :International Development Research Centre ;
    Details
    UID:
    edocfu_9959230561402883
    Format: 1 online resource (395 p.)
    ISBN: 1-280-71728-9 , 1-55250-018-7 , 9786610717286
    Content: Contributed articles on women employees in economic development process in South Asia.
    Note: Description based upon print version of record. , Non-conventional indicators of gender disparities under structural reforms / Shobna Sonpar and Ravi Kapur -- Household response to gender issues : a survey on households of female EPZ workers in Bangladesh / Salma Chaudhuri Zohir -- Status of women under economic reforms : the Indian case / Swapna Mukhopadhyay -- Economic reform and the status of women in Nepal / APROSC -- Gender and adjustment policies : evidence from Pakistan / Rehana Siddiqui, Shahnaz Hamid, Rizwana Siddiqui, and Naeem Akhtar -- Continuity and change : women workers in garment and textile industries in Sri Lanka / Swarna Jayaweera -- Family structure, women's education and work : re-examining the high status of women in Kerala / Mridul Eapen and Praveena Kodoth -- Trade, gender, and employment issues / Manju Senapaty -- Gender in a macroeconomic framework : a CGE model analysis / Anushree Sinha and Sangeeta N. -- Towards integration? gender and economic policy / Ratna M. Sudarshan. , English
    Additional Edition: ISBN 81-86706-67-4
    Additional Edition: ISBN 81-86706-66-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    FU Berlin
  • 6
    Online Resource
    Online Resource
    Biotechnology in India I (2003)
    Berlin : Springer
    Details
    UID:
    gbv_744958008
    Format: Online-Ressource (XIV, 293 p) , digital
    Edition: Springer eBook Collection. Chemistry and Materials Science
    ISBN: 9783540364887
    Series Statement: Advances in Biochemical Engineering / Biotechnology 84
    Content: The Way Ahead — The New Technology in an Old Society -- Rhizobacterial Diversity in India and Its Influence on Soil and Plant Health -- Plant Molecular Biology and Biotechnology Research in the Post-Recombinant DNA Era -- Drug Targets in Malaria Parasites -- Current Status of Malaria Vaccine Development -- Intracellular Delivery of Drugs to Macrophages -- Recent Advances in Tuberculosis Research in India.
    Content: The biotechnology business in India with an increase from USD 500 million in 1997 and reaching an estimated USD I billion next year health related prod ucts accounting for 60%, agro and veterinary products together 15%, and con tract R&D, reagents, devices and supplies adding up to the remaining 25% of which the diagnostics share was about 10% of the total surely presented an encouraging picture even five years ago. While volumes have increased, the pat tern has not. According to a report, prepared by McKinsey & Co, India's Phar maceutical industry including domestic and export sales and contract services totals nearly USD 5 billion. Furthermore, the company optimistically projects the growth to a factor of five fold only if both the industry and the government are able to put in place achievable solutions that must take care of the formida ble obstacles preventing further growth. If this assessment is correct, then the established transformation made by IT growth should also provide the confi dence required by the high expectations for biotechnology which have arisen in the country in recent years. Some contributors to this are overenthusiastic these are bureaucrats, some retired scientists and of course the complacent politicians who have the least knowledge of what the new biotechnology is all about. However, there are clear indications of biotechnology growth demon strated by a few but rapidly expanding biotech companies such as Biocon Ltd, Shantha Biotech (P) Lid, Dr.
    Note: M. Sharma, R. Swarup: The Way Ahead - The New Technology in an Old Society -- B.N. Johri, A. Sharma, J.S. Virdi: Rhizobacterial Diversity in India and its Influence on Soil and Plant Health -- A.K. Tyagi, J.P. Khurana: Plant Molecular Biology and Biotechnology Research in Post-Recombinant DNA Era -- G. Padmanaban: Drug Targets in Malaria Parasites -- V.S. Chauhan, D. Bhardwaj: Current Status of Malaria Vaccine Development -- A. Mukhopadhyay, S.K. Basu: Intracellular Delivery of Drugs to Macrophages -- A.K. Tygi, N. Dhar: Recent Advances in Tuberculosis research in India.
    Additional Edition: ISBN 9783540006091
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662145920
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783540006091
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662145913
    Language: English
    DOI: 10.1007/3-540-36488-9
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 7
    Online Resource
    Online Resource
    Tracking Gender Equity Under Economic Reforms : Continuity and Change in South Asia (2003)
    Ottawa : International Development Research Centre
    Details
    UID:
    gbv_1696445655
    Format: 1 online resource (395 pages)
    ISBN: 9781552500187
    Content: By expanding the existing set of indicators to include gender-related stress, anxiety, and violence, this book introduces a new framework for gender research. The viability of this new approach is demonstrated through a coordinated set of household surveys, carried out in Export Processing Zones and Export Processing Units, designed for intercountry comparisons between Bangladesh, India, Pakistan, and Sri Lanka. This book is unique in its examination of both "conventional" and "nonconventional" indicators of gender disparity, and in its attempts to see how both may be affected by changes in macroeconomic policy. While "conventional" indicators include such variables as education, employment, and health status, on which official data are usually available, very little information is available on "nonconventional" indicators, such as levels of gender-based mental stress and violence. Also, instead of focusing on one aspect or indicator alone, this book takes a holistic look at a set of indicators, identifying common patterns and insights.
    Content: Intro -- Contents -- Introduction -- Non-Conventional Indicators of Gender Disparities Under Structural Reforms -- Household Response to Gender Issues: A Survey on Households of Female EPZ Workers in Bangladesh -- Status of Women Under Economic Reforms: The Indian Case -- Economic Reform and the Status of Women in Nepal -- Gender and Adjustment Policies: Evidence from Pakistan -- Continuity and Change: Women Workers in Garment and Textile Industries in Sri Lanka -- Family Structure, Women's Education and Work: Re-examining the High Status of Women in Kerala -- Trade, Gender and Employment Issues -- Gender in a Macroeconomic Framework: A CGE Model Analysis -- Towards Integration? Gender and Economic Policy -- Contributors.
    Note: Description based on publisher supplied metadata and other sources
    Additional Edition: ISBN 9788186706664
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9788186706664
    Additional Edition: Print version Tracking Gender Equity Under Economic Reforms Continuity and Change in South Asia
    Language: English
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Bildungsforschung
  • 8
    Online Resource
    Online Resource
    Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings (2003)
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    Details
    UID:
    gbv_1649189567
    Format: Online-Ressource
    ISBN: 9783540363842 , 3540003487
    Series Statement: Lecture Notes in Computer Science 2575
    Content: This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003. The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods
    Note: Includes bibliographical references and index
    Additional Edition: ISBN 9783540003489
    Additional Edition: Buchausg. u.d.T. Verification, model checking, and abstract interpretation Berlin : Springer, 2003 ISBN 3540003487
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Programmanalyse ; Programmverifikation ; Model Checking ; Abstrakte Interpretation ; Programmanalyse ; Programmverifikation ; Model Checking ; Abstrakte Interpretation ; Programmverifikation ; Model Checking ; Konferenzschrift
    DOI: 10.1007/3-540-36384-X
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Inhaltsverzeichnis
    URL: Kapitel 1
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages