Suchergebnisse - "Functional Programming"

PhD Abstracts von HUTTON, GRAHAM

“… Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes …”
Volltext

PhD Abstracts von HUTTON, GRAHAM

“… Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes …”
Volltext

Editorial von Gibbons, Jeremy, Krishnamurthi, Shriram

“… Authors will continue to retain copyright in their work: content will be published under a Creative Commons license, which allows free access and …”
Volltext

PhD Abstracts von HUTTON, GRAHAM

“… Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes …”
Volltext

Generic programming with combinators and objects von Kosarev, D.S., Boulytchev, D.Yu

“… The generic programming approach is popular in functional languages (for example, OCaml, Haskell). In essence, it is a compile-time generation of code that …”
Volltext

Pattern-Division Multiplexing for Multi-User Continuous-Aperture MIMO von Zhang, Zijian, Dai, Linglong

“… In recent years, thanks to the advances in meta-materials, the concept of continuous-aperture MIMO (CAP-MIMO) is reinvestigated to achieve improved …”
Volltext

Astrocytic interleukin-3 programs microglia and limits Alzheimer’s disease von McAlpine, Cameron S., Park, Joseph, Griciuc, Ana, Kim, Eunhee, Choi, Se Hoon, Iwamoto, Yoshiko, Kiss, Máté G., Christie, Kathleen A., Vinegoni, Claudio, Poller, Wolfram C., Mindur, John E., Chan, Christopher T., He, Shun, Janssen, Henrike, Wong, Lai Ping, Downey, Jeffrey, Singh, Sumnima, Anzai, Atsushi, Kahles, Florian, Jorfi, Mehdi, Feruglio, Paolo Fumene, Sadreyev, Ruslan I., Weissleder, Ralph, Kleinstiver, Benjamin P., Nahrendorf, Matthias, Tanzi, Rudolph E., Swirski, Filip K.

“… Communication within the glial cell ecosystem is essential for neuronal and brain health 1 – 3 . The influence of glial cells on the accumulation and clearance …”
Volltext

Two distinct interstitial macrophage populations coexist across tissues in specific subtissular niches von Chakarov, Svetoslav, Lim, Hwee Ying, Tan, Leonard, Lim, Sheau Yng, See, Peter, Lum, Josephine, Zhang, Xiao-Meng, Foo, Shihui, Nakamizo, Satoshi, Duan, Kaibo, Kong, Wan Ting, Gentek, Rebecca, Balachander, Akhila, Carbajo, Daniel, Bleriot, Camille, Malleret, Benoit, Tam, John Kit Chung, Baig, Sonia, Shabeer, Muhammad, Toh, Sue-Anne Ee Shiow, Schlitzer, Andreas, Larbi, Anis, Marichal, Thomas, Malissen, Bernard, Chen, Jinmiao, Poidinger, Michael, Kabashima, Kenji, Bajenoff, Marc, Ng, Lai Guan, Angeli, Veronique, Ginhoux, Florent

“… Macrophages are a heterogeneous cell population involved in tissue homeostasis, inflammation, and various pathologies. Although the major tissue-resident …”
Weitere Angaben

Challenging the abstraction penalty in parallel patterns libraries von Daniel, Garcia J, del Rio David, Aldinucci Marco, Tordini Fabio, Danelutto Marco, Mencagli Gabriele, Torquati Massimo

“… In the last years, pattern-based programming has been recognized as a good practice for efficiently exploiting parallel hardware resources. Following this …”
Volltext

PhD Abstracts von HUTTON, GRAHAM

“… Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts …”
Volltext

Pirouette: higher-order typed functional choreographies von Hirsch, Andrew K., Garg, Deepak

“… We present Pirouette, a language for typed higher-order functional choreographic programming. Pirouette offers programmers the ability to write a centralized …”
Volltext

Signaling networks in immunometabolism von Saravia, Jordy, Raynor, Jana L., Chapman, Nicole M., Lim, Seon Ah, Chi, Hongbo

“… Adaptive immunity is essential for pathogen and tumor eradication, but may also trigger uncontrolled or pathological inflammation. T cell receptor, …”
Volltext

Beamforming Optimization for Continuous Aperture Array (CAPA)-Based Communications von Wang, Zhaolin, Ouyang, Chongjun, Liu, Yuanwei

“… The beamforming optimization in continuous aperture array (CAPA)-based multi-user communications is studied. In contrast to conventional spatially discrete …”
Volltext

Polymorphic lambda calculus with context-free session types von Almeida, Bernardo, Mordido, Andreia, Thiemann, Peter, Vasconcelos, Vasco T.

“… Session types provide a typing discipline for structured communication on bidirectional channels. Context-free session types overcome the restriction to tail …”
Volltext

Optimal Renewable Resources Mix for Distribution System Energy Loss Minimization von Atwa, Y.M., El-Saadany, E.F., Salama, M.M.A., Seethapathy, R.

“… It is widely accepted that renewable energy sources are the key to a sustainable energy supply infrastructure since they are both inexhaustible and …”
Volltext

Preserving model structure and constraints in scientific computing von Forbes, Alistair, Lines, Keith, Forsberg, Fredrik Nordvall, McBride, Conor, Videla, Andre

“… In this paper, we look at how model structure and constraints can be incorporated into scientific computing using functional programming and, implicitly, …”
Volltext

Amino Acids License Kinase mTORC1 Activity and Treg Cell Function via Small G Proteins Rag and Rheb von Shi, Hao, Chapman, Nicole M, Wen, Jing, Guy, Cliff, Long, Lingyun, Dhungana, Yogesh, Rankin, Sherri, Pelletier, Stephane, Vogel, Peter, Wang, Hong, Peng, Junmin, Guan, Kun-Liang, Chi, Hongbo

“… Regulatory T (Treg) cells are critical mediators of immune tolerance whose activity depends upon T cell receptor (TCR) and mTORC1 kinase signaling, but the …”
Weitere Angaben

Benchmarking energy calculations using formal proofs von Ugwuanyi, Ejike D., Jones, Colin T., Velkey, John, Josephson, Tyler R.

Volltext

A Brief Overview of the Pawns Programming Language von Naish, Lee

“… This paper describes the Pawns programming language, currently under development, which uses several novel features to combine the functional and imperative …”
Volltext

Optimal Beamforming for Multi-User Continuous Aperture Array (CAPA) Systems von Wang, Zhaolin, Ouyang, Chongjun, Liu, Yuanwei

“… The optimal beamforming design for multi-user continuous aperture array (CAPA) systems is proposed. In contrast to conventional spatially discrete array …”
Volltext