Filters








61,752 Hits in 1.3 sec

Modular implicits

Leo White, Frédéric Bour, Jeremy Yallop
2015 Electronic Proceedings in Theoretical Computer Science  
We present modular implicits, an extension to the OCaml language for ad-hoc polymorphism inspired by Scala implicits and modular type classes.  ...  Modular implicits are based on type-directed implicit module parameters, and elaborate straightforwardly into OCaml's first-class functors.  ...  The design of modular implicits We present modular implicits as an extension to the OCaml language.  ... 
doi:10.4204/eptcs.198.2 fatcat:fha5fyedfrd6phdrdsotd6omha

Efficient and Modular Implicit Differentiation [article]

Mathieu Blondel, Quentin Berthet, Marco Cuturi, Roy Frostig, Stephan Hoyer, Felipe Llinares-López, Fabian Pedregosa, Jean-Philippe Vert
2022 arXiv   pre-print
In this paper, we propose automatic implicit differentiation, an efficient and modular approach for implicit differentiation of optimization problems.  ...  It is efficient as it can be added on top of any state-of-the-art solver and modular as the optimality condition specification is decoupled from the implicit differentiation mechanism.  ...  Our approach is efficient as it can be added on top of any state-of-the-art solver and modular as the optimality condition specification is decoupled from the implicit differentiation mechanism.  ... 
arXiv:2105.15183v4 fatcat:dc3rq2nplvcmpjtkto44sej3r4

Types and modularity for implicit invocation with implicit announcement

Friedrich Steimann, Thomas Pawlitzki, Sven Apel, Christian Kästner
2010 ACM Transactions on Software Engineering and Methodology  
invocation with implicit announcement, fears that programs utilizing our form of modularization become unreasonably verbose are unjustified.  ...  To address this problem, we present a type-based modularization of implicit invocation with implicit announcement that is inspired by how interfaces and exceptions are realized in JAVA.  ...  Applications of the so extended, fully modular language are the same as that for other implicit invocation mechanisms with implicit or explicit event announcement, such as (database) triggers or occurrences  ... 
doi:10.1145/1767751.1767752 fatcat:fcr6tcec4jglzmzlulcpwhvcda

Modular interpreters with implicit context propagation

Pablo Inostroza, Tijs van der Storm
2017 Computer languages, systems & structures  
We illustrate implicit context propagation using a modular definition of Featherweight Java and its extension to support side-effects, and an extensible domain-specific language for state machines.  ...  In this paper, we present a practical solution to this problem based on implicit context propagation.  ...  Case study 2: modularizing featherweight Java To examine how implicit context propagation helps in modularizing a programming language implementation, we present a second case study using Featherweight  ... 
doi:10.1016/j.cl.2016.08.001 fatcat:sj62gbynavbzpeh5pbe2lbplym

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization [article]

Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
2021 arXiv   pre-print
We shall also describe how modular protocols can be captured and handled by our approach.  ...  Current solutions are based on only implicit synchronization, and are based on the less precise types rather than logical formulae.  ...  This protocol uses G 1 * G 2 for the concurrency 2 Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization , , of G 1 and G 2 , and G 1 ∨ G 2 for disjunctive choice  ... 
arXiv:2109.11802v1 fatcat:bqdr6vnyqfdz5m3ffq57hwfdcq

Implicit Versus Explicit Representation and Intra- Versus Inter-Modular Processing

Josef Perner, Zoltan Dienes
2002 Computational intelligence  
In sum, we regard predication explicit representation to be favoured in inter-modular communication and predication implicit representation to be favoured in intra-modular communication, but this mapping  ...  Factuality explicitness would be natural for inter-modular communication but not for intra-modular communication.  ... 
doi:10.1111/1467-8640.00182 fatcat:nnruzg3dyzdcnpvzg5llnkk46i

Implicit Contractive Mappings in Modular Metric and Fuzzy Metric Spaces

N. Hussain, P. Salimi
2014 The Scientific World Journal  
In this paper we investigate the existence of fixed points of generalizedα-admissible modular contractive mappings in modular metric spaces.  ...  The notion of modular metric spaces being a natural generalization of classical modulars over linear spaces like Lebesgue, Orlicz, Musielak-Orlicz, Lorentz, Orlicz-Lorentz, and Calderon-Lozanovskii spaces  ...  Fixed Point Results for Implicit Contractions Let us first start this section with a definition of a family of functions. Definition 9.  ... 
doi:10.1155/2014/981578 pmid:25003157 pmcid:PMC4070533 fatcat:r37ju33olrhatgikfk7hhne6bi

Modular interpreters for the masses: implicit context propagation using object algebras

Pablo Inostroza, Tijs van der Storm
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015  
We illustrate implicit context propagation using a modular definition of Featherweight Java and its extension to support side-effects.  ...  In this paper, we present a practical solution to this problem based on implicit context propagation.  ...  Case Study: Modularizing Featherweight Java To examine how implicit context propagation helps in modularizing a programming language implementation, we have performed a case study using Featherweight Java  ... 
doi:10.1145/2814204.2814209 dblp:conf/gpce/InostrozaS15 fatcat:bmkg7whag5hjhah7wo7qtvvkee

