Development of local homeland security networks in the state of Florida: A social network analysis approach

How do local homeland security organizations respond to catastrophic events such as hurricanes and acts of terrorism? Among the most important aspects of this response are these organizations ability to adapt to the uncertain nature of these "focusing events" (Birkland 1997). They are often behind the curve, seeing response as a linear process, when in fact it is a complex, multifaceted process that requires understanding the interactions between the fiscal pressures facing local governments, the institutional pressures of working within a new regulatory framework and the political pressures of bringing together different levels of government with different perspectives and agendas. ^ This dissertation has focused on tracing the factors affecting the individuals and institutions planning, preparing, responding and recovering from natural and man-made disasters. Using social network analysis, my study analyzes the interactions between the individuals and institutions that respond to these "focusing events." In practice, it is the combination of budgetary, institutional, and political pressures or constraints interacting with each other which resembles a Complex Adaptive System (CAS). ^ To investigate this system, my study evaluates the evolution of two separate sets of organizations composed of first responders (Fire Chiefs, Emergency Management Coordinators) and community volunteers organized in the state of Florida over the last fifteen years. Using a social network analysis approach, my dissertation analyzes the interactions between Citizen Corps Councils (CCCs) and Community Emergency Response Teams (CERTs) in the state of Florida from 1996–2011. It is the pattern of interconnections that occur over time that are the focus of this study. ^ The social network analysis revealed an increase in the amount and density of connections between these organizations over the last fifteen years. The analysis also exposed the underlying patterns in these connections; that as the networks became more complex they also became more decentralized though not in any uniform manner. The present study brings to light a story of how communities have adapted to the ever changing circumstances that are sine qua non of natural and man-made disasters.^

Comparative Analysis of State and Non-State Higher Educational Institutions in Terms of their Adaptation to New Societal Conditions in Post-Soviet Russia

The present paper investigates post-Soviet non-state and state higher educational institutions in terms of students’ perceptions of school curriculum, quality of teaching, available educational resources and overall organization in their higher educational institutions.

A 2,500-year record of environmental change in Highlands Hammock State Park (Central Florida, U.S.A.) inferred from siliceous microfossils

Analysis of siliceous microfossils of a 79 cm long peat sediment core from Highlands Hammock State Park, Florida, revealed distinct changes in the local hydrology during the past 2,500 years. The coring site is a seasonally inundated forest where water availability is directly influenced by precipitation. Diatoms, chrysophyte statospores, sponge remains and phytoliths were counted in 25 samples throughout the core. Based on the relative abundance of diatom species, the record was subdivided into four diatom assemblage zones, which mainly reflect the hydrological state of the study site. An age-depth relationship based on radiocarbon measurements of eight samples reveals a basal age of the core of approximately 2,500 cal. yrs. BP. Two significant changes of diatom assemblage composition were found that could be linked to both, natural and anthropogenic influences. At 700 cal. yrs. BP, the diatom record documents a shift from tychoplanktonicAulacoseira species to epiphytic Eunotia species, indicating a shortening of the hydroperiod, i.e. the time period during which a wetland is covered by water. This transition was interpreted as being triggered by natural climate change. In the middle of the twentieth century a second major turnover took place, at that time however, as a result of human impact on the park hydrology through the construction of dams and canals close to the study site.

Critical Analysis on the Structural and Magnetic Properties of Bulk and Nanocrystalline Cu-Fe-O

Nanocrystalline and bulk samples of “Fe”-doped CuO were prepared by coprecipitation and ceramic methods. Structural and compositional analyses were performed using X-ray diffraction, SEM, and EDAX. Traces of secondary phases such as CuFe2O4, Fe3O4, and α-Fe2O3 having peaks very close to that of the host CuO were identified from the Rietveld profile analysis and the SAED pattern of bulk and nanocrystalline Cu0.98Fe0.02O samples. Vibrating Sample Magnetometer (VSM) measurements show hysteresis at 300 K for all the samples. The ferrimagnetic Neel transition temperature () was found to be around 465°C irrespective of the content of “Fe”, which is close to the value of cubic CuFe2O4. High-pressure X-Ray diffraction studies were performed on 2% “Fe”-doped bulk CuO using synchrotron radiation. From the absence of any strong new peaks at high pressure, it is evident that the secondary phases if present could be less than the level of detection. Cu2O, which is diamagnetic by nature, was also doped with 1% of “Fe” and was found to show paramagnetic behavior in contrast to the “Fe” doped CuO. Hence the possibility of intrinsic magnetization of “Fe”-doped CuO apart from the secondary phases is discussed based on the magnetization and charge state of “Fe” and the host into which it is substituted.

The relationship between socioeconomic status, course delivery method, and student success at a state college: A single institution analysis

