The Role of Programming in the Formulation of Ideas

Classical mechanics is deceptively simple. It is surprisingly easy to get the right answer with fallacious reasoning or without real understanding. To address this problem we use computational techniques to communicate a deeper understanding of Classical Mechanics. Computational algorithms are used to express the methods used in the analysis of dynamical phenomena. Expressing the methods in a computer language forces them to be unambiguous and computationally effective. The task of formulating a method as a computer-executable program and debugging that program is a powerful exercise in the learning process. Also, once formalized procedurally, a mathematical idea becomes a tool that can be used directly to compute results.

A Simple Model of Circuit Design

A simple analog circuit designer has been implemented as a rule based system. The system can design voltage followers. Miller integrators, and bootstrap ramp generators from functional descriptions of what these circuits do. While the designer works in a simple domain where all components are ideal, it demonstrates the abilities of skilled designers. While the domain is electronics, the design ideas are useful in many other engineering domains, such as mechanical engineering, chemical engineering, and numerical programming. Most circuit design systems are given the circuit schematic and use arithmetic constraints to select component values. This circuit designer is different because it designs the schematic. The designer uses a unidirectional CONTROL relation to find the schematic. The circuit designs are built around this relation; it restricts the search space, assigns purposes to components and finds design bugs.

A Computational Model of Skill Acquisition

This thesis confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a computational performance model, HACKER, is displayed. Hacker is a computer problem-solving system whose performance improves with practice. HACKER maintains performance knowledge as a library of procedures indexed by descriptions of the problem types for which the procedures are appropriate. When applied to a problem, HACKER tries to use a procedure from this "Answer Library". If no procedure is found to be applicable, HACKER writes one using more general knowledge of the problem domain and of programming techniques. This new program may be generalized and added to the Answer Library.

Structure and Interpretation of Computer Programs

"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all students at MIT who major in Electrical Engineering or in Computer Science, as one fourth of the "common core curriculum," which also includes two subjects on circuits and linear systems and a subject on the design of digital systems. We have been involved in the development of this subject since 1978, and we have taught this material in its present form since the fall of 1980 to approximately 600 students each year. Most of these students have had little or no prior formal training in computation, although most have played with computers a bit and a few have had extensive programming or hardware design experience. Our design of this introductory Computer Science subject reflects two major concerns. First we want to establish the idea that a computer language is not just a way of getting a computer to perform operations, but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute. Secondly, we believe that the essential material to be addressed by a subject at this level, is not the syntax of particular programming language constructs, nor clever algorithms for computing particular functions of efficiently, not even the mathematical analysis of algorithms and the foundations of computing, but rather the techniques used to control the intellectual complexity of large software systems.

Archeologia amerykańska w świetle zarządzania dziedzictwem kulturowym: geneza, prawo, praktyka

Wydział Historyczny: Instytut Archeologii

Spuścizny konserwatorów zbiorów, kierowników i dyrektorów Biblioteki Poznańskiego Towarzystwa Przyjaciół Nauk

Artykuł prezentuje sylwetki konserwatorów zbiorów, kierowników i dyrektorów Biblioteki Poznańskiego Towarzystwa Przyjaciół Nauk (PTPN) oraz to, co po nich pozostało w postaci archiwaliów. Od momentu powstania Biblioteka PTPN gromadziła rękopisy lub całe spuścizny wybitnych osób, w tym kierujących tą placówką. Również inne biblioteki i archiwa zakładowe instytucji, z którymi byli oni związani, włączały do swych zbiorów ich materiały archiwalne. Spuścizny Ludwiki Dobrzyńskiej-Rybickiej i Ryszarda Marciniaka znajdują się zarówno w Bibliotece PTPN, jak i w Polskiej Akademii Nauk Archiwum w Warszawie Oddział w Poznaniu. Znaczna część materiałów archiwalnych Bolesława Erzepkiego trafiła natomiast do Działu Zbiorów Specjalnych Biblioteki Raczyńskich w Poznaniu. Szczątkowe materiały archiwalne można też znaleźć w Archiwum Uniwersytetu im. Adama Mickiewicza w Poznaniu (Ludwika Dobrzyńska-Rybicka) oraz w Archiwum Biblioteki Uniwersyteckiej w Poznaniu (Ludwika Dobrzyńska-Rybicka, Jan Baumgart, Aniela Koehlerówna).

