Log in

Relevant bibliographies by topics / Declarative framework / Journal articles

To see the other types of publications on this topic, follow the link: Declarative framework.

Journal articles on the topic 'Declarative framework'

Author: Grafiati

Published: 4 June 2021

Last updated: 16 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Declarative framework.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Finkelstein, Stacy E., Peter Freyd, and James Lipton. "A new framework for declarative programming." Theoretical Computer Science 300, no. 1-3 (2003): 91–160. http://dx.doi.org/10.1016/s0304-3975(01)00308-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Di Pierro, Alessandra, Chris Hankin, and Herbert Wiklicky. "Probabilistic Confinement in a Declarative Framework." Electronic Notes in Theoretical Computer Science 48 (June 2001): 108–30. http://dx.doi.org/10.1016/s1571-0661(04)00152-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Burdick, Douglas, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, and Wang-Chiew Tan. "A Declarative Framework for Linking Entities." ACM Transactions on Database Systems 41, no. 3 (2016): 1–38. http://dx.doi.org/10.1145/2894748.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Mayer, Wolfgang, Markus Stumptner, Peter Killisperger, and Georg Grossmann. "A declarative framework for work process configuration." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25, no. 2 (2011): 143–62. http://dx.doi.org/10.1017/s0890060410000594.

Full text

Abstract:

AbstractThis article describes the technical principles and representation of a constraint-based configuration method for work processes. Methods developed for the configuration of modular systems comprising components have traditionally adopted a representation where the properties and compatibility requirements are expressed as constraints associated with individual components. However, this representation does not accurately capture constraints on paths and subprocesses and is therefore unsuitable for process configuration. This article extends established constraint-based configuration met

APA, Harvard, Vancouver, ISO, and other styles

5

Larkin, Henry. "A framework for programmatically designing user interfaces in JavaScript." International Journal of Pervasive Computing and Communications 11, no. 3 (2015): 254–69. http://dx.doi.org/10.1108/ijpcc-03-2015-0014.

Full text

Abstract:

Purpose – The purpose of this paper is to investigate the feasibility of creating a declarative user interface language suitable for rapid prototyping of mobile and Web apps. Moreover, this paper presents a new framework for creating responsive user interfaces using JavaScript. Design/methodology/approach – Very little existing research has been done in JavaScript-specific declarative user interface (UI) languages for mobile Web apps. This paper introduces a new framework, along with several case studies that create modern responsive designs programmatically. Findings – The fully implemented p

APA, Harvard, Vancouver, ISO, and other styles

6

HANUS, MICHAEL, and SVEN KOSCHNICKE. "An ER-based framework for declarative web programming." Theory and Practice of Logic Programming 14, no. 3 (2012): 269–91. http://dx.doi.org/10.1017/s1471068412000385.

Full text

Abstract:

AbstractWe describe a framework to support the implementation of web-based systems intended to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore, the

APA, Harvard, Vancouver, ISO, and other styles

7

Finkelstein, Stacy E., Peter Freyd, and James Lipton. "Erratum to: “A new framework for declarative programming”." Theoretical Computer Science 311, no. 1-3 (2004): 527. http://dx.doi.org/10.1016/j.tcs.2003.09.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

López, Hugo A., Carlos Olarte, and Jorge A. Pérez. "Towards a Unified Framework for Declarative Structured Communications." Electronic Proceedings in Theoretical Computer Science 17 (February 6, 2010): 1–15. http://dx.doi.org/10.4204/eptcs.17.1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Caballero, Rafael, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit. "A unified framework for declarative debugging and testing." Information and Software Technology 129 (January 2021): 106427. http://dx.doi.org/10.1016/j.infsof.2020.106427.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Guns, Tias, Anton Dries, Siegfried Nijssen, Guido Tack, and Luc De Raedt. "MiningZinc: A declarative framework for constraint-based mining." Artificial Intelligence 244 (March 2017): 6–29. http://dx.doi.org/10.1016/j.artint.2015.09.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

