Prior studies have reported differences in lower back biomechanics during activities of daily living between individuals with and without chronic low back pain (LBP). Nevertheless, the literature on lower back biomechanics of patients with non-chronic LBP is scant. Therefore, the objective of this study, as the first step towards future prospective studies, was to investigate the lower back biomechanics in patients with non-chronic LBP. Case-control studies were conducted wherein measures of lumbo-pelvic coordination during bending and return tasks as well as measures of mechanical demand on the lower back during lifting tasks in the sagittal plane were investigated between patients with non-chronic LBP and matched asymptomatic individuals. Patients were enrolled into the study at the non-chronic stage of their LBP. We found distinct difference in measures of lumbo-pelvic coordination as well as mechanical demands on the lower back between patients with non-chronic LBP and controls. Reduced lumbar range of flexion and slower task pace as well as the more in-phase and less variable lumbo-pelvic coordination observed in patients with non-chronic low back pain, may be the result of a neuromuscular adaptation to reduce the forces and deformation in the lower back tissues and avoid pain aggravation. Such a neuromuscular adaptation, however, resulted in a larger shearing demand on the lower back. Persistent abnormal lumbo-pelvic coordination might play a role in transition to chronic stage or recurrence of LBP. However, such inferences need to be further investigated using prospective studies as well as clinical trials involving a combination of physical and psychological treatments aimed at correction of lumbo-pelvic coordination.

Errors in collections of data can cause significant problems when those data are used. Therefore the owners of data find themselves spending much time on data cleaning. This thesis is a theoretical work about one part of the broad subject of data cleaning - to be called the covering set method. More specifically, the covering set method deals with data records that have been assessed by the use of edits, which are rules that the data records are supposed to obey. The problem solved by the covering set method is the error localisation problem, which is the problem of determining the erroneous fields within data records that fail the edits. In this thesis I analyse the covering set method from the perspective of propositional logic. I demonstrate that the covering set method has strong parallels with well-known parts of propositional logic. The first aspect of the covering set method that I analyse is the edit generation function, which is the main function used in the covering set method. I demonstrate that the edit generation function can be formalised as a logical deduction function in propositional logic. I also demonstrate that the best-known edit generation function, written here as FH (standing for Fellegi-Holt), is essentially the same as propositional resolution deduction. Since there are many automated implementations of propositional resolution, the equivalence of FH with propositional resolution gives some hope that the covering set method might be implementable with automated logic tools. However, before any implementation, the other main aspect of the covering set method must also be formalised in terms of logic. This other aspect, to be called covering set correctibility, is the property that must be obeyed by the edit generation function if the covering set method is to successfully solve the error localisation problem. In this thesis I demonstrate that covering set correctibility is a strengthening of the well-known logical properties of soundness and refutation completeness. What is more, the proofs of the covering set correctibility of FH and of the soundness / completeness of resolution deduction have strong parallels: while the proof of soundness / completeness depends on the reduction property for counter-examples, the proof of covering set correctibility depends on the related lifting property. In this thesis I also use the lifting property to prove the covering set correctibility of the function defined by the Field Code Forest Algorithm. In so doing, I prove that the Field Code Forest Algorithm, whose correctness has been questioned, is indeed correct. The results about edit generation functions and covering set correctibility apply to both categorical edits (edits about discrete data) and arithmetic edits (edits expressible as linear inequalities). Thus this thesis gives the beginnings of a theoretical logical framework for error localisation, which might give new insights to the problem. In addition, the new insights will help develop new tools using automated logic tools. What is more, the strong parallels between the covering set method and aspects of logic are of aesthetic appeal.

