A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Romeo: A system for more flexible binding-safe programming
2016
Journal of functional programming
Preserved Fulltext
AbstractCurrent systems for safely manipulating values containing names only support simple binding structures for those names. ...
We address this problem with Romeo, a language that respects α-equivalence on its values, and which has access to a rich specification language for binding, inspired by attribute grammars. ...
Acknowledgements We would like to thank Fabian Muehlboeck for his work in testing and validating Romeo, and Dionna Glaze for her collaboration in hammering out the formal properties of our binding system ...
doi:10.1017/s0956796816000137
fatcat:cmhijepvqzg4ji4ga3h3hwixsu
Romeo
2014
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Current systems for safely manipulating values containing names only support simple binding structures for those names. ...
We address this problem with Romeo, a language that respects α-equivalence on its values, and which has access to a rich specification language for binding, inspired by attribute grammars. ...
Acknowledgements We would like to thank Fabian Muehlboeck for his work in testing and validating Romeo, and Dionna Glaze for her collaboration in hammering out the formal properties of our binding system ...
doi:10.1145/2692915.2628162
fatcat:dcp56rzrqzblbeb4nlufg6tcw4
Romeo
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Current systems for safely manipulating values containing names only support simple binding structures for those names. ...
We address this problem with Romeo, a language that respects α-equivalence on its values, and which has access to a rich specification language for binding, inspired by attribute grammars. ...
Acknowledgements We would like to thank Fabian Muehlboeck for his work in testing and validating Romeo, and Dionna Glaze for her collaboration in hammering out the formal properties of our binding system ...
doi:10.1145/2628136.2628162
dblp:conf/icfp/StansiferW14
fatcat:3r3kb6uporhfbfogyrrgg4o77i
Review of ACS, of existing transport protocols, application protocols, railway applications
2022
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this deliverable we provide a review of the most important transport and application protocols on IP for ACS communications. ...
Review of ACS, of existing transport protocols, application protocols, railway applications The adaptable communication system has been designed to operate in accordance with the bearer independence principle ...
Thus, a more flexible approach is needed for the future that should be based on multi communication technologies. ...
doi:10.5281/zenodo.6299785
fatcat:62kqfwbvkfaidhxmpirynda67q
A language for updating logic programs and its implementation
1995
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper proposes an update language, called ULL, for knowledge systems based on logic programming. ...
Thus, simple control structures are defined for combining the basic updates into programs capable of expressing complex updates. ...
This work was written in part when Luigi Palopoli was a visiting scholar at the UCLA Computer Science Department, and supported by the Italian National Research Council within the "Progetto Finalizzato ...
doi:10.1016/0743-1066(94)00025-2
fatcat:rhuekdv57rgdtjc3x24vaz25ue
Support for Mobile Location-Aware Applications in MAGNET
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
and object database systems. ...
this approach could enable flexible data exchange. ...
Darwin, an architecturedescription language [6] , provides a convenient formalism for defining bindings in distributed systems. ...
doi:10.1007/3-540-36560-5_21
fatcat:y6jkx3dfkfbvrigethypzaris4
Controlled Flexibility in Business Processes Defined for Service Compositions
2011
2011 IEEE International Conference on Services Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Therefore RoSAS as a service aggregator is looking for following key requirements for a process modeling and enactment approach. Req1. Flexible processes. ...
For this, we implemented a wrapper for Romeo on-the-fly model checker [24] The wrapper dynamically generates the business constraints in TPN-TCTL format [23] and the models (behavior terms/business ...
doi:10.1109/scc.2011.80
dblp:conf/IEEEscc/KapurugeHC11
fatcat:e4w2q44nxzhsfejymj6gkbd66i
Multigram Synthesis and in Vivo Efficacy Studies of a Novel Multitarget Anti-Alzheimer's Compound
2015
Molecules
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We describe the multigram synthesis and in vivo efficacy studies of a donepezil-huprine hybrid that has been found to display a promising in vitro multitarget profile of interest for the treatment of Alzheimer's ...
Oral administration for 3 months to transgenic APPSL mice, a well-established animal model of AD, improved short-term memory, but did not alter brain levels of Aβ peptides nor cortical and hippocampal ...
system (CNS). ...
doi:10.3390/molecules20034492
pmid:25764491
fatcat:oiys7g2smvbvfoox7tsoj52lsu
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons
2017
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The contribution of this paper is articulated around a new software design approach of autonomous control systems for connected vehicle platoons. ...
Our software is mainly implemented using the Ada standard of programming (in particular the annexes D and E of real-time and distributed systems). ...
The Automated Highway Systems (AHS) is a variant of ACVP systems and has been under research by the Program of Advanced Technology for Highway (PATH) for years [21] , [22] . ...
doi:10.1109/iceccs.2017.32
dblp:conf/iceccs/MouelhiCR17
fatcat:3bizol5cnvcfnmrzwfxkj4mauy
Programs Using Syntax with First-Class Binders
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This avoids errors in manipulating low-level operations, eases the task of prototyping program transformations and can have a major impact on the effort and cost of implementing such systems. ...
We present a general methodology for adding support for higher-order abstract syntax definitions and first-class contexts to an existing ML-like language. ...
The embedding is flexible enough that we can take advantage of the more powerful type system in OCaml to make the extension more powerful. ...
doi:10.1007/978-3-662-54434-1_19
fatcat:wh6koipi6ncddftib6n3ujir2m
Hygienic macro technology
2020
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This representation provides a convenient basis for macro processing, which allows the programmer to specify that some simple piece of abstract syntax should be replaced by some other, more complex piece ...
The fully parenthesized Cambridge Polish syntax of Lisp, originally regarded as a temporary expedient to be replaced by more conventional syntax, possesses a peculiar virtue: A read procedure can parse ...
some of the problems which may make other features difficult to standardize. [. . . ] Attendance: Attendance is by invitation only, as this is a working meeting. ...
doi:10.1145/3386330
fatcat:mf7ugimfgrhanp3yboah356a5u
HPP: A new software for constrained motion planning
2016
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Python bindings and a visualization tool allow for fast problem setting and prototyping: a new algorithm can be implemented in just a few lines of code. ...
HPP is an open-source answer to the lack of a standard framework for these important issues for robotics and graphics communities. ...
It also takes advantage of the flexibility of HPP to easily replace the default sampling method for a variant of OB-PRM [26] . ...
doi:10.1109/iros.2016.7759083
dblp:conf/iros/MirabelTFSCML16
fatcat:554qyvy56fdsthjgrjssbrslfe
The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In contrast, I propose a hybrid, knowledge-driven, reasoning-based approach, centered around cognitive models, that could provide the substrate for a richer, more robust AI than is currently possible. ...
Recent research in artificial intelligence and machine learning has largely emphasized general-purpose learning and ever-larger training sets and more and more compute. ...
I conjecture that they are a prerequisite for safely arriving at robust intelligence. ...
arXiv:2002.06177v3
fatcat:evtkborprvcbjmk5b4vznuklli
The BCCT family of carriers: from physiology to crystal structure
2010
Molecular Microbiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
are formed by more flexible hydrophobic 642 interactions. ...
regulatory K + -binding site more accessible. ...
850 if, similar to the situation found for the BetP transporter and the periplasmic binding protein 851 ProX (Ressl et al., 2009; Schiefner et al., 2004a) , the ligand-binding site present in 852 ectoine ...
doi:10.1111/j.1365-2958.2010.07332.x
pmid:20923416
fatcat:omygrnex75gqnnyzuu5iggazea
Improving performances at the second tier of the automotive supply chain: a draft case study of an innovative initiative in the Italian car industry
2001
International Journal of Automotive Technology and Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Therefore the question of who should take care of such improvements (as regards their objectives, organisation, and costs) appears as a critical one, and in need for original solutions. ...
the 1996 Brussels seminar on "Training for new Work Structures" 1 . ...
program a more stable relationship with the client companies that have brought them in. ...
doi:10.1504/ijatm.2001.000051
fatcat:ggh4qkuesfda7iak5pinzn36ma
« Previous
Showing results 1 — 15 out of 601 results