Modular Neuro-Fuzzy Networks: Sollutions For Explicit And Implicit Knowledge Integration

Ciprian Daniel NEAGU
2000 Analele Universităţii "Dunărea de Jos" Galaţi: Fascicula III, Electrotehnică, Electronică, Automatică, Informatică  
Three methods to combine the explicit and implicit knowledge modules are proposed.  ...  The aim of this approach is to improve the abilities of modular neural structures, which are based on incomplete learning data sets, since the knowledge acquired from human experts is taken into account  ...  IMPLICIT AND EXPLICIT KNOWLEDGE INTEGRATION The introduction of the modular networks into fuzzy systems provides new insights into the integration of explicit and implicit knowledge in a connectionist  ... 
doaj:beaeeaa00cf148e4a86c9cf0818fd8a4 fatcat:okceqahdxja6dlxq3jbe3dr5by

Aggregation for implicit invocations

Sebastian Frischbier, Alessandro Margara, Tobias Freudenreich, Patrick Eugster, David Eyers, Peter Pietzuch
2013 Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13  
Implicit invocations are a popular mechanism for exchanging information between software components without binding these strongly.  ...  Runtime systems for implicit invocations-so-called publish/subscribe systems-are thus often combined with other systems providing such information.  ...  REDS was chosen due to its modularity, which gives us the flexibility needed to implement our joinpoint model.  ... 
doi:10.1145/2451436.2451450 dblp:conf/aosd/FrischbierMFEEP13 fatcat:ytf2x43i6ze63lnu2cq3xjd444

Modular implicits [article]

L White, F Bour, Jeremy Yallop, Apollo-University Of Cambridge Repository, Apollo-University Of Cambridge Repository
2018
We present modular implicits, an extension to the OCaml language for ad-hoc polymorphism inspired by Scala implicits and modular type classes.  ...  Modular implicits are based on type-directed implicit module parameters, and elaborate straightforwardly into OCaml's first-class functors.  ...  The design of modular implicits We present modular implicits as an extension to the OCaml language.  ... 
doi:10.17863/cam.30208 fatcat:iqtojy7edffbfb5yt5q2hbnltu

Design of a modular monolithic implicit solver for multi-physics applications

Corentin Carton de Wiart, Laslo T. Diosady, Anirban Garai, Nicholas K. Burgess, Patrick J. Blonigan, Dirk Ekelschot, Scott M. Murman
2018 2018 AIAA Aerospace Sciences Meeting   unpublished
The design of a modular multi-physics high-order space-time finite-element framework is presented together with its extension to allow monolithic coupling of different physics.  ...  Small prototypes have already been successfully implemented, showing an increase in the modular flexibility of the framework.  ...  This will allow a better load balancing of the operations whilst improving the global modularity of the framework. Figure 1 . 1 Figure 1.  ... 
doi:10.2514/6.2018-1400 fatcat:qboirzpzinfqxclbl2q4hvvbiq

Reconciling concurrency and modularity with Panini's asynchronous typed events

Yuheng Long, Hridesh Rajan, Sean L. Mooney
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
It focuses on Pānini's asynchronous, typed event which reconciles the modularity goal promoted by the implicit invocation design style with the scalability goal of exposing concurrency between the execution  ...  This language feature aims to achieve a synergy between modularity in program design and concurrency for implicit-invocation design style.  ...  modular software designs.  ... 
doi:10.1145/1869542.1869595 dblp:conf/oopsla/LongRM10 fatcat:x3guvecgjbfvpb2eger4fi7pkm

Implicit White-Box Implementations: White-Boxing ARX Ciphers [article]

Adrián Ranea, Joachim Vandersmissen, Bart Preneel
2022 IACR Cryptology ePrint Archive  
implemented this method and many other functionalities in a new open-source tool BoolCrypt, which we used to obtain for the first time affine, linear, and even quadratic self-equivalences of the permuted modular  ...  are not successful against implicit implementations.  ...  Using the implicit framework and the self-equivalences of the permuted modular addition, we describe an implicit implementation of a generic cipher with the permuted modular addition as the non-linear  ... 
dblp:journals/iacr/RaneaVP22 fatcat:fjo7xh7gpvbnhlqzk5dpxdhizq

Genetic Representation and Evolvability of Modular Neural Controllers

Peter Durr, Claudio Mattiussi, Dario Floreano
2010 IEEE Computational Intelligence Magazine  
As modular network architectures have been shown to reduce the effects of such interference, we propose a novel, implicit modular genetic representation that allows the evolutionary algorithm to automatically  ...  Our experiments with plastic neural networks in a simple maze learning task indicate that adding a modular genetic representation to a state-of-the-art implicit neuroevolution method leads to better algorithm  ...  Modular Mapping The implementation of a modular mapping from genotype to phenotype in the case of an implicit encoding such as AGE is straight-forward.  ... 
doi:10.1109/mci.2010.937319 fatcat:oulzc4jnvzdmzino2kfl65foza
« Previous Showing results 1 — 15 out of 61,752 results