practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

Design and operation of integrated pilot-scale dimethyl ether synthesis system via pyrolysis/gasification of corncob

The integrated pilot-scale dimethyl ether (DME) synthesis system from corncob was demonstrated for modernizing utilization of biomass residues. The raw bio-syngas was obtained by the pyrolyzer/gasifier at the yield rate of 40-45 Nm(3)/h. The content of tar in the raw bio-syngas was decreased to less than 20 mg/Nm(3) by high temperature gasification of the pyrolysates under O-2-rich air. More than 70% CO2 in the raw bio-syngas was removed by pressure-swing adsorption unit (PSA). The bio-syngas (H-2/CO approximate to 1) was catalytically converted to DME in the fixed-bed tubular reactor directly over Cu/Zn/Al/HZSM-5 catalysts. CO conversion and space-time yield of DME were in the range of 82.0-73.6% and 124.3-203.8 kg/m(cat)(3)/h, respectively, with a similar DME selectivity when gas hourly space velocity (GHSV, volumetric flow rate of syngas at STP divided by the volume of catalyst) increased from 650 h(-1) to 1500 h(-1) at 260 degrees C and 4.3 MPa. And the selectivity to methanol and C-2(+) products was less than 0.65% under typical synthesis condition. The thermal energy conversion efficiency was ca. 32.0% and about 16.4% carbon in dried corncob was essentially converted to DME with the production cost of ca. (sic) 3737/ton DME. Cu (111) was assumed to be the active phase for DME synthesis, confirmed by X-ray diffraction (XRD) characterization.

P wave velocity of the pumice from the Okinawa Trough at high temperature and high pressure.

P wave velocity of the pumice sample from the middle Okinawa Trough and andesite sample from vicinity Yingdao volcanic island, Kyushu Japan were measured at temperature (from room temperature to 1500 C) and pressure (from room pressure to 2.4GPa) using a multi-anvil pressure apparatus called the YJ-3000 press. The measured data shows that at low temperature and low pressure (<1GPa, <800degreesC), the P wave velocity of pumice is lower than that of andesite, while at high temperature and high pressure (>1GPa, >800degreesC) the P wave velocity of pumice and andesite. becomes consistent (5.9km/s). The paper points out that 1GPa/800degreesC is the point of thermodynamic phase transformation Okinawa Trough pumice and vicinity andesite, and the point is deeper than 18km.

On the western boundary currents in the Philippine Sea

In this study we describe the velocity structure and transport of the North Equatorial Current (NEC), the Kuroshio, and the Mindanao Current (MC) using repeated hydrographic sections near the Philippine coast. A most striking feature of the current system in the region is the undercurrent structure below the surface flow. Both the Luzon Undercurrent and the Mindanao Undercurrent appear to be permanent phenomena. The present data set also provides an estimate of the mean circulation diagram (relative to 1500 dbar) that involves a NEC transport of 41 Sverdrups (Sv), a Kuroshio transport of 14 Sv, and a MC transport of 27 Sv, inducing a mass balance better than 1 Sv within the region enclosed by stations. The circulation diagram is insensitive to vertical displacements of the reference level within the depth range between 1500 and 2500 dbar. Transport fluctuations are, in general, consistent with earlier observations; that is, the NEC and the Kuroshio vary in the same phase with a seasonal signal superimposed with interannual variations, and the transport of the MC is dominated by a quasi-biennial oscillation. Dynamic height distributions are also examined to explore the dynamics of the current system.

Organochlorine micropollutants in the Jiulong River Estuary and Western Xiamen Sea, China

Organochlorine contaminants including 12 polychlorinated biphenyl (PCB) congeners and 18 insecticides were determined in water, pore water and sediments of the Jiulong River Estuary and Western Xiamen Sea, China. The results showed that the levels of the total PCBs ranged from non-detectable to 1500 ngl(-1) in water, from 209 to 3870 ngl(-1) in pore water, and from 2.78 to 14.8 ng g(-1) dry weight in sediments. Total organochlorine insecticide concentrations were from below the limit of detection to 2480 ngl(-1) in water, from 267 to 33400 ngl(-1) in pore water, and from 4.22 to 46.3 ng g(-1) dry weight in sediments. Concentrations of PCBs and insecticides in pore water were significantly higher than those in surface water, due to the high affinity of these hydrophobic compounds for sediment phase. The PCB congeners with the highest concentrations were CB153, CB180 and CB194, which together accounted for 68-87% of total PCBs in water, pore water and sediment. Among the hexachlorocyclohexane (HCH) compounds, beta-HCH was found to be a major isomer. Analysis of 1,1,1-trichloro-2,2-bis-chlorophenyl-ethane (DDT) and its metabolites showed that 1, 1-dichloro-2[o-chlorophenyl]-2[p-chlorophenyl]-ethylene (DDE) was dominant in the group. In comparison to a 1998 study in the Western Xiamen Sea, levels of organochlorines were enhanced due probably to recent inputs and changes in sediments. (c) 2004 Elsevier Ltd. All rights reserved.

