Lex Bijlsma | Open University The Netherlands (original) (raw)

Papers by Lex Bijlsma

Rendiconti del Circolo Matematico di Palermo (1884-1940), 1891

Summary : A linear independence measure is given for the coordinates of algebraic points of abe-l... more Summary : A linear independence measure is given for the coordinates of algebraic points of abe-lian functions in two variables. From this an abelian analogue of the Franklin-Schneider theoremis deduced.Let A be a simple abelian variety defined over the field of algebraic numbers and let0 : ~2 -~A be a normalised theta homomorphism (cf. [12], § 1.2). be entire func-tions such that (~~(z),...,~v(z)) forms a system of homogeneous coordinates for the point 0(z) in projective v-space. Put fi : = ~i/~~. Assume that ~~(o) ~ 0 ; then algebraic for all i. A point u in C =~ 0 is by definition an algebraic point of 0 if and only if f.(u) is algebraic forall i. The field of abelian functions associated with 0 is ~ (fi ,...,f~). If (ul,u2) is a non-zero algebraic point of 0, the coordinates ul and u2 are linearlyindependent over the algebraic numbers (cf. [12], Theoreme 3.2.1) ; the proof uses the Schneider- Lang criterion (cf. [5] , Chapter II I,

Indagationes Mathematicae (Proceedings)

Marine Biodiversity, 2012

Potters, H., Berlanga, A. J., & Lex, B. (2011). Peer Production & Peer Support at the Free Techno... more Potters, H., Berlanga, A. J., & Lex, B. (2011). Peer Production & Peer Support at the Free Technology Academy. In G. van de Veer, P. B. Sloep, & M. van Eekelen (Eds.), Proceedings Computer Science Education Research Conference (CSERC '11) (pp. 49-58). April, 7-8, 2011, Heerlen, The Netherlands: ACM.

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools - PPPJ '16, 2016

Annales de la faculté des sciences de Toulouse Mathématiques, 1982

... by Lex Bijlsma. Eindhoven University of Technology. Add To MetaCart. ...

Information Processing Letters, 1995

In this paper we study the relationships between three properties of predicate transformers that ... more In this paper we study the relationships between three properties of predicate transformers that were defined in . Many of the results, proofs, and examples that follow are not new; these are included in the interest of self-containedness.

F13.38> is called #@pre ). Its usefulness lies in the fact that it shortens specifications by ... more F13.38> is called #@pre ). Its usefulness lies in the fact that it shortens specifications by doing away with the need for most specification variables, without having to drag in the full apparatus of the relational calculus. The extent to which this simple expedient cleans up formulae becomes clear if we observe that the classical criterion for repetition termination [2, (9, 28)] ### ## ## # # # # # ## # ## # #### # can now be shortened to ## # ## # ## # ### # # # (2) As suggested by these examples, the intention may be captured by considering # # as a specification variable and implicitly extending the precondition with a conjunct # # # # .In other word

variable: client variables may inspect its value, but are also allowed to perform explicit assign... more variable: client variables may inspect its value, but are also allowed to perform explicit assignments to it. In our abstract data type, we shall model this by adding operations Getbuffer and Setbuffer whose effects are those of inspection and assignment respectively. The value # (pronounced `bottom') is added because the ISO Pascal standard sometimes requires the buffer to become undefined. The abstract data type for ISO Pascal files is defined by listing its operations and specifying these by pre- and postconditions in terms of the four variables #######. The operations are: Rewrite pre: true post: # ### # # ### # # # out # # # # AB66 2 Reset pre: true post: # ### # # # # # ##

The decision to publish educational materials openly and under free licenses brings up the challe... more The decision to publish educational materials openly and under free licenses brings up the challenge of doing it in a sustainable way. Some lessons can be learned from the business models for production, maintenance and distribution of Free and Open Source Software. The Free Technology Academy (FTA) has taken on these challenges and has implemented some of these models. We briefly review the FTA educational programme, methodologies and organisation, and see to which extent these models are proving successful in the case of the FTA.

Annales de la faculté des sciences de Toulouse Mathématiques, 1980

Advances in Digital Education and Lifelong Learning, 2013

ABSTRACT This volume takes a look at the emergence of open education as a concept, a production p... more ABSTRACT This volume takes a look at the emergence of open education as a concept, a production process and a delivery preference in the world of education and learning. Drawing on early lessons from around the globe the book lays out how formal education, workplace learning and lifelong learning have been impacted so far by open education and how they stand to be further impacted by a landscape that is still changing. The book examines the social and economic consequences of open education and provide an insight into the way open education could contribute to a higher level of digital inclusion and to the establishment of new and innovative services of high social and economic merit. Featuring case studies of initiatives, practices and projects this volume illustrates theoretical concepts and emerging models of open education in the context of the latest academic studies and entrepreneurial innovation.

More and more people and organisations embrace Free Software (FS) and Open Standards (OS). Howeve... more More and more people and organisations embrace Free Software (FS) and Open Standards (OS). However a lack of knowledge holds back their massive adoption. The Free Technology Academy will address this by setting up a virtual campus offering course modules on these topics to become a showcase of a virtual campus based on FS, OS and the use of Open Educational Resources. This distance learning programme will enable IT professionals, students, teachers and decision makers to upgrade knowledge and acquire relevant skills on free technologies. The FTA is realised by an international consortium and welcomes other interested parties to join the network.

Journal of the Australian Mathematical Society, 1981

Let a,, .

Predicate calculus: concepts and misconceptions Lex Bijlsma and Rob Nederpelt Department of Mathe... more Predicate calculus: concepts and misconceptions Lex Bijlsma and Rob Nederpelt Department of Mathematics and Computing Science Eindhoven University of Technology PO Box 513 5600 MB Eindhoven, The Netherlands October 30, 1996 Abstract The paper focusses on the ...

Product management in software product companies is complex due to the many intertwined informati... more Product management in software product companies is complex due to the many intertwined information flows on releases, products and requirements, and the high number of different stakeholders that are involved. We propose the Software Product Management Workbench for operational support of requirements management, release planning, product roadmapping, and portfolio management. In this paper, we describe the functional design, architectural design, and show the requirements similarity functionality in the prototype.