Zobrazeno 1 - 10
of 92
pro vyhledávání: '"Carlos OLARTE"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 292, Iss Proc. Linearity-TLLA 2018, Pp 118-132 (2019)
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we p
Externí odkaz:
https://doaj.org/article/015fa18c8f3d4e559c72ca58e399b3c0
Autor:
Markus Gosch MD, Christian Kammerlander MD, Emilio Fantin MD, Thomas Giver Jensen MD, Ana Milena López Salazar MD, Carlos Olarte MD, Suthorn Bavatonavarech MD, Claudia Medina MD, MEd, Bjoern-Christian Link MD, Michael Cunningham PhD
Publikováno v:
Geriatric Orthopaedic Surgery & Rehabilitation, Vol 12 (2021)
Introduction: Surgeons, internal medicine physicians, nurses, and other members of the healthcare team managing older adults with a fracture all have barriers to attending educational courses, including time away from practice and cost. Our planning
Externí odkaz:
https://doaj.org/article/e59d9559b5f54823ae940bc1392d817a
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 17, Iss Proc. PLACES 2009, Pp 1-15 (2010)
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analy
Externí odkaz:
https://doaj.org/article/b484a8da70d74c04aacc0654e21a7b6d
Autor:
Carlos Olarte, Camilo Rueda
Publikováno v:
CLEI Electronic Journal, Vol 9, Iss 2 (2006)
Abstract Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process cal- culi allow to both model and verify properties of a system, thus pro- viding a concrete design methodology
Externí odkaz:
https://doaj.org/article/d602693a8fcb4ee89920dc41facf96b1
Autor:
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3286072e88067de77d80d321f13fe34a
https://doi.org/10.1007/978-3-031-33620-1_20
https://doi.org/10.1007/978-3-031-33620-1_20
Autor:
Elisabetta DE MARIA, Joëlle DESPEYROUX, Amy FELTY, Pietro LIÒ, Carlos OLARTE, Abdorrahim BAHRAMI
Ce chapitre présente l'utilisation d'une logique calculatoire en biologie des systèmes, comme cadre unifié et sûr, adapté à la fois à la modélisation du comportement des systèmes biologiques et à l'expression et à la vérification de leurs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d6feda20007af1ce3dd475f6ea1f770
https://doi.org/10.51926/iste.9029.ch6
https://doi.org/10.51926/iste.9029.ch6
Publikováno v:
Mathematical Structures in Computer Science. 31:312-340
Linear logic (LL) has been used as a foundation (and inspiration) for the development of programming languages, logical frameworks, and models for concurrency. LL’s cut-elimination and the completeness of focusing are two of its fundamental propert
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b669ce47b79ae1d007b98e3d607593d
https://doi.org/10.1017/s0960129521000323
https://doi.org/10.1017/s0960129521000323
Publikováno v:
LSFA
One of the most fundamental properties of a proof system is analyticity, expressing the fact that a proof of a given formula F only uses subformulas of F. In sequent calculus, this property is usually proved by showing that the cut rule is admissible
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b19dc6c523d32f06f5b1c747addc300f
https://doi.org/10.1016/j.entcs.2020.08.008
https://doi.org/10.1016/j.entcs.2020.08.008
Autor:
Linda Brodo, Carlos Olarte
Publikováno v:
LSFA
Multiparty interactions are common place in today's distributed systems. An agent usually communicates, in a single session, with other agents to accomplish a given task. Take for instance an online transaction including the vendor, the client, the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2df20146f65428e62b33820531962e55
https://doi.org/10.1016/j.entcs.2020.08.003
https://doi.org/10.1016/j.entcs.2020.08.003
Autor:
Juan Carlos Olarte Guzmán, Michael Sánchez Blanco, Carlos Roberto Caro Peña, Andrés Alejandro Varón Daza, Luis H. Osorio Dussán
Publikováno v:
Ensayos sobre Estrategia Marítima. 11:24-39
Se cumplen 50 años de la firma del Tratado Antártico y la participación a las expediciones científicas a la Antártida alrededor del Sistema del Tratado Antártico5 , Incluye países como Perú que es miembro consultivo y en desarrollo de 26 camp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::594137a64054c853baf34fd5364d1921
https://doi.org/10.25062/2500-4735.2303
https://doi.org/10.25062/2500-4735.2303