Non-principal ultrafilters, program extraction and higher order reverse mathematics

We investigate the strength of the existence of a non-principal ultrafilter over fragments of higher order arithmetic. Let U be the statement that a non-principal ultrafilter exists and let ACA_0^{\omega} be the higher order extension of ACA_0. We show that ACA_0^{\omega}+U is \Pi^1_2-conservative over ACA_0^{\omega} and thus that ACA_0^{\omega}+\U is conservative over PA. Moreover, we provide a program extraction method and show that from a proof of a strictly \Pi^1_2 statement \forall f \exists g A(f,g) in ACA_0^{\omega}+U a realizing term in G\"odel's system T can be extracted. This means that one can extract a term t, such that A(f,t(f))

Machine Learning

Machine Learning can be defined in various ways related to a scientific domain concerned with the design and development of theoretical and implementation tools that allow building systems with some Human Like intelligent behavior. Machine learning addresses more specifically the ability to improve automatically through experience

First International Conference on Ada (R) Programming Language Applications for the NASA Space Station, volume 2

Topics discussed include: reusability; mission critical issues; run time; expert systems; language issues; life cycle issues; software tools; and computers for Ada

Application of PLS-SEM for small-scale survey: an empirical example of SMEs

Recent developments in Structural Equation Modelling (SEM) have been claimed to add some sophistication onto quantitative research methods' usage in terms of their research versatility, efficiency and practicality in a range of disciplines including Information Systems, Marketing, and People Management research. Although covariance based SEM (CB-SEM) is most prominent, application of partial least square structural equation modelling (PLS-SEM) is an attractive alternative. This paper examines and applies the characteristics of PLS-SEM onto SMEs to see whether the efficiency, practicality and versatility assumptions, as claimed, do actually contribute to SMEs' business entrepreneurship in practice. The research question is therefore 'Do the embedded PLS-SEM assumptions of research versatility, practicality and efficiency actually translate into practical reality in SMEs operating in an emerging economy context?' We used a quantitative method data analysis technique as a precursor to help us identify the types of challenges faced by SMEs at both the micro and macro levels of analysis. Primary survey data from 212 Bangladeshi SMEs located at various geographic districts provide the study's population. We assess the application of the technique as a research methodological tool and its limitations provided the basis for us to develop and validate a partial least square based structural equation model (PLS-SEM) as part of a small scale survey-based research on SMEs. These methodological insights then led to a successful framing of SMEs in a model that contributes to a process of identifying which types of challenges are more critical for SMEs' growth. Our results show that for SMEs to be competitive, the business and research benefits of our modelling and methodological technique should be given foreseeable attention by both academics and business practitioners. This methodological perspective is yet to gain researchers and professional practitioners' attention from SMEs' business perspective. By applying the statistical PLS technique to Business and Management Studies research we are contributing to a deeper understanding and knowledge creation in examining the assumptions, the design and application of a sophisticated research tool for the development of People Management, Business and SME theory and practice with a focus on an emerging economy

Electronic supply chain management systems in managing the bullwhip effect on selected fast moving consumer goods.

Ph. D. University of KwaZulu-Natal, Durban 2014.The amplitude in order variability as orders surge upstream a supply chain epitomises a phenomenon commonly called the bullwhip effect. The real consumer demand orders are comparatively and tentatively evinced less variability while trading supply chain members on the midstream and upstream stages experience the amplified order vacillations. The oscillator effect reveals a number of pernicious problems throughout the supply chain networks, as downstream sites include harmful bloated inventory and shortages with poor customer service, and the midstream and upstream sites depict the disharmonic capacity on improper planning and inconsistent scheduling in production. This study investigates the selected fast moving consumer goods (FMCG) industry on the amplified consumer demand order variability as orders cascade from downstream (retailers) to the midstream as well as upstream sites of the supply chain network.The effect of electronically-enabled supply chain management (e-SCM) systems remains the central hypothesis for instant information sharing on inventory positioning, integrated supply chain management processes and improved profitability through positive performance targets and outcomes across supply chain trading partners. The main objective aims to understand the on extent of the relationship to which the phenomenon of bullwhip effect can be explained by e-SCM system diffusion, optimal inventory positioning, strategic information sharing and global optimisation strategies. These seamless linkages between supply chain partners seem to entrench velocity on quasi-real-time information flow in consumer demand and supply sides, inventory status and availability, and capacity availability. This study found empirical research evidence on e-SCM systems that retail supply chain businesses have fastidiously adapted to technology clockspeed for the last five years. The majority of the respondents (92%) for both upstream and downstream echelon categories agreed that e-SCM systems have a significant role to play in mitigating the consumer demand order variability in the supply chain network. This study further discovered that the migration from in-house IT systems to integrated e-SCM systems (65%) would entrench close integration of information exchange and processes across different parts of the organisation and inter-organisational linkages. The e-SCM systems diffusion also depicted a positive linear relationship to the extent to which the organisations efficiently and timeously communicate the future strategic needs and demand order replenishments throughout the entire supply chain network. However, the access to advance economic information negatively related to e-SCM systems with the virtue of legal constraints and template-based information attachments

Continuing professional development - challenge for professional organization

Professions, as one of key sectors of social systems, bear a leading role in the existing social work organization. Free professions take up a special place and significance, all the way from Roman artes liberales to our times. Pharmaceutical profession, as one of the oldest, led by ethical principles, is regulated by postulates accepted by the profession members, and in modern times established through legislations. Typical determinants of the regulated professions, which also refer to pharmacists, as chamber members, are as follows: following ethical principles, specific skills and knowledge, professional development, autonomy at work, continuing improvement, competencies development, professional associations, licensing