Results 51 to 60 of about 681,398 (337)
Teaching Functional Patterns through Robotic Applications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We present our approach to teaching functional programming to First Year Computer Science students at Middlesex University through projects in robotics. A holistic approach is taken to the curriculum, emphasising the connections between different subject
J. Boender +4 more
doaj +1 more source
Bisimilarity as a Theory of Functional Programming [PDF]
Electronic Notes in Theoretical Computer Science, 1995 The objektive of this paper is to use CCS-style labbelled transitions and bisimilarity to offer a new perspective on the behavior of functional programs. Morris-style contextual equivalence is characterized in terms of reduction behavior and production of values.
openaire +2 more sources
Typing Context-Dependent Behavioural Variation [PDF]
, 2012 Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational issues remain
Degano, Pierpaolo +3 more
core +3 more sources
FEBS Letters, EarlyView.The Arabidopsis mutants hls1 hlh1 and amp1 lamp1 exhibit pleiotropic developmental phenotypes. Although the functions of the causative genes remain unclear, they act in the same genetic pathway and are thought to generate non‐cell‐autonomous signals.
Takashi Nobusawa, Makoto Kusaba
wiley +1 more source
Structural dynamics of the plant hormone receptor ETR1 in a native‐like membrane environment
FEBS Letters, EarlyView.The present study unveils the structural and signaling dynamics of ETR1, a key plant ethylene receptor. Using an optimized nanodisc system and solution NMR, we captured full‐length ETR1 in a native‐like membrane environment. Our findings reveal dynamic domain uncoupling and Cu(I)‐induced rigidification, providing the first evidence of metal‐triggered ...
Moritz Lemke +2 more
wiley +1 more source
A Mathematica-Based Interface for the Exploration of Inter- and Intra-Regional Financial Flows
MathematicsThis work surveys the use of directed weighted graphs in conducting comparative static analyses. The paper discusses the implementation of a computer-aided process for building spreadsheet-based graph models for inter- and intra-regional financial flows.
Kyriaki Tsilika
doaj +1 more source
A functional quantum programming language
, 2004 We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides
Altenkirch, Thorsten, Grattage, Jonathan
core +8 more sources
Systematic formulation of non-functional characteristics of software [PDF]
, 1998 This paper presents NoFun, a notation aimed at dealing with non-functional aspects of software systems at the product level in the component programming framework.
Franch Gutiérrez, Javier
core +1 more source
FEBS Letters, EarlyView.Antimicrobial resistance (AMR) is of huge importance, resulting in over 1 million deaths each year. Here, we describe how a new drug, enmetazobactam, designed to help fight resistant bacterial diseases, inhibits a key enzyme (GES‐1) responsible for AMR. Our data show it is a more potent inhibitor than the related tazobactam, with high‐level computation
Michael Beer +10 more
wiley +1 more source
Experimental functional realization of attribute grammar system [PDF]
Computer Science Journal of Moldova, 2002 In this paper we present an experimental functional realization of attribute grammar(AG) system for personal computers. For AG system functioning only Turbo Prolog compiler is required.
I. Attali, K. Chebotar, N. Meergus
doaj