DEMETRESCU, CAMIL, and IRENE FINOCCHI. "Smooth Animation of Algorithms in a Declarative Framework." Journal of Visual Languages & Computing 12, no. 3 (2001): 253–81. http://dx.doi.org/10.1006/jvlc.2001.0208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Goderis, Sofie, Dirk Deridder, Ellen Van Paesschen, and Theo D'Hondt. "DEUCE : A Declarative Framework for Extricating User Interface Concerns." Journal of Object Technology 6, no. 9 (2007): 87. http://dx.doi.org/10.5381/jot.2007.6.9.a5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Miravet, Patricia, Ignacio Marin, Francisco Ortin, and Javier Rodriguez. "Framework for the declarative implementation of native mobile applications." IET Software 8, no. 1 (2014): 19–32. http://dx.doi.org/10.1049/iet-sen.2012.0194.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

del Vado Vírseda, Rafael. "A Logical Framework for Debugging in Declarative Constraint Programming." Electronic Notes in Theoretical Computer Science 256 (December 2009): 119–35. http://dx.doi.org/10.1016/j.entcs.2009.11.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Wininger, Florian, Naser Ezzati-Jivan, and Michel R. Dagenais. "A declarative framework for stateful analysis of execution traces." Software Quality Journal 25, no. 1 (2016): 201–29. http://dx.doi.org/10.1007/s11219-016-9311-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

de Boer, F. S., K. V. Hindriks, W. van der Hoek, and J. J. Ch Meyer. "A verification framework for agent programming with declarative goals." Journal of Applied Logic 5, no. 2 (2007): 277–302. http://dx.doi.org/10.1016/j.jal.2005.12.014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

HOFSTEDT, PETRA, and PETER PEPPER. "Integration of declarative and constraint programming." Theory and Practice of Logic Programming 7, no. 1-2 (2007): 93–121. http://dx.doi.org/10.1017/s1471068406002833.

Full text

Abstract:

AbstractCombining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate different language paradigms into a unified framework. Furthermore, we study the syntactic, semantic and operational impacts of this idea for the amalgamation of declarative and constraint programming.

APA, Harvard, Vancouver, ISO, and other styles

18

Lago, Joaquı́n Mateos, and Mario Rodrı́guez Artalejo. "A declarative framework for object-oriented programming with genetic inheritance." Theoretical Computer Science 269, no. 1-2 (2001): 363–417. http://dx.doi.org/10.1016/s0304-3975(01)00013-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Ma, Jiefei, Franck Le, Alessandra Russo, and Jorge Lobo. "Declarative Framework for Specification, Simulation and Analysis of Distributed Applications." IEEE Transactions on Knowledge and Data Engineering 28, no. 6 (2016): 1489–502. http://dx.doi.org/10.1109/tkde.2016.2515604.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Lee, Choonhwa, Chengyang Wang, Eunsam Kim, and Sumi Helal. "Blueprint Flow: A Declarative Service Composition Framework for Cloud Applications." IEEE Access 5 (2017): 17634–43. http://dx.doi.org/10.1109/access.2017.2748622.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Serra, Gabriele, Gabriele Ara, Pietro Fara, and Tommaso Cucinotta. "ReTiF: A declarative real-time scheduling framework for POSIX systems." Journal of Systems Architecture 118 (September 2021): 102210. http://dx.doi.org/10.1016/j.sysarc.2021.102210.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Okello Candiya Bongomin, George, Charles Akol Malinga, John C. Munene, and Joseph Mpeera Ntayi. "Institutional framework in developing economies." Journal of Financial Regulation and Compliance 26, no. 2 (2018): 271–86. http://dx.doi.org/10.1108/jfrc-02-2017-0025.

Full text

Abstract:

Purpose The purpose of this paper is to establish the relationship between institutional framework of regulative (formal rules), normative (informal norms) and cultural-cognitive (cognition), and their effects on financial intermediation by microfinance deposit taking institutions (MDIs) in developing economies like Uganda. Design/methodology/approach Data collected from a total sample of 400 poor households and 40 relationship officers located in rural Uganda were processed using statistical package for social sciences and analysis of moment structures to establish the relationship between in

APA, Harvard, Vancouver, ISO, and other styles

23

Smelik, Ruben M., Tim Tutenel, Klaas Jan de Kraker, and Rafael Bidarra. "Declarative Terrain Modeling for Military Training Games." International Journal of Computer Games Technology 2010 (2010): 1–11. http://dx.doi.org/10.1155/2010/360458.