Zrození autobiografického subjektu. Máchův intimní deník a moderní básnické deníky ve vztahu k romantické ideji subjektivismu

My text is an attempt to apply Charles Taylor’s theory, dealing with the origins of the modern self, to Czech autobiographical literature originating in Romanticism. Taking a cue from Jean Starobinski and Philippe Lejeune’s concepts of modern autobiography, I analyse Karel Hynek Mácha’s personal diary from 1835 and try to find and emphasize its narrative and compositional aspects, which anticipate the poetics of modern poetic diaries.

Adaptive Routing of QoS-constrained Media Streams over Scalable Overlay Topologies

Current research on Internet-based distributed systems emphasizes the scalability of overlay topologies for efficient search and retrieval of data items, as well as routing amongst peers. However, most existing approaches fail to address the transport of data across these logical networks in accordance with quality of service (QoS) constraints. Consequently, this paper investigates the use of scalable overlay topologies for routing real-time media streams between publishers and potentially many thousands of subscribers. Specifically, we analyze the costs of using k-ary n-cubes for QoS-constrained routing. Given a number of nodes in a distributed system, we calculate the optimal k-ary n-cube structure for minimizing the average distance between any pair of nodes. Using this structure, we describe a greedy algorithm that selects paths between nodes in accordance with the real-time delays along physical links. We show this method improves the routing latencies by as much as 67%, compared to approaches that do not consider physical link costs. We are in the process of developing a method for adaptive node placement in the overlay topology, based upon the locations of publishers, subscribers, physical link costs and per-subscriber QoS constraints. One such method for repositioning nodes in logical space is discussed, to improve the likelihood of meeting service requirements on data routed between publishers and subscribers. Future work will evaluate the benefits of such techniques more thoroughly.

Comparison of K-ary N-cube and de Bruijn Overlays in QoS-Constrained Multicast Applications

Research on the construction of logical overlay networks has gained significance in recent times. This is partly due to work on peer-to-peer (P2P) systems for locating and retrieving distributed data objects, and also scalable content distribution using end-system multicast techniques. However, there are emerging applications that require the real-time transport of data from various sources to potentially many thousands of subscribers, each having their own quality-of-service (QoS) constraints. This paper primarily focuses on the properties of two popular topologies found in interconnection networks, namely k-ary n-cubes and de Bruijn graphs. The regular structure of these graph topologies makes them easier to analyze and determine possible routes for real-time data than complete or irregular graphs. We show how these overlay topologies compare in their ability to deliver data according to the QoS constraints of many subscribers, each receiving data from specific publishing hosts. Comparisons are drawn on the ability of each topology to route data in the presence of dynamic system effects, due to end-hosts joining and departing the system. Finally, experimental results show the service guarantees and physical link stress resulting from efficient multicast trees constructed over both kinds of overlay networks.

Scalable Overlay Multicast Tree Construction for QoS-Constrained Media Streaming

Overlay networks have become popular in recent times for content distribution and end-system multicasting of media streams. In the latter case, the motivation is based on the lack of widespread deployment of IP multicast and the ability to perform end-host processing. However, constructing routes between various end-hosts, so that data can be streamed from content publishers to many thousands of subscribers, each having their own QoS constraints, is still a challenging problem. First, any routes between end-hosts using trees built on top of overlay networks can increase stress on the underlying physical network, due to multiple instances of the same data traversing a given physical link. Second, because overlay routes between end-hosts may traverse physical network links more than once, they increase the end-to-end latency compared to IP-level routing. Third, algorithms for constructing efficient, large-scale trees that reduce link stress and latency are typically more complex. This paper therefore compares various methods to construct multicast trees between end-systems, that vary in terms of implementation costs and their ability to support per-subscriber QoS constraints. We describe several algorithms that make trade-offs between algorithmic complexity, physical link stress and latency. While no algorithm is best in all three cases we show how it is possible to efficiently build trees for several thousand subscribers with latencies within a factor of two of the optimal, and link stresses comparable to, or better than, existing technologies.

Plasmid biology of natural Lactococcus lactis strains and molecular mechanisms of bacteriophage-host interaction

