Results 301 to 310 of about 334,211 (336)

The Case for a positive cosmological Lambda term

, 1999
Recent observations of Type 1a supernovae indicating an accelerating universe have once more drawn attention to the possible existence, at the present epoch, of a small positive Lambda-term (cosmological constant).
V. Sahni, A. Starobinsky
semanticscholar   +1 more source

The Lambda and the Kappa

IEEE Internet Computing, 2017
Whether lambda or kappa, there’s no free lunch!
Jimmy J. Lin
semanticscholar   +1 more source

Clone Refactoring with Lambda Expressions

International Conference on Software Engineering, 2017
Lambda expressions have been introduced in Java 8 to support functional programming and enable behavior parameterization by passing functions as parameters to methods.
Nikolaos Tsantalis, D. Mazinanian, Shahriar Rostami   +2 more
semanticscholar   +1 more source

Neither delta- nor lambda-tris(phenanthroline)ruthenium(II) binds to DNA by classical intercalation.

Biochemistry, 1992
Equilibrium binding studies and viscosity experiments are described that characterize the interaction of delta- and lambda-[Ru(o-phen)3]2+ with calf thymus DNA. The mode of binding of these compounds to DNA is a matter of controversy. Both isomers of [Ru(
S. Satyanarayana, J. Dabrowiak, J. Chaires   +2 more
semanticscholar   +1 more source

Differential branching fraction and angular analysis of $\Lambda^{0}_{b} \rightarrow \Lambda \mu^+\mu^-$ decays

, 2015
The differential branching fraction of the rare decay $\Lambda^{0}_{b} \rightarrow \Lambda \mu^+\mu^-$ is measured as a function of $q^{2}$, the square of the dimuon invariant mass.
L. C. R. Aaij, B. Adeva, M. Adinolfi, A. Affolder, Z. Ajaltouni, S. Akar, J. Albrecht, F. Alessio, M. Alexander, S. Ali, G. Alkhazov, P. Cartelle, A. A. Alves, S. Amato, S. Amerio, Y. Amhis, L. An, L. Anderlini, J. Anderson, M. Andreotti, J. Andrews, R. Appleby, O. Gutierrez, F. Archilli, A. Artamonov, M. Artuso, E. Aslanides, G. Auriemma, M. Baalouch, S. Bachmann, J. Back, A. Badalov, C. Baesso, W. Baldini, R. Barlow, C. Barschel, S. Barsuk, W. Barter, V. Batozskaya, V. Battista, A. Bay, L. Beaucourt, J. Beddow, F. Bedeschi, I. Bediaga, L. Bel, I. Belyaev, E. Ben-Haim, G. Bencivenni, S. Benson, J. Benton, A. Berezhnoy, R. Bernet, A. Bertolin, M. Bettler, M. Beuzekom, A. Bieñ, S. Bifani, T. Bird, A. Bizzeti, T. Blake, F. Blanc, J. Blouw, S. Blusk, V. Bocci, A. Bondar, N. Bondar, W. Bonivento, S. Borghi, M. Borsato, T. Bowcock, E. Bowen, C. Bozzi, S. Braun, D. Brett, M. Britsch, T. Britton, J. Brodzicka, N. Brook, A. Bursche, J. Buytaert, S. Cadeddu, R. Calabrese, M. Calvi, M. C. Gomez, P. Campana, D. Perez, L. Capriotti, A. Carbone, G. Carboni, R. Cardinale, A. Cardini, P. Carniti, L. Carson, K. Akiba, R. Mohr, G. Casse, L. Cassina, L. García, M. Cattaneo, C. Cauet, G. Cavallero, R. Cenci, M. Charles, P. Charpentier, M. Chefdeville, S. Chen, S. Cheung, N. Chiapolini, M. Chrzaszcz, X. Vidal, G. Ciezarek, P. Clarke, M. Clemencic, H. Cliff, J. Closier, V. Coco, J. Cogan, E. Cogneras, V. Cogoni, L. Cojocariu, G. Collazuol, P. Collins, A. Comerma-Montells, A. Contu, A. Cook, M. Coombes, S. Coquereau, G. Corti, M. Corvo, I. Counts, B. Couturier, G. Cowan, D. Craik, A. Crocombe, M. C. Torres, S. Cunliffe, R. Currie, C. D’Ambrosio, J. Dalseno, P. David, A. Davis, K. Bruyn, S. Capua, M. Cian, J. Miranda, L. Paula, W. Silva, P. Simone, C. Dean, D. Decamp, M. Deckenhoff, L. Buono, N. D'el'eage, D. Derkach, O. Deschamps, F. Dettori, B. Dey, A. Canto, F. Ruscio, H. Dijkstra, S. Donleavy, F. Dordei, M. Dorigo, A. Su'arez, D. Dossett, A. Dovbnya, K. Dreimanis, G. Dujany, F. Dupertuis, P. Durante, R. Dzhelyadin, A. Dziurda, A. Dzyuba, S. Easo, U. Egede, V. Egorychev, S. Eidelman, S. Eisenhardt, U. Eitschberger, R. Ekelhof, L. Eklund, I. Rifai, C. Elsasser, S. Ely, S. Esen, H. Evans, T. Evans, A. Falabella, C. Farber, C. Farinelli, N. Farley, S. Farry, R. Fay, D. Ferguson, V. F. Albor, F. Ferrari, F. Rodrigues, M. Ferro-Luzzi, S. Filippov, M. Fiore, M. Fiorini, M. Firlej, C. Fitzpatrick, T. Fiutowski, P. Fol, M. Fontana, F. Fontanelli, R. Forty, O. Francisco, M. Frank, C. Frei, M. Frosini, J. Fu, E. Furfaro, A. Torreira, D. Galli, S. Gallorini, S. Gambetta, M. Gandelman, P. Gandini, Y. Gao, J. G. Pardiñas, J. Garofoli, J. Tico, L. Garrido, D. Gascón, C. Gaspar, U. Gastaldi, R. Gauld, L. Gavardi, G. Gazzoni, A. Geraci, D. Gerick, E. Gersabeck, M. Gersabeck, T. Gershon, P. Ghez, A. Gianelle, S. Gianì, V. Gibson, L. Giubega, V. Gligorov, C. Gobel, D. Golubkov, A. Golutvin, A. Gomes, C. Gotti, M. G. G'andara, R. Diaz, L. Cardoso, E. Graug'es, E. Graverini, G. Graziani, A. Grecu, E. Greening, S. Gregson, P. Griffith, L. Grillo, O. Grunberg, B. Gui, E. Gushchin, Y. Guz, T. Gys, C. Hadjivasiliou, G. Haefeli, C. Haen, S. Haines, S. Hall, B. Hamilton, T. Hampson, X. Han, S. Hansmann-Menzemer, N. Harnew, S. Harnew, J. Harrison, J. He, T. Head, V. Heijne, K. Hennessy, P. Henrard, L. Henry, J. A. H. Morata, E. Herwijnen, M. Heß, A. Hicheur, D. Hill, M. Hoballah, P. H. Hopchev, W. Hulsbergen, T. Humair, N. Hussain, D. Hutchcroft, D. Hynds, M. Idzik, P. Ilten, R. Jacobsson, A. Jaeger, J. Jalocha, E. Jans, A. Jawahery, F. Jing, M. John, D. Johnson, C. Jones, C. Joram, B. Jost, N. Jurik, S. Kandybei, W. Kanso, M. Karacson, T. M. Karbach, S. Karodia, M. Kelsey, I. Kenyon, M. Kenzie, T. Ketel, B. Khanji, C. Khurewathanakul, S. Klaver, K. Klimaszewski, O. Kochebina, M. Kolpin, I. Komarov, R. Koopman, P. Koppenburg, M. Korolev, L. Kravchuk, K. Kreplin, M. Kreps, G. Krocker, P. Krokovny, F. Kruse, W. Kucewicz, M. Kucharczyk, V. Kudryavtsev, K. Kurek, T. Kvaratskheliya, V. N. Thi, D. Lacarrere, G. Lafferty, A. Lai, D. Lambert, R. Lambert, G. Lanfranchi, C. Langenbruch, B. Langhans, T. Latham, C. Lazzeroni, R. Gac, J. Leerdam, J. Lees, R. Lefèvre, A. Leflat, J. Lefranccois, O. Leroy, T. Lesiak, B. Leverington, Y. Li, T. Likhomanenko, M. Liles, R. Lindner, C. Linn, F. Lionetto, B. Liu, S. Lohn, I. Longstaff, J. Lopes, P. Lowdon, D. Lucchesi, H. Luo, A. Lupato, E. Luppi, O. Lupton, F. Machefert, F. Maciuc, O. Maev, S. Malde, A. Malinin, G. Manca, G. Mancinelli, P. Manning, A. Mapelli, J. Maratas, J. Marchand, U. Marconi, C. Benito, P. Marino, R. Marki, J. Marks, G. Martellotti, M. Martinelli, D. Santos, F. Vidal, D. M. Tostes, A. Massafferri, R. Matev, A. Mathad, Z. Máthé, C. Matteuzzi, A. Mauri, B. Maurin, A. Mazurov, M. McCann, J. McCarthy, A. McNab, R. McNulty, B. Meadows, F. Meier, M. Meissner, M. Merk, D. Milanes, M. Minard, D. Mitzel, J. M. Rodriguez, S. Monteil, M. Morandin, P. Morawski, A. Mordà, M. Morello, J. Moroń, A. Morris, R. Mountain, F. Muheim, K. Muller, M. Mussini, B. Muster, P. Naik, T. Nakada, R. Nandakumar, I. Nasteva, M. Needham, N. Neri, S. Neubert, N. Neufeld, M. Neuner, A. Nguyen, T. Nguyen, C. Nguyen-Mau, V. Niess, R. Niet, N. Nikitin, T. Nikodem, A. Novoselov, D. O’Hanlon, A. Oblakowska-Mucha, V. Obraztsov, S. Ogilvy, O. Okhrimenko, R. Oldeman, C. Onderwater, B. O. Rodrigues, J. O. Goicochea, A. Otto, P. Owen, A. Oyanguren, A. Palano, F. Palombo, M. Palutan, J. Panman, A. Papanestis, M. Pappagallo, L. Pappalardo, C. Parkes, G. Passaleva, G. Patel, M. Patel, C. Patrignani, A. Pearce, A. Pellegrino, G. Penso, M. Altarelli, S. Perazzini, P. Perret, L. Pescatore, K. Petridis, A. Petrolini, E. Olloqui, B. Pietrzyk, T. Pilavr, D. Pinci, A. Pistone, S. Playfer, M. P. Casasus, T. Poikela, F. Polci, A. Poluektov, I. Polyakov, E. Polycarpo, A. Popov, D. Popov, B. Popovici, C. Potterat, E. Price, J. Price, J. Prisciandaro, A. Pritchard, C. Prouve, V. Pugatch, A. Navarro   +499 more
semanticscholar   +1 more source

Computational lambda-calculus and monads

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 1989
The lambda -calculus is considered a useful mathematical tool in the study of programming languages. However, if one uses beta eta -conversion to prove equivalence of programs, then a gross simplification is introduced.
E. Moggi
semanticscholar   +1 more source

Lambda Calculus with Types

, 2014
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version
S. Wildekker, N. Richardstatma, Henk Barendregt, W. Dekkers, Richard Statman, Managing Editor Thomas Scanlon, Michael Benedikt, Steven A. Cook, Michael Glanzberg, Antonio Montalban, Michael Rathjen, Simon Thomas, Richard A Shore, Richard Statman, Clemens Grabmeyer, Tanmay Inamdar, Thierry Joly, J. Klop, Pieter Koopman, D. Kozen, Giulio Manzonetto, James McKinna, V. V. Oostrom, A. Polonsky, R. Plasmeijer, Arnoud van Rooij, Jan Rutten, Sylvain Salvati, Richard Statman, Fabio Alessi, M. Bezem, F. Cardone, M. Coppo, M. Dezani-Ciancaglini, Gilles. Dowek, F. Honsell, M. Moortgat, P. Severi   +37 more
semanticscholar   +1 more source

Lambda Calculus with Types

Perspectives in logic, 2013
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version
H. Barendregt, W. Dekkers, R. Statman
semanticscholar   +1 more source

Generation of a large combinatorial library of the immunoglobulin repertoire in phage lambda.

Science, 1989
A novel bacteriophage lambda vector system was used to express in Escherichia coli a combinatorial library of Fab fragments of the mouse antibody repertoire.
W. Huse, L. Sastry, S. A. Iverson, Angray S. Kang, M. Alting-Mees, D. Burton, S. Benkovic, R. Lerner   +7 more
semanticscholar   +1 more source

AWS Lambda

Machine Learning in the AWS Cloud, 2019

semanticscholar   +1 more source