Full text

Abstract:

Military training instructors increasingly often employ computer games to train soldiers in all sorts of skills and tactics. One of the difficulties instructors face when using games as a training tool is the creation of suitable content, including scenarios, entities, and corresponding terrain models. Terrain plays a key role in many military training games, as for example, in our case game Tactical Air Defense. However, current manual terrain editors are both too complex and too time-consuming to be useful for instructors; automatic terrain generation methods show a lot of potential, but sti

APA, Harvard, Vancouver, ISO, and other styles

24

Squire, Larry R. "Declarative and Nondeclarative Memory: Multiple Brain Systems Supporting Learning and Memory." Journal of Cognitive Neuroscience 4, no. 3 (1992): 232–43. http://dx.doi.org/10.1162/jocn.1992.4.3.232.

Full text

Abstract:

The topic of multiple forms of memory is considered from a biological point of view. Fact-and-event (declarative, explicit) memory is contrasted with a collection of non conscious (non-declarative, implicit) memory abilities including skills and habits, priming, and simple conditioning. Recent evidence is reviewed indicating that declarative and non declarative forms of memory have different operating characteristics and depend on separate brain systems. A brain-systems framework for understanding memory phenomena is developed in light of lesion studies involving rats, monkeys, and humans, as

APA, Harvard, Vancouver, ISO, and other styles

25

Boutin, Arnaud, and Julien Doyon. "A sleep spindle framework for motor memory consolidation." Philosophical Transactions of the Royal Society B: Biological Sciences 375, no. 1799 (2020): 20190232. http://dx.doi.org/10.1098/rstb.2019.0232.

Full text

Abstract:

Sleep spindle activity has repeatedly been found to contribute to brain plasticity and consolidation of both declarative and procedural memories. Here we propose a framework for motor memory consolidation that outlines the essential contribution of the hierarchical and multi-scale periodicity of spindle activity, as well as of the synchronization and interaction of brain oscillations during this sleep-dependent process. We posit that the clustering of sleep spindles in ‘trains', together with the temporally organized alternation between spindles and associated refractory periods, is critical f

APA, Harvard, Vancouver, ISO, and other styles

26

Li, Deqing, Honghui Mei, Yi Shen, et al. "ECharts: A declarative framework for rapid construction of web-based visualization." Visual Informatics 2, no. 2 (2018): 136–46. http://dx.doi.org/10.1016/j.visinf.2018.04.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Bonino, Dario, and Fulvio Corno. "spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications." Procedia Computer Science 10 (2012): 316–23. http://dx.doi.org/10.1016/j.procs.2012.06.042.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Fichera, Loris, Fabrizio Messina, Giuseppe Pappalardo, and Corrado Santoro. "A Python framework for programming autonomous robots using a declarative approach." Science of Computer Programming 139 (June 2017): 36–55. http://dx.doi.org/10.1016/j.scico.2017.01.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Haar, Stefan, Salim Perchy, and Frank Valencia. "Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach." International Journal of Semantic Computing 11, no. 04 (2017): 451–72. http://dx.doi.org/10.1142/s1793351x17400189.

Full text

Abstract:

We study the applicability of declarative models to encode and describe structured information by means of semantics. Specifically, we introduce D-SPACES, an implementation of constraint systems with space and extrusion operators. Constraint systems are algebraic models that allow for a semantic language-like representation of information in systems where the concept of space is a primary structural feature. We mainly give this information an epistemic or temporal interpretation and consider various agents as entities acting upon it. D-SPACES is coded as a c++ library providing implementations

APA, Harvard, Vancouver, ISO, and other styles

30

Altmeyer, Sebastian, and Nicolas Navet. "Towards a declarative modeling and execution framework for real-time systems." ACM SIGBED Review 13, no. 2 (2016): 30–33. http://dx.doi.org/10.1145/2930957.2930962.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Eshuis, Rik, Richard Hull, Yutian Sun, and Roman Vaculín. "Splitting GSM schemas: A framework for outsourcing of declarative artifact systems." Information Systems 46 (December 2014): 157–87. http://dx.doi.org/10.1016/j.is.2014.04.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Simon, Michal, and Andrew Hanushevsky. "Exploring the virtues of XRootD5: Declarative API." EPJ Web of Conferences 251 (2021): 02063. http://dx.doi.org/10.1051/epjconf/202125102063.