台灣原住民族廣播自1945年以降發展至今，各時期的廣播政策與現象因當時的國內政經、科技等局勢的變遷，而台灣原住民族廣播相關政策與現象發展隨之變化。然而我國以政經之傳播史學觀點探究至今仍乏人問津，政府的原住民族廣播相關政策也未有完詳的連貫性回顧與剖析，並且我國原住民族廣播至今尚未有專屬政策與法規，因此原住民族廣播發展背後的引導因素乃值得深度探索。 本研究以1945後至今各年代的我國政經發展為論述脈絡，乃包括台灣光復初期、解嚴前後、十梯次廣播頻道開放、蘭嶼廣播電台的創立、政府獎勵補助時期等年代，透過產官學之文獻資料蒐集，以及相關政府部門、第三部門與廣播人士的深度訪談，結合原住民族政經結構與廣播發展雙管齊下的史料分析，希冀達到史料與政經脈絡的對話。本研究核心乃著重在剖析各年代政府在原住民族廣播政策的規劃，並以多方比照的角度觀看解嚴前後國家機器力量透過哪些資源、營運類型與管道對原住民族發聲，以及探討解嚴前後原住民族在廣播營運所有權、語言近用等權利轉變情況。 根據本研究結果指出，1945年至解嚴前是政府國家機器掌控原住民族廣播發聲管道，並以山地平地化政策透過各行政部門對原住民族廣播訊息。解嚴後十梯次廣播頻道開放與廣播節目獎勵補助政策，以及各種跡象可得知政府、漢人與私人資本掌控當今原住民族廣播之營運，原住民族廣播之營運所有權仍掌控在漢人手中。本研究從史學觀點回顧原住民族廣播發展，殷盼不僅從中找尋各年代的廣播發展的歷程，解構原住民族廣播發展困境的背後意涵，並彙整原住民族廣播史料，供相關產官學界反思與借鏡。

Dans un contexte de compression d'images fixes, de nouvelles représentations implantées par des techniques de redressement (lifting) orienté ont été imaginées. Pour ce travail de thèse, trois variantes de ces transformées sont évaluées comparativement selon un critère de minimisation de l'énergie des hautes fréquences reconstruites et selon la direction de régularité locale. Cette direction de régularité est estimée par des approches basées extraction de contours ou minimisation d'une fonction de coût. Les deux approches proposées permettent de plus une classification de l'activité directionnelle des blocs de l'image. Ces représentations des caractéristiques géométriques de l'image utilisées pour guider le filtrage en ondelettes orientées, est codé pour être transmis au décodeur. Les coûts de ces différentes représentations sont comparés. Finalement une quantification adaptée est proposée pour tenir compte à la fois des différentes classes structurelles et de l'anisotropie de la représentation.

Les travaux développés dans cette thèse portent sur les décompositions multirésolution dans un cadre de lifting scheme, appliquées à la compression d'images. Pour commencer, une structure de décomposition consistant en un “lifting scheme généralisé” est proposée. Ce schéma permet d'exploiter toute l'information disponible au décodage dans l'étape de prédiction. Cela est rendu possible par l'ajout d'un filtre de prédiction supplémentaire par rapport à la structure classique de lifting scheme. Le schéma proposé est ensuite associé à deux méthodes d'adaptation. La première, appelée GAE, suppose une stationnarité globale de l'image, tandis que la seconde, LAE ne suppose qu'une stationnarité locale de l'image. Dans ce dernier cas, les filtres prédicteurs sont adaptatifs. Trois applications de ces méthodes en compression d'images sont ensuite proposées. Dans un premier temps, une comparaison des performances en compression sans perte sur des images de textures, synthétiques, gaussiennes, à stationnarités locale et globale (vérifiant les hypothèses plus haut), est réalisée. Sur ces signaux, les mesures d'entropie d'ordre 1 ont montré que les méthodes proposées offrent en moyenne un gain en codage de 0,5 bpp (GAE) et 0,8 bpp (LAE) par rapport à la décomposition en ondelette (9,7), de 0,8 bpp (GAE) et 1,11 bpp (LAE) par rapport à la (5,3) et de 0,41 bpp (GAE) et 0,65 bpp (LAE) par rapport à la méthode de Gerek et Çetin. La deuxième application concerne le codage sans perte d'images réelles de natures variées. Les gains par rapport à l'état de l'art se sont révélés plus faibles que ceux obtenus pour les images synthétiques. Enfin, la dernière application traite les cas du codage progressif et du codage avec perte. Pour la compression avec pertes, nous avons modifié la méthode LAE pour palier aux problèmes de divergence dus à l'impossibilité au niveau du décodeur de reconstruire les filtres prédicteurs à partir d'échantillons quantifiés. Elle se révèle plus efficace que lorsque l'on utilise les filtres usuels de longueur fixe (9,7) et (5,3).

