10,382 Hits in 3.8 sec

Escaping with Future Variables in HALO [chapter]

Charlotte Herzeel, Kris Gybels, Pascal Costanza
Runtime Verification  
Future variables, argument copying To increase the expressive power of HALO, we are investigating how the use of future variables in escape conditions can be allowed.  ...  Conclusions and Future Work In this paper we've given an initial discussion of the use of "future" variables in escape conditions in the logic pointcut language HALO, and the relation to HALO's implementation  ... 
doi:10.1007/978-3-540-77395-5_5 dblp:conf/rv/HerzeelGC07 fatcat:c7xegagt2zhevdrnws3hctbprq

Forward chaining in HALO

Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt
2007 Proceedings of the 2007 international conference on Dynamic languages in conjunction with the 15th International Smalltalk Joint Conference 2007 - ICDL '07  
In this paper, we introduce a logic-based pointcut language that allows interaction with the base program as well as pointcuts over a history of join points.  ...  In aspect-oriented programming, pointcuts are formulated as conditions over the context of dynamic events in the execution of a program.  ...  Acknowledgements This work was supported in part by the AOSD-Europe Network of Excellence, European Union grant no.  ... 
doi:10.1145/1352678.1352689 dblp:conf/smalltalk/HerzeelGCRD07 fatcat:54huo7ncnbfxxmbsxn2wunnihq

Forward chaining in HALO: An implementation strategy for history-based logic pointcuts

Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt
2009 Computer languages, systems & structures  
In this paper, we introduce a logic-based pointcut language that allows interaction with the base program as well as pointcuts over a history of join points.  ...  In aspect-oriented programming, pointcuts are formulated as conditions over the context of dynamic events in the execution of a program.  ...  Acknowledgements This work was supported in part by the AOSD-Europe Network of Excellence, European Union grant no.  ... 
doi:10.1016/ fatcat:mfvytgd64ne5rj7hjxhds2spu4

Modularizing crosscuts in an e-commerce application in Lisp using HALO

Charlotte Herzeel, Kris Gybels, Pascal Costanza, Theo D'Hondt
2009 Proceedings of the 2007 International Lisp Conference on - ILC '07  
In this paper we consider extending an e-commerce application, written in CLOS, with two of such crosscutting concerns.  ...  For this purpose we give an overview of HALO, a novel pointcut language based on logic meta programming and temporal logic, which allows one to reason about program execution and (past) program state.  ...  make use of logic variables bound in a "future" pointcut.  ... 
doi:10.1145/1622123.1622136 dblp:conf/lfp/HerzeelGCD07 fatcat:cbmqx56cobb3jpvypyotrh4bi4

Reionization with Simba: How much does astrophysics matter in modeling cosmic reionization? [article]

Sultan Hassan, Romeel Davé, Matthew McQuinn, Rachel S. Somerville, Laura C. Keating, Daniel Anglés-Alcázar, Francisco Villaescusa-Navarro, David N. Spergel
2021 arXiv   pre-print
We find that, at the power spectrum level, the ionization morphology remains mostly unchanged, regardless of the variability in the number of sources or escape fraction.  ...  Comparing with simple (one-to-one) models, the main difference of using Simba sources is the scatter in the relation between dark matter halos and star formation, and hence ionizing emissivity.  ...  ACKNOWLEDGEMENTS The authors acknowledge helpful discussions with Adam Lidz and Enrico Garaldi. We thank Dominique Aubert for proving ATON, and Jonathan Chardin for guidance on how to use.  ... 
arXiv:2109.03840v1 fatcat:h34ihvj2xjex3jqvfzrz2v6e5m

The First Billion Years project: the escape fraction of ionizing photons in the epoch of reionization

