Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: José Limón. Vita. Includes bibliographical references.

Thesis (M.Journ.)--University of Hong Kong, 2001. / Includes bibliographical references (leaves 35-38) Also available in print.

Thesis (doctoral)--Universität Zürich, 1949. / Vita. Bibliography: p. viii-xi.

Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisor: John E. Roueche. Vita. Includes bibliographical references.

Thesis (M.A.)--University of Leicester in association with University of Hong Kong, 1994. / Includes bibliographical references. Also available in print.

La sécurité intérieure est une exigence indispensable de l’exercice des libertés et des droits. Elle est au centre des préoccupations des gouvernants et des gouvernés. Dès lors, l’immigration clandestine, phénomène à cause multiple, à énormément évolué, tant par son ampleur que par sa nature, nécessitant, dans le respect des droits de l’homme, la mise en place d’une politique ambitieuse. Pour parer aux menaces ou aux manifestations de l’immigration clandestine, les législateurs français et émiriens sont venus reformuler le caractère prioritaire des orientations générales en matière de sécurité intérieure et de justice. Elles tournent autour des réformes constitutionnelles, basées sur une profonde collaboration entre les intervenants en matière de sécurité intérieure, mais aussi d’une envie de leur donner un cadre administratif et juridique modernisé. Dans ce cadre, il faut comprendre la variété des aspects discursives, l'hétérogénéité des agencements concrets (discours des droits de l'Homme…) et l'articulation des rapports de savoir et de pouvoir. Il faut également suivre la transversalité discursive de la figure que prend ce phénomène à travers tous ces tours et détours et les liens de sens qu'elle entretient avec les différentes difficultés structurelles, ainsi qu'avec la figure que prend la souveraineté de l’État lui-même. Il faut comprendre les raisons du passage d'un discours qui se voulait rassurant et condescendant à un discours qui se veut troublant et inquiétant, basé sur la montée des insécurités liées au phénomène de l’immigration clandestine et fragilisant ainsi la sécurité intérieure. / Homeland Security is an essential requirement for the exercise of freedoms and rights. It is central to the concerns of the governors and the governed. Therefore, illegal immigration phenomenon multiple cause, changed dramatically, both in its scale and nature, requiring, in respect for human rights, the establishment of an ambitious policy. To counter threats or demonstrations of illegal immigration, French and Emirati legislators came reformulate the priority of general guidelines for internal security and justice. They revolve around constitutional reforms, based on a deep collaboration between stakeholders in the field of internal security, but also a desire to give them a legal and administrative framework modernized. In this context, one must understand the variety of discursive aspects, the heterogeneity of concrete arrangements (discourse of human rights ...) and the joint reports of knowledge and power. It should also follow the discursive cross the figure that takes this phenomenon through all these twists and turns and the sense that it maintains links with the various structural problems, as well as the figure that takes the state sovereignty itself. We must understand the reasons for the passage of a speech that was meant reassuring and condescending speech that wants troubling and disturbing, based on the rise of the insecurities related to the phenomenon of illegal immigration and thus weakening internal security.

Sequential Equivalence checking has been and still is a challenging problem. Verifying two circuits that are structurally different but logically the same is very important and has many applications. Critical to the success of sequential equivalence checking is the determination of a sufficient portion of illegal states such that the two designs are equivalent outside of the illegal states. This work proposes a low-cost method to discover a subset of the illegal state space of a circuit by simulating and grouping some state variables to determine if any missing patterns are present. This thesis discusses the selection of simulated inputs, the grouping of flip-flops and what the missing patterns represent. Then all missing patterns are considered which are illegal state cubes and represent and compact them using BDDs. A BDD implementation was created to compact these illegal states more efficiently. Discussion is then done on the parameters of the BDD implementation design which can be used more efficiently given the situation. These illegal state cubes are considered to be implications which can be used to constrain a SAT solver. Results are then presented which show how effective these constraints are to proving equivalency using the SAT solver. Finally, the future work is discussed of discovering the illegal state space either faster or more completely. / Master of Science