L'objectif majeur de ce travail de thèse était de proposer et d'analyser de nouveaux schémas de codage d'images stéréoscopiques. Ces schémas permettent d'assurer la reconstruction progressive avec la possibilité de restitution exacte de la paire d'images. Dans une première partie, nous avons proposé de nouveaux schémas de codage conjoint de la paire d'images stéréo reposant sur le concept du lifting vectoriel. En ce sens, contrairement aux méthodes classiques, la méthode proposée ne génère aucune image résiduelle mais deux représentations multirésolutions compactes de l'image gauche et l'image droite. De plus, nous avons proposé d'intégrer une méthode récente d'estimation de disparité dans des applications de codage d'images stéréoscopiques. Puis, dans une deuxième partie, nous nous sommes intéressés aux schémas de lifting 2D non séparables tout en nous focalisant sur les aspects d'optimisation des différents filtres mis en jeu. La structure de lifting 2D considérée est composée de trois étapes de prédiction suivies par une étape de mise à jour. Plus précisément, nous avons proposé et analysé une nouvelle méthode pour la conception du filtre de mise à jour. Concernant les filtres de prédiction, nous avons développé de nouveaux critères parcimonieux de types L1.

L'utilisation croissante des réseaux à perte de paquets pour la transmission multimédia est placée sous le signe de la fiabilité des données sous contraintes de débit. L'objectif de cette thèse est de construire des représentations dites par "descriptions multiples", à faible redondance, pour compenser la perte d'information sur les canaux de transmission. Nous avons considéré des schémas basées sur des trames d'ondelettes, implantées en "lifting". Dans un premier temps, nous avons considéré la construction de deux descriptions selon l'axe temporel d'un codeur vidéo "t+2D". La redondance introduite par transformée a été ultérieurement réduite par un sous-échantillonnage supplémentaire appliqué aux sous-bandes de détail. Cela permet d'ajuster la redondance à la taille d'une sous-bande d'approximation en ondelettes classiques. Ceci rajoute en revanche un problème de reconstruction parfaite que nous avons étudié en détail. En outre, nous avons établi des critères de choix entre les plusieurs schémas possibles, basés sur la réduction du bruit de quantification. Ensuite, les méthodes ci-dessus ont été adaptées pour le signal bi-dimensionnel (images). Nous avons aussi proposé un post-traitement aux décodeurs, visant à améliorer la qualité de la reconstruction en situation de pertes. Enfin, nous avons abordé le sujet sous un nouvel angle, inspiré de la nouvelle théorie du "Compressed Sensing", en cherchant d'obtenir le débit optimal qui satisfait une contrainte de distorsion maximum autorisée et en exploitant le caractère creux du signal. Cette approche se distingue par le transfert de complexité à l'encodeur en gardant des décodeurs linéaires.

Ce rapport présente mes travaux dans la direction du programme de Langlands géométrique. Ceux-ci abordent plusieurs aspects de ce thème: méthode de Rankin-Selberg locale et globale, les foncteurs de Whittaker et de Bessel pour GSp_4, catégorification et la version géométrique de la multiplicité un pour les models de Bessel, les faisceaux Théta et programme de Langlands géométrique pour le groupe métaplectique, correspondance de Howe géométrique.