In an effort to improve instruction and better accommodate the needs of students, community colleges are offering courses delivered in a variety of delivery formats that require students to have some level of technology fluency to be successful in the course. This study was conducted to investigate the relationship between student socioeconomic status (SES), course delivery method, and course type on enrollment, final course grades, course completion status, and course passing status at a state college. ^ A dataset for 20,456 students of low and not low SES enrolled in science, technology, engineering, and mathematics (STEM) course types delivered using traditional, online, blended, and web enhanced course delivery formats at Miami Dade College, a large open access 4-year state college located in Miami-Dade County, Florida, was analyzed. A factorial ANOVA using course type, course delivery method, and student SES found no significant differences in final course grades when used to determine if course delivery methods were equally effective for students of low and not low SES taking STEM course types. Additionally, three chi-square goodness-of-fit tests were used to investigate for differences in enrollment, course completion and course passing status by SES, course type, and course delivery method. The findings of the chi-square tests indicated that: (a) there were significant differences in enrollment by SES and course delivery methods for the Engineering/Technology, Math, and overall course types but not for the Natural Science course type and (b) there were no significant differences in course completion status and course passing status by SES and course types overall and SES and course delivery methods overall. However, there were statistically significant but weak relationships between course passing status, SES and the math course type as well as between course passing status, SES, and online and traditional course delivery methods. ^ The mixed findings in the study indicate that strides have been made in closing the theoretical gap in education and technology skills that may exist for students of different SES levels. MDC's course delivery and student support models may assist other institutions address student success in courses that necessitate students having some level of technology fluency. ^

Formal modeling and analysis techniques for high level Petri nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

A State and Territorial Survey Regarding Utilization of Environmental Health Shelter Assessments during Disasters, and a Secondary Analysis of Available Shelter Assessment Data

Disasters are complex events characterized by damage to key infrastructure and population displacements into disaster shelters. Assessing the living environment in shelters during disasters is a crucial health security concern. Until now, jurisdictional knowledge and preparedness on those assessment methods, or deficiencies found in shelters is limited. A cross-sectional survey (STUSA survey) ascertained knowledge and preparedness for those assessments in all 50 states, DC, and 5 US territories. Descriptive analysis of overall knowledge and preparedness was performed. Fisher’s exact statistics analyzed differences between two groups: jurisdiction type and population size. Two logistic regression models analyzed earthquakes and hurricane risks as predictors of knowledge and preparedness. A convenience sample of state shelter assessments records (n=116) was analyzed to describe environmental health deficiencies found during selected events. Overall, 55 (98%) of jurisdictions responded (states and territories) and appeared to be knowledgeable of these assessments (states 92%, territories 100%, p = 1.000), and engaged in disaster planning with shelter partners (states 96%, territories 83%, p = 0.564). Few had shelter assessment procedures (states 53%, territories 50%, p = 1.000); or training in disaster shelter assessments (states 41%, 60% territories, p = 0.638). Knowledge or preparedness was not predicted by disaster risks, population size, and jurisdiction type in neither model. Knowledge: hurricane (Adjusted OR 0.69, 95% C.I. 0.06-7.88); earthquake (OR 0.82, 95% C.I. 0.17-4.06); and both risks (OR 1.44, 95% C.I. 0.24-8.63); preparedness model: hurricane (OR 1.91, 95% C.I. 0.06-20.69); earthquake (OR 0.47, 95% C.I. 0.7-3.17); and both risks (OR 0.50, 95% C.I. 0.06-3.94). Environmental health deficiencies documented in shelter assessments occurred mostly in: sanitation (30%); facility (17%); food (15%); and sleeping areas (12%); and during ice storms and tornadoes. More research is needed in the area of environmental health assessments of disaster shelters, particularly, in those areas that may provide better insight into the living environment of all shelter occupants and potential effects in disaster morbidity and mortality. Also, to evaluate the effectiveness and usefulness of these assessments methods and the data available on environmental health deficiencies in risk management to protect those at greater risk in shelter facilities during disasters.

Network approaches for the analysis of resting state fMRI data

