Perceptions of students, teachers, and parents of the student disciplinary code in Ying -Ko Vocational High School, Ying-Ko, Taiwan

Ying-Ko Vocational High School prepares students to become trained craftspeople to support the local industry. At the School it is understood that part of the mission is to build good citizens who will work and live in the emerging democratic society in modern Taiwan. The purpose of this study was to determine the perceptions of the students, parents, and teachers regarding their understanding and appreciation of the code of student conduct currently in use at the school. A three-stage sample clustering was used to obtain the samples of students (N = 2,216), parents (N = 100), and teachers (N = 115) who were surveyed using three distinct but comparable questionnaires. Data were analyzed using t test and ANOVA. ^ After reviewing the results of the analysis of the questionnaire no significant differences were noted which set any one group apart from the others. Each group demonstrated acceptance of the code as written and implemented. It was concluded that Chinese culture and tradition might be stronger than initially thought. This is an important finding as schools in Taiwan move toward teaching democracy and independence to their students. ^

The possible selves method in evaluating youth development interventions: The use of Integrated Qualitative /Quantitative Data Analytic Strategies (IQ -DAS)

This study investigated the feasibility of using qualitative methods to provide empirical documentation of the long-term qualitative change in the life course trajectories of “at risk” youth in a school based positive youth development program (the Changing Lives Program—CLP). This work draws from life course theory for a developmental framework and from recent advances in the use of qualitative methods in general and a grounded theory approach in particular. Grounded theory provided a methodological framework for conceptualizing the use of qualitative methods for assessing qualitative life change. The study investigated the feasibility of using the Possible Selves Questionnaire-Qualitative Extension (PSQ-QE) for evaluating the impact of the program on qualitative change in participants' life trajectory relative to a non-intervention control group. Integrated Qualitative/Quantitative Data Analytic Strategies (IQ-DAS) that we have been developing a part of our program of research provided the data analytic framework for the study. ^ Change was evaluated in 85 at risk high school students in CLP high school counseling groups over three assessment periods (pre, post, and follow-up), and a non-intervention control group of 23 students over two assessment periods (pre and post). Intervention gains and maintenance and the extent to which these patterns of change were moderated by gender and ethnicity were evaluated using a mixed design Repeated Measures Multivariate Analysis of Variance (RMANOVA) in which Time (pre, post) was the within (repeated) factor and Condition, Gender, and Ethnicity the between group factors. The trends for the direction of qualitative change were positive from pre to post and maintained at the year-end follow-up. More important, the 3-way interaction for Time x Gender x Ethnicity was significant, Roy's Θ =. 205, F(2, 37) = 3.80, p <.032, indicating that the overall pattern of positive change was significantly moderated by gender and ethnicity. Thus, the findings also provided preliminary evidence for a positive impact of the youth development program on long-term change in life course trajectory, and were suggestive with respect to the issue of amenability to treatment, i.e., the identification of subgroups of individuals in a target population who are likely to be the most amenable or responsive to a treatment. ^

The Expression of Rap6 in the Adult Mouse Brain and Early Mouse Embryonic Development

The previously identified RAP6 (Rab5 activating protein 6) was associated with plasma membrane mediated endocytosis and contains a Rab5 guanine nucleotide exchange factor (GEF) domain. RAP6 has been shown to act a Ras activating protein (GAP) domain. The identification of RAP6 and its crucial role in both receptors mediated endocytosis and fluid phase endocytosis presents the opportunity to investigate its role in murine embryonic development and in the adult brain. To confirm and characterize the presence of RAP6 during embryonic development and in the adult brain, the current study examined the expression of both the RGD and the Vps9 domains of RAP6 through in situ hybridization. We present an extensive evaluation of the expression for both RAP6 domains through in situ hybridization of 12.5 and 14.5 weeks old C67 mouse embryos and adult C67 mouse brain. The current study confirms the presence of both RAP6 domains and presents an extensive evaluation its expression in embryonic development and the adult brain. These data together support the role of RAP6 in receptor mediated endocytosis and fluid phase endocytosis relevant active during murine embryonic development and adult brain processes.

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 gold sol particle immunoassay for measurement of von willebrand factor using the CA-6000 analyzer

