Výsledky vyhledávání - "Computer logic"

Introduction of Artificial Intelligence in the Justice System Autor Olha Balynska, Olha Barabash, Dmytro Zabzaliuk, Ruslan Shehavtsov, Nataliya Stetsyuk

“…[Purpose] The purpose of this study is to determine ways to introduce artificial intelligence into the Ukrainian justice system. [Methodology/Approach/Design]…”
Získat plný text

De la logique à l’algorithme : la traduction dans le design de programmes Autor Sacks, Kim

“…Qu’est-ce qui fait que les logiques machiniques résistent à l’utilisateur ? Il semble que l’on prête aux machines un potentiel utopique d’unification de toutes…”
Získat plný text

Introduction of Artificial Intelligence in the Justice System: International experience Autor Balynska, Olha, Barabash, Olha, Zabzaliuk, Dmytro, Shehavtsov, Ruslan, Stetsyuk, Nataliya

“…[Purpose] The purpose of this study is to determine ways to introduce artificial intelligence into the Ukrainian justice system. [Methodology/Approach/Design]…”
Získat plný text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I Autor Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in…”
Získat plný text

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings Autor Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk

“…This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa,…”
Získat plný text

Development and prospective evaluation of CAPLET, a cancer ambulatory patient physical function longitudinal evaluation tool for routine clinical practice Autor Hall, Elizabeth, Tam, Emily, Liang, Mindy, Zhang, Quihuang, Liu, Lin, Wong, Lauren, Sarabia, Samantha, Yeung, Sabrina, Gill, Gursharan, Eng, Lawson, Perez-Cosio, Andrea, Brown, M. Catherine, Xu, Wei, Li, Madeline, Mittmann, Nicole, Jones, Jennifer, Howell, Doris, Liu, Geoffrey

“…Purpose A patient’s physical function is a critical outcome variable for measuring and improving chronic care management. However, patient-reported outcome…”
Získat plný text

2016 31st annual ACM/IEEE symposium on Logic in Computer Science (LICS 2016), New York, New York, USA, 5-8 July 2016 Autor Symposium on Logic in Computer Science

Získat plný text

Formal Logical Methods for System Security and Correctness Autor Grumberg, O, Nipkow, T, Pfaller, C

“…The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The…”
Získat plný text

Advances in Contemporary Logic and Computer Science Autor Carnielli, Walter A

“…This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by…”
Získat plný text

Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings Autor Platzer, André, Sutcliffe, Geoff

“…This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Autor Groote, Jan Friso, Larsen, Kim Guldstrand

“…This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získat plný text

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II Autor Silva, Alexandra, Leino, K. Rustan M

“…This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification,…”
Získat plný text

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I Autor Silva, Alexandra, Leino, K. Rustan M

“…This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification,…”
Získat plný text

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021,…”
Získat plný text

Refinement Calculus: A Systematic Introduction Autor Back, Ralph-Johan

“…Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving…”
Získat plný text

Relative Entailment Among Probabilistic Implications Autor Atserias, Albert, Balcázar, José L., Piceno, Marie Ely

“…We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together…”
Získat plný text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings Autor Dillig, Isil, Tasiran, Serdar

“…The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification,…”
Získat plný text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

Získat plný text

Handbook of dielectric and thermal properties of materials at microwave frequencies Autor Komarov, Vyacheslav V.

“…The application of microwave energy for thermal processing of different materials and substances is a rapidly growing trend in modern science and engineering…”
Získat plný text

Knowledge graphs and big data processing Autor Janev, Valentina, Graux, Damien, Jabeen, Hajira, Sallinger, Emanuel

Získat plný text