LEADER 01352nam 2200385 450 001 9910228956503321 005 20180317091417.0 010 $a0-9835678-7-5 035 $a(CKB)4100000000884296 035 $a(WaSeSS)IndRDA00095333 035 $a(EXLCZ)994100000000884296 100 $a20180317d2017 || | 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFMCAD 2017 $eproceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria /$fedited by Daryl Stewart and Georg Weissenbacher 210 1$aNew York :$cIEEE,$d2017. 215 $a1 online resource (229 pages) 311 $a1-5386-1012-4 606 $aDigital integrated circuits$xComputer-aided design$vCongresses 606 $aIntegrated circuits$xVerification$vCongresses 606 $aFormal methods (Computer science)$vCongresses 615 0$aDigital integrated circuits$xComputer-aided design 615 0$aIntegrated circuits$xVerification 615 0$aFormal methods (Computer science) 702 $aStewart$b Daryl 702 $aWeissenbacher$b Georg 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a9910228956503321 996 $aFMCAD 2017$92494675 997 $aUNINA LEADER 03521nam 2200481 450 001 996280412503316 005 20230608080103.0 010 $a0-7381-2473-7 035 $a(CKB)1000000000035706 035 $a(NjHacI)991000000000035706 035 $a(EXLCZ)991000000000035706 100 $a20230608d2000 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aInformation technology$hPart 3$iCarrier sense multiple access with collision detection CSMA/CD access method and physical layer specifications $etelecommunications and information exchange between systems--local and metropolitan area networks--specific requirements /$fInstitute of Electrical and Electronics Engineers 210 1$aNew York, New York :$cIEEE,$d2000. 215 $a1 online resource (xxxvii, 1515 pages) $cillustrations 225 1 $aIEEE Std ;$vVolume 802 300 $a"IEEE Std 802.3ad-2000". 311 $a0-7381-2472-9 320 $aIncludes bibliographical references. 327 $aFigures -- References -- Citations -- Keywords -- Definitions -- Metrics -- Versions -- Footnotes. 330 $aIncoporating IEEE Std 802.3, 1998 Edition, IEEE Std 802.3ac-1998, IEEE Std 802.3ab-1999, and IEEE Std 802.3ad-2000. Superseded by 802.3-2002 (802.3ag). The media access control characteristics for the Carrier Sense Multiple Access with Collision Detection (CSMA/CD) access method for shared medium local area networks are described. The control characteristics for full duplex dedicated channel use are also described. Specifications are provided for MAU types 1BASE5 at 1 Mb/s; Attachment Unit Interface (AUI) and MAU types 10BASE5, 10BASE2, FOIRL (fiber optic inter-repeater link), 10BROAD36, 10BASE-T, 10BASE-FL, 10BASE-FB, and 10BASE-FP at 10 Mb/s; Media Independent Interface (MII) and PHY types 100BASE-T4, 100BASE-TX, 100BASE-FX, and 100BASE-T2 at 100 Mb/s; and the Gigabit MII (GMII) and 1000BASE-X PHY types, 1000BASE-SX, 1000BASE-LX, and 1000BASE-CX, which operate at 1000 Mb/s (Gigabit Ethernet) as well as PHY type 1000BASE-T. Repeater specifications are provided at each speed. Full duplex specifications are provided at the Physical Layer for 10BASE-T, 10BASE-FL, 100BASE-TX, 100BASE-FX, 100BASE-T2, and Gigabit Ethernet. System considerations for multi-segment networks at each speed and management information base (MIB) specifications and additions to support Virtual Bridged Local Area Networks (VLANs) as specified in IEEE P802.1Q are also provided. Also specified is an optional Link Aggregation sublayer which multiple physical links to be aggregated together to form a single logical link. 410 0$aIEEE Std ;$vVolume 802. 517 $a802.3ad-2000 - IEEE Standard for Information Technology - Local and Metropolitan Area Networks - Part 3 517 $aIEEE Std 802.3ad-2000 517 $aAmendment to Carrier Sense Multiple Access With Collision Detection 606 $aComputer network protocols$xStandards 606 $aData transmission systems$xStandards 606 $aLocal Area Networks (Computer networks)$xStandards 615 0$aComputer network protocols$xStandards. 615 0$aData transmission systems$xStandards. 615 0$aLocal Area Networks (Computer networks)$xStandards. 676 $a004.62 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a996280412503316 996 $aInformation technology$956211 997 $aUNISA LEADER 11975nam 22006853 450 001 9910879797703321 005 20251116153115.0 010 $a9783839467343 010 $a3839467349 024 7 $a10.1515/9783839467343 035 $a(CKB)32775405700041 035 $a(MiAaPQ)EBC31554409 035 $a(Au-PeEL)EBL31554409 035 $a(DE-B1597)652443 035 $a(DE-B1597)9783839467343 035 $a(Perlego)3885474 035 $a(EXLCZ)9932775405700041 100 $a20240729d2024 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHandbook of Qualitative and Visual Methods in Spatial Research 205 $a1st ed. 210 1$aBielefeld :$ctranscript Verlag,$d2024. 210 4$d©2024. 215 $a1 online resource (377 pages) 225 1 $aRe-Figuration Von Räumen Series 311 08$aPrint version: Heinrich, Anna Juliane Handbook of Qualitative and Visual Methods in Spatial Research Bielefeld : transcript Verlag,c2024 9783837667349 327 $aCover -- Contents -- Introduction -- Handbook structure and contents -- Exploring space -- Conversing and storytelling -- Observing and experiencing -- Drawing and visualizing -- Reading and reflecting -- Outlook for future topics and requirements for further research -- References -- I. Exploring space: Theoretical and overarching methodological aspects of qualitative spatial research -- Conceptualizing and practicing spatial theory -- References -- Actor?Network Theory as a Theory of Space -- 1 Early ANT: Toward a critique of the social production of space -- 2 After?ANT: A topological turn in the study of technoscientific objects -- 3 Near?ANT: Speculative cartography for the study of critical zones -- References -- Queer/feminist perspectives on qualitative spatial research -- 1 Queer/feminist critique of science -- 2 Deconstruction -- 3 Positionality and reflexivity -- 4 Research methods and reflexive research process -- References -- The reflective methodology of artistic spatial research -- 1 Comparative methodology -- 2 Retrospective traceability -- 3 A study of the exclusion mechanisms in public space -- 4 Aesthetic field research in ecological space -- 5 Imagination of the future anterior -- 6 Research cases -- References -- Case, context, and culture in spatial research -- 1 What is a case? -- 1.1 Dimensions of cases -- 1.2 The uniformity of the case -- 1.3 Field - case - subcase -- 2 What is a context? -- 2.1 Dimensions of contexts -- 2.2 Context and culture -- 3 What is culture? -- 3.1 Classic concepts of culture -- 3.2 More recent concepts of the relationship between space and culture -- 4 Methodological implications of defining case, context, and culture -- 4.1 Comparative cultural analysis of ethnicities or nations -- 4.2 Transcultural and intercultural comparisons -- 4.3 Cultures as shared constructs of knowledge. 327 $a5 Open questions -- References -- Case selection and generalization -- 1 Requirements for selecting cases -- 1.1 Defining the case -- 1.2 Ways of organizing the research process: linearity vs. iteration -- 1.3 Example: Spatial pioneers in urban areas -- 2 Random sampling, statistical inference, and associated problems -- 3 Purposeful sampling of multiple cases -- 3.1 Methods of agreement and difference -- 3.2 Criteria for selecting a specific case -- 4 Single case studies -- 4.1 Potential categories underlying single case studies -- 4.2 Criteria for selecting a specific case -- 4.3 Case selection and generalization -- 5 Case selection as the key determinant for generalization -- References -- Integrating visual and verbal data -- 1 Reasons for using diverse data in qualitative spatial research -- 2 Verbal and visual data -- 3 Data integration and integration strategies -- 4 Integrating visual and verbal data -- 4.1 Integrating separate visual and verbal data -- 4.2 Integrating interrelated visual and verbal data -- 4.3 Integrating visual and verbal data from a shared initial context -- 4.4 Integrating intertwined visual and verbal data -- 5 Conclusion: Developing a strategy to integrate different types of data -- Acknowledgments -- References -- II. Conversing and storytelling -- Biographical?narrative interviews -- 1 The basics: Narrative interviews, biographical research, and spatial conception -- 1.1 Spatial theory -- 1.2 Basis for biographical research and biographical?narrative interviews -- 2 Spatial analyses -- 2.1 Biographical locations -- 2.2 Constructing lebensraum -- 3 Conclusion: Complementary approaches -- References -- Using visual?biographical interviews to analyze learning and spatial experiences -- 1 Reconstructing biographical narratives along the graphical timeline. 327 $a1.1 Educational?biographical spatial research: Theoretical and methodological basis -- 1.2 Biography and space as social constructs -- 2 Combined qualitative?visual techniques -- 2.1 Combining visual and verbal survey methods: Participatory guided interviews and graphic elicitation techniques -- 2.2 Graphic elicitation techniques -- 3 Triangulating methods, collecting data, and performing analysis: From the biographical timeline to the space?based life?events approach -- 3.1 Applying this approach -- 3.1.1 Terms and approaches -- 3.1.2 Data collection on the timeline and assignment in the matrix -- 3.2 Analysis and interpretation -- 4 A reflection on methods: Between support and influence -- References -- How to use guided interviews in spatial research -- 1 Classification and detailed description of the method -- 2 Defining the field and carrying out the sampling -- 3 Creating a guide -- 4 Collecting data by means of guided interviews -- 5 Data preparation -- 6 Analyzing guided interviews -- 7 The possibilities and potential of using guided interviews in spatial research -- References -- Image?based qualitative interviews: on the example of photo elicitation -- 1 Image and space -- 2 Image?based interviews in spatial research -- 3 The photo?elicitation method: Preparation, implementation, analysis -- 4 Methodological reflections on photo?elicitation -- 5 Potential of image?based interviews for spatial research -- References -- III. Observing and experiencing -- Ethnography as a methodology -- 1 The ethnographic observation of spatial practice -- 2 Fields of application -- 3 The possibilities of spatial ethnographic research (in practice) -- 3.1 A question of positionality -- 3.2 Interdisciplinary connections -- References -- Videography and space -- 1 Development and key characteristics of videography. 327 $a2 Basic methods and methodologies in spatial videography -- 2.1 Spatial aspects of data collection -- 2.2 Analyzing video recordings -- 3 Spatial knowledge -- 4 Social dimensions of videographic space -- 5 Conclusion: Synthetic spaces -- References -- (Spatially) focused ethnography -- 1 What is focused ethnography? -- 1.1 Conventional ethnography versus focused ethnography: Establishing the status quo -- 1.2 Research design in focused ethnography -- 2 (Spatially) focused ethnography based on the field of professional football -- 2.1 Field restrictions as spatial order -- 2.2 The formation, interpretation, and gestalt of spaces -- 3 Focused ethnography as a concept for interdisciplinary spatial research -- References -- Webnography 2.0 -- 1 Theoretical basics: Physical, virtual, and hybrid spaces -- 2 Exemplary findings on the appropriation of hybrid spaces -- 2.1 Keeping up with progress: Studying types of use, not apps -- 2.2 Exploring spatial perceptions: Using combinations of methods -- 3 The qualitative study of hybrid spaces: Webnography 2.0 -- 3.1 Observation techniques -- 3.1.1 Ethnographic site visits -- 3.1.2 Technical walkthroughs -- 3.2 User surveys -- 3.2.1 Expert interviews -- 3.2.2 Diary methods -- 4 Webnography 2.0 is teamwork -- References -- Site visits -- 1 Problem?oriented site visit and analysis -- 2 Site elements and the site as a whole -- 2.1 Individual elements and references to them -- 2.2 The whole as an atmosphere -- 2.3 Places change -- 3 Methodological approaches and tools -- 3.1 Systematic or exploratory -- 3.2 Observing or interacting -- 3.3 Using the body as a research tool -- 4 Documenting the site -- 4.1 Recordings -- 4.2 Synthesis -- 5 Using site visits to establish a relationship with a place -- References -- IV. Drawing and visualizing -- Mental maps and narrative maps. 327 $a1 The basics of mental mapping and a methodological approach to narrative maps -- 1.1 Step 1: Creating the mental map -- 1.2 Step 2: Two?stage interview -- 2 Studying the translocal and mediatized spatial knowledge of children and youth -- 2.1 Example of a stimulus: Drawing your daily routine as a map -- 2.2 Example of structuring the interview into thematic blocks -- 3 Challenges when using this method -- 3.1 Collecting data in diverse setting -- 3.2 Selecting the base maps and formulating the stimulus -- 3.3 Quality of the sketches -- 4 Analysis with an optional focus on the spatial and procedural aspects of the study -- 4.1 Analyzing mental maps by means of comparison, transposition, translation, and superimposition -- 4.2 Synthesizing analysis: Triangulation -- 5 Methods with high interdisciplinary integration and potential for further development -- References -- The urban layer analysis -- 1 Urban theory background: A morphological and typological analysis in urban design -- 2 From the birth of the discipline to a tool for planning practice -- 3 Performing an urban layer analysis -- 3.1 Defining a topic of interest and study area -- 3.2 Creating the pool of data and selecting elements of investigation -- 3.3 Drawing and presenting layers -- 3.4 Evaluating individual layers and layer combinations -- 4 Basics principles of the analysis -- 4.1 Creating and selecting the underlying data for the layer model -- 4.2 Graphical analysis of the layers -- 5 Basic definition of the urban layer model -- References -- Multiscalar mapping -- 1 Mapping as a multiscalar narrative -- 2 Case study: The mapping of the hostel industry with homeless people -- 2.1 Introduction: Exploratory mapping -- 2.2 Linkage: Sociological observation levels and urban design scales of measurement -- 2.3 Thesis development: Concept mapping. 327 $a2.4 Implementing linkages: Individual thematic mappings. 330 $aListening, experiencing, drawing or interpreting spaces: narratives, experiences, visualizations and discourses can be helpful for the empirical investigation of spaces. This interdisciplinary handbook presents a broad spectrum of established methods and innovative method development to capture and understand different facets of spaces. Instructive explanations and concrete examples make the varied qualitative methods of spatial research understandable and applicable across disciplines. The theoretical and methodological aspects of qualitative spatial research form the framework of this handbook. 410 0$aRe-Figuration Von Räumen Series 606 $aSOCIAL SCIENCE / Sociology / General$2bisacsh 610 $aGeography. 610 $aMethodology. 610 $aSocial Geography. 610 $aSociology. 610 $aSpace. 610 $aSpatial Research. 610 $aUrban Studies. 610 $aVisual Methods. 615 7$aSOCIAL SCIENCE / Sociology / General. 700 $aHeinrich$b Anna Juliane$01424841 701 $aMarguin$b Se?verine$00 701 $aMillion$b Angela$01424842 701 $aStollmann$b Jo?rg$01765592 712 02$aTechnische Universita?t Berlin,$4fnd$4http://id.loc.gov/vocabulary/relators/fnd 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910879797703321 996 $aHandbook of Qualitative and Visual Methods in Spatial Research$94207428 997 $aUNINA