45,685 Hits in 2.4 sec

A Theory of Protocol Composition [article]

Laura Bocchi, Dominic Orchard, Laura Voinea
2022 arXiv   pre-print
The resulting approach gives a theoretical basis for protocol (re-)engineering based on a process calculus with constraint annotations.  ...  Composition is considered for implementations of a protocol, but not for the protocols themselves as engineering components.  ...  A {Si} Ai A {+{li : Si}i∈I } i∈I Ai [bra] A ∪ {n} {S} AA {assert(n).S} A ′ [assert] A ∪ {n} {S} AA ∪ {n} {require(n).S} A ′ [require] A \ {n} {S} A ′ n ∈ A A {consume(n).S} A ′ [consume] A {S} A  ... 
arXiv:2203.02461v1 fatcat:v27dlduygbeizcbonjfujrospi

Effects of mowing dominant grasses on root exudation and soil nitrogen cycling in a natural sod culture apple orchard

Enda Zhou, Mingchuan Gou, Bo Yu, Chao Sun, Jiali He, Sijun Qin, Deguo Lyu
2021 Plant, Soil and Environment  
However, NO<sub>3</sub><sup>–</sup>-N content decreased on the 2<sup>nd</sup> day after T2 mowing following a decrease in AOA-amoA and AOB-amoA gene abundance.  ...  The results of this study will facilitate the optimisation of sod culture orchard N management, reduction of N fertiliser input, and improvement of N utilisation efficiency.  ...  After years of artificial selection, a stable grassland community dominated by natural native grass species has been formed in the orchard.  ... 
doi:10.17221/65/2021-pse fatcat:uqfajc3jo5fe7aheb2blkf3d5u

Pollen feeding by syrphids varies across seasons in a Mediterranean landscape dominated by the olive orchard

María Villa, Sónia A.P. Santos, José Antonio López-Sáez, Lara Pinheiro, Rosalina Marrão, Carlos Aguiar, José Alberto Pereira
2021 Biological control (Print)  
and M. mellinum to herbaceous/scrubland patches) for syrphids in a Mediterranean landscape dominated by the olive orchard were identified.  ...  Non-crop areas with Plantago sp. or conservation of Asteraceae plant specimens within the crop may enhance M. mellinum and S. scripta respectively in Mediterranean areas dominated by olive orchards.  ...  CRediT authorship contribution statement Appendix A. Supplementary data Supplementary data to this article can be found online at https://doi. org/10.1016/j.biocontrol.2021.104556.  ... 
doi:10.1016/j.biocontrol.2021.104556 fatcat:xgyoc3hwi5ap5kbmssb6zcqnwa

Seasonal patterns of habitat use by insectivorous bats in a subtropical African agro-ecosystem dominated by macadamia orchards

Peter John Taylor, Ara Monadjem, Jacobus Nicolaas Steyn
2013 African Journal of Ecology  
We report on acoustic surveys of insectivorous bats conducted during seven months of the year using ANABAT recordings in two habitats (macadamia orchards and adjacent riparian bush) in a subtropical agroecosystem  ...  We postulate that the significant pattern of seasonality of commuting and/or foraging activity of bats in macadamia orchards (which is more marked in open-air foragers) may be driven by the seasonal abundance  ...  Acknowledgements The study was funded by a Niche-Area Grant of the University of Venda as well as a National Research Foundation (NRF) Grant for Incentive Funding of Rated Researchers.  ... 
doi:10.1111/aje.12066 fatcat:tjlqqkss7jgrzomd5aqoqegtam

Effect of mixed orchards on Population dynamics and dominant on Tephritid flies in the New Valley Governorate, Egypt

Abdel-Moniem A. S. H., El-Kholy, M.Y.
2016 Journal of Life Sciences  
Peach Fruit Fly (PFF) Bactrocera zonata (Saunders) and of the Mediterranean fruit fly (MFF) Ceratitis capitata (Wiedemann) are the most of dominant and destructive key pests in fruit orchards in different  ...  Occurrence of B. zontata in high numbers all over the study period than C. capitata is considered as a good proof that this invading fly may be consider a vigor competitive tephritid fly to the native  ...  No adults of C. capitata were caught in Kharga region Effect of Mixed Orchards on Population Dynamics and Dominant on Tephritid Flies in the New Valley Governorate, Egypt 377 Fig. 1 A.  ... 
doi:10.17265/1934-7391/2016.08.003 fatcat:4iradvaodnhohceuqona7oy67m

A Notation for Comonads [chapter]

