Filters








9,277 Hits in 2.8 sec

Monitoring Modulo Theories [chapter]

Normann Decker, Martin Leucker, Daniel Thoma
<span title="">2014</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
It presents a general framework lifting the monitor synthesis for propositional temporal logics to a temporal logic over structures within some first-order theory.  ...  This paper considers a generic approach to enhance traditional runtime verification techniques towards first-order theories in order to reason about data.  ...  In [6] a runtime verification approach for the temporal evaluation of integer-modulo-constraints was presented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-54862-8_23">doi:10.1007/978-3-642-54862-8_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tqqr3a5efrbg5jviy5obssjjwa">fatcat:tqqr3a5efrbg5jviy5obssjjwa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502070059/https://link.springer.com/content/pdf/10.1007%2F978-3-642-54862-8_23.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/15/2e/152eb5a86425d7490d1106d6f88bbb979f532c50.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-54862-8_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Monitoring modulo theories

Normann Decker, Martin Leucker, Daniel Thoma
<span title="2015-05-09">2015</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
It presents a general framework lifting the monitor synthesis for propositional temporal logics to a temporal logic over structures within some first-order theory.  ...  This paper considers a generic approach to enhance traditional runtime verification techniques towards first-order theories in order to reason about data.  ...  In [6] a runtime verification approach for the temporal evaluation of integer-modulo-constraints was presented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-015-0380-3">doi:10.1007/s10009-015-0380-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jx6zkqcowbfuvbt3snfrjhbz7u">fatcat:jx6zkqcowbfuvbt3snfrjhbz7u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705121902/http://www.isp.uni-luebeck.de/sites/default/files/publications/Decker_Leucker_Thoma_-_MMT-tacas14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f1/63/f1639cec69545ec46bc8ac0ae56dfb90b1cade65.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-015-0380-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Simulating midlet's security claims with automata modulo theory

Fabio Massacci, Ida S. R. Siahaan
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS &#39;08</a> </i> &nbsp;
"only connections to urls starting with https") we have proposed to represent those policies with the notion of Automata Modulo Theory (ew ), an extension of Büchi Automata (BA), with edges labeled by  ...  expressions in a decidable theory.  ...  Automata Modulo Theory The theory of Automata Modulo Theory (ew for short) is a combination of the formal notion of Büchi Automata (BA) with the notion of Satisfiability Modulo Theories (SMT).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1375696.1375698">doi:10.1145/1375696.1375698</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/MassacciS08.html">dblp:conf/pldi/MassacciS08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ojbv2mjgnjhwrgv6kqzqjyvuha">fatcat:ojbv2mjgnjhwrgv6kqzqjyvuha</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809110617/http://disi.unitn.it/~massacci/Publications/MASS-SIAH-08-PLAS.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/be/eabee11ff7ef8ecfba56f27b9ca7f317c957cd6c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1375696.1375698"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Some recent advances in automated analysis

Erika Ábrahám, Klaus Havelund
<span title="2015-10-13">2015</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
This area of research is represented in this volume by the paper Monitoring Modulo Theories [33] , by Normann Decker, Martin Leucker, and Daniel Thoma, already mentioned in Section 3.  ...  The paper Monitoring Modulo Theories [33] , by Normann Decker, Martin Leucker and Daniel Thoma, an extended version of the conference paper in [32] , considers an SMT-based approach to runtime verification  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-015-0403-0">doi:10.1007/s10009-015-0403-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hwu7b64kh5brrlm7spzyucxibe">fatcat:hwu7b64kh5brrlm7spzyucxibe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200710004237/https://www.havelund.com/Publications/sttt-tacas-2014-intro.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c9/f3/c9f35efe8a800c1bb0afb692676212db6378c0a7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-015-0403-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back)

Francesco Leofante
<span title="">2018</span> <i title="International Joint Conferences on Artificial Intelligence Organization"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vfwwmrihanevtjbbkti2kc3nke" style="color: black;">Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence</a> </i> &nbsp;
More specifically, we propose an approach that unites the power of Optimization Modulo Theories with the flexibility of an on-line executive, providing optimal solutions for task planning, and runtime  ...  To account for this problem, we propose to rely on the recently emerging field of Optimization Modulo Theories (OMT), where Satisfiability Modulo Theories (SMT) solving is extended with optimization functionalities  ...  Then, the integrated system presented in was extended to support the reasoning needed to execute and monitor the new plans.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.24963/ijcai.2018/829">doi:10.24963/ijcai.2018/829</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ijcai/Leofante18.html">dblp:conf/ijcai/Leofante18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kg2n54ic5jbf3a45hx7kiorsri">fatcat:kg2n54ic5jbf3a45hx7kiorsri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430122523/https://www.ijcai.org/proceedings/2018/0829.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e8/55/e855c4e0b1fdef71f5d22c9b62d0bd56f79a9784.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.24963/ijcai.2018/829"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A group-theoretical notation for disease states: an example using the psychiatric rating scale

