-
Article
Spatially Small-scale Approach-avoidance Behaviors Allow Learning-free Machine Inference of Object Preferences in Human Minds
Estimating human preference is an essential capability of a social robot. Such a machine Theory of Mind for others’ preferences is studied predominantly under the framework of inverse reinforcement learning, w...
-
Article
Technical feasibility of robotic vs. laparoscopic surgery for locally advanced colorectal cancer invading the urinary bladder
The aim of this study was to determine if robotic surgery can reproduce the technical advantages and oncologic outcomes of laparoscopic surgery for the treatment of locally advanced colorectal cancer invading ...
-
Article
Open AccessThe necessity of abdominal drainage for patients with complicated appendicitis undergoing laparoscopic appendectomy: a retrospective cohort study
This study aimed to evaluate the necessity of abdominal drainage after laparoscopic appendectomy in patients with complicated appendicitis.
-
Article
Standardize the Surgical Technique and Clarify the Relevant Anatomic Concept for Complete Mobilization of Colonic Splenic Flexure Using da Vinci **® Robotic System
The present study is to set up a standardized approach for complete mobilization of colonic splenic flexure using da Vinci **® robotic system, based on clarification of the mesenteric structures of distal transve...
-
Article
Should Surgical Treatment Be Provided to Patients with Colorectal Cancer Who Are Aged 90 Years or Older?
The number of patients aged ≥ 90 years is increasing worldwide; however, the treatment guidelines for colorectal cancer in elderly patients remain unclear. This study aimed to investigate the clinical outcomes...
-
Chapter and Conference Paper
A Ty** Discipline for Statically Verified Crash Failure Handling in Distributed Systems
A key requirement for many distributed systems is to be resilient toward partial failures, allowing a system to progress despite the failure of some components. This makes programming of such systems daunting,...
-
Chapter and Conference Paper
Stateful Behavioral Types for Active Objects
It is notoriously hard to correctly implement a multiparty protocol which involves asynchronous/concurrent interactions and constraints on states of multiple participants. To assist developers in implementing ...
-
Chapter and Conference Paper
Program Verification for Exception Handling on Active Objects Using Futures
For implementing correct systems, handling and recovering from exceptional situations is important but challenging for ensuring correct interactions among distributed objects which are processing concurrently....
-
Article
Feature Selection in Learning Common Sense Associations Using Matrix Factorization
We propose a computational model to learn the common sense association between a pair of concept classes based on a bipartite network and matrix factorization methods. We view the concept-pair association as a...
-
Chapter and Conference Paper
Session-Based Compositional Analysis for Actor-Based Languages Using Futures
This paper proposes a simple yet concise framework to statically verify communication correctness in a concurrency model using futures. We consider the concurrency model of the core ABS language, which support...
-
Chapter and Conference Paper
A Type Theory for Robust Failure Handling in Distributed Systems
This paper presents a formal framework for programming distributed applications capable of handling partial failures, motivated by the non-trivial interplay between failure handling and messaging in asynchrono...
-
Article
Impact of marital co** on the relationship between body image and sexuality among breast cancer survivors
The aims of the study were (1) to understand the relationship between women’s marital co** efforts and body image as well as sexual relationships and (2) to test a hypothesized model suggesting that marital ...
-
Chapter and Conference Paper
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
We define complete type reconstruction algorithms for two type systems ensuring deadlock and lock freedom of linear π-calculus processes. Our work automates the verification of deadlock/lock freedom for a non-tri...
-
Chapter
Structuring Communication with Session Types
Session types are types for distributed communicating processes. They were born from process encodings of data structures and typical interaction scenarios in an asynchronous version of the π-calculus, and are be...
-
Chapter and Conference Paper
Monitoring Networks through Multiparty Session Types
In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognized...
-
Chapter and Conference Paper
Specifying Stateful Asynchronous Properties for Distributed Programs
Having stateful specifications to track the states of processes, such as the balance of a customer for online shop** or the booking number of a transaction, is needed to verify real-life interacting systems. Fo...
-
Chapter and Conference Paper
Asynchronous Distributed Monitoring for Multiparty Session Enforcement
We propose a formal model of runtime safety enforcement for largescale, cross-language distributed applications with possibly untrusted endpoints. The underlying theory is based on multiparty session types wit...
-
Article
Retrospective Comparison of Clinical Outcomes between Endovenous Laser and Saphenous Vein-sparing Surgery for Treatment of Varicose Veins
The purpose of the present study was to compare management of varicose veins by endovenous laser ablation (EVL) and a vein-sparing procedure (CHIVA: Conservatrice et Hémodynamique de l’Insuffisance Veineuse en...
-
Chapter and Conference Paper
Scribbling Interactions with a Formal Foundation
In this paper we discuss our ongoing endeavour to apply notations and algorithms based on the π-calculus and its theories for the development of large-scale distributed systems. The execution of a large-scale dis...
-
Article
Open AccessViral and host proteins involved in picornavirus life cycle
Picornaviruses cause several diseases, not only in humans but also in various animal hosts. For instance, human enteroviruses can cause hand-foot-and-mouth disease, herpangina, myocarditis, acute flaccid paral...
