The diploma thesis is focused on the study of interactions between hyaluronan of various molecular weights with CAE surfactant. This surfactant does not have the exact composition and there is not known their molecular weight. One of the main parameters needed to describe the interactions between surfactant and hyaluronan, there is the determination of critical micellar concentration. The value of critical micellar concentration of CAE is not known yet. All measurements were made for solutions in aqueous solution and 0.15 M NaCl. The determination of the molecular weight of this surfactant was performed by the technique SEC-MALS-dRI. High resolution ultrasonic spectroscopy was chosen to determine the critical micellar concentration and tensiometry was chosen as a complementary method. The interactions of CAE surfactant with polysaccharide of hyaluronan were showed by high resolution ultrasonic spectroscopy and densitometry. Compressibility was calculated from ultrasonic velocity and density.

This thesis is based on a curiosity and interest in how music can affect our mental health. Through a critical discourse analytical perspective, it is investigated how music education (based on the syllabus that will come into force in 2022) can contribute to promoting mental health in young people. The study is based on SEC and how it, in relation to music, can have significance and function for people's personal development. Such as which of the activities that can be conducted in music education can develop SEC and thus promote health. The study was conducted through qualitative text analysis of the material. The results show that the future curricula have good conditions for processing the characteristics of SEC and thus have good opportunities to be a contributing factor in promoting young people's mental health. However, the results also show that these possibilities are not an axiom, as the discursive practice is crucial for the outcome of the social practice where the education and the students are involved.

No description available.

No description available.

No description available.

This dissertation consists of three studies related to corporate governance of equity mutual funds in a framework of relations between the three closely interrelated actors of mutual fund industry. The mutual fund advisers, the shareholders and the mutual fund board being the advocate of shareholders rights. The first study analyzes the advisory fee, using a survivorship bias free data set of 176 equity funds managed by 125 different advisers. The price of professional portfolio management provided by the mutual fund adviser depends not only on the fund characteristics but also on the fund objective, the adviser's portfolio related and management based decisions, and the portfolio performance. I find that the advisers may reduce their own costs through the use of derivatives or manipulate the actual fee contract by engaging in soft dollar agreements. Advisers actively manage the advisory fee contracts responding to the outcome of their management decisions. The advisory fee increases after voluntary fee reimbursement or if the adviser is not fully reimbursed for certain services. Risk taking behavior is the main motivation behind the structure of advisory contracts. Also, I show that non-surviving funds have higher advisory fees, suggesting competitive fee pricing may be necessary for survival. The second study focuses on the relation between general board characteristics, independent director characteristics and the advisory fee which is solely an outcome of the negotiations between the fund board and the adviser, thus a good proxy for the governance skills of the board. I also examine the impact of SEC's regulation change of 2000. Mutual fund scandals that took place after the regulation change of 2000 suggested that besides the fraction of independent seats, the individual characteristics of the members that occupy board seats are crucial for mutual fund board governance. I find that boards benchmark objective average fee but not necessarily for the best interest of shareholders. Shareholders are likely to benefit from the expertise of members with higher tenure and finance backgrounds. Although increase in board independence is likely to contribute to board governance, the effect of 2000 regulation change of board independence on its arguably target group is limited. Nominating committee improves the board governance. Although the results do not suggest that an independent chairman directly improves board governance, I find modest evidence that the impact of an independent chairman is likely to depend on the expertise of the member that would occupy the chairman seat. Third study analyzes a specific tool, soft dollar arrangements using a survivorship bias free data set of 432 equity funds managed by 129 different advisers. Soft dollar arrangements affect all three actors of mutual fund industry. They are widely used by the advisers, have to be monitored closely by the fund board and eventually affect the overall wealth of shareholders. Fund advisers determine the broker base, scope of brokerage services and whether to self produce or outsource brokerage services through soft dollar arrangements. In return, shareholders expect to benefit from better fund performance and reduction in advisory fee. I find that transaction execution not necessarily motivated by additional brokerage services is likely to be responsible for high turnover. Construction of brokerage base by the adviser is not arbitrary. Advisers ex ante construct the broker base in order to minimize the brokerage commissions and considering ex post soft dollar arrangements. Transaction execution related services lead to less brokerage commissions and soft dollar use while both increase if research is a consideration for broker participation. More concentrated broker base leads to lower brokerage fee and higher soft dollar use. Results indicate that advisers enforce competition within brokerage industry for lower cost of transaction execution. Shareholders benefit from increasing soft dollar use through performance improvement and reduction in advisory fee. Yet, the cost of soft dollar arrangements seems to exceed their benefit to shareholders. If the results indicate competition within brokerage industry for lower cost of transaction execution, the undisclosed premium paid for the additional services are likely to be responsible for this adverse effect.

