Results 11 to 20 of about 7,560,832 (284)

Programming with neural surrogates of programs [PDF]

Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2021
Surrogates, models that mimic the behavior of programs, form the basis of a variety of development workflows. We study three surrogate-based design patterns, evaluating each in case studies on a large-scale CPU simulator. With surrogate compilation, programmers develop a surrogate that mimics the behavior of a program to deploy to end-users in place of
Alex Renda, Yi Ding, Michael Carbin
openaire   +2 more sources

Program Synthesis for Program Analysis [PDF]

ACM Transactions on Programming Languages and Systems, 2018
In this article, we propose a unified framework for designing static analysers based on program synthesis . For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving,
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis   +3 more
openaire   +5 more sources

Description of a Program for Nonlinear Programming: the Centroid Program [PDF]

The Computer Journal, 1985
Considered is a problem of non-linear programming in the form \(g_ e(x)\leq 0\), \(e=1,2,...,M\), f(x)\(\to \min\), where g and f are non-linear functions of the independent variable \(x=\{x_ 1,x_ 2,...,x_ t,...,x_ n\}\). We then define the penalty function \(F=\sum_{e}g^+_ e\), where \(g_ e>0\to g^+_ e=g_ e\), \(g_ e\leq 0\to g^+_ e=0\), and by an ...
openaire   +3 more sources

The DarkSide Program [PDF]

EPJ Web of Conferences, 2016
DarkSide-50 at Gran Sasso underground laboratory (LNGS), Italy, is a direct dark matter search experiment based on a liquid argon TPC. DS-50 has completed its first dark matter run using atmospheric argon as target. The detector performances and the results of the first physics run are presented in this proceeding.
Rossi, B., Agnes, P., Alexander, T., Alton, A., Arisaka, K., Back, H.O., Baldin, B., Biery, K., Bonfini, G., Bossa, M., Brigatti, A., Brodsky, J., Budano, F., Calaprice, F., Canci, N., Candela, A., Cariello, M., Cavalcante, P., Catalanotti, S., Chavarria, A., Chepurnov, A., Cocco, A.G., Covone, G., d'Angelo, D., d'Incecco, M., Deo, M. De, Derbin, A., Devoto, A., Eusanio, F. Di, Edkins, E., Empl, A., Fan, A., Fiorillo, G., Fomenko, K., Franco, D., Gabriele, F., Galbiati, C., Goretti, A., Grandi, L., Guan, M.Y., Guardincerri, Y., Hackett, B., Herner, K., Hungerford, E.V., Ianni, Al., Ianni, An., Kendziora, C., Koh, G., Korablev, D., Korga, G., Kurlej, A., Li, P.X., Lombardi, P., Luitz, S., Machulin, I., Mandarano, A., Mari, S., Maricic, J., Marini, L., Martoff, C.J., Meyers, P.D., Montanari, D., Montuschi, M., Monzani, M.E., Musico, P., Odrowski, S., Orsini, M., Ortica, F., Pagani, L., Pallavicini, M., Pantic, E., Papp, L., Parmeggiano, S., Pelliccia, N., Perasso, S., Pocar, A., Pordes, S., Qian, H., Randle, K., Ranucci, G., Razeto, A., Reinhold, B., Renshaw, A., Romani, A., Rossi, N., Rountree, S.D., Sablone, D., Saldanha, R., Sands, W., Segreto, E., Shields, E., Smirnov, O., Sotnikov, A., Stanford, C., Suvorov, Y., Tartaglia, R., Tatarowicz, J., Testera, G., Tonazzo, A., Unzhakov, E., Vogelaar, R.B., Wada, M., Walker, S., Wang, H., Watson, A., Westerdale, S., Wojcik, M., Xiang, X., Xu, J., Yang, C.G., Yoo, J., Zavatarelli, S., Zec, A., Zhu, C., Zuzel, G.   +114 more
openaire   +5 more sources

Program Transformation for Program Verification

EPiC Series in Computing, 2018
We present a transformational approach to program verification and software model checking that uses three main ingredients:(i) Constraint Logic Programming (CLP),(ii) metaprogramming and program specialization, and(iii) proof by transformation.
PETTOROSSI, ALBERTO, Proietti, M.
openaire   +6 more sources

Program

Rangifer, 1984
<p>NOR's chairman Ole K. Sara opened the conference, followed by a presentation of NOR by the secretary general Sven Skjenneberg. After he and Mauri Nieminen had presented news about reindeer research in the Nordic countries, the lectures and discussions in the conference sessions focused on 1) Pasture and pasture plants; 2) Stress; 3) Diseases ...
openaire   +7 more sources

Programming Visuals, Visualising Programs

Science & Technology Studies, 2018
This article examines the role of visualisations in astrophysics programming work, showing that visualisations are not only outputs for those producing them, but can help those developing them understand how to do their work. Studies of visualization in programming have mainly been of social and cultural factors influencing scientific research.
Wes Sharrock, Phillip Brooker, Christian Greiffenhagen   +2 more
openaire   +3 more sources

A program transformation from equational programs into logic programs

The Journal of Logic Programming, 1987
In the last few years, substantial efforts have been made towards developing equational programming languages and logic programming languages: the so-called descriptive languages. The languages of both types are based on mathematical systems and to a certain extent resemble each other.
Shoichi Noguchi, Atsushi Togashi
openaire   +2 more sources

Program Evaluation and Random Program Starts [PDF]

SSRN Electronic Journal, 2003
This paper discusses the evaluation problem using observational data when the timing of treatment is an outcome of a stochastic process. We show that, without additional assumptions, it is not possible to estimate the average treatment effect and treatment on the treated. It is, however, possible to estimate the effect of treatment on the treated up to
Fredriksson, Peter, Johansson, Per
openaire   +8 more sources

occumb: An R package for site occupancy modeling of eDNA metabarcoding data

Population Ecology, EarlyView.
This study introduces a new R package, occumb, for the convenient application of site occupancy modeling using environmental DNA (eDNA) metabarcoding data. We outline a data analysis workflow, including data setup, model fitting, model assessment, and comparison of potential study settings based on model predictions, all of which can be performed using
Keiichi Fukaya, Yuta Hasebe
wiley   +1 more source