In 1949, Taiwan and Mainland China were segregated from each other and governed separately. Because of closed society and blocked information at that time, even though the two were very close to each other, there was no such trans-border crime ever happens. Following China¡¦s reforms and opening up of its policies in 1978, the number of displaced workers and jobless populace increased due to a series of reforms on economical systems and nation-operated business. The transformation of economic system had caused a big impact to politics and society of Mainland China, which successfully changed the control mechanism of the government on its society, causing social changes and restructuring. The gap between rich and poverty, urban and rural, was getting bigger. Day by day, jobless issue was getting more critical. Thus, trans-border crimes arose. Taiwan declared the ending of Martial Law on July 15, 1987. And in November of that same year, Taiwan opened up the visitations to Mainland China, Taiwanese investments in Mainland China, Cross-straits educations, interactions of barter trading, agriculture and technological personnel, making the interflow between Taiwan and Mainland China closer than ever. In virtue of similar consanguinity, culture, languages and customs, many people of Mainland China are yearned towards the wealthy and comfortable living in Taiwan. As the enactments of Taiwan and Mainland China are not well-integrated and that the politics of both are opposing to each other, common framework and control against crimes are hard to establish. With the continuous crackdown actions on crimes of Taiwan in 1984, mafias and gangsters took advantage of the non-extendable jurisdiction and absconded to Mainland China. They collaborated with the local illicit dealers and continued to engage with illegal affairs as to seek for extravagant profits. Trans-border crimes for the main purpose of economic benefits then came into existence. Most types of trans-border crimes between Taiwan and Mainland China are: illegal immigration, drug smuggling, firearm smuggling, prostitution out of fraud marriages, illegal working, absconding and hiding of criminals, the kidnapping in Taiwan and paying ransom in Mainland China, swindling over the cell phones. These crimes have become new issues which influence the public securities between the cross-straits. Due to the opposing condition of the cross-straits politics, discussion and controls about the affairs remain standstill up to now. There is no proper control strategy and systemized solution can be followed to resolve the criminal issues caused by the interflow between the cross-straits. Now that the government is opening the tourists from Mainland China to Taiwan, to prevent them from engaging in crimes after ¡§jumping out of the plane¡¨ and leaving tourist team, the governments of both borders must temporarily put aside their supremacy and dispute over unification issue. Instead, they must thoroughly think over the matter, discuss and develop specific practicable schemes against trans-border crimes. The main purpose of this research is to analyze the causes, purposes, types, methodology and severity of trans-border crimes of the cross-straits. The possible mode of cooperation on public security between the two borders is proposed. In order to maintain the public order and economic progress of the cross-straits, and to protect the lives and wealth safety of the people, both borders should confer with each other and enter agreement of cooperation on criminal jurisdictions.

Human trafficking isn¡¦t single type of criminal models, but a global phenomenon except drugs and firearms smuggling, and become the third severe transnational crime. Therefore, ¡§UN Protocol to Prevent, Suppress and Punish Trafficking in Persons, Especially Women and Children¡¨ is approved in the UN. But the government began to prevent continuous descending evaluation by legislation and law enforcing until being evaluated the second grade in ¡§The 2005 US Trafficking In Persons¡¨. As it¡¦s proclaimed in Article 8 of Constitution of the Republic of China that ¡§Personal freedom shall be guaranteed to the people¡K¡¨, in Article 10 ¡¨The people shall have freedom of residence and of change of residence.¡¨ and in Article 15 ¡§The right to live, the right to work, and the right to own property shall be guaranteed to the people. the government shall stipulate associated laws to protect people¡¦s freedom to exercise the said right. Consequently, it¡¦s essential to make a research on how to formulate the legal system of the police preventing human trafficking that will ¡§prevention¡¨, ¡§prosecution¡¨, and ¡§protection¡¨. The legal system of preventing human trafficking is examined herein by the basic methods of administrative law, namely, the five major frameworks, including administrative principles, administrative organization, limitation of administrative power, administrative relief, and administrative supervision from every respect and viewpoint. Meanwhile, bibliography exploration, historical narration, comparative analysis, and generalization analysis are adopted as the principal research approaches to explore whether there¡¦s any improvement required regarding the legal system of the police preventing human trafficking on the basis of five major frameworks of administrative law. Additionally, practical implementation and suggestions for regulations and actions concerning future preventing human trafficking are hereby provided to achieve the goal of preventing human trafficking and protecting the victim¡¦s right as well.

Thesis (Ph. D.)--University of California, San Diego, 2009. / Title from first page of PDF file (viewed September 15, 2009). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references.