Full text

Abstract:

Across the years, being the backbone of numerous data management solutions used within the WLCG collaboration, the XRootD framework and protocol became one of the most important building blocks for storage solutions in the High Energy Physics (HEP) community. The latest big milestone for the project, release 5, introduced multitude of architectural improvements and functional enhancements, including the new client side declarative API, which is the main focus of this study. In this contribution, we give an overview of the new client API and we discuss its motivation and its positive impact on

APA, Harvard, Vancouver, ISO, and other styles

33

Hatsek, Avner, Yuval Shahar, Meirav Taieb-Maimon, Erez Shalom, Denis Klimov, and Eitan Lunenfeld. "A Scalable Architecture for Incremental Specification and Maintenance of Procedural and Declarative Clinical Decision-Support Knowledge." Open Medical Informatics Journal 4, no. 1 (2010): 255–77. http://dx.doi.org/10.2174/1874431101004010255.

Full text

Abstract:

Clinical guidelines have been shown to improve the quality of medical care and to reduce its costs. However, most guidelines exist in a free-text representation and, without automation, are not sufficiently accessible to clinicians at the point of care. A prerequisite for automated guideline application is a machine-comprehensible representation of the guidelines. In this study, we designed and implemented a scalable architecture to support medical experts and knowledge engineers in specifying and maintaining the procedural and declarative aspects of clinical guideline knowledge, resulting in

APA, Harvard, Vancouver, ISO, and other styles

34

GRECO, SERGIO, and CARLO ZANIOLO. "Greedy algorithms in Datalog." Theory and Practice of Logic Programming 1, no. 4 (2001): 381–407. http://dx.doi.org/10.1017/s1471068401001090.

Full text

Abstract:

In the design of algorithms, the greedy paradigm provides a powerful tool for solving efficiently classical computational problems, within the framework of procedural languages. However, expressing these algorithms within the declarative framework of logic-based languages has proven a difficult research challenge. In this paper, we extend the framework of Datalog-like languages to obtain simple declarative formulations for such problems, and propose effective implementation techniques to ensure computational complexities comparable to those of procedural formulations. These advances are achiev

APA, Harvard, Vancouver, ISO, and other styles

35

Wang, Jin, Jiacheng Wu, Mingda Li, Jiaqi Gu, Ariyam Das, and Carlo Zaniolo. "Formal semantics and high performance in declarative machine learning using Datalog." VLDB Journal 30, no. 5 (2021): 859–81. http://dx.doi.org/10.1007/s00778-021-00665-6.

Full text

Abstract:

AbstractWith an escalating arms race to adopt machine learning (ML) in diverse application domains, there is an urgent need to support declarative machine learning over distributed data platforms. Toward this goal, a new framework is needed where users can specify ML tasks in a manner where programming is decoupled from the underlying algorithmic and system concerns. In this paper, we argue that declarative abstractions based on Datalog are natural fits for machine learning and propose a purely declarative ML framework with a Datalog query interface. We show that using aggregates in recursive

APA, Harvard, Vancouver, ISO, and other styles

36

Wikarek, Jarosław, and Paweł Sitek. "A Constraint-Based Declarative Programming Framework for Scheduling and Resource Allocation Problems." Vietnam Journal of Computer Science 06, no. 01 (2019): 69–90. http://dx.doi.org/10.1142/s2196888819500027.

Full text

Abstract:

Scheduling and resource allocation problems are widespread in many areas of today’s technology and management. Their different forms and structures appear in production, logistics, software engineering, computer networks, project and human resources management, services, etc. The literature (problem classification, scheduling and resource allocation models, solutions) is vast and exhaustive. In practice, however, classical scheduling problems with fixed structures and standard constraints (precedence, disjoint, etc.) are rare. Practical scheduling problems include also logical and nonlinear co

APA, Harvard, Vancouver, ISO, and other styles

37

Gonçalves, Rosiberto, Jesse J. M. Soares, and Ricardo M. F. Lima. "An IoT-Based Framework for Smart Water Supply Systems Management." Future Internet 12, no. 7 (2020): 114. http://dx.doi.org/10.3390/fi12070114.