Training for professional librarians in Slovakia by distance-learning methods: an overview of the PROLIB and EDULIB projects

Tedd, L.A., Dahl, K., Francis, S.,Tet?evov?, M.& ?ihlavn?kov?, E.(2002).Training for professional librarians in Slovakia by distance-learning methods: an overview of the PROLIB and EDULIB projects. Library Hi Tech, 20(3), 340-351. Sponsorship: European Union and the Open Society Institute

Collaboration on procurement of e-content between the National Health Service and higher education in the UK

Urquhart, C. J., Cox, A. M.& Spink, S. (2007). Collaboration on procurement of e-content between the National Health Service and higher education in the UK. Interlending & Document Supply, 35(3), 164-170. Sponsorship: JISC, LKDN

La traduction en polonais des textes d'ancien français: une compétence spécifique

This paper is relating a practical experience of teaching Romance philology students the translation from ancient French into Polish. The main scope is a restitution of an ancient text respecting not only the equivalence at the Iexical and syntactical level, but also the discourse structures, such as the linear sequence of events and events related from different points of view: some examples of solving particular problems are discussed. The whole procedure resembles that of translating from Latin, rather than a translation from one modern language to another.

User-Level Sandboxing: a Safe and Efficient Mechanism for Extensibility

Extensible systems allow services to be configured and deployed for the specific needs of individual applications. This paper describes a safe and efficient method for user-level extensibility that requires only minimal changes to the kernel. A sandboxing technique is described that supports multiple logical protection domains within the same address space at user-level. This approach allows applications to register sandboxed code with the system, that may be executed in the context of any process. Our approach differs from other implementations that require special hardware support, such as segmentation or tagged translation look-aside buffers (TLBs), to either implement multiple protection domains in a single address space, or to support fast switching between address spaces. Likewise, we do not require the entire system to be written in a type-safe language, to provide fine-grained protection domains. Instead, our user-level sandboxing technique requires only paged-based virtual memory support, and the requirement that extension code is written either in a type-safe language, or by a trusted source. Using a fast method of upcalls, we show how our sandboxing technique for implementing logical protection domains provides significant performance improvements over traditional methods of invoking user-level services. Experimental results show our approach to be an efficient method for extensibility, with inter-protection domain communication costs close to those of hardware-based solutions leveraging segmentation.

Subterfuge-safe trust management for delegation of permissions in open environments

Open environments involve distributed entities interacting with each other in an open manner. Many distributed entities are unknown to each other but need to collaborate and share resources in a secure fashion. Usually resource owners alone decide who is trusted to access their resources. Since resource owners in open environments do not have a complete picture of all trusted entities, trust management frameworks are used to ensure that only authorized entities will access requested resources. Every trust management system has limitations, and the limitations can be exploited by malicious entities. One vulnerability is due to the lack of globally unique interpretation for permission specifications. This limitation means that a malicious entity which receives a permission in one domain may misuse the permission in another domain via some deceptive but apparently authorized route; this malicious behaviour is called subterfuge. This thesis develops a secure approach, Subterfuge Safe Trust Management (SSTM), that prevents subterfuge by malicious entities. SSTM employs the Subterfuge Safe Authorization Language (SSAL) which uses the idea of a local permission with a globally unique interpretation (localPermission) to resolve the misinterpretation of permissions. We model and implement SSAL with an ontology-based approach, SSALO, which provides a generic representation for knowledge related to the SSAL-based security policy. SSALO enables integration of heterogeneous security policies which is useful for secure cooperation among principals in open environments where each principal may have a different security policy with different implementation. The other advantage of an ontology-based approach is the Open World Assumption, whereby reasoning over an existing security policy is easily extended to include further security policies that might be discovered in an open distributed environment. We add two extra SSAL rules to support dynamic coalition formation and secure cooperation among coalitions. Secure federation of cloud computing platforms and secure federation of XMPP servers are presented as case studies of SSTM. The results show that SSTM provides robust accountability for the use of permissions in federation. It is also shown that SSAL is a suitable policy language to express the subterfuge-safe policy statements due to its well-defined semantics, ease of use, and integrability.