Dominic Orchard, Alan Mycroft
2013 Lecture Notes in Computer Science  
The category-theoretic concept of a monad occurs widely as a design pattern for functional programming with effects.  ...  Via our notation, we also provide a tutorial on programming with comonads.  ...  For example, a comonad of labelled binary trees can be defined: data BTree a = Leaf a | Node a (BTree a) (BTree a) instance Comonad BTree where extract (Leaf a) = a extract (Node a l r ) = a extend f (  ... 
doi:10.1007/978-3-642-41582-1_1 fatcat:oluiwnkfgfe4dj5pydnizyjfne

A Computational Science Agenda for Programming Language Research

Dominic Orchard, Andrew Rice
2014 Procedia Computer Science  
This research was supported by a Google Focused Research Award.  ...  a modern style [OR13] .  ...  These type systems give a basic specification of what is computed by a program (e.g., a floatingpoint number from floating-point parameters).  ... 
doi:10.1016/j.procs.2014.05.064 fatcat:7ndi7kepzbek5gprc6r5tcptvq

Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation

Dominic A. Orchard, Steve Matthews
2008 Mathematics in Computer Science  
Lucian introduces the notion of a declarative intensional object as the history of an object's evaluation.  ...  Lucian, a language derived from Lucid, embeds dataflow into object-orientation allowing the intensionalisation of objects.  ...  20 Dominic A.  ... 
doi:10.1007/s11786-008-0046-6 fatcat:x6ssltkdifh4zbk66fbyow2t2i

Discrimination Contours for Moving Sounds Reveal Duration and Distance Cues Dominate Auditory Speed Perception

Tom C. A. Freeman, Johahn Leung, Ella Wufong, Emily Orchard-Mills, Simon Carlile, David Alais, Christian Friedrich Altmann
2014 PLoS ONE  
The orientation of the contour (typically elliptical in shape) reveals which cue or combination of cues dominates.  ...  The technique produces a set of motion discrimination thresholds that define a contour in the distance-duration plane for different combination of the three cues, based on a 3-interval oddity task.  ...  We found good evidence that duration and to a lesser extent distance dominated the speed cue at threshold.  ... 
doi:10.1371/journal.pone.0102864 pmid:25076211 pmcid:PMC4116163 fatcat:dtbtduws7vfu5chfn6arqxjcki


Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
2010 Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming - DAMP '10  
We present a declarative domain-specific language, Ypnos, for expressing structured grid computations which encourages manual specification of causally sequential operations but then allows a simple, predictable  ...  A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code.  ...  Grid D a iterateT :: (Grid (T × D) aa) → Reducer a Bool → Grid D a → Grid D a lift :: Grid D a → Facet D a → Grid ∞ D a unlift :: Grid ∞ D a → Grid D a defaults :: Grid D aa → Grid ∞ D a run ∞ ::  ... 
doi:10.1145/1708046.1708053 dblp:conf/popl/OrchardBM10 fatcat:f7hqph5s45aw3i3f6zeyjjoxsa

Water use dynamics of young and mature apple trees planted in South African orchards: a case study of the Golden Delicious and Cripps' Pink cultivars

Zanele Ntshidi, Sebinasi Dzikiti, Dominic Mazvimavi
2018 Proceedings of the International Association of Hydrological Sciences  
Data was collected in 4 orchards in the Western Cape Province.  ...  </strong> Apple orchards have previously been bearing 60–80<span class="thinspace"></span>t<span class="thinspace"></span>ha<sup>−1</sup> at most.  ...  Tree spacing in both orchards was 4 m × 1.5 m giving a plant density of 1667 trees per hectare. Rootstock in both orchards was the industry standard M793.  ... 
doi:10.5194/piahs-378-79-2018 fatcat:tmnogd2gazcejeyrtanzxpbn6i

Temporal semantics for a live coding language

Samuel Aaron, Dominic Orchard, Alan F. Blackwell
2014 Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design - FARM '14  
Sonic Pi is a music live coding language that has been designed for educational use as a first programming language.  ...  The original version of Sonic Pi used a 'sleep' function for managing time, blocking computation for a specified time period.  ...  a + Δ b Δ a + Δ b + Δ c Δ d Δ a + Δ b + Δ c + 1 + Δ d Δ a + Δ b + Δ c + 1 + Δ d + Δ e Δ a + Δ b + Δ c + 1 + Δ d + Δ e + Δ f Δ a + Δ b + Δ c + 1 + Δ d + Δ e + Δ f + 0.5 Δ a + Δ b + Δ c + 1 + Δ d + Δ e +  ... 
doi:10.1145/2633638.2633648 dblp:conf/icfp/AaronOB14 fatcat:yhrhzbnl6ngwpbzde3yfj3tfye

Resilience to dominant genetic disease in the healthy elderly [article]

Paul Lacaze, Robert Sebra, Moeen Riaz, Jane Tiller, Jerico Revote, James Phung, Emily J Parker, Suzanne G Orchard, Jessica E Lockery, Rory Wolfe, Maya Strahl, Ying C Wang (+18 others)
2019 medRxiv   pre-print
The frequency of pathogenic variants was less than reported among the younger UK Biobank population, suggesting these variants confer a survival disadvantage during the middle years of life.  ...  We compared the prevalence of pathogenic variants in medically actionable autosomal dominant disease genes with that from the UK Biobank population, and assessed their clinical impact using personal medical  ...  Adult-onset conditions, by contrast, tend to be autosomal dominant, with only a single 157 pathogenic variant required to infer risk or predisposition to disease.  ... 
doi:10.1101/19006932 fatcat:n4au7knef5e3didjgommatffve

How to Take the Inverse of a Type

Daniel Marshall, Dominic Orchard, Karim Ali, Jan Vitek
In this pearl, we show that regular types in a linear setting permit a useful notion of multiplicative inverse, allowing us to "divide" one type by another.  ...  In functional programming, regular types are a subset of algebraic data types formed from products and sums with their respective units.  ...  Orchard 5:11 where − 1 and − 2 correspond to the two successive components of the 2-hole.  ... 
doi:10.4230/lipics.ecoop.2022.5 fatcat:fwydx26heffjpbo4urk56ylowe

How to Take the Inverse of a Type (Artifact)

Daniel Marshall, Dominic Orchard, Alessandra Gorla, Stefan Winter
In the pearl, we show that regular types in a linear setting permit a useful notion of multiplicative inverse, allowing us to 'divide' one type by another.  ...  In functional programming, regular types are a subset of algebraic data types formed from products and sums with their respective units.  ...  V1.1 Ar ti fa ct s Av a il a b le ECOOP F u n c ti onal V 1 .1 Art if a c ts Eva lu a te d ECOOP R e u sa ble V 1 .1 Art if a c ts Eva lu a te d ECOOP © Daniel Marshall and Dominic Orchard; licensed under  ... 
doi:10.4230/darts.8.2.1 fatcat:khbqbvkmqvcypgljplekwedsmm
« Previous Showing results 1 — 15 out of 45,685 results