Lacticin 3147, enterocin AS-48, lacticin 481, variacin, and sakacin P are bacteriocins offering promising perspectives in terms of preservation and shelf-life extension of food products and should find commercial application in the near future. The studies detailing their characterization and bio-preservative applications are reviewed. Transcriptomic analyses showed a cell wall-targeted response of Lactococcus lactis IL1403 during the early stages of infection with the lytic bacteriophage c2, which is probably orchestrated by a number of membrane stress proteins and involves D-alanylation of membrane lipoteichoic acids, restoration of the physiological proton motive force disrupted following bacteriophage infection, and energy conservation. Sequencing of the eight plasmids of L. lactis subsp. cremoris DPC3758 from raw milk cheese revealed three anti-phage restriction/modification (R/M) systems, immunity/resistance to nisin, lacticin 481, cadmium and copper, and six conjugative/mobilization regions. A food-grade derivative strain with enhanced bacteriophage resistance was generated via stacking of R/M plasmids. Sequencing and functional analysis of the four plasmids of L. lactis subsp. lactis biovar. diacetylactis DPC3901 from raw milk cheese revealed genes novel to Lactococcus and typical of bacteria associated with plants, in addition to genes associated with plant-derived lactococcal strains. The functionality of a novel high-affinity regulated system for cobalt uptake was demonstrated. The bacteriophage resistant and bacteriocin-producing plasmid pMRC01 places a metabolic burden on lactococcal hosts resulting in lowered growth rates and increased cell permeability and autolysis. The magnitude of these effects is strain dependent but not related to bacteriocin production. Starters’ acidification capacity is not significantly affected. Transcriptomic analyses showed that pMRC01 abortive infection (Abi) system is probably subjected to a complex regulatory control by Rgg-like ORF51 and CopG-like ORF58 proteins. These regulators are suggested to modulate the activity of the putative Abi effectors ORF50 and ORF49 exhibiting topology and functional similarities to the Rex system aborting bacteriophage λ lytic growth.

The effect of variability in the powder/liquid ratio on the strength of zinc phosphate cement

Aim: To investigate (a) variability in powder/liquid proportioning (b) effect of the extremes of any such variability on diametral tensile strength (DTS), in a commercial zinc phosphate cement. Statistical analyses (a = 0.05) were by Student's t-test in the case of powder/liquid ratio and one-way ANOVA and Tukey HSD for for pair-wise comparisons of mean DTS. The Null hypotheses were that (a) the powder-liquid mixing ratios observed would not differ from the manufacturer's recommended ratio (b) DTS of the set cement samples using the extreme powder/liquid ratios observed would not differ from those made using the manufacturer's recommended ratio. Methodology: Thirty-four undergraduate dental students dispensed the components according to the manufacturer's instructions. The maximum and minimum powder/liquid ratios (m/m), together with the manufacturer's recommended ratio (m/m), were used to prepare cylindrical samples (n = 3 x 34) for DTS testing. Results: Powder/liquid ratios ranged from 2.386 to 1.018.The mean ratio (1.644 (341) m/m) was not significantly different from the manufacturer's recommended value of 1.718 (p=0.189). DTS values for the maximum and minimum ratios (m/m), respectively, were both significantly different from each other (p<0.001) and from the mean value obtained from the manufacturer's recommended ratio (m/m) (p<0.001). Conclusions: Variability exists in powder/liquid ratio (m/m) for hand dispensed zinc phosphate cement. This variability can affect the DTS of the set material.

All-optical OFDM and distributed Raman amplification: Challenges to enable high capacities and extend reach

We review recent advances in all-optical OFDM technologies and discuss the performance of a field trial of a 2 Tbit/s Coherent WDM over 124 km with distributed Raman amplification. The results indicate that careful optimisation of the Raman pumps is essential. We also consider how all-optical OFDM systems perform favourably against energy consumption when compared with alternative coherent detection schemes. We argue that, in an energy constrained high-capacity transmission system, direct detected all-optical OFDM with 'ideal' Raman amplification is an attractive candidate for metro area datacentre interconnects with ~100 km fibre spans, with an overall energy requirement at least three times lower than coherent detection techniques.

Nutraceutical and functional food bioactive peptides in beef