Patient-based outcome assessment instruments in acupuncture research.

BACKGROUND: Outcome assessment can support the therapeutic process by providing a way to track symptoms and functionality over time, providing insights to clinicians and patients, as well as offering a common language to discuss patient behavior/functioning. OBJECTIVES: In this article, we examine the patient-based outcome assessment (PBOA) instruments that have been used to determine outcomes in acupuncture clinical research and highlight measures that are feasible, practical, economical, reliable, valid, and responsive to clinical change. The aims of this review were to assess and identify the commonly available PBOA measures, describe a framework for identifying appropriate sets of measures, and address the challenges associated with these measures and acupuncture. Instruments were evaluated in terms of feasibility, practicality, economy, reliability, validity, and responsiveness to clinical change. METHODS: This study was a systematic review. A total of 582 abstracts were reviewed using PubMed (from inception through April 2009). RESULTS: A total of 582 citations were identified. After screening of title/abstract, 212 articles were excluded. From the remaining 370 citations, 258 manuscripts identified explicit PBOA; 112 abstracts did not include any PBOA. The five most common PBOA instruments identified were the Visual Analog Scale, Symptom Diary, Numerical Pain Rating Scales, SF-36, and depression scales such as the Beck Depression Inventory. CONCLUSIONS: The way a questionnaire or scale is administered can have an effect on the outcome. Also, developing and validating outcome measures can be costly and difficult. Therefore, reviewing the literature on existing measures before creating or modifying PBOA instruments can significantly reduce the burden of developing a new measure.

Reified temporal logics: an overview

There are three main approaches to the representation of temporal information in AI literature: the so-called method of temporal arguments that simply extends functions and predicates of first-order language to include time as the additional argument; modal temporal logics which are extensions ofthe propositional or predicate calculus with modal temporal operators; and reified temporal logics which reify standard propositions of some initial language (e.g., the classical first-order or modal logic) as objects denoting propositional terms. The objective of this paper is to provide an overview onthe temporal reified approach by looking closely atsome representative existing systems featuring reified propositions, including those of Allen, McDermott, Shoham, Reichgelt, Galton, and Ma and Knight. We shall demonstrate that, although reified logics might be more complicated in expressing assertions about some given objects with respect to different times, they accord a special status to time and therefore have several distinct advantages in talking about some important issues which would be difficult (if not impossible) to express in other approaches.

What students can tell about lecturers when they are teaching: manifestations of confident and under-confident lecturers

