03156nam 22005653u 450 991048050040332120210107014124.01-4833-2787-61-4522-4907-5(CKB)111000211278274(EBL)997148(OCoLC)809774113(MiAaPQ)EBC997148(EXLCZ)9911100021127827420131216d1997|||| u|| |engur|n|---|||||Academic Outlaws[electronic resource] Queer Theory and Cultural Studies in the AcademyThousand Oaks SAGE Publications19971 online resource (211 p.)Description based upon print version of record.0-7619-0683-5 Cover; Contents; Introduction: Setting the Record ""Straight""; Queer Theory and Cultural Studies; Acknowledgments; Part I - Theoretical Intersections of Cultural Studies and Queer Theory; Chapter 1 - A Cartography of Culture; Personals; Chapter 2 - Queer Theory as Cultural Politics; Framing Gay Men; Cultural Politics; Academic Outlaws: The Advent of Queer Studies; Cultural Politics, Queer Studies, and Difference; Chapter 3 - Dining at the Table of the Norm; Tricks and Treats; Assimilationism and Invitations; Table Manners; The Social Geography of Sexual Orientation; Thanksgiving at Our TableChapter 4 - A World of Five-Second CommentsFive Seconds of Bigotry; Dueling Oppression; Similarities; Differences; Coalitions; Part II - Academic Portraits and Strategies for Change; Chapter 5 - Counterfeiting: The Academic Closet; the Current Context; Chapter 6 - Ashes: A Short Story; Chapter 7 - Queering the Academy: Structure and Change; Phone Calls and Testimonies; An Academic Contract; Strategies for Action; Chapter 8 - Looking Back, Looking Ahead; What Gay Men do in the Dark; Cultural Identity and Power; References; Index; About the AuthorScholarly yet provocatively written, Academic Outlaws presents a discussion of how life in the academic world is experienced by gay men and lesbian women. Using a narrative style that mixes autobiography, case study data and fiction, William G Tierney provides timely insight into the challenges gays and lesbians face in higher education and proposes an alternative process for redefining long-established cultural norms.Culture -- Study and teaching (Higher)Gay and lesbian studiesGay cultureGay cultureGay teachersGays -- IdentityQueer theoryElectronic books.Culture -- Study and teaching (Higher).Gay and lesbian studies.Gay culture.Gay culture.Gay teachers.Gays -- Identity.Queer theory.306.766071378.008664Tierney William G864336AU-PeELAU-PeELAU-PeELBOOK9910480500403321Academic Outlaws2122842UNINA04391nam 22006612 450 991044978390332120160421134957.01-107-11568-X1-280-16188-40-511-11708-60-511-04012-10-511-15588-30-511-32894-X0-511-49314-20-511-05105-0(CKB)1000000000000574(EBL)201972(OCoLC)228069265(SSID)ssj0000102966(PQKBManifestationID)11125047(PQKBTitleCode)TC0000102966(PQKBWorkID)10060812(PQKB)10897292(UkCbUP)CR9780511493140(MiAaPQ)EBC201972(Au-PeEL)EBL201972(CaPaEBR)ebr10064300(CaONFJC)MIL16188(EXLCZ)99100000000000057420090304d1999|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAnalysis of panels and limited dependent variable models in honour of G.S. Maddala /edited by Cheng Hsiao [and others][electronic resource]Cambridge :Cambridge University Press,1999.1 online resource (x, 338 pages) digital, PDF file(s)Title from publisher's bibliographic system (viewed on 05 Oct 2015).0-521-13100-6 0-521-63169-6 Includes bibliographic references and index.A note on left censoring / Takeshi Amemiya -- Autoregressive models with sample selectivity for panel data / Manuel Arellano, Olympia Bover, Jose M. Labeaga -- Mixture of normals probit models / John Geweke, Michael Keane -- Estimation of dynamic limited-dependent rational expectations models / Lung-Fei Lee -- A Monte Carlo study of EC estimation in panel data models with limited dependent variables and heterogeneity / Mahmoud A. El-Gamal, David M. Grether -- Properties of alternative estimators of dynamic panel models: an empirical analysis of cross-country data for the study of economic growth / Marc Nerlove -- Modified generalized instrumental variables estimation of panel data models with strictly exogenous instrumental variables / Seung Chan Ahn, Peter Schmidt -- Expectations of expansions for estimators in a dynamic panel data model: some results for weakly exogenous regressors / Jan F. Kiviet -- Re-examining the rational expectations hypothesis using panel data on multi-period forecasts / Anthony Davies, Kajal Lahiri -- Prediction from the regression model with one-way error components / Richard T. Baillie, Badi H. Baltagi -- Bayes estimation of short-run coefficients in dynamic panel data models / Cheng Hsiao, M. Hashem Pesaran, A. Kamil Tahmiscioglu -- Bias reduction in estimating long-run relationships from dynamic heterogeneous panels / M. Hashem Pesaran, Zhongyun Zhao.This important collection brings together leading econometricians to discuss advances in the areas of the econometrics of panel data. The papers in this collection can be grouped into two categories. The first, which includes chapters by Amemiya, Baltagi, Arellano, Bover and Labeaga, primarily deal with different aspects of limited dependent variables and sample selectivity. The second group of papers, including those by Nerlove, Schmidt and Ahn, Kiviet, Davies and Lahiri, consider issues that arise in the estimation of dyanamic (possibly) heterogeneous panel data models. Overall, the contributors focus on the issues of simplifying complex real-world phenomena into easily generalisable inferences from individual outcomes. As the contributions of G. S. Maddala in the fields of limited dependent variables and panel data were particularly influential, it is a fitting tribute that this volume is dedicated to him.Analysis of Panels & Limited Dependent Variable ModelsEconometricsPanel analysisEconometrics.Panel analysis.330/.01/5195Hsiao Cheng1943-Maddala G.S.UkCbUPUkCbUPBOOK9910449783903321Analysis of panels and limited dependent variable models1128999UNINA06725nam 22007335 450 99646643770331620200703132248.03-319-94205-010.1007/978-3-319-94205-6(CKB)4100000005323110(DE-He213)978-3-319-94205-6(MiAaPQ)EBC6296149(PPN)229502296(EXLCZ)99410000000532311020180629d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierAutomated Reasoning[electronic resource] 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVI, 724 p. 128 illus.) Lecture Notes in Artificial Intelligence ;109003-319-94204-2 An Assumption-Based Approach for Solving The Minimal S5-Satisfiability Problem -- FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics -- Superposition for Lambda-Free Higher-Order Logic -- Automated Reasoning about Key Sets -- A Tableaux Calculus for Reducing Proof Size -- FORT 2.0 -- Formalizing Bachmair and Ganzinger's Ordered Resolution Prover -- The Higher-Order Prover Leo-III -- Well-Founded Unions -- Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories -- Cubicle-W: Parameterized Model Checking on Weak Memory -- QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property -- A Why3 framework for reflection proofs and its application to GMP's algorithms -- Infinitely-valued Logic -- Uniform Substitution for Differential Game Logic -- A Logical Framework with Commutative and Non-Commutative Subexponentials -- Exploring Approximations for Floating-Point Arithmetic using UppSAT -- Complexity of Combinations of Qualitative Constraint Satisfaction Problems -- A Generic Framework for Implicate Generation Modulo Theories -- A Coinductive Approach to Proving Reachability in Logically Constrained Term Rewriting Systems -- A New Probabilistic Algorithm for Approximate Model Counting -- A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems -- Cops and CoCoWeb: Infrastructure for Conuence Tools -- Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing -- Superposition with Datatypes and Codatatypes -- Efficient encodings of first-order Horn formulas in equational logic -- A FOOLish Encoding of the Next State Relations of Imperative Programs -- Constructive Decision via Redundancy-free Proof-Search -- Deciding the First-Order Theory of an Algebra of Feature Trees with Updates -- A Separation Logic with Data: Small Models and Automation -- MaedMax: A Maximal Ordered Completion Tool -- From Syntactic Proofs to Combinatorial Proofs -- A Resolution-Based Calculus for Preferential Logics -- Extended Resolution Simulates DRAT -- Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle -- Efficient Interpolation for the Theory of Arrays -- ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback -- Theories as Types -- Datatypes with Shared Selectors -- Enumerating Justifications using Resolution -- A SAT-Based Approach to Learn Explainable Decision Sets -- Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions -- An abstraction-refinement framework for reasoning with large theories -- Efficient Model Construction for Horn Logic with VLog: System Description -- Focussing, MALL and the polynomial hierarchy -- Checking Array Bounds by Abstract Interpretation and Symbolic Expressions.This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic Conference. The 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. The papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.Lecture Notes in Artificial Intelligence ;10900Mathematical logicArtificial intelligenceComputer logicAlgorithmsSoftware engineeringProgramming languages (Electronic computers)Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XAlgorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical logic.Artificial intelligence.Computer logic.Algorithms.Software engineering.Programming languages (Electronic computers).Mathematical Logic and Formal Languages.Artificial Intelligence.Logics and Meanings of Programs.Algorithm Analysis and Problem Complexity.Software Engineering.Programming Languages, Compilers, Interpreters.004.015113Galmiche Didieredthttp://id.loc.gov/vocabulary/relators/edtSchulz Stephanedthttp://id.loc.gov/vocabulary/relators/edtSebastiani Robertoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466437703316Automated Reasoning771895UNISA