Negli ultimi anni la teoria dei network è stata applicata agli ambiti più diversi, mostrando proprietà caratterizzanti tutti i network reali. In questo lavoro abbiamo applicato gli strumenti della teoria dei network a dati cerebrali ottenuti tramite MRI funzionale “resting”, provenienti da due esperimenti. I dati di fMRI sono particolarmente adatti ad essere studiati tramite reti complesse, poiché in un esperimento si ottengono tipicamente più di centomila serie temporali per ogni individuo, da più di 100 valori ciascuna. I dati cerebrali negli umani sono molto variabili e ogni operazione di acquisizione dati, così come ogni passo della costruzione del network, richiede particolare attenzione. Per ottenere un network dai dati grezzi, ogni passo nel preprocessamento è stato effettuato tramite software appositi, e anche con nuovi metodi da noi implementati. Il primo set di dati analizzati è stato usato come riferimento per la caratterizzazione delle proprietà del network, in particolare delle misure di centralità, dal momento che pochi studi a riguardo sono stati condotti finora. Alcune delle misure usate indicano valori di centralità significativi, quando confrontati con un modello nullo. Questo comportamento `e stato investigato anche a istanti di tempo diversi, usando un approccio sliding window, applicando un test statistico basato su un modello nullo pi`u complesso. Il secondo set di dati analizzato riguarda individui in quattro diversi stati di riposo, da un livello di completa coscienza a uno di profonda incoscienza. E' stato quindi investigato il potere che queste misure di centralità hanno nel discriminare tra diversi stati, risultando essere dei potenziali bio-marcatori di stati di coscienza. E’ stato riscontrato inoltre che non tutte le misure hanno lo stesso potere discriminante. Secondo i lavori a noi noti, questo `e il primo studio che caratterizza differenze tra stati di coscienza nel cervello di individui sani per mezzo della teoria dei network.

Egalitarian state-transition systems (extended version)

We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more powerful, general, and meaningful. We define egalitarian structures and logics, and show how they generalize well-known state-based, event-based, and mixed ones. We present translations from egalitarian to non-egalitarian settings that, in particular, allow the model checking of LTLR formulas using Maude’s LTL model checker. We have implemented these translations as a prototype in Maude itself.

Bifurcation and dynamic response analysis of a rotating blade excited by upstream vortices

Acknowledgements The authors acknowledge the projects supported by the National Basic Research Program of China (973 Project)(No. 2015CB057405) and the National Natural Science Foundation of China (No. 11372082) and the State Scholarship Fund of CSC. DW thanks for the hospitality of the University of Aberdeen.

Layered graphitic carbon host formation during liquid-free solid state growth of metal pyrophosphates

We report a successful ligand- and liquid-free solid state route to form metal pyrophosphates within a layered graphitic carbon matrix through a single step approach involving pyrolysis of previously synthesized organometallic derivatives of a cyclotriphosphazene. In this case, we show how single crystal Mn2P2O7 can be formed on either the micro- or the nanoscale in the complete absence of solvents or solutions by an efficient combustion process using rationally designed macromolecular trimer precursors, and present evidence and a mechanism for layered graphite host formation. Using in situ Raman spectroscopy, infrared spectroscopy, X-ray diffraction, high resolution electron microscopy, thermogravimetric and differential scanning calorimetric analysis, and near-edge X-ray absorption fine structure examination, we monitor the formation process of a layered, graphitic carbon in the matrix. The identification of thermally and electrically conductive graphitic carbon host formation is important for the further development of this general ligand-free synthetic approach for inorganic nanocrystal growth in the solid state, and can be extended to form a range of transition metals pyrophosphates. For important energy storage applications, the method gives the ability to form oxide and (pyro)phosphates within a conductive, intercalation possible, graphitic carbon as host–guest composites directly on substrates for high rate Li-ion battery and emerging alternative positive electrode materials

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

The State of the Nation Debate as part of the democratic parliamentary ritual: Rajoy and Rubalcaba discourse analysis, 2014

In this article we analyze the Debate on the State of the Nation 2014. The methodology consists in coding the speeches of the prime minister, Mariano Rajoy (PP) and the then opposition leader Alfredo Perez Rubalcaba (PSOE) through extracting word clouds, branched maps and word trees that have shown the most common concepts and premises. This preliminary analysis of two dimensions, quantitative and qualitative, makes it much easier and viable subsequent discourse analysis where we focus on the different types of arguments in the communicative act: claim/solution, circumstantial premises, goal premises, value premises, meansgoal premises, alternative options/addressing alternative options.

Spanish Photography Yearbooks between the Autarchy and the Transition A Documentary Analysis (1958-1980)

The first yearbook on Spanish artistic photography was published in 1924 and following the Civil War of 1936-1939, Madrid’s Real Sociedad Fotográfica, through its Sombras magazine, published two others in 1946 and 1948. There would not be another publication until 1958, when the Agrupación Fotográfica Almeriense put out the third yearbook, during a period of economic recovery following the country’s admission to the U.N. at the end of 1955. However, it was not until 1972 when Spanish photography resumed the publication of annual summaries of the authors and their works. From then on until 1980, nine yearbooks were published by two institutions: The Consorcio del Libro Técnico (Cotec) and the Editorial Everest publishing company. The object of this study is to analyze the contents of these yearbooks in order to determine and furnish new data on the history of Spanish photography: authors, works, publications, national and international relations and the purpose of their publications as a means for supporting photography.