Full text

Abstract:

The world’s population growth and climate changes increase the demand for high-quality water. This fact forces humankind to create new water management strategies. Smart cities have successfully applied the Internet of Things (IoT) technology in many sectors. Moreover, Complex Event Processing (CEP) can analyze and process large data sets produced by IoT sensors in real-time. Traditional business processes are too rigid in expressing the dynamic behavior of water supply systems. Every execution path must be explicitly specified. On the other hand, declarative business processes allow execution

APA, Harvard, Vancouver, ISO, and other styles

38

Miner, Kenneth L. "Yiddish V/1 declarative clauses in discourse." IPrA Papers in Pragmatics 4, no. 1-2 (1990): 122–49. http://dx.doi.org/10.1075/iprapip.4.1-2.03min.

Full text

Abstract:

Yiddish narratives contain a considerable number of declarative sentences which begin with the inflected verb: Hot im zayn vayb bald tsurikgeshikt dem briv ‘(So) his wife right away returned the letter.’ Such declarative sentences, which are never initial in a text, are often said to have resultative meaning (note the translation of the example just given); however grammarians concede that one encounters them often without such a meaning. The purpose of this study is to try to establish the discourse function of these V/1 clauses, utilizing the framework of Prince (1988). It turns out that the

APA, Harvard, Vancouver, ISO, and other styles

39

Amiri, Saeid, Mohammad Shokrolah Shirazi, and Shiqi Zhang. "Learning and Reasoning for Robot Sequential Decision Making under Uncertainty." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (2020): 2726–33. http://dx.doi.org/10.1609/aaai.v34i03.5659.

Full text

Abstract:

Robots frequently face complex tasks that require more than one action, where sequential decision-making (sdm) capabilities become necessary. The key contribution of this work is a robot sdm framework, called lcorpp, that supports the simultaneous capabilities of supervised learning for passive state estimation, automated reasoning with declarative human knowledge, and planning under uncertainty toward achieving long-term goals. In particular, we use a hybrid reasoning paradigm to refine the state estimator, and provide informative priors for the probabilistic planner. In experiments, a mobile

APA, Harvard, Vancouver, ISO, and other styles

40

Villa, Ferdinando. "Integrating modelling architecture: a declarative framework for multi-paradigm, multi-scale ecological modelling." Ecological Modelling 137, no. 1 (2001): 23–42. http://dx.doi.org/10.1016/s0304-3800(00)00422-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Cohen, Neal J., Russell A. Poldrack, and Howard Eichenbaum. "Memory for Items and Memory for Relations in the Procedural/Declarative Memory Framework." Memory 5, no. 1-2 (1997): 131–78. http://dx.doi.org/10.1080/741941149.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Calimeri, Francesco, Davide Fuscà, Stefano Germano, Simona Perri, and Jessica Zangari. "Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework." New Generation Computing 37, no. 1 (2018): 29–65. http://dx.doi.org/10.1007/s00354-018-0046-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Hoffer, Michael, Christian Poliwoda, and Gabriel Wittum. "Visual reflection library: a framework for declarative GUI programming on the Java platform." Computing and Visualization in Science 16, no. 4 (2013): 181–92. http://dx.doi.org/10.1007/s00791-014-0230-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Sturm, Christian, Myriel Fichtner, and Stefan Schönig. "Full Support for Efficiently Mining Multi-Perspective Declarative Constraints from Process Logs." Information 10, no. 1 (2019): 29. http://dx.doi.org/10.3390/info10010029.

Full text

Abstract:

Declarative process management has emerged as an alternative solution for describing flexible workflows. In turn, the modelling opportunities with languages such as Declare are less intuitive and hard to implement. The area of process discovery covers the automatic discovery of process models. It has been shown that the performance of process mining algorithms, particularly when considering the multi-perspective declarative process models, are not satisfactory. State-of-the-art mining tools do not support multi-perspective declarative models at this moment. We address this open research proble

APA, Harvard, Vancouver, ISO, and other styles

45

Krifka, Manfred. "Bias in commitment space semantics: Declarative questions, negated quetions, and question tags." Semantics and Linguistic Theory 25 (December 7, 2015): 328. http://dx.doi.org/10.3765/salt.v25i0.3078.

Full text

Abstract:

The paper introduces a formal framework for communication that captures not only information that is agreed upon by the interlocutors, but also the possible legal continuations of the communicative exchange. It allows for modeling conjunction, disjunction and denegation of speech acts. Assertions are analyzed as commitments of interlocutors for the truth of propositions. Questions are conversational moves that restrict the legal continuations to assertions by the other participant; this allows for the modeling of questions that restricts continuations to just one assertion. The framework is ap

APA, Harvard, Vancouver, ISO, and other styles

46

Banaszak, Zbigniew, and Grzegorz Bocewicz. "Declarative Modeling for Production Order Portfolio Scheduling." Foundations of Management 6, no. 3 (2014): 7–24. http://dx.doi.org/10.1515/fman-2015-0014.

Full text

Abstract:

Abstract A declarative framework enabling to determine conditions as well as to develop decision-making software supporting small- and medium-sized enterprises aimed at unique, multi-project-like and mass customized oriented production is discussed. A set of unique production orders grouped into portfolio orders is considered. Operations executed along different production orders share available resources following a mutual exclusion protocol. A unique product or production batch is completed while following a given activity’s network order. The problem concerns scheduling a newly inserted pro

APA, Harvard, Vancouver, ISO, and other styles

47

Eulisse, Giulio, Anton Alkin, Jan Fiete Grosse-Oetringhaus, Peter Hristov, Gian Michele Innocenti, and Maja Jadwiga Kabus. "Data Analysis using ALICE Run 3 Framework." EPJ Web of Conferences 245 (2020): 06032. http://dx.doi.org/10.1051/epjconf/202024506032.

Full text

Abstract:

The ALICE Experiment is currently undergoing a major upgrade program, both in terms of hardware and software, to prepare for the LHC Run 3. A new Software Framework is being developed in collaboration with the FAIR experiments at GSI to cope with the 100-fold increase in the number of recorded events. We present our progress to adapt such a framework for the end user physics data analysis. In particular, the design and technology choices are highlighted. How Apache Arrow is adopted as the platform for the in-memory analysis data layout is discussed. The benefits of this solution are illustrate

APA, Harvard, Vancouver, ISO, and other styles

48

Nozik, Alexander. "DataForge: Modular platform for data storage and analysis." EPJ Web of Conferences 177 (2018): 05003. http://dx.doi.org/10.1051/epjconf/201817705003.

Full text

Abstract:

DataForge is a framework for automated data acquisition, storage and analysis based on modern achievements of applied programming. The aim of the DataForge is to automate some standard tasks like parallel data processing, logging, output sorting and distributed computing. Also the framework extensively uses declarative programming principles via meta-data concept which allows a certain degree of meta-programming and improves results reproducibility.

APA, Harvard, Vancouver, ISO, and other styles

49

Roy, Subhro, and Dan Roth. "Mapping to Declarative Knowledge for Word Problem Solving." Transactions of the Association for Computational Linguistics 6 (December 2018): 159–72. http://dx.doi.org/10.1162/tacl_a_00012.

Full text

Abstract:

Math word problems form a natural abstraction to a range of quantitative reasoning problems, such as understanding financial news, sports results, and casualties of war. Solving such problems requires the understanding of several mathematical concepts such as dimensional analysis, subset relationships, etc. In this paper, we develop declarative rules which govern the translation of natural language description of these concepts to math expressions. We then present a framework for incorporating such declarative knowledge into word problem solving. Our method learns to map arithmetic word proble

APA, Harvard, Vancouver, ISO, and other styles

50

Pacheco, Maria Leonor, and Dan Goldwasser. "Modeling Content and Context with Deep Relational Learning." Transactions of the Association for Computational Linguistics 9 (February 2021): 100–119. http://dx.doi.org/10.1162/tacl_a_00357.

Full text

Abstract:

Building models for realistic natural language tasks requires dealing with long texts and accounting for complicated structural dependencies. Neural-symbolic representations have emerged as a way to combine the reasoning capabilities of symbolic methods, with the expressiveness of neural networks. However, most of the existing frameworks for combining neural and symbolic representations have been designed for classic relational learning tasks that work over a universe of symbolic entities and relations. In this paper, we present DRaiL, an open-source declarative framework for specifying deep r

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!