Jitsuki Sawamura, Shigeru Morishita, Jun Ishigooka
<span title="">2012</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gdqzxgkaenh3xnqi2umstfxgva" style="color: black;">Theoretical Biology and Medical Modelling</a> </i> &nbsp;
Next, we introduce the modulo group Z 7 containing elements {0,1,2,. . .,6} defined by composition rule, 'modulo 7 addition', denoted by *.  ...  While many branches of natural science have embraced group theory reaping enormous advantages for their respective fields, clinical medicine lacks to date such applications.  ...  idealized BPRS (BPRS-I) within a group theory context.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1742-4682-9-28">doi:10.1186/1742-4682-9-28</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22776348">pmid:22776348</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3494575/">pmcid:PMC3494575</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d3z32yj2dfddlb34wujecw4s7i">fatcat:d3z32yj2dfddlb34wujecw4s7i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150927110512/http://www.tbiomed.com/content/pdf/1742-4682-9-28.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/2d/e32d01814fad4c6e088dae4e14ae9e6a8542c914.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1742-4682-9-28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3494575" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

MONITORIA ACADÊMICA NA FORMAÇÃO EM ENFERMAGEM: CONSTRUINDO CONHECIMENTOS ATRAVÉS DE METODOLOGIAS ATIVAS

Francisco Marcelo Leandro Cavalcante, Anna Carolyne Vasconcelos Menezes, Dayane Gomes Dos Santos Alves, Glícia Mesquita Martiniano Mendonça
<span title="2021-03-12">2021</span> <i title="Revista de Enfermagem, UFPE Online"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bggtu6fwdvhstdnnnm2nfl3idq" style="color: black;">Revista de Enfermagem UFPE On Line</a> </i> &nbsp;
Conclusão: A monitoria oportunizou a integração entre teoria e prática, constituiu um espaço de diálogo e construção do conhecimento por meio de metodologias ativas, oportunizando o protagonismo dos monitores  ...  Planejaram-se e articularam-se as atividades da monitoria entre monitores e docentes do módulo, havendo a supervisão destes na condução das atividades.  ...  Conclusion: tutoring allowed the integration between theory and practice, constituting a space for dialogue and knowledge construction through active methodologies, and allowing the protagonism of tutors  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5205/1981-8963.2021.244462">doi:10.5205/1981-8963.2021.244462</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jthgphxkhbh5dckcktrgrlitem">fatcat:jthgphxkhbh5dckcktrgrlitem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210410131320/https://periodicos.ufpe.br/revistas/revistaenfermagem/article/download/244462/37877" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8a/74/8a745b278d44b205337616fd85c57ca95badb947.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5205/1981-8963.2021.244462"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Exact Inference for Relational Graphical Models with Interpreted Functions: Lifted Probabilistic Inference Modulo Theories [article]

Rodrigo de Salvo Braz, Ciaran O'Reilly
<span title="2017-09-04">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This enhancement is achieved by adapting Inversion, a method from Lifted First-Order Probabilistic Inference literature, to also be modulo theories.  ...  Probabilistic Inference Modulo Theories (PIMT) is a recent framework that expands exact inference on graphical models to use richer languages that include arithmetic, equalities, and inequalities on both  ...  Deciding whether a set expression is equivalent to the empty set is crucial for Inversion Modulo Theories, which can now be formally stated: Theorem 3.3 (Inversion Modulo Theories).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1709.01122v1">arXiv:1709.01122v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7uj6qilrdrbgrkjue2ngvmroim">fatcat:7uj6qilrdrbgrkjue2ngvmroim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200908105014/https://arxiv.org/pdf/1709.01122v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/74/41/744176c2f1f39571e3595d0a3a3bc5640cc39cd6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1709.01122v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Page 986 of Automation and Remote Control Vol. 36, Issue 6 [page]