In recent years, the potential to positively modulate human health through dietary approaches has received considerable attention. Bioactive peptides which are released during the hydrolysis or fermentation of food proteins or following digestion may exert beneficial physiological effects in vivo. The aim of this work was to isolate, characterise and evaluate Angiotensin-І-converting enzyme (ACE-І) inhibitory, antimicrobial and antioxidant peptides from the bovine myofibrillar proteins actin and myosin. In order to generate these peptides, the myofibrillar proteins actin and myosin were hydrolysed with digestive enzymes pepsin, trypsin and α-chymotrypsin, or with the industrial thermolysin-like enzyme “Thermoase”, Amano Inc. It was found that each hydrolysate generated contained peptides which possessed ACE inhibitory, antioxidant and antimicrobial activity. The peptides responsible in part for the observed ACE inhibitory, antioxidant and antimicrobial activity of a number of hydrolysates were isolated using the method of RP-HPLC and the bioactive peptides contained within each active fraction was determined using either MALDI-TOF MS/MS or N-terminal peptide sequencing. During the course of this thesis six ACE inhibitory and five antimicrobial peptides were identified. It was determined that the reported antioxidant activity was a direct result of a number of peptides working in synergy with each other. The IC50 values of the six ACE inhibitory peptides ranged in values of 6.85 to 75.7 µM which compare favourably to values previously reported for other food derived ACE inhibitory peptides, particularly the well known milk peptides IPP and VPP, IC50 values of 5 and 9 µM respectively. All five antimicrobial peptides identified in this thesis displayed activity against Escherichia coli, Salmonella typhimurium, Staphylococcus aureus and Listeria innocua with MIC values ranging from 0.625 to10 mM. The activity of each antimicrobial peptide was strain specific. Furthermore the role and importance of charged amino acids to the activity of antimicrobial peptides was also determined. Generally the removal of charged amino acids from the sequence of antimicrobial peptides resulted in a loss of antimicrobial activity. In conclusion, this thesis revealed that a range of bioactive peptides exhibiting ACE inhibitory, antioxidant and antimicrobial activities were encrypted in bovine myofibrillar proteins that could be released using digestive and industrial enzymes. Finally enzymatic hydrolysates of muscle proteins could potentially be incorporated into functional foods; however, the potential health benefits would need to be proven in human clinical studies.

A study of diet and health in the elderly; the gut microbiota as a source of bioactive agents

The global proportion of older persons is increasing rapidly. Diet and the intestinal microbiota independently and jointly contribute to health in the elderly. The habitual dietary patterns and functional microbiota components of elderly subjects were investigated in order to identify specific effector mechanisms. A study of the dietary intake of Irish community-dwelling elderly subjects showed that the consumption of foods high in fat and/or sugar was excessive, while consumption of dairy foods was inadequate. Elderly females typically had a more nutrient- dense diet than males and a considerable proportion of subjects, particularly males, had inadequate intakes of calcium, magnesium, vitamin D, folate, zinc and vitamin C. The association between dietary patterns, glycaemic index and cognitive function was also investigated. Elderly subjects consuming ‘prudent’ dietary patterns had better cognitive function compared to those consuming ‘Western’ dietary patterns. Furthermore, fully-adjusted regression models revealed that a high glycaemic diet was associated with poor cognitive function, demonstrating a new link between nutrition and cognition. An extensive screening study of the elderly faecal-derived microbiota was also undertaken to examine the prevalence of antimicrobial production by intestinal bacteria. A number of previously characterised bacteriocins were isolated (gassericin T, ABP-118, mutacin II, enterocin L-50 and enterocin P) in this study. Interestingly, a Lactobacillus crispatus strain was found to produce a potentially novel antimicrobial compound. Full genome sequencing of this strain revealed the presence of three loci which exhibited varying degrees of homology with the genes responsible for helveticin J production in Lb. helveticus. An additional study comparing the immunomodulatory capacity of ‘viable’ and ‘non-viable’ Bifidobacterium strains found that Bifidobacterium-fermented milks (BFMs) containing ‘non-viable’ cells could stimulate levels of IL-10 and TNF-α in a manner similar to those stimulated by BFMs containing ‘viable’ cells in vitro.