Document Search Results

from until

Sorting

Found 27 Documents (Results 1–27)

Newest Citations Relevance

Gibbons, Jeremy; Kidney, Donnacha Oisín; Schrijvers, Tom; Wu, Nicolas

Breadth-first traversal via staging. (English) Zbl 07705356

Komendantskaya, Ekaterina (ed.), Mathematics of program construction. 14th international conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13544, 1-33 (2022).

MSC: 68N30

Cite Review PDF

Full Text: DOI Link

van den Berg, Birthe; Schrijvers, Tom; Poulsen, Casper Bach; Wu, Nicolas

Latent effects for reusable language components. (English) Zbl 1520.68021

Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 182-201 (2021).

MSC: 68N15 68N18

Cite Review PDF

Full Text: DOI arXiv

Merdan, Selin; Barnett, Christine L.; Denton, Brian T.; Montie, James E.; Miller, David C.

OR practice-data analytics for optimal detection of metastatic prostate cancer. (English) Zbl 1472.90129

Oper. Res. 69, No. 3, 774-794 (2021).

MSC: 90C30 90C90

Cite Review PDF

Full Text: DOI

Zhang, Bingtao; Lei, Tao; Liu, Hong; Cai, Hanshu

EEG-based automatic sleep staging using ontology and weighting feature analysis. (English) Zbl 1431.92109

Comput. Math. Methods Med. 2018, Article ID 6534041, 16 p. (2018).

MSC: 92C55 92C20 62P10

Cite Review PDF

Full Text: DOI

Chalk, Cameron; Martinez, Eric; Schweller, Robert; Vega, Luis; Winslow, Andrew; Wylie, Tim

Optimal staged self-assembly of general shapes. (English) Zbl 1390.68303

Algorithmica 80, No. 4, 1383-1409 (2018).

MSC: 68Q05 68Q30 68U05

Cite Review PDF

Full Text: DOI arXiv Link

Yang, Grace

Neyman, Markov processes and survival analysis. (English) Zbl 1322.62238

Lifetime Data Anal. 19, No. 3, 393-411 (2013); erratum ibid. 19, No. 3, 412 (2013).

MSC: 62N01 60G44

Cite Review PDF

Full Text: DOI

Rompf, Tiark; Sujeeth, Arvind K.; Amin, Nada; Brown, Kevin J.; Jovanovic, Vojin; Lee, HyoukJoong; Jonnalagedda, Manohar; Olukotun, Kunle; Odersky, Martin

Optimizing data structures in high-level programs, new directions for extensible compilers based on staging. (English) Zbl 1301.68091

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 497-510 (2013).

MSC: 68N19 68N20 68P05

Cite Review PDF

Full Text: DOI

Bish, Douglas R.; Sherali, Hanif D.

Aggregate-level demand management in evacuation planning. (English) Zbl 1292.90039

Eur. J. Oper. Res. 224, No. 1, 79-92 (2013).

MSC: 90B06 90C10 90B90

Cite Review PDF

Full Text: DOI

Lopour, Beth A.; Tasoglu, Savas; Kirsch, Heidi E.; Sleigh, James W.; Szeri, Andrew J.

A continuous mapping of sleep states through association of EEG with a mesoscale cortical model. (English) Zbl 1446.92212

J. Comput. Neurosci. 30, No. 2, 471-487 (2011).

MSC: 92C55 92B20 92C32

Cite Review PDF

Noiray, Nicolas; Bothien, Mirko; Schuermans, Bruno

Investigation of azimuthal staging concepts in annular gas turbines. (English) Zbl 1229.80015

Combust. Theory Model. 15, No. 5, 585-606 (2011).

MSC: 80A25 76Q05

Cite Review PDF

Full Text: DOI

Carette, Jacques; Kiselyov, Oleg

Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. (English) Zbl 1215.68059

Sci. Comput. Program. 76, No. 5, 349-375 (2011).

MSC: 68N19 68N30

Cite Review PDF

Full Text: DOI

Stoean, Ruxandra; Stoean, Catalin; Lupsor, Monica; Stefanescu, Horia; Badea, Radu

Evolutionary conditional rules versus support vector machines weighted formulas for liver fibrosis degree prediction. (English) Zbl 1212.68152

An. Univ. Craiova, Ser. Mat. Inf. 37, No. 1, 43-54 (2010).

MSC: 68T05 68T20

Cite Review PDF

Strasser, W.; Wonders, A.

Commercial scale slurry bubble column reactor optimization. (English) Zbl 1296.76162

Rahman, M. (ed.) et al., Advances in fluid mechanics VII (AFM 2008). 7th international conference on advances in fluid mechanics, 21– 23 May, 2008, The New Forest, UK. Southampton: WIT Press (ISBN 978-1-84564-109-2/hbk; 978-1-84564-315-7/ebook). WIT Transactions on Engineering Sciences 59, 275-287 (2008).

MSC: 76T10 76N25 76V05

Cite Review PDF

Full Text: DOI

Barker, Chris; Shan, Chung-chieh

Types as graphs: Continuations in type logical grammar. (English) Zbl 1162.68716

J. Logic Lang. Inf. 15, No. 4, 331-370 (2006).

MSC: 68T50 03B65 68N15

Cite Review PDF

Full Text: DOI

Carette, Jacques

Gaussian elimination: a case study in efficient genericity with MetaOCaml. (English) Zbl 1100.68130

Sci. Comput. Program. 62, No. 1, 3-24 (2006).

MSC: 68W30 65F05

Cite Review PDF

Full Text: DOI

Kim, S. I.; Park, S. O.

Oscillatory behavior of supersonic impinging jet flows. (English) Zbl 1267.76038

Shock Waves 14, No. 4, 259-272 (2005).

MSC: 76J20 76L05 76M12

Cite Review PDF

Full Text: DOI

Eltayeb, Mohammed; Doğan, Atakan; Özgüner, Füsun

A path selection-based algorithm for real-time data staging in grid applications. (English) Zbl 1080.68522

J. Parallel Distrib. Comput. 65, No. 11, 1318-1328 (2005).

MSC: 68M10 68M20 68W10

Cite Review PDF

Full Text: DOI

Nanevski, Aleksandar; Pfenning, Frank

Staged computation with names and necessity. (English) Zbl 1085.68025

J. Funct. Program. 15, No. 6, 893-939 (2005).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Ishwaran, Hemant

Univariate and multirater ordinal cumulative link regression with covariate specific cutpoints. (English) Zbl 0966.62013

Can. J. Stat. 28, No. 4, 715-730 (2000).

MSC: 62F15 62P10 62H99 62J99

Cite Review PDF

Full Text: DOI Link

Routledge, R. D.; Smith, G. E. J.; Sun, L.; Dawe, N.; Nygren, E.; Sedinger, J. S.

Estimating the size of a transient population. (English) Zbl 1059.62702

Biometrics 55, No. 1, 224-230 (1999).

MSC: 62P10 62P12 62N02

Cite Review PDF

Full Text: DOI

Longini, Ira M. jun.; Clark, W. Scott; Satten, Glenn A.; Byers, Robert H.; Karon, John M.

Staged Markov models based on \(CD4^ +\) \(T\)-lymphocytes for the natural history of HIV infection. (English) Zbl 0847.92011

Isham, Valerie (ed.) et al., Models for infectious human diseases: their structure and relation to data. Cambridge: Cambridge University Press. Publ. Newton Inst. 6, 439-459 (1996).

MSC: 92C60 92D30 60J20