<span title="">1975</span> <i title="Springer Science &amp; Business Media"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_automation-and-remote-control" style="color: black;">Automation and Remote Control </a> </i> &nbsp;
Realization of the Algebraic Monitoring Model The realization of the algebraic monitoring model shall be understood to mean the selection of the diagram (1), the construction of the automaton A,, according  ...  Lee metric [3] in the general case when q-nary elements are used, The proofs of Theorems 1 and 2 are given in the Appendix, The validity of Theorem 3 derives from the propositions of redundant-coding theory  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_automation-and-remote-control_1975-06_36_6/page/986" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_automation-and-remote-control_1975-06_36_6/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Debugging Maude programs via runtime assertion checking and trace slicing

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/75odiq25o5gtzcy4h7mdcztb5y" style="color: black;">Journal of Logical and Algebraic Methods in Programming</a> </i> &nbsp;
On-line monitors incrementally check the current execution of the system, while off-line monitors work on a (finite set of) recorded execution(s).  ...  For a conditional rewrite theory to be executable, its equations ∆ should be Church-Rosser and terminating modulo the given axioms B, and their rules R should be (ground) coherent with ∆ modulo B.  ...  checking modality that non-deterministically expands all Maude steps that originate from the initial state: This is achieved in ABETS by calling analyze(R rent , A rent , 1), where R rent is the rewrite theory  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlamp.2016.03.001">doi:10.1016/j.jlamp.2016.03.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/skuavnve6zhwhbzqdtqsyc4l6i">fatcat:skuavnve6zhwhbzqdtqsyc4l6i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200310203135/https://riunet.upv.es/bitstream/handle/10251/81131/JLAMP2016-author.pdf;jsessionid=8125BCEF61256E7FCDD9F0D05172A7E9?sequence=3" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/17/c1/17c1d7932f0a1b840ad2f07464cf7aba7beed2ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlamp.2016.03.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
<span title="2022-04-11">2022</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/63zsvf7vxzfznojpqgfvpyk2lu" style="color: black;">Algorithms</a> </i> &nbsp;
For the model-free as well as for the linear model-based case, we provide optimal evaluation algorithms based on affine arithmetic and SAT modulo theory, solving over linear arithmetic.  ...  It has been conceived as a tool for systematizing the monitoring of cyber-physical systems, supporting the automatic translation of complex safety specifications into monitoring algorithms, faithfully  ...  in settings where the exact reductions and the SAT modulo theory algorithms used herein do not feature sufficient performance.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/a15040126">doi:10.3390/a15040126</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tntqcabxcrfirey46pca5t3uny">fatcat:tntqcabxcrfirey46pca5t3uny</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220422083404/https://mdpi-res.com/d_attachment/algorithms/algorithms-15-00126/article_deploy/algorithms-15-00126-v2.pdf?version=1649813619" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/41/0d4137685add0c49881a1d94db10e261335a02c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/a15040126"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Improved Classical Cipher for Healthcare Applications

Maya Mohan, M.K. Kavithadevi, V. Jeevan Prakash
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cx3f4s3qmfe6bg4qvuy2cxezyu" style="color: black;">Procedia Computer Science</a> </i> &nbsp;
The healthcare system makes use of wearable wireless sensors which are implanted in patients, allow the monitoring of the health status at all time.  ...  The proposed algorithm serves as an important pedagogical role in cryptography and algebraic theory.  ...  Introduction Health monitoring systems are widely used by all sorts of community worldwide. Lots of research is going in this area to improve the lifestyle of the people [1] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2016.07.285">doi:10.1016/j.procs.2016.07.285</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/in3t2reasfg6pnh54b72jh5hfy">fatcat:in3t2reasfg6pnh54b72jh5hfy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170929051615/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/741/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTg3NzA1MDkxNjMxNTMxOQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/91/1e/911e5f8e21add9f518aa3a78e8a94b9dc51312b2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2016.07.285"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Page 1281 of Mathematical Reviews Vol. 50, Issue 4 [page]

<span title="">1975</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
This book is devoted to the development of analytic and algorithmic methods for the diagnostics and monitoring of complex systems based on the theory of experiments with abstract automata.  ...  (I) Automatic diagnostics and monitoring of complex systems.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1975-04_50_4/page/1281" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1975-04_50_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Logical Abstract Domains and Interpretations [chapter]

Patrick Cousot, Radhia Cousot, Laurent Mauborgne
<span title="2010-09-30">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cxfyduyc35a7rb4err5davthgm" style="color: black;">The Future of Software Engineering</a> </i> &nbsp;
We give semantic foundations to abstract domains consisting in first order logic formulae in a theory, as used in verification tools or methods using SMT-solvers or theorem provers.  ...  Axiomatic Semantics Modulo Theory An axiomatic semantics C a I P modulo interpretations I of Def. 1 may be definable by a theory T which models define I. Definition 2.  ...  modulo I is more precise than modulo I .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15187-3_3">doi:10.1007/978-3-642-15187-3_3</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/birthday/CousotCM10a.html">dblp:conf/birthday/CousotCM10a</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qdeq3a4svvdmhkiag2yy45nrsi">fatcat:qdeq3a4svvdmhkiag2yy45nrsi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401092300/http://www.di.ens.fr/~mauborgn/publi/logical_domains.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/93/c6/93c630fc8f13c95e0178d2103faabced9b80cd43.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15187-3_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Attosecond Transient Absorption Spectroscopy of doubly-excited states in helium

Luca Argenti, Christian Ott, Thomas Pfeifer, Fernando Martín
<span title="2014-04-10">2014</span> <i title="IOP Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wxgp7pobnrfetfizidmpebi4qy" style="color: black;">Journal of Physics, Conference Series</a> </i> &nbsp;
Theory of strong-field attosecond transient absorption Mengxi Wu, Shaohao Chen, Seth Camp et al.  ...  Attosecond transient absorption spectroscopy (ATAS) [1] is emerging as a prominent technique complementary to the technologies which detect charged photofragments to monitor and control transiently bound  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1088/1742-6596/488/3/032030">doi:10.1088/1742-6596/488/3/032030</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hagvf6ziqjdvzltketj6nosive">fatcat:hagvf6ziqjdvzltketj6nosive</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220201025812/https://iopscience.iop.org/article/10.1088/1742-6596/488/3/032030/pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/72/a6/72a6ed7cead59cc071aaa88812051a93702b2502.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1088/1742-6596/488/3/032030"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> iop.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 9,277 results