Dans une première partie, je me suis intéressé au développement et à l'analyse de nouveaux schémas de codage conjoint d'images stéréoscopiques reposant sur le concept du lifting vectoriel. En ce sens, contrairement aux méthodes classiques, les méthodes proposées ne génèrent aucune image résiduelle mais deux représentations multirésolution compactes de l'image gauche et l'image droite. De plus, elles sont adaptées au contenu intra et inter de la paire stéréo. Une analyse théorique en termes de performances statistiques a été menée pour mettre en évidence l'intérêt des structures proposées. Comme les méthodes de codage conjoint de ces vues reposent principalement sur l'étape de l'estimation et la compensation de la disparité afin d'exploiter les redondances inter-images, j'ai proposé par la suite d'intégrer une méthode récente d'estimation de disparité dans des applications de codage d'images stéréoscopiques. Cette technique d'estimation, qui se base sur une formulation ensembliste du problème de mise en correspondance, utilise différentes contraintes convexes caractérisant toute propriété a priori sur le champ de disparité à estimer. Ainsi, les contraintes utilisées permettent de produire un champ lisse tout en respectant les discontinuités (objets) présentes dans la scène. D'autre part, je me suis intéressé aux schémas 2D non séparables, afin de mieux exploiter le caractère bi-dimensionnel des images, tout en me focalisant sur les aspects d'optimisation des différents filtres mis en jeu. Dans ce contexte, j'ai d'eveloppé également une analyse théorique pour le cas d'un signal autorégressif d'ordre 2 afin de donner des formes explicites des coefficients de tous les filtres. Les expressions théoriques obtenues sont intéressantes en pratique puisqu'elles permettent de simplifier l'implémentation de la méthode d'optimisation proposée.

Lifting method through the use of hydraulic jacks, can adjust column elevation of the structure in order to eliminate the stress burden caused by differential settlement , as well as recover the structure¡¦s initial state and force to avoid the form reconstructing caused by different over-settlement, save construction cost and reduce environmental impact, and so the life cycle of the building be able to last. The study based on ¡§The computer control system of hydraulic jacks¡¨, ¡§The repair method of settlement of floating roof tank¡¨, and the other technologies, which developed by lifting method development department, set up by the case company, has matured day by day to seek permanent development strategy through the utilization of the innovative lifting method in structure on reclaimed land or tanks, shop buildings, and structures which have different settlement problems, and so on, enable to last the life cycle of the building. This study consists of the information collection of lifting technology development through the literature of innovative technology and management strategy and interview of the owner and the decision-making manager of the case company, that total sum of person-time is 21, with the theme of the technical development of lifting method, the extension of market, and the internationalization. Making industry S.W.O.T analysis can not only find out the lifting development business of the case company but also the strategic direction, core competitiveness, the development direction, the permanent strategy to maintain the annual growth of the rate of marginal balance. According to research, the case company need to become a international company in order to maintain the annual growth of 20¢H of the operational goal. Taking Taiwan as the technical development center, the case company uses the local manpower and constructional material of the group¡¦s subsidiaries in overseas footholds to lower the quote cost and enhance the competitiveness, so that the case company can move toward internationalization gradually. Besides, to be competitive in lifting industry, the case company must be customer oriented, which means to design the unique custom-made lifting method for the customer¡¦s demand. Contenting customer¡¦s demand with cost, industry safety and time is the most important strategy to retain long-term competitiveness advantage. In strategic growth oriented, to be the top lifting company all over the world after one decade, the case company has to enhance core competitiveness of lifting method, including project management, project control, structural design capacity, computer control hydraulic jacks system development capabilities, and technical capabilities lifting. Meanwhile, the case company has to develop continuously new technologies and methods, combine with the group¡¦s subsidiaries to establish overseas footholds to extend the overseas market, train staff to obtain the international certificate and learn the second language, and makes the product and service different from other companies.