The diagnosis of Von Willebrand's disease (VWD) may sometimes be difficult because of the variability of the results obtained over time in individuals. Moreover, blood group, age, pregnancy and inflammatory stimuli influence the level of Von Willebrand Factor (VWF). The purpose of this thesis was to screen and characterize antibodies to Von Willebrand factor and to evaluate the most promising ones in a gold- Sol assay for VWF on the CA-6000 analyzer. Seven different lots of Anti-VWF antibodies, 3 polyclonal and 4 monoclonal Ab's were screened and evaluated. Two of these antibodies (Sunol R01358 and MAVWF-AP) were selected for preparation of a Gold coated antibody solution. The preliminary testing of these gold coated antibodies on CA-6000 Analyzer showed no immunoreactivity toward VWF for both individual and pooled plasma (from normal healthy donors). Although measurement of VWF for normal plasma with this technique was not demonstrated, these data will be valuable for future work on the design of sensitive and accurate automated sol Gold Immunoassays for the diagnosis of VWD.

The rodent fauna of Long Pine Key, Everglades National Park: a comparison of habitat types

Rodents are often involved at several stages of trophic dynamics. Consequently they often play crucial roles in the structure and function of many complex ecological systems. This study sought to address the lack of baseline data concerning rodents in tropical areas, and south Florida in particular. Live trapping took place in the four major habitat types of the Long Pine Key area of Everglades National Park over the course of one year. I compared population structures and abundance of murid rodents in the four habitat types, and tested multiple weather variables for their effectiveness as predictors of rodent abundance. I found the Long Pine Key area to be depauperate in terms of species diversity. Each of the four species of rodent encountered favored a particular habitat type. The density of the understory vegetation and the avoidance of avian predators in particular appear to be the most important factors in the distribution and abundance of rodents in the Long Pine Key area of Everglades National Park.

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 of War: Florida from 1939 to 1945

World War II profoundly impacted Florida. The military geography of the State is essential to an understanding the war. The geostrategic concerns of place and space determined that Florida would become a statewide military base. Florida’s attributes of place such as climate and topography determined its use as a military academy hosting over two million soldiers, nearly 15 percent of the GI Army, the largest force theUS ever raised. One-in-eight Floridians went into uniform. Equally,Florida’s space on the planet made it central for both defensive and offensive strategies. The Second World War was a war of movement, and Florida was a major jump off point forUSforce projection world-wide, especially of air power. Florida’s demography facilitated its use as a base camp for the assembly and engagement of this military power. In 1940, less than two percent of the US population lived in Florida, a quiet, barely populated backwater of the United States.[1] But owing to its critical place and space, over the next few years it became a 65,000 square mile training ground, supply dump, and embarkation site vital to the US war effort. Because of its place astride some of the most important sea lanes in the Atlantic World,Florida was the scene of one of the few Western Hemisphere battles of the war. The militarization ofFloridabegan long before Pearl Harbor. The pre-war buildup conformed to theUSstrategy of the war. The strategy of theUS was then (and remains today) one of forward defense: harden the frontier, then take the battle to the enemy, rather than fight them inNorth America. The policy of “Europe First,” focused the main US war effort on the defeat of Hitler’sGermany, evaluated to be the most dangerous enemy. In Florida were established the military forces requiring the longest time to develop, and most needed to defeat the Axis. Those were a naval aviation force for sea-borne hostilities, a heavy bombing force for reducing enemy industrial states, and an aerial logistics train for overseas supply of expeditionary campaigns. The unique Florida coastline made possible the seaborne invasion training demanded for USvictory. The civilian population was employed assembling mass-produced first-generation container ships, while Floridahosted casualties, Prisoners-of-War, and transient personnel moving between the Atlantic and Pacific. By the end of hostilities and the lifting of Unlimited Emergency, officially on December 31, 1946, Floridahad become a transportation nexus. Florida accommodated a return of demobilized soldiers, a migration of displaced persons, and evolved into a modern veterans’ colonia. It was instrumental in fashioning the modern US military, while remaining a center of the active National Defense establishment. Those are the themes of this work. [1] US Census of Florida 1940. Table 4 – Race, By Nativity and Sex, For the State. 14.