Delivering a lecture requires confidence, a sound knowledge and well developed teaching skills (Cooper and Simonds, 2007, Quinn and Hughes, 2007). However, practitioners who are new to lecturing large groups in higher education may initially lack the confidence to do so which can manifest itself in their verbal and non-verbal cues and the fluency of their teaching skills. This results in the perception that students can identify the confident and non-confident teacher during a lecture (Street, 2007) and so potentially contributing to a lecturer’s level of anxiety prior to, and during, a lecture. Therefore, in the current educational climate of consumerisation, with the increased evaluation of teaching by students, having the ability to deliver high-quality, informed, and interesting lectures assumes greater significance for both lecturers and universities (Carr, 2007; Higher Education Founding Council 2008, Glass et al., 2006). This paper will present both the quantitative and qualitative data from a two-phase mixed method study with 75 nurse lecturers and 62 nursing students in one university in the United Kingdom. The study investigated the notion that lecturing has similarities to acting (Street, 2007). The findings presented here are concerned with how students perceived lecturers’ level of confidence and how lecturers believed they demonstrated confidence. In phase one a specifically designed questionnaire was distributed to both lecturers and students and a response rate of 91% (n=125) was achieved, while in phase two 12 in-depth semi-structured interviews were conducted with lecturers. Results suggested that students in a lecture could identify if the lecturer was confident or not by the way they performed a lecture. Students identified 57 manifestations of non-confidence and lecturers identified 85, while 57 manifestations of confidence were identified by students and 88 by lecturers. Overall, these fell into 12 main converse categories, ranging from body language to the use of space within the room. Both students and lecturers ranked body language, vocal qualities, delivery skills, involving the students and the ability to share knowledge as the most evident manifestations of confidence. Elements like good eye contact, smiling, speaking clearly and being fluent in the use of media recourses where all seen as manifestations confidence, conversely if these were poorly executed then a presentation of under confidence was evident. Furthermore, if the lecturer appeared enthusiastic it was clearly underpinned by the manifestation of a highly confidence lecturer who was secure in their knowledge base and teaching abilities: Some lecturers do appear enthusiastic but others don’t. I think the ones that do know what they are talking about, you can see it in their voice and in their lively body language. I think they are also good at involving the students even. I think the good ones are able to turn boring subjects into lively and interesting ones. (Student 50) Significantly more lecturers than students felt the lecturer should appear confident when lecturing. The lecturers stated it was particularly important to do so when they did not feel confident, because they were concerned with appearing capable. It seems that these students and lecturers perceived that expressive and apparently confident lecturers can make a positive impact on student groups in terms of involvement in lectures; the data also suggested the reverse, for the under confident lecturer. Findings from phase two indicated that these lecturers assumed a persona when lecturing, particularly, but not exclusively, when they were nervous. These lecturers went through a process of assuming and maintaining this persona before and during a lecture as a way of promoting their internal perceptions of confidence but also their outward manifestation of confidence. Although assuming a convincing persona may have a degree of deception about it, providing the knowledge communicated is accurate, the deception may aid rather than hinder learning, because enhances the delivery of a lecture. Therefore, the deception of acting a little more confidently than one feels might be justified when the lecturer knows the knowledge they are communicating is correct, unlike the Dr Fox Effect where the person delivering a lecture is an actor and does not know the subject in any detail or depth and where the deception to be justified (Naftulin, et al., 1973). In conclusion, these students and lecturers perceive that confident and enthusiastic lecturers communicate their passion for the subject in an interesting and meaningful manner through the use of their voice, body, space and interactions in such a way that shows confidence in their knowledge as well as their teaching abilities. If lecturers, therefore, can take a step back to consider how they deliver lectures in apparently confident ways this may increase their ability to engage their students and not only help them being perceived as good lecturers, but also contribute to the genuine act of education.

Environmental variability and biodiversity of megabenthos on the Hebrides Terrace Seamount (Northeast Atlantic)

We present the first remotely operated vehicle investigation of megabenthic communities (1004-1695 m water depth) on the Hebrides Terrace Seamount (Northeast Atlantic). Conductivity-temperature-depth casts showed rapid light attenuation below the summit and an oceanographic regime on the flanks consistent with an internal tide, and high short-term variability in water temperature, salinity, light attenuation, aragonite and oxygen down to 1500 m deep. Minor changes in species composition (3-14%) were explained by changes in depth, substratum and oceanographic stability, whereas environmental variability explained substantially more variation in species richness (40-56%). Two peaks in species richness occurred, the first at 1300-1400 m where cooler Wyville Thomson Overflow Water (WTOW) mixes with subtropical gyre waters and the second at 1500-1600 m where WTOW mixes with subpolar mode waters. Our results suggest that internal tides, substrate heterogeneity and oceanographic interfaces may enhance biological diversity on this and adjacent seamounts in the Rockall Trough.

Questions of 'h' in Northern Ireland: Breathing New Life on the Aspiration Theory

This paper considers existing ideas concerning pronunciation of the letter name for (LNH) in Northern Irish English (NIE). Traditionally, the status of LNH realisation as an ethnic marker has gone unquestioned: Catholics are thought to say [het&Mac186;] while the Protestant norm is assumed to be [etS]. The phonetic difference between these realisations is consistently described as word-initial aspiration versus non-aspiration, with aspiration attributed exclusively to Irish language influence. Here, we show that an explanation based on aspiration alone is phonologically unsatisfying and question whether aspiration is, in fact, an Irish language or ethnically dictated phenomenon. It is further suggested here that the overwhelming stigmatisation of LNH realisation may be responsible for blocking a potential sound change in NIE. While this paper is not intended as a detailed account of ethnolinguistic differences in NI phonology, it engages critically with the over-simplistic and widespread notion that LNH realisation is a result of transfer from the Irish language to the English used by Catholics in Northern Ireland.