No description available.

No description available.

Verification is an important step for Integrated Circuit (IC) design. In fact, literature has reported that up to 70% of the design effort is spent on checking if the design is functionally correct. One of the core verification tasks is Equivalence Checking (EC), which attempts to check if two structurally different designs are functionally equivalent for all reachable states. Powerful equivalence checking can also provide opportunities for more aggressive logic optimizations, meeting different goals such as smaller area, better performance, etc. The success of Combinational Equivalence Checking (CEC) has laid a foundation to industry-level combinational logic synthesis and optimization. However, Sequential Equivalence Checking (SEC) still faces much challenge, especially for those complex circuits that have different state encodings and few internal signal equivalences. In this thesis, we propose a novel simulation-based multi-node inductive invariant generation and pruning technique to check the equivalence of sequential circuits that have different state encodings and very few equivalent signals between them. By first grouping flip-flops into smaller subsets to make it scalable for large designs, we then propose a constrained logic synthesis technique to prune potential multi-node invariants without inadvertently losing important constraints. Our pruning technique guarantees the same conclusion for different instances (proving SEC or not) compared to previous approaches in which merging of such potential invariants might lose important relations if the merged relation does not turn out to be a true invariant. Experimental results show that the smaller invariant set can be very effective for sequential equivalence checking of such hard SEC instances. Our approach is up to 20x-- faster compared to previous mining-based methods for larger circuits. / Master of Science

Verification, as opposed to Testing and Post-Silicon Validation, is a critical step for Integrated Circuits (IC) Design, answering the question "Are we designing the right function?" before the chips are manufactured. One of the core areas of Verification is Equivalence Checking (EC), which is a special yet independent case of Model Checking (MC). Equivalence Checking aims to prove that two circuits, when fed with the same inputs, produce the exact same outputs. There are broadly two ways to conduct Equivalence Checking, simulation and Formal Equivalence Checking. Simulation requires one to try out different input combinations and observe if the two circuits produce the same output. Obviously, since it is not possible to enumerate all combinations of different inputs, completeness cannot be guaranteed. On the other hand, Formal Equivalence Checking can achieve 100% confidence. As the number of gates and in particular, the number of flip-flops, in circuits has grown tremendously during the recent years, the problem of Formal Equivalence Checking has become much harder â A recent evaluation of a general-case Formal Equivalence Checking engine [1] shows that about 15% of industrial designs cannot be verified after a typical sequential synthesis flow. As a result, a lot of attention on Formal Equivalence Checking has been drawn both academically and industrially. For years Combinational Equivalence Checking(CEC) has been the pervasive framework for Formal Equivalence Checking(FEC) in the industry. However, due to the limitation of being able to verify circuits only with 1:1 flip-flop pairing, a pure CEC-based methodology requires a full regression of the verification process, meaning that performing sequential optimizations like retiming or FSM re-encoding becomes somewhat of a bottleneck in the design cycle [2]. Therefore, a more powerful framework — Sequential Equivalence Checking (SEC) — has been gradually adopted in industry. In this thesis, we target on Sequential Equivalence Checking by finding efficient yet powerful group of relationships (invariants) among the signals of the two circuits being compared. In order to achieve a high success rate on some of the extremely hard-to-verify circuits, we are interested in both two-node and multi-node (up to 4 nodes) invariants. Also we are interested in invariants among both flip-flops and internal signals. For large circuits, there can be too many potential invariants requiring much time to prove. However, we observed that a large portion of them may not even contribute to equivalence checking. Moreover, equivalence checking can be significantly helped if there exists a method to check if a subset of potential invariants would be sufficient (e.g., whether two-nodes are enough or multi-nodes are also needed) prior to the verification step. Therefore, we propose two sufficiency-based approaches to identify useful invariants out of the initial potential invariants for SEC. Experimental results show that our approach can either demonstrate insufficiency of the invariants or select a small portion of them to successfully prove the equivalence property. Our approaches are quite case-independent and flexible. They can be applied on circuits with different synthesis techniques and combined with other techniques. / Master of Science