Jan-Pieter Paardekooper, Sadegh Khochfar, Claudio Dalla Vecchia
2015 Monthly notices of the Royal Astronomical Society  
We find a large range of escape fractions in haloes with similar properties, caused by different distributions of the dense gas in the halo.  ...  In haloes with virial mass above 1e8 solar mass supernova feedback is important, but only 30% of the haloes in this mass range have an escape fraction higher than 1%.  ...  In individual haloes the redshift evolution of the escape fraction can deviate a great deal from this average. We plan to study this in greater detail in future work.  ... 
doi:10.1093/mnras/stv1114 fatcat:m7auay7bhbhtxe7yawfc5je74y


Maureen Teyssier, Kathryn V. Johnston, Michael M. Shara
2009 Astrophysical Journal  
general and the Milky Way in particular.  ...  These stars may become energetically unbound (escaped stars), or may travel to further than a few virial radii for longer than a few Gyr, but still remain energetically bound to the system (wandering stars  ...  Work was supported in part by NSF grant AST-0734864. Future E/W particles are marked with black stars. The center of the satellite is a diamond, its orbit is dark grey.  ... 
doi:10.1088/0004-637x/707/1/l22 fatcat:vjllba2bcfezfkt626fv3kbepu

ASCAObservation of MS 1603.6+2600 (=UW Coronae Borealis): A Dipping Low‐Mass X‐Ray Binary in the Outer Halo?

Koji Mukai, Alan P. Smale, Caroline K. Stahle, Eric M. Schlegel, Rudy Wijnands
2001 Astrophysical Journal  
We tentatively suggest that MS 1603.6+2600 is located in the outer halo of the Milky Way, perhaps associated with the globular cluster Palomar 14, 11 degrees away from MS 1603.6+2600 on the sky at an estimated  ...  MS 1603.6+2600 is a high-latitude X-ray binary with a 111 min orbital period, thought to be either an unusual cataclysmic variable or an unusual low-mass X-ray binary.  ...  This suggests possible, though speculative, scenarios as to how MS 1603.6+2600 might have formed in the outer halo. First, it may have formed in Palomar 14 itself and escaped.  ... 
doi:10.1086/323383 fatcat:q5eelfntq5bfbplhe5qncuyhey

Galactic ionising photon budget during the Epoch of Reionisation in the Cosmic Dawn II simulation [article]

Joseph S. W. Lewis, Pierre Ocvirk, Dominique Aubert, Jenny G. Sorce, Paul R. Shapiro, Nicolas Deparis, Taha Dawoodbhoy, Romain Teyssier, Gustavo Yepes, Stefan Gottlöber, Kyungjin Ahn, Ilian T. Iliev (+1 others)
2020 arXiv   pre-print
The latter is increasingly prevalent at higher halo mass, driving down f_esc (we provide analytical fits to our results), whereas halo escape luminosity, proportional to f_esc×SFR, increases with mass.  ...  Haloes with dark matter masses within 6.10^8 M_ < M_h < 3.10^10 M_ produce ∼ 80 photons at z=7, when the Universe is 50 of cosmic reionization.  ...  PRS was supported in part by U.S.  ... 
arXiv:2001.07785v3 fatcat:je4c3gp7jrdrfjn4agwlpfpmtq

Time-dependent behaviour of Lyman α photon transfer in a high-redshift optically thick medium

Wen Xu, Xiang-Ping Wu, Li-Zhi Fang
2011 Monthly notices of the Royal Astronomical Society  
In this case, time-independent, or stationary solutions of the Lyα photon transfer with resonant scattering will overlook important features of the escaped Lyα photons in physical and frequency spaces.  ...  With Monte Carlo simulation method, we investigate the time dependent behavior of Lyα photon transfer in optically thick medium of the concordance ΛCDM universe.  ...  A WENO time-dependent solution of the Lyα photon transfer in a dusty medium will be discussed in a future paper.  ... 
doi:10.1111/j.1365-2966.2011.19539.x fatcat:mx64q4v62bgatgc6ai3miaehu4

The SPHINX Cosmological Simulations of the First Billion Years: the Impact of Binary Stars on Reionization★

Joakim Rosdahl, Harley Katz, Jérémy Blaizot, Taysun Kimm, Léo Michel-Dansac, Thibault Garel, Martin Haehnelt, Pierre Ocvirk, Romain Teyssier
2018 Monthly notices of the Royal Astronomical Society  
The project has numerous goals in improving our understanding of reionization and making predictions for future observations.  ...  The higher escape fraction is a result of a shallower decline in ionizing luminosity with age, and is the primary reason for earlier reionization, although the higher integrated luminosity with binaries  ...  TK is supported by the National Research Foundation of Korea to the Center for Galaxy Evolution Research (no. 2017R1A5A1070354) and in part by the Yonsei University Future-leading Research Initiative of  ... 
doi:10.1093/mnras/sty1655 fatcat:2jjfiegqlzbs7nw6ulieh7agwi

Formation of massive Population III galaxies through photoionization feedback: a possible explanation for CR 7

Eli Visbal, Zoltán Haiman, Greg L. Bryan
2016 Monthly Notices of the Royal Astronomical Society: Letters  
We suggest that this scenario may explain the recent observation of strong He II 1640 Å line emission in CR7, which is consistent with ∼ 10^7 M_ of young Pop III stars.  ...  Once such a halo reaches ≈ 10^9 M_, corresponding to the Jeans mass of the photoheated intergalactic medium (IGM) at z≈ 7, pristine gas is able to collapse into the halo, potentially producing a massive  ...  ACKNOWLEDGEMENTS EV was supported by the Columbia Prize Postdoctoral Fellowship in the Natural Sciences. ZH was supported by NASA grant NNX15AB19G.  ... 
doi:10.1093/mnrasl/slw071 fatcat:hpvsfsndf5c3jpzdxlhit7ence

Escape fraction of ionizing photons from high-redshift galaxies in cosmological SPH simulations

Hidenobu Yajima, Jun-Hwan Choi, Kentaro Nagamine
2010 Monthly notices of the Royal Astronomical Society  
photons to escape more easily than in the high-mass haloes.  ...  The large dispersion in f_esc suggests that there may be various sizes of H ii bubbles around the haloes even with the same mass in the early stages of reionization.  ...  We are grateful to Volker Springel for providing us with the original version of GADGET-3, on which Choi & Nagamine (2009b) simulations are based.  ... 
doi:10.1111/j.1365-2966.2010.17920.x fatcat:lhlwnqorq5f45mol326eelnoki

Shaping the galaxy stellar mass function with supernova- and AGN-driven winds

Ewald Puchwein, Volker Springel
2012 Monthly notices of the Royal Astronomical Society  
At the same time, our model is in good agreement with the stellar mass functions at redshifts z=1 and z=2, and with the observed redshift evolution of the cosmic star formation rate density.  ...  This agreement with a diverse set of data marks significant progress in hydrodynamically modelling the formation of a representative galaxy population.  ...  s −1 and mass loading η = 2 (L15N128csf,cw), as well as for two variable wind models in which the wind velocity and mass loading scale with the host halo's escape velocity.  ... 
doi:10.1093/mnras/sts243 fatcat:utgdbq3lzzaxzfnfxo6fswq2rq

Fluctuating feedback-regulated escape fraction of ionizing radiation in low-mass, high-redshift galaxies

Maxime Trebitsch, Jérémy Blaizot, Joakim Rosdahl, Julien Devriendt, Adrianne Slyz
2017 Monthly notices of the Royal Astronomical Society  
We find that the energy and momentum input from the supernova explosions has a pivotal role in regulating the escape fraction, by disrupting dense star forming clumps, and clearing sight lines in the halo  ...  This explains the large scatter in the value of the escape fraction found by previous studies.  ...  The evolution of the outflow rate with time fol- be embedded in large scale filaments, we see at least for the lows the same highly variable pattern as the SFR: because first two haloes a disturbed gas  ... 
doi:10.1093/mnras/stx1060 fatcat:66isifijmjcytp6ttms7rdzmwy
« Previous Showing results 1 — 15 out of 10,382 results